�僊BC と線分 DA において 次の二つは同値である。 (1)　DA は �僊BC の外接円に接している。 (2)　∠DAB = ∠ACB。 �僊BC の外接円の直径 AE を引く。 このとき ∠ABE = 90°= ∠BAE + ∠AEB である。 従って次の (イ),(ロ)、(ハ) は同値である。 (イ) DA が　�僊BC の外接円の接線 (ロ) ∠DAO = 90° (ハ) ∠DAB = ∠AEB また、円周角の定理より ∠ACB = ∠AEB であるので (ハ) は次の (二) と同値である (二) ∠DAB = ∠ACB 戻る