用いる a diameter に対してcomplementary 角s.
もし CE CE CE はa diameter, then ∠OCP=∠ECB=∠EAB\angle OCP=\angle ECB=\angle EAB ∠OCP=∠ECB=∠EAB および∠EAB+∠CAB=90∘\angle EAB+\angle CAB=90^\circ ∠EAB+∠CAB=90∘. ゆえに ∠CAB+∠COP<90∘\angle CAB+\angle COP<90^\circ ∠CAB+∠COP<90∘.