■フォード円(その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,・・・、∞
===================================