BC 가 지름이면 △ABC 는 원 O 에 내장됩니다 (△ABC 는 직각 삼각형, BC 는 비스듬한 모서리).
증명: 그림 AB 와 같이 원 o 의 접선입니다.
∮ 3 = ∮ BCA
옵션 BCA+옵션 ABC = 90
∮ 3+∮ ABC = 90
∮ AP ⊜ BC? Q 는 AB 의 중점이다.
∮ AQ = qp
∮ 3 = ∮ 4
AO = PO
∮1= ∮ 2? 같은 3+1= 90
∰2+4 =1+3 = 90
∮ qp ⊜ po
∮ pq 는 원 o 의 접선이다