2ab8df2be0c62abf23ed86e74281706f2f9ec3028b88f9ada5e6aaa0e054a0d2fa44cc57b2eb78ec84b754c6

7cea8175bd846aff3fed85ec479f2e2d1739d3d45dff89db077531d47d

삼각형 ABC의 변이 BC>= AB,AC라 해도 일반성을 잃지 않는다.
BC1=CB1, O1C1=O1B1, 각O1BC1=각O1CB1
각 O1C1B, O1B1C>90 이므로
삼각형 O1BC1≡O1CB1
=>O1BC는 이등변 삼각형

각 O1AB=90- A/2
=> O1은 직선IbIc위에 있음

각 IbO1C=B, O1IbC=90- B/2
=>삼각형 O1CIb는 이등변
마찬가지로 삼각형 O1BIc는 이등변
=>O1Ic=O1B=O1C=O1Ib
AO1'=ICO1 이 되도록  AIc위 점 O1'을 잡자.
삼각형 O1'C1A≡O1A1C (SAS)
=> C1O1'=C1O1
C1O1'Ic≡C1O1A (SAS)

삼각형 C1IcA은 직각이등변삼각형,
각 BAC=90°
■