■マルファティの問題(その3)

【1】円に関する問題・・・デカルトの円定理

(Q)互いに外接する3個の円(半径r1,r2,r3)がある.これらすべてに外接する円の半径rを求めよ.

(A)r=r1r2r3/{r1r2+r2r3+r3r1+2√r1r2r3(r1+r2+r3)}

=1/{1/r1+1/r2+1/r3+2√(1/r1r2+1/r2r3+1/r3r1)}

 相異なる2つの球面S1,S2の中心をx1,x2,半径をr1,r2とするとき,S1,S2が接するための必要十分条件は

  |x1−x2|=|r1±r2|

となることである.±は外接か内接かに対応している.

 一般にR^n内の互いに接するn+2個の球面の系があるとする.このとき,接点がすべて異なるならばこれらn+2個の球面はすべて外接するか,または,ある球面が他のn+1個の球面を含むことになる.このような互いに接するn+2個の球面の系については,球面の半径の逆数に関する単純な等式がある.

  (Σ1/ri)^2=nΣ(1/ri)^2

 ただし,Sjが他の球面をすべて含むときはrj=−(Sjの半径)とする.このようにすることで,接する2つの球面間の距離が常に|xi−xj|=|ri+rj|で表される.

 n=2の場合,互いに外接する4個の円の半径の逆数の間の等式

  (Σ1/ri)^2=2Σ(1/ri)^2

が成立し

(1/r1+1/r2+1/r3+1/r)^2=2(1/r1^2+1/r2^2+1/r3^2+1/r^2)

1/r^2+2/r(1/r1+1/r2+1/r3)+(1/r1+1/r2+1/r3)^2=2(1/r1^2+1/r2^2+1/r3^2+1/r^2)

1/r^2−2/r(1/r1+1/r2+1/r3)−(1/r1^2+1/r2^2+1/r3^2+1/r^2)+2(1/r1r2+1/r2r3+1/r3r1)=0

 この2次方程式を整理すると(A)と同じ式が得られる(デカルトの円定理).n=2,3の場合は和算家達によっても得られていた(デカルトの円定理の拡張).

(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

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