Equality of horizontal hyperbolic and Euclidean distances

ID: equality-of-horizontal-hyperbolic-and-euclidean-distances

For points and with , the hyperbolic distance is . It equals their Euclidean distance exactly when the displayed relation holds. The function of decreases continuously from one to zero: its derivative has the sign of . Hence every height has exactly one positive matching horizontal separation.

New to topics? Read the docs here!