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

New Resources

Discover Resources

Discover Topics