ユークリッド原論をどう読むか(6)
頁末          目次

ユークリッド原論

第3巻

命題3ー8(円外の点から円周への線分) 
凹形の弧 (凹形弧をとおる直線は1交点) 
凸形の弧   (凸形の弧をとおる直線は1交点)


もし
 の外部に1がとられ、
 そのから円周
 いくつかの線分がひかれ、
 そのうち一つは
 中心を通り
 他は任意であるとすれば、
 凹形の弧にひかれた線分のうち
 中心を通るものは最も大きく
 他の線分のうち
 中心を通るものに近いものは
 遠いものより常に大きい
他方
 凸形の弧にひかれた線分のうち
 そのと直径との間のものが最も小さく
 他の線分のうち
 最も小さいものに近いものは
 遠いものより常に小さく
 そして
 そのから円周
 ただ二つの等しい線分
 最も小さい線分の両側にひかれるであろう。
ABCをとし、
 ABCの外部にDがとられ、
 それから
 線分DA、DE、DF、DCがひかれ、
[それぞれ凹型の孤とG、K、L、Hで交わり、]
 DAは中心を通るとせよ。
凹形の弧AEFCに
 ひかれた線分のうち
 中心を通るDAが最も大きく
 DEはDFより、
 DFはDCより大きく
 他方
 凸形の弧HLKGに
 ひかれた線分のうち
 そのと直径AGとの間のDGが最も小さく
 最も小さい線分DGに近いものが
 遠いものより常に小さい
 すなわち
 DKはDLより、
 DLはDHより小さい
 と主張する。

ABCの中心がとられ、
 それをMとせよ。 【・・・(a)】 そして
 ME、MF、MC、MK、ML、MHが
 結ばれたとせよ。 そうすれば、
AMはEMに等しいから、 双方に
 MDが加えられたとせよ。
そうすれば
ADは
 EM、MDの和に等しい【・・・(1)】 ところが
EM、MDの和は
 EDより大きい ゆえに
ADも
 EDより大きい【・・・(2)】 また
MEは
 MFに等しく MDは
 共通であるから、
EM、MDの和は
 FM、MDの和に等しい【・・・(3)】 そして
EMDは
 FMDより大きい それゆえ
底辺EDは
 FDより大きい 同様にして、
 FDがCDより大きいことも証明しうる。 【・・・(4)】
ゆえに
DAは
 最も大きく、 DEは
 DFより、
 DFはDCより大きい 次に
MK、KDの和はMDより大きく MGは
 MKに等しいから、 残りのKDは
 残りのGDより大きい それゆえ
GDは
 KDより小さい【・・・(5)】 そして
 三角形MLDの
  辺の一つMDの上に
 三角形の内部で交わる
 2線分MK、KDが
 つくられたから、 MK、KDの和は
 ML、LDの和より小さい ところが
 MKはMLに等しい ゆえに
 残りのDKは
 DLより小さい 同様にして
 DLも
 DHより小さいことを証明しうる。 【・・・(6)】
したがって
 DGは最も小さく
 DKはDLより、
 DLはDHより小さい また
 Dから円周
 ただ二つの等しい線分
 最も小さい線分DGの両側に
 ひかれるであろうと主張する。

線分MD上に
 その上のMにおいて
 KMDに等しい
  DMBがつくられ、 【・・・(b)】 DBが結ばれたとせよ。 そうすれば
 MKはMBに等しく MDは共通であるから、
 2辺KM、MDは
 2辺BM、MDにそれぞれ等しい
そして
 KMDはBMDに等しい それゆえ
 底辺DKは底辺DBに等しい【・・・(7)】 Dから
 円周にDKに
 等しい他のいかなる線分
 ひかれないであろうと主張する。
 
もし可能ならば、 [まず凸形の弧の部分に、
 DKに等しい]線分がひかれたとし、
 それをDNとせよ。【・・・(c)】 そうすれば
 DKはDNに等しく 他方、
 DKはDBに等しいから、 DBもDNに等しい すなわち
 最も小さい線分DGに近いものが
 遠いものに等しい
 これは不可能であることが証明された。 [次に
 接点となる部分
 あるいは
 凹形の弧となる部分に
 線分がひかれたとすると、
 この線分
 (101) により、
 凸の部分にひかれた線分より大きくなる。] それゆえ
 DからABCに
 最も小さいDGの両側に
 二つより多い等しい線分
 ひかれないであろう。 よってもし
 の外部に1がとられ、
 そのから円周
 いくつかの線分がひかれ、
 そのうち一つは
 中心を通り
 他は任意であるとすれば、
 凹形の弧にひかれた線分のうち
 中心を通るものは最も大きく
 他の線分のうち
 中心を通るものに近いものは
 遠いものより常に大きい
他方
 凸形の弧にひかれた線分のうち
 そのと直径との間のものが最も小さく
 他の線分のうち、
 最も小さいものに近いものは
 遠いものより常に小さく
 そして
 そのから円周
 ただ二つの等しい線分
 最も小さい線分
 両側にひかれるであろう。

これが証明すべきことであった。       目次   頁頭