AEAEAE は AAA で Γ\GammaΓ に接するので、接弦角の定理より ∠EAC=∠ABC\angle EAC=\angle ABC∠EAC=∠ABC が成り立つ。これは反対側の弧から ACACAC を見込む円周角である。