西姆松定理相关论文
（本讲适合高中）西姆松定理三角形外接圆上的点在三边上的垂足共线，反之亦然．斯坦纳定理有多种等价的表达形式，最简单的叙述为：......
给出垂足三角形有向面积公式,并利用该公式获得垂足三角形的若干新结果和著名的西姆松定理.......
在可持续发展的几何自动推理平台SGARP中，通过添加全角法相关的对象、谓词和定理，在SGARP中成功实现了全角法。添加了全角法的SGARP......
