Perpendicular Line from Chord (Proof)