【数学】1=2、ガリレオ=ガリレイ、整域

せきゅーん @integers_blog

1=2の証明久しぶりに見てみたけど、やはり俺が選ぶ一位はこれ。 pic.twitter.com/Ocm20vrgG6

拡大

鯵坂もっちょ🐟『つれづれなる数学日記』発売中 @motcho_tw

ガリレオ=ガリレイで1=2できそう

鯵坂もっちょ🐟『つれづれなる数学日記』発売中 @motcho_tw

ガリレオ=ガリレイ 「オ」はアから数えて5番め、「イ」は2番めなのでそれぞれ5,2とおく。 　　ガリレ5=ガリレ2 両辺をガリレで割る。 　　5=2 両辺から8を引いて、-1/3倍する。 　　1=2

tsujimotter 日曜数学者 @tsujimotter

@motcho_tw ガリレ ≠ 0 を示せればなおよいですね！

s.t. @simizut22

ガリレ≠0 #未解決問題 twitter.com/tsujimotter/st…

鯵坂もっちょ🐟『つれづれなる数学日記』発売中 @motcho_tw

@tsujimotter そうか…大事なとこ忘れてた

鯵坂もっちょ🐟『つれづれなる数学日記』発売中 @motcho_tw

（補遺）「ガリレ」は文字のパーツをわずかに並べ替えると「ガール」となる。これは明らかに女の子を意味する。この世に女の子が０人ということはありえないので、ガリレ>0。よってガリレで両辺を割ることができる。

鯵坂もっちょ🐟『つれづれなる数学日記』発売中 @motcho_tw

こんな感じでどうや

s.t. @simizut22

@motcho_tw @tsujimotter 整域かどうかも示す必要がある

tsujimotter 日曜数学者 @tsujimotter

@simizut22 @motcho_tw ab = 0 ならば a=0 または b=0 ってやつですよね。たしかに。

鯵坂もっちょ🐟『つれづれなる数学日記』発売中 @motcho_tw

@simizut22 @tsujimotter ﾋｨ

鯵坂もっちょ🐟『つれづれなる数学日記』発売中 @motcho_tw

@tsujimotter @simizut22 それはどこで必要になってるんですか？

さのたけと @taketo1024

@motcho_tw 例えば mod 6 だと 2 x 3 = 0 だけど、両辺 2 で割って 3 = 0 とは言えない、という感じです。

s.t. @simizut22

@motcho_tw @tsujimotter ガリレ5=ガリレ2 から ガリレ(5-2)=0 ガリレ≠0 だからといって、整域でないと5-2=0は導かれません。 ガリレ(≠0)の０因子が3の倍数ということもありうる

s.t. @simizut22

さのさんが適切なフォロー入れてくれててめっちゃ感謝している

s.t. @simizut22

ところで ガリレ(≠0)の０因子が3の倍数 って、ナベアツ感半端なくない？？

tsujimotter 日曜数学者 @tsujimotter

@motcho_tw @simizut22 整域って「かけて 0 になる因子が、0 以外に存在しない」っていう条件なんです。整域じゃないと (5-2) に ガリレ をかけたら、たまたま 0 になっちゃった、ってことが起きうるんで、それじゃ困るって話だと思います。

鯵坂もっちょ🐟『つれづれなる数学日記』発売中 @motcho_tw

なるほどなるほど

鯵坂もっちょ🐟『つれづれなる数学日記』発売中 @motcho_tw

つまり「ガリレ以外に0はなし」を示せばいいということかな？

鯵坂もっちょ🐟『つれづれなる数学日記』発売中 @motcho_tw

ガ　リ　レ　っ　て　何

s.t. @simizut22

みんなそれは思ってた

さのたけと @taketo1024

俺の整域。