So I got
Then gives one hypotenuse. And so .
Let be a point on a circle with diameter from to (so that ). Draw the chord through perpendicular to (the length and direction of this chord is ). Let be the point of intersection of this chord with the diameter. Prove that the square of half the length of the chord is the product of the distance from to times the distance from to : .