基于“消点”的三角法底层展开

前排提醒

本节将带领读者从底层开始理解图形并借助三角法，完成几何命题的“机械式证明”。
本节内容一定程度上参考了张景中先生的《几何新方法和新体系》与《Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems》中的“消点思想”，可结合来看。