Verifying Plane Axiom 3
Given two points A and B, with ideal points P and Q, the distance between A and B is defined as ln((AP*BQ)/(AQ*BP)), where the lengths inside the logarithm are Euclidean lengths.
Information: Verifying Plane Axiom 3