■直角三角形の内接円と傍接円(その7)

 任意の直角三角形:a^2+b^2=c^2に対して,内接円(半径r)を考える.

  r=(a+b−c)/2

で与えられる.

 (a,b,c)が整数のピタゴラス三角形ではrも整数→(a+b−c)は常に偶数→a,bの一方が偶数,他方が奇数,cは奇数である.

 このとき,傍接円の半径

  ra=(c+a−b)/2

  rb=(c+b−a)/2

  rc=(c+b+a)/2

も整数となる.

 さらに,

  r+ra+rb+rc=a+b+c (ピタゴラス三角形の周長)

  r・rc=ra・rb=ab/2  (ピタゴラス三角形の面積)

===================================

直角三角形であるから

a+r=c+(a-c+r)

b=(a-c+r)+(b-a+c-r)

(b-a+c-r)=r

r=(b-a+c)/2=rb

raはa,bが逆になるから

ra= (a-b+c)/2

rcは

c=(r-a)+(r-b)

rc=(a+b+c)/2

===================================