■デカルトの円定理(その2)
(Q)与えられた円(半径R)の内部に互いに外接する3個の等円(半径r)があるとき,rを求めよ.
(A)この場合は
(1/r1+1/r2+1/r3+1/r)^2=2(1/r1^2+1/r2^2+1/r3^2+1/r^2)
において,r1=r2=r3=r,r=−Rとする. → r=(2√3−3)R
===================================
r3が半径∞の場合(つまり直線)、ピタゴラスの定理を使っても解けますが、デカルトの円定理を使うと
(1/r1+1/r2+1/r)^2=2(1/r1^2+1/r2^2+1/r^2)
1/r^2-2(1/r1+1/r2)1/r+2(1/r1^2+1/r2^2)-(1/r1+1/r2)^2=0
1/r^2-2(1/r1+1/r2)1/r+(1/r1^2+1/r2^2)-(2/r1r2)^2=0
1/r=(1/r1+1/r2)+{(1/r1+1/r2)^2-(1/r1^2+1/r2^2)+(2/r1r2)^2}^1/2
1/r=(1/r1+1/r2)+2/r1r2=(1/√r1+1/√r2)^2
1/√r=1/√r1+1/√r2が得られる
===================================
さらに変形させると
1/r^2+1/r1^2+1/r2^2-2/rr1-2/r1r2-2/r2r=0
===================================