Automated Discovery of Geometric Theorems Based on Vector Equations

Abstract

Automated discovery of geometric theorems has attracted considerable attention from the research community. In this paper, a new method is proposed to discover geometric theorems automatically. This method first generates vector equations based on given geometric relations about a geometric figure and then transforms the vector equations into a system of homogeneous linear equations; after computing the determinants of the coefficient matrices corresponding to the system of equations, the elimination method is applied to obtain a large number of geometric relationships. The test on more than 200 geometric problems shows that the geometric relationships discovered automatically by the proposed method are of obvious geometric meaning.