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