Preview 1
ondly, in each kind of geometry there are normal form theorems which can be used to simplify coordinate proofs. For example, in a ne geometry every tri-angle is equivalent to the triangle whose vertices are A0 = (0;0), B0 = (1;0), C0 = (0;1) (see Theorem 3.13) and in Euclidean geometry every triangle is
Preview 1
Preview 2
Preview 3
Preview 4
Preview 5
Preview 6