[Eng Sub] Basel Problem: What is Behind the Famous Proof

Рет қаралды 37,190

ずんだもんの定理【数学解説】

Күн бұрын

Пікірлер: 59

@gackyit4228 8 ай бұрын

フーリエ展開やマクローリン展開は「工学的」な印象があるからか、「数学的」な証明に使うとなんとなく後ろめたさを感じてしまう。

@やこす-t4x 8 ай бұрын

このチャンネル、今一番推せる

@kisidakisi 8 ай бұрын

数学系チャンネルの中で群を抜いてわかりやすいし見やすい大好き愛してる❤

@steve2817 8 ай бұрын

11:50 Actually in that equality, easier proof without fourier series is known as "Herglotz trick" in "Proofs from THE BOOK". It only requires proving the continuity, periodity and simple functional identity of both expression. With continuity and property of odd function, we can prove (LHS) - (RHS) is always zero in its period (thus for all possible x). Thanks for always providing great videos with cute zundamon!!!!

@zunda-theorem 8 ай бұрын

Thank you for your comment! I have added information about that to the description box :)

@user-useeer 8 ай бұрын

厳密性とかそういう話はそんなにわからないですが、数学の面白さに引きずり込まれるのにはちょうどよく、わかりやすい説明でした本当にわかりやすいです、ありがとうございます

@dylanboji2817 6 ай бұрын

theres a japanese 3b1b channel what i love this channel

@chicha5358 8 ай бұрын

途中うぐ・・・となって理解しきれてない箇所もあるけど、面白かった。高校数学までは理解できてるずんだもんを見られるのはこのチャンネルだけ！

@JumpeiMurakami 8 ай бұрын

大まかな流れを掴む動画なんですね

@wigffds7374 2 ай бұрын

Sinの因数分解がモヤモヤはマジでそう。因数分解だとx(x+π)(x-π)(x+2π)(x-2π)….としたくなる。

@焼きやかん 6 ай бұрын

冒頭のずんだもんの証明だとx(x-a)(x+a)(x-b)(x+b)...をx(x^2-a^2)(x^2-b^2)...と潰してから3次の係数を比較してるのもモヤモヤ源だなあ元の式からはx, (x-a), (x-b)のxを選ぶ…みたいな形でもxの3次の項を作れること、それらが正負でキレイに対消滅することに言及してくれないと「無限項からの選び方の検討不十分じゃない？」の疑念でモヤるモヤったまあどのみち直感的理解の域は出てない不十分な説明には違いないんですけど

@yarukinonaineko 6 ай бұрын

先日バーゼル問題のもっと初等的な方法を思いついたのですが、いかがでしょう。 I(a)=∫arctan(ax)dx(積分範囲は0〜∞)とすると、ファインマンの手法、あるいはライプニッツの積分則を用いて、aで偏微分すると、積分の中をaで微分すればよいので、計算していくとI'(a)=-ln(a)/1-a^2となります。一方で、I(1),I(0)は置換積分などで簡単に計算できて、それぞれπ^2/8,0になります。ここで、0

@yellowshippo 8 ай бұрын

なんかほっこりする

@cheesecapo 6 ай бұрын

the purple one doesn't trust the green one's intelligence :(

@Internet_Yh 6 ай бұрын

excellent video

@poormanch 8 ай бұрын

=を証明したいのに、証明する前に=で結んで式変形していくの、すごくモヤモヤする…

@takashike 8 ай бұрын

等式が成り立っている2つの式の係数比較しているから最初から=で結べる、っことかな。

@poormanch 8 ай бұрын

バーゼル問題じゃなくて、動画の後半の話ですね。 sin関数を無限積で表せる事を証明しようとしてるのに、最初から=で結んでるのは矛盾してるように感じます。

@chicha5358 8 ай бұрын

示したい式を同値変形して、それを真だと示す、という手法ですね

@りりいる 8 ай бұрын

A=Bを示したい時 A=Bを1式と置いて、それに同値変形をしたA’=B’を真だと示して、よって1式も真であるって論法は割とよく使う気がする

@poormanch 8 ай бұрын

考え方としてはそれであってるけど、最初から=で結んでたら、論法として間違ってるでしょ、といってます結果的に=なんで何も矛盾起きてないですけど、左辺と右辺が違うものを=で結んだ状態から議論を始めたら、全部間違った結果になりますよ

@tapuneko 8 ай бұрын

2:26 もやもやするのは、sinxのxは高校までは角度の180℃をπとして、sinπ=0とし y=sinxのグラフではx軸は角度と想定していた。しかし、この式でのπは3.14の実数で sin(3,14)=0のように、sinの中に実数を入れて、展開後に実数が求められるって事だから非常に混乱する

@自由律俳句とかいう無法地 7 ай бұрын

コメ主の論理なら、『x+sinx』のような演算も、成立しないことになるよ。 xは角度だけど、sinxは角度じゃないから、異なる数量の和は計算できない。

@K-ct8gn 8 ай бұрын

どこかで謎解きを作っていた人と雰囲気が似ている気がする…

@翔相川-y7f 8 ай бұрын

なぞときらぼですか

@地理系好きの岩手県民 5 ай бұрын

どっかのニワトリとヒヨコ…

@okim8807 6 ай бұрын

a_nという表記はlatexのソースでお世話になるけれど、それと全く関係無いクラスタの人も同じ表記を使っているのかちょっと気になった。

@theseusswore 6 ай бұрын

im genuinely impressed. this is so goofy, but the fact that jrs actually educational too is unfathomable to me. i cant stop laughing. incredible stuff! i love math so much

@miner1227 8 ай бұрын

ワイエルシュトラスの因数分解定理…懐かしいなぁ…（証明難しくてわからず終わった記憶）

@wswsan 8 ай бұрын

最初の頃と比べて結構ずんだもんも賢くなったなぁ...

@perimetros314 2 ай бұрын

可能ならこの話につづくHadamrdの因数分解定理につなげたいですね。

@masamasado 4 ай бұрын

モヤモヤするけど面白かった😮 実際に計算してみたけど、収束の速さはあまり良くなさそうだね

@セイゲドン 8 ай бұрын

結局フーリエ級数展開なのか

@東苦笑 4 ай бұрын

因数定理を無限積に拡張できる証明みたいなのあるっけ

@v.r.kildaire4063 3 ай бұрын

いいですね、かっこいい。

@singsingsing6097 8 ай бұрын

マクローリンてかテイラーは入試問題の元ネタになってますよね。試験場で知らないと「何じゃこれ？」となりますが(笑

@shikaishik 8 ай бұрын

AIに証明問題を解かせたらどうなりますかね？

@まごまごまごまご-m2y 7 ай бұрын

有名な証明問題ならできるけど、まだ人類が到達していない証明問題はできないんじゃないかな？でも、AIとは少し違うけど、総当たりの問題とかはとけるかもね。

@MikuHatsune-np4dj 8 ай бұрын

πが特別な値であることは判ります

@2kreskimatmy 5 ай бұрын

this is just fucking awesome.

@ミスターD-v1r 9 күн бұрын

オイラーの方法は厳密な証明でないからね

@zmaj12321 5 ай бұрын

This one's a doozy!

@manuelocana8074 5 ай бұрын

Why when you anti-logarithmic-differentiate you take the integral from "0" to x and not from other number?

@zunda-theorem 5 ай бұрын

Thank you for your comment. The reason we take the integral from "0" when anti-logarithmic-differentiating is that both sides become 1 when x=0 (or x→0): LHS: (sin πx) / πx → 1 (x→0) RHS: 1*1*1*... = 1 If this explanation isn't clear enough, actually performing the calculation will make it clearer.

@kÅ15_e_r-o9U 8 ай бұрын

省略した計算のとこもやろうと思えばできる計算で、全部わかると達成感あるなー収束の議論してないから厳密じゃないが

@yuniux 6 ай бұрын

We can also show that sin(x) = 0 has no complex solutions, confirming that its solutions are all real and thus being equal to the infinite product. Take sin(a + bi) = 0 for some real numbers an and b. This expands to sin(a) cos(bi) + cos(a) sin(bi) = 0. Recall that sin(z) = (e^iz - e^-iz)/2i and cos(z) = (e^iz + e^-iz)/2, giving sin(iz) = (e^-z - e^z)/2i = -i sinh(-z) = i sinh(z) and cos(iz) = (e^-z + e^z)/2 = cosh(-z) = cosh(z), respectively. We can say sin(a) cosh(b) - i cos(a) sinh(b) = 0. The solution is non-real if b ≠ 0. For contradiction, suppose that b ≠ 0. This implies that sinh(b) ≠ 0 since sinh(b) = 0 implies b = 0. This must mean cos(a) = 0 since the imaginary part of 0 is 0. cos(a) = 0 implies a = π/2 + πn for some integer n. This solution set is disjoint from that of sin(a) = 0 solving for a, meaning that sin(a) ≠ 0. However, sin(a) = 0 since the real part of 0 is 0, resulting in a contradiction.

@nyuu4226 8 ай бұрын

平方数の逆数の和に円周率が出てくる理由の感覚的な説明って難しいのかな？

@steve2817 8 ай бұрын

Geometrical approach for this problem is explained in 3Blue1Brown channel, which you may find helpful for intuitive understandings. Maybe you can find JP subtitle on his main channel.