| 穫 sm24 =sinz gcosso ーcos? sinC を満たす こう へABC はとのような形をして ているか、。 sin24 一simseosCこ cosのeinzでぷら sin24 一sin2ぢ(1一 sin2C) 1ー sin?)sin2C よって sin24 =sinzぢ一sin2C ……① へABC の外接円の半径を とすると 正琉定理により 2 5の 7の sin4 ーーた・ smぢ=っp・ sinC = さ 2 2失叶術の2だ c* これらを⑦に代入すると 7 KR 4R5 両辺に 4@2 を掛けると のーーの 履だが5G請汗2てで0 よって,。 AABC はぢ=90* の直角三角形である。