Focal-distance identity for a hyperbola

ID: focal-distance-identity-for-a-hyperbola

For , let and place the foci of a conic at . On the right branch write , . Direct expansion gives
Since , both square roots are positive and . On the reflected left branch the signed difference reverses, while its absolute value stays . This proves the constant-difference characterization of a hyperbola and keeps track of which branch a hyperbolic function parametrization covers.

New to topics? Read the docs here!