geometric mean theorem

Also known as Euclid's second theorem, right triangle altitude theorem

theorem that, in a right triangle, the altitude equals the geometric mean of the the two line segments on the hypotenuse created by the altitude