証明 最初の図での証明 PFAE は円に外接するので ∠AEF = ∠APF である。 　(増加を押す) PEDC は円に外接するので ∠CED = ∠CPD である。 　(増加を押す) PFBD は円に外接するので ∠FPD = 180°- ∠FBD である。 PABC は円に外接するので ∠APC = 180°- ∠ABC である。 よって ∠FPD = ∠APC なので ∠APF = ∠CPD を得る。 　(増加を押す) これより ∠AEF = ∠CED となり D, E, F が一直線上にあることがわかる。 戻る