平面几何中复杂表达式的自动推理

在目前的平面几何教学软件中,没有实现对表达式的推理。本文提出一种表达式推理的方法,是向这个方向的一个尝试,能对一般的结论为齐次的表达式命题给出可读的证明过程。