■整数三角形(その25)

 1辺の長さがdの正三角形の中に点Pがあり,3頂点との距離はそれぞれa,b,cになっている.このとき,

  3(a^4+b^4+c^4+d^4)=(a^2+b^2+c^2+d^2)^2

が成り立つ.この公式を知っていれば答は簡単である.しかし,誤れば失敗するし,かといって自ら導き出すのも骨の折れる作業である.

 コラム「正三角形と整数距離」では,a,b,cが等差数列になっているものとする.

  a=b−e,b,c=b+e

  a^2=(b−e)^2,a^4=(b−e)^4

  c^2=(b+e)^2,c^4=(b+e)^4

  a^2+b^2+c^2=3b^2+2e^2

  a^4+b^4+c^4=3b^4+12b^2e^2+2e^4

  3(3b^4+12b^2e^2+2e^4+d^4)=(3b^2+2e^2+d^2)^2=d^4+2(3b^2+2e^2)d^2+(3b^2+2e^2)^2

  d^4−(3b^2+2e^2)d^2+12b^2e^2+e^2=0

  D=(3b^2+2e^2)^2−4(12b^2e^2+e^2)=9b^4−36b^2e^2=9b^2(b^2−4e^2)

 計算しやすいようにするためには

  b^2−4e^2=f^2,b^2=(2e)^2+f^2

 そのため,2e=6,f=8,b=10

  b=10,e=3→a=7,b=10,c=13

が選ばれているが,2e=4,f=3,b=5とすれば,

  b=5,e=2→a=3,b=5,c=7

2e=12,f=5,b=13とすれば,

  b=13,e=6→a=7,b=13,c=19

でもよいことになる.

 コラム「直角三角形と整数距離」では,

  b^2=(2e)^2+f^2

において,2e=8,f=63,b=65とすれば,

  b=65,e=4→a=61,b=65,c=69

2e=56,f=33,b=65とすれば,

  b=65,e=28→a=37,b=65,c=93

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