■ケプラー三角形(その9)

  x^2(x−2y)+4(x+2y)=0

  y(2x^2−8)=x^3+4x

  y=(x^3+4x)/(2x^2−8)

   =x(x^2+4)/2(x^2−4)

 微分が許されているならば

  y’={2(3x^2+4)(x^2−4)−4x^2(x^2+4)}/{2(x^2−4)}^2=0

 (3x^2+4)(x^2−4)−2x^2(x^2+4)=0

  x^4−16x^2−16=0→(x^2−8)^2=80

  x^2=8+4√5

  x^2=8+4√5=8τ+4

  (x^2+4)=12+4√5=8τ+8=8τ^2

  (x^2−4)=8τ

  y=x(x^2+4)/2(x^2−4)=x/2・τ

  h^2=y^2−(x/2)^2=(x/2)^2{τ^2−1}=(2τ+1)τ

ここで,2τ+1=τ^3より,

  h=τ^2

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

 中川宏さんから教えてもらった算法助術の表記法では,

  h=2a^2/(a^2−4)

しかし,これには最小化したいbの情報が含まれていない.

  1/h=1/2・(a^2−4)/a^2=1/2・{1−(2/a)^2}

相乗平均・相加平均不等式より

  1/h=1/2・{1−(2/a)^2}<1/2・{(1+2/b+1−/2/b)/2}^2=1/2

 これより,h>2が得られるだけである.

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