Menelaus's theorem, case 1: line DEF passes inside triangle △ABC
In Euclidean geometry, Menelaus's theorem, named for Menelaus of Alexandria, is a proposition about triangles in plane geometry. Suppose we have a triangle △ABC, and a transversal line that crosses BC, AC, AB at points D, E, F respectively, with D, E, F distinct from A, B, C. A weak version of the theorem states that
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).