论文部分内容阅读
本文引入欧氏平面几何定理的可图性及最简构形概念,使几何定理图形化和数值化.证明了直线平行性、线段相等性和角的相等性与线性变换ω=aiZ+bi一次项系数间一些恒等式两者间的等价关系,给出在黎曼曲面背景下每个可图性定理都对应一个变换群,变换群下的不变量与不变式是几何定理结论的代数表示.由此给出欧氏平面几何定理的一种复数证明方法.