1) demonstrate [prove] a geometric theorem
证几何定理
2) geometry theorem
几何定理
1.
Using the elimination method with decoupling of leadin g terms for a polynomial set presented by the author, a polynomial set of an or iginal geometry statement of a geometry theorem can be translated into an ascend i ng polynomial set with leading coefficients without unknown variables.
用多项式组主项解耦消元法 ,将几何定理的假设条件 (多项式组PS)化为主系数不含变元的三角型多项式组DTS ,可得到定理命题成立的不含变元的非退化条件 ,即充分必要或更接近充分必要的非退化条件 由于多项式主系数不含变元 ,已不存在DTS多项式之间的约化问题 ,故方法有普遍意义 文中例为西姆松定理的机器证
2.
Generally, the proving of geometry theorem is based on the axiom system, and is deducted according to certain logic rules.
通常,几何定理的证明是依据公理系统,按一定的逻辑规则演绎地进行。
3.
Contrasting the geometry theorems and deductions of several similar graphs,summarizing these algebraic relations and applying both of them to the air defense information fusion are of important theoretic significance.
对比几个类似图形的几何定理及推论,归纳与总结这些代数关系,具有重要的理论意义。
4) Mechanical geometry theorem proving
几何定理机器证明
1.
In this paper a complete method, based on Wu s method and Clifford algebraic representation of plane geometry, is proposed for mechanical geometry theorem proving.
本文结合吴方法及平面几何的Ｃｌｉｆｏｒｄ代数表示，提出了几何定理机器证明的一种完备的方法。
5) differential geometry theorem proving
微分几何定理证明
1.
Computing simplest subsidiary conditions in differential geometry theorem proving;
微分几何定理证明中最简单辅助条件的计算
6) constructive geometric theorem
构造性几何定理
补充资料：几何定理
Image:117327161963499.jpg
几何定理
“几何定理”分类中的条目
这个分类中有7个条目。
余
余弦定理
勾
勾股定理
射
射影定理
正
正切定理
正弦定理
圆：
弦切线定理
弦切角定理
切割定理
割线定理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。