极坐标法证SimSon线及其推广

本文拟用极坐标法对SimSon（西摩松）线及其推广进行证明。 现分如下五个方面介绍: 一、几个极坐标方程 1.直线两点式 表示经过两个已知点p1（ρ1,θ1）和p2（ρ2,θ2）的直线。 2.

用极坐标法证Simson线

众所周知:“三角形外接圆上任一点在三边所在直线上的射影共线。”这直线叫做该点对于该三角形的西摩松(Simson)线。

也谈Simson线的推广

本文采用极坐标法对程李强《Simson线的推广》一文中的推广及猜想给出证明。

历史上著名的摩托车厂家(二)

(十三) LAVERDA公司该公司于1873年创立,工厂设在意大利北部,主要生产农业机械。最初该公司生产98毫升的四冲程单缸摩托车,1960年生产了有名的二冲程摩托车。1968年推出了750毫升赛车,在比赛中取得好成绩。该公司生产的高级摩托车颇受人们欢迎。

重心坐标在几何定理机械化证明中的应用

采用重心坐标系用数值并行法对几何定理的机械化证明进行讨论,并给出五个平面几何定理的新证明。

SGARP中全角法的实现

在可持续发展的几何自动推理平台SGARP中,通过添加全角法相关的对象、谓词和定理,在SGARP中成功实现了全角法.添加了全角法的SGARP测试证明了100个几何定理.

A_4型箭图的可分单态射表示和RSS等价

研究了A4型非线性定向箭图的可分单态射范畴与可分满态射范畴之间的RSS等价。利用组合和表示论的方法显式构造了RSS等价函子及其拟逆,并在A是A2的路代数时给出其Auslander-Reiten箭图。