theorem that the sum of the shortest distances from any interior point to the sides of an equilateral triangle equals the length of the triangle's altitude
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).