H P を通らない円の円 PQ に関する反転は
   P を通らない円になる

円 IJ の外部に P があるとき

G を P から円 IJ に引いた接線の接点とする。
A を円 IJ 上の点とする
C を円 IJ と直線 PA とのもう一つの交点とする。
B を円 PQ に関する A の反転とする。
このとき
PA×PC = PG2
PA×PB = PQ2
なので PB : PC = PQ2 : PG2

A が円 IJ の円周上を動くとき
C も同じ円の円周上を動く
よってそのとき
B は円 IJ を P を相似の中心として
PQ2 / PG2 に拡大(縮小)した円の 円周上を動く

続く   一つ戻る   戻る