証明 (1) 四辺形 ABCD が円に内接しているとする (増加を押す) O を四辺形 ABCD の外接円の中心とする。 ∠BAC と ∠BDC はともに 緑の弧 BC にたいする円周角なので その中心角 ∠BOC の半分である。 よって ∠BAC = ∠BDC である。 (2) ∠BAC = ∠BDC とする。 (増加を押す) 僊BC の外接円を描く。 もし D がその外接円の外側にあると仮定すると E を BD とその外接円との交点とおくと。 ∠BEC = ∠EDC + ∠DCE > ∠BDC である。 また (1) より ∠BAC = ∠BEC である。 これは ∠BAC = ∠BDC に反する。 (増加を押す) もし D がその外接円の内側にあると仮定すると E を BD の延長とその外接円との交点とおくと。 ∠BEC = ∠BDC - ∠DCE < ∠BDC である。 また (1) より ∠BAC = ∠BEC である。 これは ∠BAC = ∠BDC に反する。 よって D は 僊BC の外接円上にある。 つまり四辺形 ABCD は円に内接する。 一つもどる 戻る |