■フォード円(その4)

デカルトの円定理ではなく、三平方の定理を適用する。半径をr,接点をcで表す。c1c2=dとする。

(r1+r3)^2=(r1-r3)^2+x^2→4r1r3=x^2

(r2+r3)^2=(r2-r3)^2+(d-x)^2→4r2r3=(d-x)^2、

(r1+r2)^2=(r1-r2)^2+d^2→4r1r2=d^2

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

z→(z-i)/(z+i)により上半平面をポアンカレ円板に写して考えると、フォードの円は円板の境界に接する円となる。

0,1,2,3,・・・、∞

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