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

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

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

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

　このとき，

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

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

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

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

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

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

に帰着される．

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

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

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

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

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

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

が第一義的に決定され，

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

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

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

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

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

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

が所与の場合は

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

　　α＝ｄ−ｒ，β＝ｄ＋ｒ

を

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

に代入して，

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

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

が決定される．

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