Euclid’s theorem of leg 9.3

Euclid’s theorem of leg Use to show the Geometric Mean Leg Theorem.

See also "Euclid’s theorem of altitude"