2012年3月7日

数学TLまとめ その2 平行線公理の話

ゆとりまくりな高卒プログラマ @its_out_of_tune の数学TLまとめ第二弾。 本日のお題は「平行な直線が交わらない事を証明したい!」
0
ちゅーん @its_out_of_tune

図形か…平行な直線が永遠に交わらない事の証明とか…(´;ω;`)ブワッ

2012-03-06 14:53:52

事の発端

相互フォローの数学好きな女子中学生の前で、数学について講義して良いカッコしたい!!!
@its_out_of_tuneは、そう考えました。

図形問題が好きだと言っていたので、「並行な直線は交わらない」という話題について、解りやすい説明ができたらモテるんじゃないかと考えたわけなのです。

・・・が、しかし。
その程度の事はちょっとググれば、すぐに解るだろうと思ってたのが 甘 か っ た 。

ちゅーん @its_out_of_tune

非ユークリッド幾何学があと一息で納得できないせいで仕事に集中できない(´・ω・`)ダメ社会人ですねー。

2012-03-06 16:17:05
ちゅーん @its_out_of_tune

雰囲気は解るんだが自分の言葉で説明できないとゆー微妙なライン。

2012-03-06 16:17:52
ちゅーん @its_out_of_tune

@aki2124 ですです、平行線が引けなかったり、同じ点を通る平行線が何本も引けたりする空間(´・ω・`)

2012-03-06 16:19:46
きひろ @aki2124

@its_out_of_tune 定義は平行線が無い空間だった希ガス

2012-03-06 16:21:41
ちゅーん @its_out_of_tune

たしかユークリッドてんてーの話しは島田しゃんに教わった数学本に書いてあったんだ、なんか途中から分けわかんなくなって暫く読んでなかったけど今思うとアレは多分、平行線公理の否定の話…

2012-03-06 16:23:38
ちゅーん @its_out_of_tune

@aki2124 幾つかの定義があるみたいです。ある直線と重ならない点を通り、その直線と交わらない直線が2本以上引ける空間なんてのも。とにかく、そこから先の「だから平行線公理たんは公理たんなのです」っていう説明を厳密にできない(´・ω・`)

2012-03-06 16:27:32
きひろ @aki2124

@its_out_of_tune ふーむ…確かによく分からない

2012-03-06 16:29:29
ちゅーん @its_out_of_tune

@aki2124 つまるとこ、平行線公理たんが成り立つ空間こそがユークリッド空間なのです。と言い変えることはできるのですが、そんな単純な話しじゃ無い気もします。( ̄〜゛ ̄)むぅぅ

2012-03-06 16:31:48
ちゅーん @its_out_of_tune

@aki2124 よく考えたら、数学者兼哲学者ってけっこう居ますよね。

2012-03-06 17:10:36

とにかく、仕事の傍ら、只管、平行線公理についてググりまくる。

ちゅーん @its_out_of_tune

そーいや高校の時の数学マニアな友達もやけに人生哲学に興味津々だった気が。もしかしてこの二つってかなり似てるんじゃ…

2012-03-06 17:11:39
ちゅーん @its_out_of_tune

ちょいと整理しよう。もともとユークリッドのジジィは五つの公理を引っ張り出してきて、色々な証明をしやがったわけだ。

2012-03-06 17:36:09
ちゅーん @its_out_of_tune

ところがこの、5つ目の公理、平行線公理だけはとにかく説明が長ったらしい実はこれは単なる定理で、他の4つの公理から導き出せるはずだろこのアンポンタン!ってのが事の発端なわけだ。

2012-03-06 17:37:32
ちゅーん @its_out_of_tune

で、何人ものジジィがこいつを証明しようと躍起になった、色々考えてみたけど、出来上がった証明を見てみれば、そもそもその証明のためには平行線公理が必要じゃないかとゆー本末転倒。

2012-03-06 17:38:56
ちゅーん @its_out_of_tune

で、あるジジィが、「そもそも平行線公理が無い空間を仮定したら矛盾が出てくるっしょ?そしたら平行線公理公理の証明にならね?うわwwww俺天才、ワロスワロスwwwww」とか言い出した。

2012-03-06 17:40:27
ちゅーん @its_out_of_tune

が、実際にやってみたら、平行線公理公理が成り立たない空間をハヶ━m9( ゚д゚)っ━ン!!してしまったと。>球面幾何学など

2012-03-06 17:42:10
ちゅーん @its_out_of_tune

さて、ここで、成り立つ空間を「ユークリッド空間」、成り立たない空間を「非ユークリッド空間」と呼ぶことにしよう。

2012-03-06 17:44:02
ちゅーん @its_out_of_tune

ここで、非ユークリッド空間を「ユークリッドのおっちゃんが言ってる五つの公理から、平行線公理を外したもの」と考えるとする。

2012-03-06 17:46:08

この辺から自信が無くなってきて、ネタを挟めなくなってます。
実際に内容も明後日の方向へ・・・

ちゅーん @its_out_of_tune

すると、非ユークリッド空間の4つの公理は、ユークリッド空間の5つの公理の中に含まれる…つまり、非ユークリッド空間はユークリッド空間の一部だと言うことになる。これはおかしい。

2012-03-06 17:48:09
ちゅーん @its_out_of_tune

つまり、非ユークリッド空間には「平行線公理が成り立たない」という公理が存在する事になり、厳密にユークリッド空間とは別の公理郡であるという事になる。

2012-03-06 17:49:42
残りを読む(44)

コメント