命題11
「2円が内側で互いに交わり、それらの中心がとられるならば、それらの中心を結ぶ線分は延長されて円の接点におちる。」
2円ABC、ADEが点Aで内側で交わっているとし、円ABCの中心F、円ADEの中心Gをとりなさい。
FからGまで結んだ線分はAにおちることをいう。
そうでないと仮定して、可能ならば、FGHのようになるとし、AF、AGを結びなさい。
そのとき、AGとGFの和はFA、つまりFHより大きいので、おのおのからFGをひきなさい。それゆえ、残りのAGは残りのGHより大きい。
しかし、AGはGDと等しいので、GDはまたGHより大きい。小さい方が大きいほうより大きくなるが、不可能である。
それゆえ、FからGまで結んだ線分は外側におちない。それゆえ、それは接点Aにおちる。
それゆえ、2円が内側で互いに交わり、それらの中心がとられるならば、それらの中心を結ぶ線分は延長されて円の接点におちる。
証明終了