実は
AE×BF×CD = AF×BD×CE
が成り立つことも使って
AD, BE, CF が一点で交わることが示される。
これの証明は多分少し難しいでしょう。
戻る