問題 僊BC の ∠ABC 内にある傍接円を描き その中心(傍心)を J とする 僊BC の外接円と BJ との交点を D とおく このとき DA = DC = DJ であることを示せ (A, C, J は D を中心とする 一つの円の円周上にある) |
略解 E を BA の延長線上の点とする J は∠ABC 内にある傍心なので @ ∠ABJ = ∠CBJ A ∠JAC = ∠JAE |
四辺形 ABCD が円に内接しているので B ∠DAC = ∠DBC よって ∠DJA = ∠JAE - ∠ABJ = ∠JAC - ∠CBJ (@、A)より = ∠JAC - ∠DAC (B)より = ∠DAJ よって DA = DJ @より DA = DC 故に DA = DC = DJ | D は 僊CJ の外心である |