Put and denote the distances to and by and . Direct expansion using gives
Since and , both expressions inside the final square roots are positive. Hence
for every point of this right branch. This is the focal-distance identity for a hyperbola; on the left branch the signed difference would reverse, while its absolute value would remain .