彭翕成
- 作品数：245 被引量：397H指数：10
- 供职机构：华中师范大学国家数字化学习工程技术研究中心更多>>
- 发文基金：国家科技支撑计划高等学校科技创新工程重大项目国家自然科学基金更多>>
- 相关领域：文化科学理学自动化与计算机技术机械工程更多>>
- 点几何的解题应用:复数恒等式篇被引量：7
- 2019年
- 数学大师陈省身先生认为[1],数学有“好”和“不好”之分.所谓“好”,就是意义深远、可以不断深入、影响许多学科的课题;“不好”则是仅限于把他人的工作推演一番、缺乏生命力的题目.陈先生举例,拿破仑定理很美,但深入研究之后发展有限,不是好的数学;方程是好的数学.代数方程,不定方程,超越方程,函数方程,微分方程,各门科学技术离不开方程,意义深远,影响广大,永远研究不完!
- 彭翕成张景中
- 关键词：解题应用恒等式数学大师复数代数方程
- 向量教学存在的问题及对策
- 2010年
- 向量进入高中数学教材已经好几年了．在上海这样的教改前沿地区，甚至在初中都开始学习向量了，一些老师的教学调查表明，初中生是完全能够接受基本的向量知识的，见文[1—3]．
- 张景中彭翕成
- 关键词：向量教学数学教材初中生调查表
- 晚上吃姜犹如砒霜？
- 2015年
- 晚上吃饭，我夹起一片姜正要吃的时候，被人劝阻，说：“早上吃姜，好比参汤；晚上吃姜，犹如砒霜．”这句谚语流传已久，到底有没有道理呢？虽然多数人对姜的认识并不是很清楚，但可以从逻辑上推理：一、参数变量法．食用生姜的可变参数很多，时间这个参数是不是在其中能起到绝对作用呢？参汤和砒霜.
- 彭翕成
- 关键词：砒霜食用
- 好玩的数字
- 2012年
- 当n为大于1的整数，求证n^2012＋n＋1是合数。
- 彭翕成
- 关键词：智力游戏游戏方法游戏规则数字游戏
- 深入思考 精益求精被引量：2
- 2007年
- 张景中彭翕成
- 关键词：一题多解数学素养解法
- 好玩的数学——选择加减号
- 2011年
- 适当选择加减号．使得等式±1±2±3±···±99=100和±1^2±2^2±3^2±…
- 彭翕成
- 关键词：数学加号数学游戏减号
- 疑似斐波那契数列？
- 2016年
- 已知五次多项式f（x），f（1）=1，f（2）=1，f（3）=2，f（4）=3，f（5）=5，f（6）=8，求f（7）．
- 彭翕成
- 关键词：高中数学斐波那契数列
- 《超级画板》帮你教函数(1)被引量：3
- 2007年
- 彭翕成
- 关键词：函数软件卸载免费
- 一种基于已有习题自动合成新的几何证明题的方法及系统
- 本发明提供一种基于已有习题自动合成新的几何证明题的方法及系统，该方法包括：分别获取多道已有几何证明题中每道几何证明题的原始几何关系，得到二元组集合；每个二元组包括一组几何关系和一个向量方程，所述向量方程由所述几何关系转换...
- 杨宗凯李雷刘三女牙陈矛孙建文彭翕成
- 基于向量的几何可读自动证明被引量：2
- 2014年
- 几何定理机器证明已经成功发展了多种新方法,但其中对中学几何中向量的机器证明研究没有抓住其回路的基本特征.文中以向量的回路为出发点,提出了基于回路的向量可读证明新方法,开发了机器证明新程序.该程序对常见的构造类型欧氏几何题目能快速作图,并依据题目类型的不同,分别用不同的向量方法对其进行自动推理,证明结果简短可读.经过大量实例测试,证明将向量用于几何自动推理是可行和高效的.与《超级画板》等中的证明器相比,文中算法在自动推理能力和证明过程可读性方面有较大提高.文中给出的基于向量的几何可读证明算法丰富了几何定理自动推理方法,并且具有应用于几何教学实践的价值.
- 葛强张景中陈矛彭翕成
- 关键词：机器证明可读证明向量回路
