Verifying Plane Axiom 3

Author:
Erik Tou
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.
GeoGebra Applet

Discover Resources

New Resources