オペレヴィ・ヴィクセ

ユークリッドの『原論』を少しずつ読んでいくブログです。タイトルは「Q.E.D.」の元になったギリシャ語の「όπερ έδει δείξαι.」。

第1巻-定義-定義1.15

第3巻命題14 等しい弦の中心からの距離

円において等しい弦は中心から等距離にあり、中心から等距離にある弦はまた互いに等しい。

第3巻命題13 二円の接点の個数

円は円と、内側で接するにせよ外側で接するにせよ、一つより多くの点においては接しない。

第3巻命題12 外接する二円の中心を結ぶ線分

もし二つの円が外側で互いに接するならば、それらの中心を結ぶ線分は接点を通るであろう。

第3巻命題11 内接する二円の中心を結ぶ線分

もし二つの円が内側で互いに接し、それらの中心がとられるならば、それらの中心を結ぶ線分は延長されて円の接点におちるであろう。

第3巻命題8 円の外部から円周へ引かれた線分

もし円の外部に一点がとられ、その点から円周にいくつかの線分が引かれ、そのうち一つは中心を通り他は任意であるとすれば、凹形の弧に引かれた線分のうち中心を通るものは最も大きく、他の線分のうち中心を通るものに近いものは遠いものより常に大きい、他…

第3巻命題7 直径上の中心でない点から引かれた線分

もし円の直径上に円の中心でない一点が取られ、その点から円周に線分が引かれるならば、中心がその上にあるものが最も大きく、この直径の残りが最も小さく、他の線分のうち中心を通る線分に近いものが遠いものよりも常に大きく、そしてその点から円周へただ…

第3巻命題6 接する二円の中心

もし二つの円が互いに接するならば、それらは同じ中心を持たないであろう。

第3巻命題5 交わる二円の中心

もし二つの円が互いに交わるならば、それらは同じ中心を持たないであろう。

第3巻命題3 弦を二等分する直線

もし円において、中心を通る線分が中心を通らない弦を二等分するならば、それをまた直角に切る。そしてもし直角に切るならば、それをまた二等分する。

第3巻命題2 円周上の二点を結ぶ線分

もし円周上に任意の二点が取られるならば、二点を結ぶ線分は円の内部に落ちるであろう。

第3巻命題1 円の中心の作図

与えられた円の中心を見出すこと。

第2巻命題14 直線図形に等しい正方形の作図

与えられた直線図形に等しい正方形を作ること。

第1巻命題12 直線外の点を通る垂線

与えられた無限直線にその上にない与えられた点から垂線を下ろすこと。

第1巻命題3 線分の切り取り

二つの不等な線分が与えられたとき、大きいものから小さいものに等しい線分を切り取ること。

第1巻命題2 長さ(線分)の移動

与えられた点において与えられた線分に等しい線分を作ること。

第1巻命題1 正三角形の作図

与えられた有限な直線(線分)の上に等辺三角形を作ること。

第1巻 定義

点とは部分を持たないものである。 線とは幅のない長さである。 線の端は点である。 直線とはその上にある点について一様に横たわる線である。 面とは長さと幅のみを持つものである。 面の端は線である。 平面とはその上にある直線について一様に横たわる面…