手机应用市场有很多《拍照搜题》软件,比较有名的如《小猿搜题》。只要把题目拍成照片,软件根据扫描识别技术(就像扫描仪)识别其中的关键字或整道题目的文字,把识别的关键字上传到网站,网站有试题库,根据比对找到一样的题目,然后把题目和答案传回手机。所以这类软件的特点是要联网。《拍照搜题》软件的缺点是,只要题库中没有的题目,就是再简单也无能为力。而作为数学,无论是代数还是几何都能按步骤实现自动解题。比如解方程有固定步骤可以实现自动化。但是几何证明也能实现自动化,应该很少有人知道。接下去重点介绍几何与代数最智能好用的解题软件。一、几何自动证明——几何专家JAVA版。这道题目,受过初中数学教育的人都应该做过左侧列出了所有能证明的结论,并分类呈现,这其中就包括本题所要求证的△ACN≌△MCB。点击三角箭头,软件提供了六套几何证明系统,其中两个灰色的不可用。一般选择第一套证明系统:演绎数据库法,大概意思是初中平面几何的证明方法——演绎法(初中的逻辑证明就是演绎法,小学的几何是实验几何),选择这套方法,和平时学习的证明方式完全一致。最后一种吴方法,大概指数学家吴文俊的机器证明?左键点击左侧《全等三角形》,软件自动发现共有3对全等三角形。选择第一对[1,CMB][1,CAN],右侧自动高亮闪烁显示。名键点击证明,进入下一步。左侧显示了证明全等的过程,三个条件,依次是CB=CN,∠MCB=∠ACN,CM=CA,每点击一个条件,右侧作图区都会高亮闪烁显示。小括号(r27)指的是,SAS,它在《演绎数据库法》这套系统中,是第27条规则。点击(r27)右边的绿色小箭头,出现整个证明过程的小窗口。在小窗口里点击RULE 27,显示SAS原理的小窗口。RULE 27 SAS规则小窗口。同类软件还有张景中的Z+Z超级画板,张景中老师也参与过几何专家前身的撰写。二、代数自动解题(有解题步骤)——Photomath(照片数学)这款软件使用比较简单,就不介绍使用方法了。同类的软件很多,你可以发挥想象力搜索应用市场,但是其它软件都没有这款好。只有该软件的解题步骤最符合中国人的数学格式。看完有没有惊讶到你?
(图片来源网络,侵删)
0 评论