Similar to モール–マスケローニの定理

Pappus's centroid theorem

Pythagorean theorem