그러면 원의 두 현 0, FGE 점 쇼에서 만나므로 현의 성질 에 의해 AE - AC=AF ㆍㅅ입니다.

이제 AE, AC, AF, 46 에 대하여 생각해 봅시다. 우 BF=BC=a0|#2 4 =0+<이고 46=0@-<입니다. 여기

es

서 ZCEDY 지름 CDo] 대한 원주각이므로, 원주각의 성질에 의하여 ZCED=90° HUT,

또한 26=4/이고 019)=30이므로 삼각형 010에서 CE=CD - cosC=2acosC Yuh, 그리고 AE=CE—AC =2acosC —b Yuu, 그러므로 AE- AC=AF ㆍㅅ(로부터 다음이 성립합니다.

(2acosC —b) ㆍ0=(0+0)(0-0)

2abcosC —b°=a’—c’

세 번째 수업