Google Classroom
GeoGebraGeoGebra Classroom

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.