中国科学院重庆绿色智能技术研究院机构知识库

QQ客服 官方微博 反馈留言

	Self-evident Automated Proving Based on Point Geometry from the Perspective of Wu’s Method Identity
	Zhang, Jingzhong1,2,3; Peng, Xicheng1; Chen, Mao1
	2019
摘要	The algebraic methods represented by Wu’s method have made significant breakthroughs in the field of geometric theorem proving. Algebraic proofs usually involve large amounts of calculations, thus making it difficult to understand intuitively. However, if the authors look at Wu’s method from the perspective of identity,Wu’s method can be understood easily and can be used to generate new geometric propositions. To make geometric reasoning simpler, more expressive, and richer in geometric meaning, the authors establish a geometric algebraic system (point geometry built on nearly 20 basic properties/formulas about operations on points) while maintaining the advantages of the coordinate method, vector method, and particle geometry method and avoiding their disadvantages. Geometric relations in the propositions and conclusions of a geometric problem are expressed as identical equations of vector polynomials according to point geometry. Thereafter, a proof method that maintains the essence of Wu’s method is introduced to find the relationships between these equations. A test on more than 400 geometry statements shows that the proposed proof method, which is based on identical equations of vector polynomials, is simple and effective. Furthermore, when solving the original problem, this proof method can also help the authors recognize the relationship between the propositions of the problem and help the authors generate new geometric propositions. © 2019, Institute of Systems Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences and Springer-Verlag GmbH Germany, part of Springer Nature.
DOI	10.1007/s11424-019-8350-6
发表期刊	Journal of Systems Science and Complexity
ISSN	10096124
卷号	32期号:1页码:78-94
收录类别	SCI
语种	英语
EISSN	15597067