7c98f674c3851d85239982e5339c706845fd2033e371cf217f93d132ca67d9898e08fcd64717e14a6ed6b6b896c83a301e18c2


명제 17에 의해 직선 TM은 N을 지난다. 이때 ∠PNT=∠PQT이므로 P, N, Q, T는 같은 원 위에 있다. 원주각에 의해 ∠TNQ=θ, 엇각에 의해 ∠RQN=θ이다. QR=PR×tanα이고 NR=QR×tanθ이므로 tanα×tanθ=NR/PR=½이다. 탄젠트 덧셈공식 적용하면 증명 끝.