Content area
Abstract
How to automatically generate short and easy-to-understand proofs for geometric theorems has long been an issue of concern in mathematics education. A novel automated geometric theorem proving method based on complex number identities is proposed in this paper, which acts as a bridge between geometry and algebra. According to the proposed method, the geometric relations in the given proposition are first transformed into a complex number expression, then the complex number identity is generated by the elimination method; finally, the closure property under all four operations of real numbers is employed to prove the proposition. A test on more than 300 geometric problems shows that the proposed method is highly effective, and the corresponding proofs are short, with obvious geometric meaning.
Details
; Liu, Sannyuya 1 1 Central China Normal University, National Engineering Laboratory for Educational Big Data, Wuhan, China (GRID:grid.411407.7) (ISNI:0000 0004 1760 2614)
2 Central China Normal University, National Engineering Laboratory for Educational Big Data, Wuhan, China (GRID:grid.411407.7) (ISNI:0000 0004 1760 2614); Guangzhou University, Institute of Computational Science and Technology, Guangzhou, China (GRID:grid.411863.9) (ISNI:0000 0001 0067 3588)