Also known as Cevian
theorem in planar Euclidean geometry
~11 min read
Ceva's theorem, case 1: the three lines are concurrent at a point O inside △ABC
Ceva's theorem, case 2: the three lines are concurrent at a point O outside △ABC
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).