Let

is the middle of segment

. Then

is the median of triangle

(because 1.

is inscribed in a circle 2. orthocenter is isogonal conjugates to circumcenter 3. Circumcenter in rectangular triangle = the middle of hypotenuse ). Menelaus for triangle

and line

gives

.