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 propert...
