Apr 1

      在数学研究中,我们经常需要寻找一个命题的充分条件。有时候,我们在解题过程中会不自觉地思考结论的充分条件。例如,等底等高便是两个三角形面积相等的充分条件,这就为我们证明三角形面积相等指明了一条道路,接下来我们只需要说明那两个三角形的确是等底等高的就行了。又如,“任意顶点的度数大于等于n/2”是“无向图存在Hamilton回路”的充分条件,它经常被用来说明一个图有Hamilton回路。不过,与寻找必要条件不同的是,寻找一个命题“可以由什么推出来”是一个逆向思维,构造一个充分条件并不容易。有没有一种寻找充分条件的系统方法呢?我最近几天加班加点地研究,终于完成了一个充分条件分析器。你可以在输入框中属于一个与变量x相关的命题,系统将自动给出一个命题的充分条件。这个系统虽然是测试版,但它已经十分强大了。它不仅支持三角函数、对数函数、指数函数、阶乘等各类函数,还支持极限、微分、积分运算,甚至能够处理包括中文在内的自然语言。如果你不知道该输入什么,你可以先点击下面的几个样例试一试。

Example 1   Example 2   Example 3   Example 4   Example 5

Mar 28

来源:www.matrix67.com

代码分析在这里