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 に拡大(縮小)した円の 円周上を動く 続く 一つ戻る 戻る |