■中川の5円定理(その4)

 番外編として,中川宏さんに教えてもらった問題を掲げたい.大円(半径a),扇(半径b),小円(半径c)が下図のような位置にある(外円の半径を1としても一般性は失われない,2a+b=2).

[Q]aを動かしたとき,cの最大値を求めよ.

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

[A]c円の中心を(x,y)とする.

[1]a円の中心(0,1−a)からの距離に関して

  x^2+(y−1+a)^2=(a+c)^2

[2]b扇の要(0,−1)からの距離に関して

  x^2+(y+1)^2=(b+c)^2

[3]外円の中心(0,0)からの距離に関して

  x^2+y^2=(1−c)^2

 (x,y)を消去する.

[2]x^2+y^2+2y+1=(b+c)^2

[1]を代入すると

2y=(b+c)^2−(1−c)^2−1・・・[4]

[3]x^2+y^2−2(1−a)y+(1−a)^2=(a+c)^2

[1]を代入すると

2(1−a)y=−(a+c)^2+(1−c)^2+(1−a)^2・・・[5]

[4][5]からyを消去して整理すると

(1−a){(b+c)^2−(1−c)^2−1}=−(a+c)^2+(1−c)^2+(1−a)^2

 b=2−2aを代入して,cについて整理すると

  c=(a^3−3a^2+2a)/(a^2−2a+2)

 cをaで微分して,c’=0より,

  a^4−4a^3+10a^2−12a+4=0

 解がa=1に関して対称となるようなので,

  a^4−4a^3+6a^2−4a+1+4a^2−8a+4−1=0

  (a−1)^4+4(a−1)^2−1=0

  ±(a−1)^2=−2±√5

  (a−1)^2=−2+√5,(a−1)^2=2+√5

  (a^2−2a+3−√5)(a^2−2a−1−√5)=0

  a=1±(−2+√5)^1/2,1±(2+√5)^1/2

 題意を満たすものは,a=1−(−2+√5)^1/2

  a^2−2a=√5−3,a^2−2a+2=√5−1

 (a^3−3a^2+2a)=a(a−1)(a−2)

=(a^2−2a)(a−1)

=(3−√5)(−2+√5)^1/2

  c=(a^3−3a^2+2a)/(a^2−2a+2)

=(√5−1)/2・(−2+√5)^1/2/4

={(−11+5√5)/2}^1/2

 「一関算額の問題」と同様,因数分解に苦戦したが,何とか解くことができたようだ.

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