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!