Is π Irrational? [English Subtitles]

[@azk_d]

円周率の無理性の証明これ含めて何個か見たことあるけど全部何食ったらこんなの思いつくんだってものばっかりで笑うしかない

[@zouo-from-Taikonotatsujin]

大体は ここが仮定のせいで壊れたら良いな を何個も作って噛み合ったやつだけ出てくるんだぞ

[@sakakkiedx5052]

パイでも食ってるんじゃないですかね(適当)

[@関暁夫尊師-t8z]

上手く行った証明だけ残ってる。各数学者の微かな発想を合わせて1つの巨大な証明になってる例もある。

[@右手巨大族老師-f5i]

円周率が無理数の証明には2000年かかったなんて主張もあるくらい歴史的にも難しいみたい

[@おれっち-s9o]

矛盾した時に爆散するの好き あと式変形スルーしてもちゃんと分かりやすいけどいざ細かく見ようとすると画面の情報量が多い

[@風雅松永]

情報で溺れそうになったの初めて

[@X-ray-b3j]

なおπが超越数であることの証明はこれが霞むくらいゲロ難

[@秋山真凛-z8k]

超越数であるかの証明は魔境 πもeも超越数であると証明されているのにπ+eは分からないとか頭おかしい

[@user-zianomaS]

動画はπ^2で無理数であることを証明してるから超越数であることを証明してるのでは？

[@秋山真凛-z8k]

@@user-zianomaS 🔍超越数の定義

[@sonodagachizei]

@@user-zianomaSえ、その理屈意味わかんなすぎるんだけど なんでわかってないことを自信満々に言えるんですか？気になる！教えてください！

[@user-zianomaS]

@@sonodagachizei 二乗しても無理数だから超越数って話をどっかから聞いたことある気がしたから書いたんだけど… 煽ってんのかな？

[@自由律俳句とかいう無法地]

1:57このツッコミまじで笑ったww どう考えても、初見で解く人の発想じゃない。

[@gc8732]

理解できないことを察してとっとと思考を放棄したので助かりました！

[@puranoia]

わかりやすい！はやい！

[@あかまり-o4q]

チルノですら俺より賢いの悔しいよ俺

[@tarutarunuma]

同じ状態だわ😢

[@aitetsukun]

こういうテンポのものすごくいい動画は自分で書き起こしてみたくなるから好き

[@ベルヌーイ数]

ちょうど2日前に円周率が無理数になる証明を調べて理解したんだけどこれって運命？

[@yottuann]

ユーチューブ様がつくったおすすめ機能のなせる技

[@ローリエ-o2b]

バーダー・マインホフ現象

[@OtterSou]

3分半の動画なのに一時停止しながら考えてたら見終わるまで10分以上かかった

[@malc3497]

ここまで突飛な発想が続くと、何が凄かったから証明できたのかわかんねえ...

[@あつ-k1x]

軽い気持ちで「π 無理数 証明」で検索したら頭爆裂した

[@ちゃんけい-k9j]

これぞ天書からの証明

[@NumAniCloud]

eπi が出てきたらとりあえず n! を分母に置いておくとなんかいい感じになるイメージ

[@titus-lemma]

鉄緑の高2問題集にあるやつだ、、、

[@PAD先進国]

まぁ理論上高校数学で解けるけどさぁ…鉄緑会くん…

[@kusumakhter6420]

This is really cool, thanks evima

[@O-f2j]

意外と高校の範囲で証明出来るんですね

[@yuya_youtube]

数学好きなで割りかし得意なつもりだったけどマジ何もわからん

[@C6H12O6-G]

円周率πが無理数であることの証明がこんなにムズいとは思ってなかった 無理数として習うけど、πが割りきれるみたいなネタもよく見かけるし、思い返してみると証明してないなってなった

[@kameyama_toufu]

流石に天下りが多いけど、この証明に至った背景とかが見られると面白いかもしれない

[@ようつべ太郎-h9u]

美しいぜ

[@user-river_mountain]

無理数の平方根が無理数であることは対偶を取るのが一番簡単な証明なのかな？

[@自由律俳句とかいう無法地]

対偶？どうやって取るの？

[@user-river_mountain]

@@自由律俳句とかいう無法地 aを実数として aが無理数⇒aの平方根が無理数 を示したいので、これの対偶を取ると aの平方根が有理数⇒aが有理数 となって、aの平方根をq/pとおくとa=q^2/p^2でaは有理数 となるよね

[@雪見だいふく-y4v]

@@自由律俳句とかいう無法地調べたらすぐわかると思いますよ！

[@Tempura_Soba]

​@@自由律俳句とかいう無法地多分こんな感じ。 x∈R-Q(集合のやつ出てこなかったごめんね)ならばsqrt(x)∈R-Qである これの対偶は sqrt(x)∈Qならばx∈Qである となる。有理数は分母と分子が整数である分数で表せるから、 sqrt(x)=b/a (a,b∈Q) とすれば x=b^2/a^2∈Q であり、対偶の命題は正しい。 よって、 x∈R-Qならばsqrt(x)∈R-Qである という命題は真であり、無理数の平方根は無理数である。 っていう感じに証明ができる。結構証明は簡単なんよ。

[@chachamusics]

@@自由律俳句とかいう無法地 aが有理数ならa^2は有理数である（有理数は乗算について閉じているので真） これの対偶をとると、 a^2が無理数ならばaは無理数 となりますね

[@GC-ne6yo]

同チャンネルの動画でπが有理数の証明は云々言ってたけど，やっぱり無理数か あれはじゃあただのミスプリか，びっくりした

[@ゆーり-f9c]

宝くじ当てれてよかったねみたいな気分になる証明

[@笹田由菜]

むずい

[@テスト-u3w]

関数の無限和の項別微分ってこの場合はしても大丈夫なのか

[@EEquals2718281828]

f(x)が2n次の多項式なので、この無限和は有限項を除いて0なので、大丈夫です。

[@abcdeeeeeen]

阪大の過去問と同じかな？ 関数覚えられず、結局照明覚えられん、、

[@Stay_EU_Independence]

これではπ^2が無理数であることは言えてもπが無理数とまではいえないのでは？

[@evimalab]

πが有理数ならπ^2も有理数です。

[@user-zg1dq3hh6g]

チコちゃんもニッコリ

[@temporaurshi]

(円周率)=3って教える教育はやっぱどう考えてもおかしかったんや

[@kameyama_toufu]

3.14も有理数だから本質的には変わらんぞ 趣旨理解してる？

[@temporaurshi]

​@@kameyama_toufuたった4ヶ月前の自分がこんなに動画の趣旨と外れたコメントを残してたことにびっくりしている

[@らくねこ-d4g]

本質的には変わらなくても 体感では変わるな 3,4桁で計算する定数は断りがない場合無理数って体が覚えてる

[@Fランへの数学]

もっと難しいかと思ってた

[@nokemoyajuu]

なんなら、ルートπが無理数ってこともここから簡単に証明できる。

[@ςεγρεγατηονηςτ]

πが無理数なら√πも無理数だからね

[@or_I-q4g]

は？