theorem that, if one is given a triangle ABC and constructs squares on AC and BC, the midpoint of the line segment connecting the vertices of the squares opposite C is independent of the location of C
via Wikidata · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).