大家都知道，代数问题，很多都可以用编程的方式来解答，那么几何题目呢？特别是几何题目的证明题目是不是也可以用编程的方式来解呢？比如：四边形满足什么条件下，它是矩形或菱形。什么样的情况下，三角形是等边三角形，两个三角形在什么情况下相似。还有立体几何里面的证明题目呢？等等。。。。。。
   如果可以，这是一个什么样的学科。

[此贴子已经被作者于2018-2-25 16:08编辑过]

我们把证明题目的条件输入进去啊，让计算机用已经有了的内容自动证明出来，不就可以了吗？