■デカルトの円定理(その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

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