Put and denote the distances to and by and . Direct expansion using givesSince and , both expressions inside the final square roots are positive. Hencefor 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 .