平行線の公理について

Question

まず、いま勉強している教科書において
・平行線の公理
「与えられた直線外の点を通る、この直線と平行な直線はたかだか１つしか存在しない」
・ユークリッドの「原本」に述べられている平行線に関する公理
「２直線が第３の直線に交わり、同傍内角の和が２直角（２∠Ｒ）よりも小さいときは、それらの２直線はその側において交わる」
とそれぞれ定められています。
そして、上記の二つの公理が同値であることを示せという例題が載っています。
以下、教科書に載っている例題の解答の前半部分です

最初に平行線の公理を仮定する。
２直線が第３の直線と交わり、その同傍内角をそれぞれα、βとし、さらにαの補角をα’、βの補角をβ’とする。
もし２直線が同傍内角の側で交わらないとすると、平行であるか、逆の側で交わる。
平行であるときは錯角が等しいのでα＋β≡２∠Ｒであり、仮定に反する。
逆の側で交われば、その交点をＣとして、α’＋β’＋∠Ｃ≡２∠Ｒであるから
α＋β≡（２∠Ｒ－α’）＋（２∠Ｒ－β’）
　　　≡２∠Ｒ＋｛２∠Ｒ－（α’＋β’）｝
　　　≡２∠Ｒ＋∠Ｃ
　　　＞２∠Ｒ
これも矛盾である。

とあります。どこが仮定に反しているのか、矛盾しているのかが解らなくてこんがらかっているところです
なにか変な勘違いをしているのかも知れませんが宜しくお願いします
後半部分のユークリッドを仮定して平行線の公理を導くのは直ぐに理解は出来たのですが・・・・

tky8452 · Accepted Answer

「Ａ→Ｂ」のときに「Ａ→Ｂ」の対偶、つまり「Ｂでない→Ａでない」もまた真です。
今回の問題の場合、
（仮定）２直線が第３の直線に交わり、（かつ）同傍内角の和が２直角（２∠Ｒ）よりも小さいときは、
→（結論）それらの２直線はその側において交わる
であるから、この対偶を用いて証明しています。
また仮定は、その同傍内角をそれぞれα、βとすればα＋β＜２∠Ｒとなるので、これに矛盾することを証明してます。
やや文章が分かりにくいけど、特に論理上の問題はないと思います。

Quattro99 · Answer

> ２直線が第３の直線と交わり、その同傍内角をそれぞれα、βとし、さらにαの補角をα’、βの補角をβ’とする。
この仮定では、同傍内角の和が2直角よりも小さい側の内角をα、βとしているのではないですか？そう仮定した上で、平行ならα＋β≡２∠Ｒとなってしまって矛盾、逆の側で交わるならα＋β＞２∠Ｒとなって矛盾ということだと思います。
 示したいのは、
> 「２直線が第３の直線に交わり、同傍内角の和が２直角（２∠Ｒ）よりも小さいときは、それらの２直線はその側において交わる」
ですから、「２直線が第３の直線に交わり、同傍内角の和が２直角（２∠Ｒ）よりも小さいときに、それらの２直線がその側において交わらないとすると」と仮定して矛盾を示しているのだと思います。

koko_u_ · Answer

あんまり考えてないけど、

「平行であるときは錯角が等しいのでα＋β≡２∠Ｒであり、仮定に反する」

この辺が怪しいですよね。平行である時に錯角が等しいことを言うためには
今まさに示そうとしているユークリッドの意味での平行線公理が必要になりそうに思われます。

少なくとも質問文にある意味での平行線の公理から錯角が等しいことを示す必要がありそうです。

平行線の公理について

「Ａ→Ｂ」のときに「Ａ→Ｂ」の対偶、つまり「Ｂでない→Ａでない」もまた真です。

> ２直線が第３の直線と交わり、その同傍内角をそれぞれα、βとし、さらにαの補角をα’、βの補角をβ’とする。

あんまり考えてないけど、

似たような質問が見つかりました

関連するカテゴリからQ&Aを探す

デイリーランキングこのカテゴリの人気デイリーQ&Aランキング

マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング