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
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).