【１】デカルトの円定理

　六斜術の公式をさらに変形すると，互いに外接する４個の円の半径の逆数の間の等式

　　（Σ１／ｒi）^2＝２Σ（１／ｒi）^2　　　（デカルトの円定理）

が得られます．

　デカルトの円定理より，三角形ＡＢＣにおいてＡ，Ｂ，Ｃを中心としてそれぞれ半径

　　ｒ1＝（−ａ＋ｂ＋ｃ）／２，ｒ2＝（ａ−ｂ＋ｃ）／２，ｒ3＝（ａ＋ｂ−ｃ）／２

の円を描くとそれらは互いに外接することがわかります．

（Ｑ）互いに外接する３個の円（半径ｒ1，ｒ2，ｒ3）がある．これらすべてに外接する円の半径ｒを求めよ．

（Ａ）ｒ＝ｒ1ｒ2ｒ3／｛ｒ1ｒ2＋ｒ2ｒ3＋ｒ3ｒ1＋２√ｒ1ｒ2ｒ3（ｒ1＋ｒ2＋ｒ3）｝

＝１／｛１／ｒ1＋１／ｒ2＋１／ｒ3＋２√（１／ｒ1ｒ2＋１／ｒ2ｒ3＋１／ｒ3ｒ1）｝

　相異なる２つの球面Ｓ1，Ｓ2の中心をｘ1，ｘ2，半径をｒ1，ｒ2とするとき，Ｓ1，Ｓ2が接するための必要十分条件は

　　｜ｘ1−ｘ2｜＝｜ｒ1±ｒ2｜

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

　一般にＲ^n内の互いに接するｎ＋２個の球面の系があるとする．このとき，接点がすべて異なるならばこれらｎ＋２個の球面はすべて外接するか，または，ある球面が他のｎ＋１個の球面を含むことになる．このような互いに接するｎ＋２個の球面の系については，球面の半径の逆数に関する単純な等式がある．

　　（Σ１／ｒi）^2＝ｎΣ（１／ｒi）^2

　ただし，Ｓjが他の球面をすべて含むときはｒj＝−（Ｓjの半径）とする．このようにすることで，接する２つの球面間の距離が常に｜ｘi−ｘj｜＝｜ｒi＋ｒj｜で表される．

　ｎ＝２の場合，互いに外接する４個の円の半径の逆数の間の等式

　　（Σ１／ｒi）^2＝２Σ（１／ｒi）^2

が成立し

（１／ｒ1＋１／ｒ2＋１／ｒ3＋１／ｒ）^2＝２（１／ｒ1^2＋１／ｒ2^2＋１／ｒ3^2＋１／ｒ^2）

１／ｒ^2＋２／ｒ（１／ｒ1＋１／ｒ2＋１／ｒ3）＋（１／ｒ1＋１／ｒ2＋１／ｒ3）^2＝２（１／ｒ1^2＋１／ｒ2^2＋１／ｒ3^2＋１／ｒ^2）

１／ｒ^2−２／ｒ（１／ｒ1＋１／ｒ2＋１／ｒ3）−（１／ｒ1^2＋１／ｒ2^2＋１／ｒ3^2＋１／ｒ^2）＋２（１／ｒ1ｒ2＋１／ｒ2ｒ3＋１／ｒ3ｒ1）＝０

　この２次方程式を整理すると（Ａ）と同じ式が得られる（デカルトの円定理）．ｎ＝２，３の場合は和算家達によっても得られていた（デカルトの円定理の拡張）．

（Ｑ）与えられた円（半径Ｒ）の内部に互いに外接する３個の等円（半径ｒ）があるとき，ｒを求めよ．

（Ａ）この場合は

（１／ｒ1＋１／ｒ2＋１／ｒ3＋１／ｒ）^2＝２（１／ｒ1^2＋１／ｒ2^2＋１／ｒ3^2＋１／ｒ^2）

において，ｒ1＝ｒ2＝ｒ3＝ｒ，ｒ＝−Ｒとする．　→　ｒ＝（２√３−３）Ｒ

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝