(4)を使ったもとの問題の証明

正方形 ABCD と FKLE は GH に関して対称だから
�僥GI と �僊GR, �傳EI と �僵DR,�僂HE と �儉HD は
各々合同であり、それらの周の総和は 8AB である。
よって �僥GI,�傳EI,�僂HE の周の総和は 4AB である。
�僥GI,�傳EI,�僂HE 全て相似で
(4) より EI = GI + HE であるから
�傳EI の周の和は、�僥GI と �僂HE との周の和に等しい
よって BE + BI + EI = 2AB = 2EF を得る。
  (増加を押す)

�傳EI の内接円の半径を r とおくと
∠EBI = 90°より
2r = BE + BI - EI
  = BE + BI + EI - 2EI
  = 2EF - 2EI
  = 2FI    を得るので
r = FI となる。

 一つ戻る
 戻る