■中川の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
「一関算額の問題」と同様,因数分解に苦戦したが,何とか解くことができたようだ.
===================================