【ゆっくり解説】証明に100年以上かかった数学の難問4選 

【訂正】 15:51 〜16:19 ・谷村・志村予想→谷山・志村予想 ・谷村豊→谷山豊 の間違いでした。申し訳ございません🙇🙇

四色問題はコンピューターを用いた力技で解かれたので、こういえのを「エレガントな解法」に対して「エレファントな解法」と呼んだりする。

いろんなポアンカレ予想の説明を聞いてきたけど、次元を一つ落とした説明で、初めてイメージできた。すごくわかりやすい。

抽象的な数学が苦手で物理学の道に進んだ身からすれば、四色問題みたいに力技で解ける問題が純粋数学にもあることに感動を覚えた。コンピューターのベンチマークみたいで面白そう。

霊夢の宿題とはレベルが違うけど、院生に与えられた「課題」が実は超難問だったという話があります： 1859年に出された「リーマン予想」はいまだ証明されていませんが、最初はそこまで難しい問題と思われてなくて、のちに数学者として有名になるリトルウッドが博士課程で指導教員のバーンズから与えられたテーマが、「リーマン予想の証明」だったそうな… おかげで、リーマン予想に関連した進展がリトルウッドによっていろいろ成されたわけですが。

本当に霊夢が2時間かかって問題解いたならそれは凄いこと 自分にはそう簡単に解けない問題を時間がかかってでも解き切るのはマジで大切 大体の人は無理だと思った時に答えを見るなり、わからないままで諦めてしまう あと、こういう時こそ模範解答と全然違う解法だったりして楽しいし、解けた時の快感はすごい 数学の初心を思い出させてくれた

円積問題と角の三等分問題・立方体の倍積問題は古代ギリシャの三大作図問題で、しかも何れも不可能と証明されたのが18～19世紀という共通点がある。

ペレルマン博士（ポアンカレ予想）に関しては、NHKでも特集したね。 何故隠遁生活しているかは、諸説あるけれど、博士の平穏を祈ってしまうし、埋もれずにいてほしいとも思う。

ポアンカレ予想の問題の意味の1%が　生まれて初めてぼんやり理解できた。ありがとうございます!

100年まではいかないけどバーゼル問題も提示されてから解かれるまでにかなりの時間を要してるな。

16:40 真に研究しているテーマを容易に隠せるところも数学という学問の魅力の一つ

最後のやつはπが超越数ってことを認めれば高校生でも解けそう

1辺の長さが√πになる必要がある って言われた瞬間 「あっ、超越数！」 ってなって動画より先に証明のカラクリに気づけた瞬間嬉しくなったけど ここまで説明してくれてたらこれ如き誰でも気づくよなってなって悲しくなった笑

このチャンネルの面白さに関しての真に驚くべき証明を見つけたが、このコメント欄はそれを書くには狭すぎる。

古代ローマでは「円の半径の16/9倍の長さを一辺として正方形を描けば円の面積と等しくなる」とされていたとか。

最初の2つと残りの2つでは、証明方法が違うのが興味深いよね。

谷「山」志村予想じゃね？

ペレルマンさんは解く前と後では人が変わってしまったって言われてるよね。 このレベルの数学を解くことは人の人格をも変えてしまうのかな、？

🟣🟣🟣🟣🟣🟣 🟡🟦🟦🟥🟥🟣 🟡🟦🟦🟥🟥🟣 🟡🟢🟢🟢🟢🟣 🟡🟡🟡🟡🟡🟣 こんな感じにおいたら五色必要になるのかな？それとも🟥🟦🟡🟢のどれかを🟣に置き換えることができるのかな？

円積問題は本物の円を使うと厳密ではないけど厳密な幾何学でできるってワイの愛読書の7さつめに書いてあった

人間の生み出した数字という概念に人間が困らせられるのなんかすごいな(？

六方最密充填に関しても、完全に証明されるまで結構長かった記憶が。

霊夢ちゃんは、未来のジョージ・ダンツィーグだな。

ABC予想って望月新一さんの宇宙際タイヒミュラー理論で証明出来た事になったんだっけ？

日本の文系はよく健闘してるよ アニメ、漫画、バラエティ、ドラマ、映画 革新的で面白い作品を常に生み出し続けてる 正直米国のそれらよりクオリティが高い

4色問題の図の1と2の間に3を凸状に伸ばせば…？って思ったけどそうすると1と2を同じ色に出来るのか上手くできてるな

受験生の頃は2次試験の過去問を何時間もかけて必死になりながら解いたり理解しようとしてたなぁ。。

円積問題を取り上げるならそれと併せて 『立方体倍積問題』と『角の三等分問題』も取り上げて欲しかったな😅

ちなみに作図可能かどうかを考える時に使う定規は「定木」と言われることがある。

ドーナツの空洞を極限まで端に追いやり、ブラックホールの特異点のように無限に小さくすれば限りなく球に近づけることが出来るのではと考えてしまいますね

4色問題は、4色目が周囲をぐるりと占める色が多数必要な場合が考察されてないのだけど、その辺どうなってんだろう？　🤔💦

異次元の根性があるか意固地どうかが優秀な数学者の違いなのかな、、それより仮説を設定するのは凡人にはできん気がしてヴァカといわれそう。

この動画の面白さを証明したがここの余白はそれを書くには狭過ぎる

フェルマーの最終定理の式において、n＝０のとき式を満たす自然数解（X,Y,Z）は存在しない（ドヤァ）

単連結が輪ゴムをーって言い換えられるなら、頂点がない図形は絶対に単連結にはならないわけだ？？

いろいろなヒントありがとうございました。確かに数学者だけの力ではこの課題は証明出来ないみたいですね。何か、皆んな頭のきれる良い頭脳明晰タイプの方達が集まったとしても、それでも分析に必須な書類抜けていて解読する為の手がかりを持つ鍵的存在からのチームワークなければいつまでたっても解読不可能となるみたいです。皆、どこまでマジで解読したいのでしょうか。。。 日本国内でどこまで理解できているか、この動画で参考になりました。情報、比較してみないと名前とか定義の内容とか珍しい記号を使用されていましたよね。　記号の奥深い裏の意味や機能性や関連性や多々ありますが、まだ習った事や知らないコード記号がありました。 調べて少しでも理解できるように努めるしかないようなのである程度まで出来たら少し数学科学の勉強に興味が出てきたキッカケにします。複雑な内容証明みたいです。

3次元閉球体　に　光の性質を足して4次元とし　円周率πは超越するので光りの成り立ちに関わりがあると予想されます

「ちき証明!」いいですね😆志村谷山ヴェイユ予想😄

ゴールドバッハの予想はいつ解決するんだろうなあ

円周率は作図不能ってことを、過去の人と現代の人が、別の形で表現している。過去のは予想だが。

中学生の数学の授業中の課題で難問( 中点連結定理を２重にした解法 )を次週までの課題として出され、まる３日ぐらいかかって解いたけどあまりに回りくどく黒板いっぱいに記述するので正解とは思わなかった( もっと簡単な手法が正解だとして )ので"解けた"と発言しなかったら、実はそれが正解だったということがあったな。フェルマーの定理でもそんなことがあったのかもしれないｗ

大学で∫-∞→∞ exp(x^2)dxが√πになることがかなりキモイって思ったのはπが超越数で、高校までのあらゆる方程式に出てこなかったからかw

円積問題、コンパスと定規以外のもっと多様な道具を使っても無理なのだろうか？四色問題みたいにスパコンとか。無理数が出てくる時点で無理か。

三次元多様体の分類をイメージすると、甘酒一杯でへべれけになれる。

円積問題って、直感的にだけど・・円周だけがあって中心点は取れないよね？ 半径ｎの円があって、コンパスと定規だけがある状態では「特定の長さｘ」をそもそも取得する方法が無いよね。 コンパスは、特定の長さをトレースするものなので、まず点が２つほしい。最初に長さの確かな点2つを作る手段が存在しない

この4問で1番簡単だったのがポアンカレ予想だったのですか。なるほど、神の世界は分からん。数学は普通ではできない。

四色問題の所で思ったのですが ３の部分を Ｌ字型にしたら ５色使えるのでは？

4色問題って、飛び地の場合も塗り分けられるのだろうか？

πの倍数の長さの直線引くのは不可能だからな。

ちくしょーめって言われたらおっπぷるんぷるん！！って言わねばなるまい

立方体の倍積問題と角の三等分問題、円積問題が合わさって「三大作図不能問題」じゃなかった？

リーマン予想、どうなりますかね？かなりの難問、でしょうね。

最近の記事で作図問題は可能ってあったような🤔

↑この問題・・・ この世の中には、ポジティブリストとネガティブリストというのがありまして、「コンパスと定規を使って作図する」はポジティブリストになります。つまりこの場合、”使って良いのはコンパスと定規のみ“(それ以外は使っちゃダメ)と言うことになります。“この条件では作図はできません”と言う結論になります。 何が言いたいかと言うと、コンパスと定規以外のものを使えば、作図ができます。 この問題を変形させて、直径の円周率倍の直線ができれば、良いと言うことになります。具体的には、 ①円と同じ車輪を作り、 ②車輪にインクをつけて、 ③白い紙の上で(空転しないように)車輪を一周させる ④そうすると(車輪の直径を1とすると)円周率の直線ができます。 ⑤あとは三角形の相似を使って直線を4等分し、4つの頂点の角を90度にすれば完成です。 ・・・“問題が何を言わんとしているのか？”と言うことを考える契機になればと思いコメントさせていただきました。 追伸、 いつも本当に良質な動画ありがとうございます。とても勉強になります。これからもどうぞよろしくお願いします。

やっぱ天才は違う…

難問は勘弁してクレイ

数学的に厳密に「証明」できなくても、「どうもこれ、正しいらしいんだけど」って提唱されて反証が百年も出てないんだったら、 「正しい」という前提で使っても日常的には困らないし、十分有用なんだよなあ。 まあ、逆に考えれば、どんな問題でも証明できる証明方法がまだ発見されていない時点で、数学ってまだまだ不完全なんだな。

4色問題が証明されて4色定理になったから4色定理が証明されたに違和感を持つ自分

理系だけどおもしろいです。

スパコンを作った人が優勝

2時間宿題は萎える

ポアンカレ予想が解かれたということは、４次元宇宙は閉じているということで良いんだろうか…。

うぽつです＿|＼○＿!

最後の問題は、数学者が求める要求が正確過ぎるだけで、実用レベルでは、3.14cm使えば良いってことやないの？　結局、一辺をどんだけの長さに板を切ったら良いんやろ？🤔💦って知りたいだけなんやから。🥺✨

答え　　Πの円　　半径1cmの円　　　　　Πの正方形　　√Πの正方形

何でも作図できるわけではないんだね。 今回の動画とは直接の関係はないが、角の三等分の作図もできないんだよ。

「証明」ねぇ…。 …。🤔

時折、人類の中に神がステータスをバグらせて作ったとしか思えない人間が生まれるよね。

ド文系でも理解出来ない 難しくね？

コメント欄狭すぎ

双子素数が無数にあることが証明されても、世の中何も変わらないんだろうな。

ちくちょうめい😊

悲報：俺氏、無理やりπをルートに突っ込んでしまう

１辺がルートパイの正方形を作ればええんちゃう？

最後で全て台無しなので低評価です。 うそです。面白かったです。

友達に出した問題ですが、 (円周の長さがπになるように作図しなさい) って言うの出したけど自分で証明しようと思ったけど出来なかった。この問題を解くのは不可能ですか？ もし、証明できる人は教えてくださいm(_ _)m

逆にその予想が正しくないことを証明したら一億円もらえるのか？

理系だけど三平方の定理ってなに？

なんかこの霊夢口悪くてムカつくんだけど

ππ

このチャンネル理系でも十分面白いぞ まぁ俺はこってこての文系だけどな （国語71　英語69　社会73）

本当に残念な動画。証明に100年以上かかった数学の難問というのなら、超有名な「あの問題」を含まれるべき。さらに悪い事に、 17:48 結局作図できないことが分かるまで2000年以上かかった問題を「解決する問題」として4選に含めているのでスッキリしない終わり方になっている。超有名な「あの問題」のほうは、 2000年以上かかかって「新しい数学」をつかい、「作図できることが分かった」のでスッキリ感が半端ない。しかも、「新しい数学」は現代教育では高校生なら皆学習している。