>>19
まず中心間の距離＞半径の和となる円C1,C2とこれら２円と２点づつを共有する
直線LにたいしてC1、C2、Lと直交する円が存在する円が存在することをしめす。
C1の半径をr1、C2の半径をr2とする。C1、C2の中心をO1、O2とする。
C1とLの共有点P1、Q1とC2とLの共有点P2、Q2がQ1、P1、P2、Q2の順でならんでいるとする。
L上の動点XをP1からP2へうごかす。f(X)をf(X)=√(|XO1|^2-r1^2)-√(|XO2|^2-r2^2)
でさだめるとfは連続関数でf(P1)<0、f(P2)>0であるからf(R)=0となる点が線分P1P2上にとれる。
この点RをとおるC1の接線の接点をA1、B1、C2の接線の接点をA2、B2とすれば
RA1=RB1=RA2=RB2であるからこの値をrとおくとRを中心とする半径rの円がもとめる円である。
であとは例によって円円対応の原理で以下ry
･･･円円対応飽きた。