■方ベキの定理(その8)
円の集合があり、どの2円の根軸も一致するとき、共軸円系(円束)をなすという。
これらの円は
j(x^2+y^2+lx+my+n)+k(x^2+y^2+px+qy+r)=0
の形で表せる
===================================
反転を用いると、証明の見通しが良くなる。
点Pが円外にあるとき 、2接点をS,Tとすると、OP,STの交点Qが点Pの反転像である(Qは極線上にある)
点Pが円内にあるとき 、垂線との交点をS,Tとすると、S,Tを接点とする2接線の交点Qが点Pの反転像である(Qは極にある)
===================================
2点P,Qを通る円は円Oと直交する
A'=φ(A),B'=φ(B)
A'B'=(r^2/OA・OB)・ABが成り立つ
===================================