オペレヴィ・ヴィクセ

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

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

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

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

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

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

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

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

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

第3巻命題4 中心を通らない二つの弦

もし円において中心を通らない弦が互いに交わるならば、互いに二等分しない。

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

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

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

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

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

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

第3巻 定義

等しい二円とは、その直径が等しいかまたはその半径が等しいものである。 円と会し延長されて円を切らない直線は、円に接すると言われる。 相会し相交わらない円は相接すると言われる。 円において弦は、中心からそれらに下ろす垂線が等しいとき、中心から等…

第2巻まとめ

しかし多くの場合、こうして紙に線をひく必要はない。各々の線をひとつずつの文字で示せば足りるのである。たとえば、線BDをGHに加える場合は、一方をa、他方をbと名付けて、a+bと書く。 ――ルネ・デカルト『幾何学』

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

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

第2巻命題13 余弦定理[鋭角編]

鋭角三角形において、鋭角の対辺の上の正方形は、鋭角を挟む二辺の上の正方形の和より、鋭角を挟む辺の一つと、この辺へと垂線が下ろされ、この鋭角への垂線によって内部に切り取られた線分とに囲まれた矩形の二倍だけ小さい。

第2巻命題12 余弦定理[鈍角編]

鈍角三角形において、鈍角の対辺の上の正方形は、鈍角を挟む二辺の上の正方形の和より、鈍角を挟む辺の一つと、この辺へと垂線が下ろされ、この鈍角への垂線によって外部に切り取られた線分とに囲まれた矩形の二倍だけ大きい。

第2巻命題11 二分された線分上の等しい正方形と矩形の作図

与えられた線分を二分し、全体と一つの部分とに囲まれた矩形を、残りの部分の上の正方形に等しくすること。

第2巻命題10 二等分および延長された線分上の正方形

もし線分が二等分され、任意の線分がそれと一直線を成して加えられるならば、加えられた線分を含んだ全体の上の正方形と加えられた線分上の正方形との和は、もとの線分の半分の上の正方形と、もとの線分の半分と加えられた線分とを一直線とした上の正方形と…

第2巻命題9 二等分および二分された線分上の正方形

もし線分が相等および不等な部分に分けられるならば、不等な部分の上の正方形の和は、もとの線分の半分の上の正方形と二つの区分点の間の線分上の正方形との和の二倍である。

第2巻命題8 二分された線分全体と一方との矩形の四倍

もし線分が任意に二分されるならば、全体と一つの部分とに囲まれた矩形の四倍と残りの部分の上の正方形との和は、全体の線分と先の部分とを一直線とした線分上の正方形に等しい。

第2巻命題7 二分された線分全体と一方の上の正方形

もし線分が任意に二分されるならば、全体の上の正方形と一つの部分の上の正方形との和は、全体の線分とこの部分とに囲まれた矩形の二倍と残りの部分の上の正方形との和に等しい。

第2巻命題6 二等分および延長された線分上の矩形

もし線分が二等分され、任意の線分がそれと一直線を成して加えられるならば、加えられた線分を含んだ全体と加えられた線分とに囲まれた矩形ともとの線分の半分の上の正方形との和は、もとの線分の半分と加えられた線分とを合わせた線分上の正方形に等しい。

第2巻命題5 二等分および二分された線分上の矩形

もし線分が相等および不等な部分に分けられるならば、不等な部分に囲まれた矩形と二つの区分点の間の線分上の正方形との和は、もとの線分の半分の上の正方形に等しい。

第2巻命題4 二分された線分全体の上の正方形

もし線分が任意に二分されるならば、全体の上の正方形は、二つの部分の上の正方形と、二つの部分によって囲まれた矩形の二倍との和に等しい。

第2巻命題3 全体と二分された一方との矩形

もし線分が任意に二分されるならば、全体と一つの部分とに囲まれた矩形は、二つの部分に囲まれた矩形と先に言われた部分の上の正方形との和に等しい。

第2巻命題2 全体と二分された各々との矩形

もし線分が任意に二分されるならば、全体と分けられた部分の各々とに囲まれた矩形の和は、全体の上の正方形に等しい。

第2巻命題1 線分と分けられた線分とに囲まれた矩形

もし二線分があり、その一方が任意個の部分に分けられるならば、二線分に囲まれた矩形は、分けられていない線分と分けられた部分の各々とに囲まれた矩形の和に等しい。

第2巻 定義

いかなる直角平行四辺形(矩形)も直角を挟む二線分によって囲まれると言われる。 いかなる平行四辺形においても、その対角線を挟む平行四辺形のどれか一つは、二つの補形と合わせてグノーモーンと呼ばれるとせよ。

第1巻まとめ

より僅かなことで成されることを、多くのことで成すのは無益である。 ――アリストテレス

第1巻命題48 ピタゴラスの定理の逆

もし三角形において、一辺の上の正方形が三角形の残りの二辺の上の正方形の和に等しければ、三角形の残りの二辺によって挟まれる角は直角である。

第1巻命題47 ピタゴラスの定理

直角三角形において、直角の対辺の上の正方形は直角を挟む二辺の上の正方形の和に等しい。

第1巻命題46 正方形の作図

与えられた線分上に正方形を描くこと。

第1巻命題45 直線図形に等しい平行四辺形の作図(領域付置)

与えられた直線角の中に、与えられた直線図形に等しい平行四辺形を作ること。