この証明を最初に誰が思いついたかは不明のようです。以下、参考資料（Proofs from THE BOOK）から引用します。 The first proof appears as an exercise in William J. LeVeque’s number theory textbook from 1956. But he says: “I haven’t the slightest idea where that problem came from, but I’m pretty certain that it wasn’t original with me. （触れられている本はこれのようです。www.amazon.com/Topics-Number-Theory-Volumes-Mathematics/dp/0486425398 ）
I haven't seriously learned math (undergraduate math students know more than me), but I have some experience in competitive programming, which is somewhat similar to math. I mainly use books such as "Proofs from THE BOOK."
式は動画中にけっこう書いたと思います。 とりあえず、 www.amazon.co.jp/Proofs-BOOK-Martin-Aigner/dp/3662442043 の56ページから引用します。 ===引用=== The second way to evaluate I [※1/(1-xy)の二重積分] comes from a change of coordinates: in the new coordinates given by u := (y+x)/2 and v := (y-x)/2 the domain of integration is a square of side length (1/2)√2, which we get from the old domain by first rotating it by 45° and then shrinking it by a factor of √2. Substitution of x = u-v and y = u+v yields 1/(1-xy) = 1/(1-u^2+v^2). To transform the integral, we have to replace dxdy by 2dudv, to compensate for the fact that our coordinate transformation reduces areas by a constant factor of 2 (which is the Jacobi determinant of the transformation; see the box on the next page [※二重積分の変数置換の説明]). The new domain of integration, and the function to be integrated, are symmetric with respect to the u-axis, so we just need to compute two times (another factor of 2 arises here!) the integral over the upper half domain, which we split into two parts in the most natural way: I = [※ここに 2:13 の下の式が入る]. ===引用終わり===
![How Many Guards Are Needed in an N-sided Polygon Museum? [English Subtitles]](http://i.ytimg.com/vi/leiKTHrcOYE/mqdefault.jpg)
![How Many Guards Are Needed in an N-sided Polygon Museum? [English Subtitles]](/img/tr.png)
![5-Color Theorem Revised [English Subtitles]](http://i.ytimg.com/vi/uBy2Vghh--8/mqdefault.jpg)
1:08
各点収束先の関数f(x,y)が[0,1]^2上でf(x,y)=(1 if (x,y)=(1,1) else 0) であり連続でないので一様収束はしてないです
結論自体は単調収束定理やルベーグ収束定理などで言えます
ご指摘ありがとうございます。ピンさせていただきます。
参考にした本で断りなく変形が行われていたこともあって油断していました。
重い教訓になりました。
@@evimalab素人質問で恐縮ですが動画作り直して上げ直すとかしないんですか？
@dgvdkj ブログならそうしていましたが、UA-cam では基本的には一度公開した動画は削除するものではありません。（削除するべきなのは法的な問題が発覚したケースなどに限られると思います。）
普通にコメント消えちゃうし収益化するための条件から遠ざかっちゃうし蓄積した数字を捨てるのはあかん
@@evimalab
削除までする必要はないかと思われます。
誤りを訂正した動画のタイトルに【修正版】とか適当なものをつけて上げなおして、修正前の動画の概要欄とかℹ︎マークとかから飛ばしてやればいいんでないでしょうか。
チルノが普通に自分より頭良いのなんか腹立つ
いつからチルノがバカだと錯覚していた？貴様の頭が悪しなのかもね。
w
⑨
???「バーカバーカ」
@@Ba0da0dha 草
日本語UA-camの私が見てきた数学系チャンネルの中で圧倒的に一番理論が丁寧…感動しました
「積の積分を積分の積に変換するやつの逆」すごくしっくりくる言い方
ネットこれを知ったときは驚いて何度も証明見直したわ。考えた人は異次元
我々のことラマヌジャンか何かだと思ってない？
チルノ「あたいを突っ込むよ！」
魔理ちゃん「どうなった？」
チルノ「さいきょーね！(`･ω･´)」
0:56 積の積分を積分の積に
ここ気持ち良すぎるw
大学卒業後ワイ「とりあえずExcelで数値計算や。欲しい精度は3桁やから、n=100ぐらいまでやればええやろ」
この動画を再び見たときに面白いと思えるよう、数学を学ぶ事を決意した
45°回転、ABC351-Eの嫌な思い出が蘇った
フーリエ級数展開から求めていたけど、こういうのもあるんだな。
二乗の逆数集めたや〜つ〜
定数時間かな〜 それって定数時間だね〜 O(1)大好き〜
でおなじみのやつですね
もしかして：ラマヌジャン
この証明を最初に誰が思いついたかは不明のようです。以下、参考資料（Proofs from THE BOOK）から引用します。
The first proof appears as an exercise in William J. LeVeque’s number theory textbook from 1956. But he says: “I haven’t the slightest idea where that problem came from, but I’m pretty certain that it wasn’t original with me.
（触れられている本はこれのようです。www.amazon.com/Topics-Number-Theory-Volumes-Mathematics/dp/0486425398 ）
チルノがだんだんアヘ顔になるテンプレ好き
分かる
How do you learn mathematics? What resources do you use?
only pornhub
I haven't seriously learned math (undergraduate math students know more than me), but I have some experience in competitive programming, which is somewhat similar to math.
I mainly use books such as "Proofs from THE BOOK."
Brilliant
In my whole math/cs degree I have seen many proofs of this sum, but this one is the nicest and most simple :)
3blue1brownで見た解法がpi感あるかなという感じです
情報ありがとうございます。見てみます。
これ去年の東工大の院試に出ててた
過去問解いててなんやこれって思ってたけどこういう背景があるんやな
中二の私がみるものではありませんでした
That's why the density of Squarefree Number (positive integer with no square divisor except 1) approaches ~0.608.
すごい！確かに平方数の逆数の和だから関係ありそうなのはわかるけど、数学の綺麗さを感じる。
理解するので精一杯
この問題幾何的な解き方のほうが有名だけど、積分オンリーで解けたんだ、知らなかった
コメント欄の治安良くて良き
日本女子大、慶医、東海医なんかで誘導付けて高校数学で解かされてますね
類題だと1990年東工大の後期でも
1:03
フビニの定理をどのように用いているか分からないです…
すごいな。なんも分からん
文系ワイ、開始1分以降何を言っているのかさっぱり
大学1年レベルの数学知識がある前提の解説なんで文系の人がわからないのは普通
こう言う動画は必要だ
sinx＝x-1/3！x³＋･･･(taylor展開)
sinx＝x(1-x/π)(1＋x/π)･･･＝x(1-x²/π²)･･･(因数定理)
x³の係数を比較すると結論が得られる
誰が思いつくねん
レベルが高すぎて全然ついていけなかった。
2:13 何故下二行の等号が成り立つのですか？計算しようとしてもどうすればいいかわかりません
積分区間（正方形）を1/4にカットして得られる左上の三角形が一行目、右上の三角形が二行目です。
インテグラルの中身は前の式のインテグラルの中身に x=u-v, y=u+v を代入したものです。
「4」については動画の説明の通り（dxdy = 2dudv、下半分の三角形を無視したためさらに2倍）です。
@evimalab すいません、具体的に式で書いてもらってもいいでしょうか？
式は動画中にけっこう書いたと思います。
とりあえず、 www.amazon.co.jp/Proofs-BOOK-Martin-Aigner/dp/3662442043 の56ページから引用します。
===引用===
The second way to evaluate I [※1/(1-xy)の二重積分] comes from a change of coordinates: in the new coordinates given by u := (y+x)/2 and v := (y-x)/2 the domain of integration is a square of side length (1/2)√2, which we get from the old domain by first rotating it by 45° and then shrinking it by a factor of √2. Substitution of x = u-v and y = u+v yields 1/(1-xy) = 1/(1-u^2+v^2).
To transform the integral, we have to replace dxdy by 2dudv, to compensate for the fact that our coordinate transformation reduces areas by a constant factor of 2 (which is the Jacobi determinant of the transformation; see the box on the next page [※二重積分の変数置換の説明]). The new domain of integration, and the function to be integrated, are symmetric with respect to the u-axis, so we just need to compute two times (another factor of 2 arises here!) the integral over the upper half domain, which we split into two parts in the most natural way: I = [※ここに 2:13 の下の式が入る].
===引用終わり===
平方数の逆数和、fourier級数使うやつしか知らなかったからありがたい
この動画が伸びてるの嬉しい
ほら, 二乗って三角関数と仲良くて
三角関数も円周率とは親友でしょ
だから, きっと友達の友達みたいな感覚だよ(?)
パイパン魔理沙が⑨すぎて草が生えますねえ
あ、頭が、、
ASK GOOOOOOD