僖EF を 僊BC の三線三角形でとする
D, E, F は各々
BC, CA, AB の中点ではないとする
直線 BC と EF, CA と FD, AB と DE
各々の交点を P, Q, R とおく
このとき P, Q, R は
一直線上にある
AP, BQ, CR の中点をおのおの
S, T, U とおくと
S, T, U は一直線上にある
これまでの話の解説は
にあります
次も成り立ちます
AP, BQ, CR 各々を直径とする
三つの円は共通の弦をもつ