オペレヴィ・ヴィクセ

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

第1巻-命題-命題1.05

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

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

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

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

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

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

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

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

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

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

第1巻命題24 二つの三角形の不等な角

もし二つの三角形において、二辺が二辺にそれぞれ等しく、等しい線分によって挟まれる角の一方が他方より大きいならば、底辺も底辺より大きいであろう。

第1巻命題20 三角形の二辺の和

すべての三角形において、どの二辺をとってもその和は残りの一辺より大きい。

第1巻命題19 三角形の大きい角は大きい辺に対する

すべての三角形において、大きい角には大きい辺が対する。

第1巻命題18 三角形の大きい辺は大きい角に対する

すべての三角形において、大きい辺は大きい角に対する。

第1巻命題7 三角形の合同条件(三辺相等)[準備編]

ひとつの線分を底辺として、三角形を成す二線分にそれぞれ等しく、同じ側に異なった点で交わり、最初の二線分と同じ端を持つ他の二線分を作ることはできない。

第1巻命題5 二等辺三角形の底角は等しい

二等辺三角形の底辺の上にある角は互いに等しく、等しい辺が延長されるとき、底辺の下の角は互いに等しいであろう。