命題12

「2円が外側で互いに交わるならば、それらの中心を結ぶ線分は接点を通る。」

 

2円ABC、ADEが点Aで外側で交わっているとせよ。ABCの中心F、ADEの中心Gをとりなさい。

FからGまで結んだ線分は接点Aを通ることをいう。

そうでないと仮定して、可能ならば、FCDGのようになるとし、AF、AGを結びなさい。

そのとき、点Fは円ABCの中心なので、FAはFCと等しい。

また、点Gは円ADEの中心なので、GAはGDと等しい。

しかし、FAはFCと等しいことも証明されていた。それゆえ、FA、AGはFC、GDと等しい。ゆえに、FG全体はFA、AGより大きく、それはまた小さくなるが、不可能である。命題T.20

それゆえ、FからGまで結んだ線分は決して接点Aを通らないことはない。それゆえ、それはAを通る。

それゆえ、2円が外側で互いに交わるならば、それらの中心を結ぶ線分は接点を通る。

証明終了


第3巻命題11へ 第3巻命題13へ 第3巻目次へ