証明 BE と CF の交点を G とおき AG の延長と BC の交点を D' とおく。 D' が D と一致することを示す。 つまり D' が BC の中点であることを示す。 (増加を押す。) E は CA の中点なので �僭BC = �僭AB (面積が等しい)である。 (基本定理３参照) (増加を押す。) F は AB の中点なので �僭CA = �僭BC である。 (基本定理３参照) (増加を押す。) よって �僭AB = �僭CA である。 ゆえに D' は BC の中点である。 (基本定理３参照) 　 戻る