CAN WE PROVE GEOMETRY THEOREM BY COMPUTING AN EXAMPLE

This paper proposes a method to prove theorems by computing some examples. By this "proving by example" method, to determine whether a geometry proposition is true, we need only to verify a special numerical example, which depends only on the length l and the number s of free variables in the proposition, and is easy to compute. As a conclusion, we proved that to determine a certain kind of geometry propositions, the parallel time or space needed is a polynomial of sl.