Proving by example and gap theorems

This paper proposes a proving_by_example method, which works as follows: Given a geometry proposition we can easily present a concrete numerical example such that in order to determine whether the proposition is generally true, one need only to try this example up to a certain number of significant digits. This is an application of a recently discovered gap theorem.