中学数学解题神器（数学智能解题软件）

不要着急，后面有两款软件堪称利器。

随着电脑和智能手机的普及，很多家长、老师、学生已经知道并使用各种辅导软件（特别是各种收费的）或辅导网站帮助孩子学习，比如：《乐乐课堂》、《超级课堂》、《洋葱数学》、《酷学习》、《数学加》、《菁优网》、各类慕课网站……各位家长可能知道的比我还多。

但是，仅仅知道这些软件，作为家长是远远不够的。而作为老师，在信息技术辅助教学的大环境下，不能敏锐地了解和预见到自己任教学科的教学软件，不仅仅是电脑水平的问题，本学科的理论水平其实也是有些不称职的。

很多家长都要承担起检查孩子作业的任务，都会遇到自己不会做的作业，怎么办呢？求助朋友圈？已经OUT了！手机应用市场有很多《拍照搜题》软件，比较有名的如《小猿搜题》。只要把题目拍成照片，软件根据扫描识别技术（就像扫描仪）识别其中的关键字或整道题目的文字，把识别的关键字上传到网站，网站有试题库，根据比对找到一样的题目，然后把题目和答案传回手机。所以这类软件的特点是要联网。

《拍照搜题》软件的缺点是，只要题库中没有的题目，就是再简单也无能为力。而作为数学，无论是代数还是几何都能按步骤实现自动解题。比如解方程有固定步骤可以实现自动化。但是几何证明也能实现自动化，应该很少有人知道。接下去重点介绍几何与代数最智能好用的解题软件。

一、几何自动证明——几何专家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（照片数学）

这款软件使用比较简单，就不介绍使用方法了。同类的软件很多，你可以发挥想象力搜索应用市场，但是其它软件都没有这款好。只有该软件的解题步骤最符合中国人的数学格式。

看完有没有惊讶到你？