【１】同心円への帰着と閉包条件

　最初の２円の直径端と中心がそれぞれ

　　［－１，０，１］，［α，（α＋β）／２），β］　　　（α＋β＞０）

にあると仮定しても一般性は失われない．

　このとき，

　　ｗ＝（ｚ＋ａ）／（ａｚ＋１）

は半径１の円板をそれ自身に移し，［－１，０，１］はそれぞれ［－１，ａ，１］に移される．（円板の中心が円板の中心に移されるわけではない）．

　［α，β］が［－ｒ，ｒ］に移されるためには，

　　（α＋ａ）／（ａα＋１）＝－（β＋ａ）／（ａβ＋１）

より，ａに関する２次方程式

　　ａ^2＋２ａ（１＋αβ）／（α＋β）＋１＝０　　　（－１＜ａ＜０）

に帰着される．

　　ａ＝｛－（１＋αβ）±｛（１－α^2）（１－β^2）｝^1/2｝／（α＋β）

　　ｒ＝｜（α＋ａ）／（ａα＋１）｜＝｜（β＋ａ）／（ａβ＋１）｜

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

【２】偏心パラメータの決定

　しかし，できあがった図に初期の偏心パラメータα，βの値は反映されていない．

　　ｒ＝（１－ｓｉｎ（π／ｎ））／（１＋ｓｉｎ（π／ｎ））

が第一義的に決定され，

　　ａ＝｛－（１＋αβ）＋｛（１－α^2）（１－β^2）｝^1/2｝／（α＋β）

が第二義的に決定されると，最終的に

　　ｒ＝｜（α＋ａ）／（ａα＋１）｜＝｜（β＋ａ）／（ａβ＋１）｜

からα，βが決まるからである．

　したがって，シュタイナーの定理に対応するオイラー・フース型定理

　　ｄ^2＝ｒ^2－ｒ（ｓ＋１／ｓ）＋１

が所与の場合は

　　（α＋β）／２＝ｄ，（β－α）／２＝ｒ

　　α＝ｄ－ｒ，β＝ｄ＋ｒ

を

　　ａ^2＋２ａ（１＋αβ）／（α＋β）＋１＝０　　　（－１＜ａ＜０）

に代入して，

　　ａ^2＋２ａ（１＋ｄ^2－ｒ^2）／（２ｄ）＋１＝０　　　（－１＜ａ＜０）

　　ａ＝－（１＋ｄ^2－ｒ^2）／（２ｄ）＋｛（（１＋ｄ^2－ｒ^2）／（２ｄ））^2－１｝^1/2

が決定される．

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