Here’s a simple proof: Let be a unit vector denoting the direction of our chord, and be our position. Then, the desired lengths are the signed values of such that . Expanding, we get that
By Vieta’s, the products of the roots of this equation are just , which, importantly, is independent of . This quite elegantly proves Power of a Point without needing to resort to casework.