二平方和定理をたった一文で証明する|Don Zagier の一文証明

แชร์
ฝัง
  • เผยแพร่เมื่อ 9 ก.พ. 2025

ความคิดเห็น • 45

  • @Metachiki
    @Metachiki  2 หลายเดือนก่อน +7

    <訂正>
    01:00 「|S|の要素数」は「Sの要素数」です。
    06:30 Case5において、「(x,y,z) \mapsto (2y-x, y, x+z-y)」は「x,y,z( \mapsto (x-2y, x+z-y, y)」です。

  • @saitama-b6c
    @saitama-b6c 2 หลายเดือนก่อน +106

    3Blue1Brownの動画かと思った

    • @tekeyu
      @tekeyu 2 หลายเดือนก่อน +7

      それな
      英語だと思った動画が入ったら日本語だった

    • @数奇さん
      @数奇さん 2 หลายเดือนก่อน +7

      あちらさんが公開してくれてるライブラリソフトらしいですね
      数学系クリエイターがもっと増えて欲しい

    • @tekeyu
      @tekeyu 2 หลายเดือนก่อน +2

      @ あららさんすごすぎる!!

    • @数奇さん
      @数奇さん 2 หลายเดือนก่อน +7

      @@tekeyu あららさんじゃなくて3blue1brownのことです

    • @Official-jf3ey
      @Official-jf3ey 2 หลายเดือนก่อน +1

      おもろすぎる

  • @Kaimochi-
    @Kaimochi- 2 หลายเดือนก่อน +1

    うわ〜面白いですね解法…!笑
    なんでこんな思い付くんだっ…!!ΣΣ
    そして編集力強強すぎ〜!笑

    • @Metachiki
      @Metachiki  2 หลายเดือนก่อน +1

      かゐもちくん!ありがとう!!

  • @角かく鹿じか
    @角かく鹿じか 2 หลายเดือนก่อน +17

    編集が好きなんだよなぁ。更新されてて嬉しい。

    • @Metachiki
      @Metachiki  2 หลายเดือนก่อน +6

      嬉しい言葉をありがとう!!

    • @角かく鹿じか
      @角かく鹿じか 2 หลายเดือนก่อน +4

      @Metachiki
      次の動画も気長に待ってるぜ

  • @さんすくりっと
    @さんすくりっと หลายเดือนก่อน +2

    めっちゃ面白そうなチャンネル見つけたのに知識足らなくて所々理解出来ない…
    大学数学は線形代数と微積しか履修してないb1なんですけど、どこまで学んだらこのチャンネルを楽しめますか?

    • @Metachiki
      @Metachiki  หลายเดือนก่อน +1

      面白そうと言っていただけてうれしいです。
      一応、必要知識は高校数学(決して教科書的な知識というわけではなく、理論上は高校数学で行けるという意味です)のみです。
      (私もB1ゆえまだ大学数学にたくさん触れたわけではありませんが)大学数学ではこういった競技数学的なことはあまりやらない印象があります。
      したがって、個々の問題を深く考えるくらいしか対処法がないと思われます。
      補足するとともに参考にしたいので、もしよろしければどこで詰まったか教えていただけませんか...?

    • @さんすくりっと
      @さんすくりっと 28 วันที่ผ่านมา +1

      このコメントを送ったときには追合で躓き、次のチャプターで完全に置いてかれましたが、
      Metachikiさんのコメントを読み、用語を知らないだけだったと思いました。
      そこで、追合や奇素数の意味を調べてみると、何をしているかだけは何となく理解出来ました。
      やはり自分で調べ、思考することは大切ですね。
      今回改めて実感しました。

    • @Metachiki
      @Metachiki  28 วันที่ผ่านมา +1

      @@さんすくりっと
      良かったです!是非、いろいろと調べてみて楽しんでください!!

  • @ansisnear
    @ansisnear 2 หลายเดือนก่อน +1

    超面白かった。ただぼけっと時間を無駄にするために見てたのに急に頭使わされてめっちゃ疲れたw

  • @__yuper__
    @__yuper__ 2 หลายเดือนก่อน +2

    すごすぎぃ!
    yとz入れ替える写像は水色の長方形を回転させることに対応して、05:45だと右端の図形が二平方和になってるってことなんだ...

  • @匿名希望-w8f
    @匿名希望-w8f 2 หลายเดือนก่อน +8

    一行証明についてはじっくり眺めたら確かに証明になってることは分かったけど、どうやってコレを思いついたのかは分からなんだ…

  • @yotta11
    @yotta11 2 หลายเดือนก่อน +1

    動画冒頭では「謎の集合上で定義される意味不明な何かはよくわからん性質があるため別の何かが不動点をもつ」だったのが最後にはちゃんと意味が通じるようになった

  • @xyab8683
    @xyab8683 2 หลายเดือนก่อน +2

    6:20に間違いがあります。
    5:30のx,y,zの定義を使うと、(x,y,z)=(1,1,3)になり、x

    • @Metachiki
      @Metachiki  2 หลายเดือนก่อน

      ご指摘ありがとうございます。
      しかしながら、(x,y,z) = (1,1,3) は (x,y,z) = (1,4,1) の間違いだと思われます。ゆえに正しいはずです。
      動画内では、どんなx,y,zの組に対応しているかを示しておくほうが明快だったと反省しています。申し訳ないです。

    • @xyab8683
      @xyab8683 2 หลายเดือนก่อน +1

      お返事ありがとうございます。3ではなく4だと理解しました。
      私の伝えたかったことは、5:30では風車の角に生えている四角の横幅をy、縦幅をzとしていますが、6:20ではそれが入れ替わっているのでは、ということです。5:30のルールで計算すると1,1,4になり、1

    • @Metachiki
      @Metachiki  2 หลายเดือนก่อน +1

      @@xyab8683 ありがとうございます。5:30の定義では、風車の左上のマスの直上にある長方形に着目してy,zを定めています。それと同様に考えれば(1,1,4)ではなく(1,4,1)になるはずです。

    • @xyab8683
      @xyab8683 2 หลายเดือนก่อน +1

      ああ!そういうことですか。私の勘違いでした。説明ありがとうございます。

  • @COMMONPLACE5
    @COMMONPLACE5 2 หลายเดือนก่อน +12

    3Blue1Brownの外伝??と思ったら最近の論文レビューかつCVボイボ冥鳴ひまりでオリジナルとわかった ひまりちゃん数学解説あんま見ないからうれしい
    競技数学で出題されそうな手続きだあ……

  • @CreateOnRedstone
    @CreateOnRedstone 2 หลายเดือนก่อน +1

    BGMめちゃくちゃいいのに検索しても見つからない…

    • @Metachiki
      @Metachiki  2 หลายเดือนก่อน +2

      @@CreateOnRedstone
      友人に本動画のために作成してもらいましたので、公開されていないと思います。もし機会があって、どこかで公開されたらその時はお伝えします。

  • @Xq9-h7k
    @Xq9-h7k 2 หลายเดือนก่อน +5

    まーた面白いチャンネルを見つけちまったよ

  • @thesunrisesattheeast
    @thesunrisesattheeast 2 หลายเดือนก่อน +2

    これずっと気になってた話題だったからスッキリした。
    三青一茶より硬派というか行間が広いというか、刺さる層が狭そうなのが残念。

  • @金曜日-u6n
    @金曜日-u6n 2 หลายเดือนก่อน +3

    大学のゼミで、数学書の「〇〇は成り立つ。」とさらっと書いてある1行の証明に数日かけたことを思い出しました。
    とてもエレガントな証明だと思いますが、これを1行証明と言うには無理がありますね笑

  • @のぶ-x2k
    @のぶ-x2k 2 หลายเดือนก่อน +5

    つまり(x,x,z)が不動点になる対合を作ろうと考えた結果、f:(x,y,z)→(2y-x,y,x-y+z)という対合を1回、g:(x,y,z)→(-x,z,y)という対合を0回か1回使ってできる全ての行き先のうち、ちょうど1つがSに属するからそれを対合にしようと考えたのか。
    fで写したらfで戻れる
    fgで写したらgfで戻れる
    gfで写したらfgで戻れる
    ので対合になる。

  • @ワールドt
    @ワールドt 2 หลายเดือนก่อน +10

    3B1Bっぽくて好きです!音楽がうるさいかもなのでもう少し小さくして欲しいです

  • @phycopass
    @phycopass 2 หลายเดือนก่อน +5

    めちゃくちゃManim向きの話題!

  • @えり-v6k
    @えり-v6k 2 หลายเดือนก่อน +1

    わい愚か者、 3:55の式で4で割ったら1余るような素数pを全て表すことができるのかちょっと悩んだ。

  • @数学不定期投稿チャンネル
    @数学不定期投稿チャンネル 2 หลายเดือนก่อน +1

    この定理の証明、7月の数検で出たよ。フェルマーの小定理を使うのが想定らしいけど、誘導も無かったし無理だった

  • @atswd9979
    @atswd9979 2 หลายเดือนก่อน +1

    ライフゲームの「銀河」みたい

  • @okim8807
    @okim8807 2 หลายเดือนก่อน +1

    サムネで3Blue1Brownの動画と思った。

  • @TOkana0
    @TOkana0 2 หลายเดือนก่อน +1

    面白かった。
    すごく刺さりました。
    決して楽な視聴体験ではありませんでしたが、その分寄り道なしで面白さが直球に入ってきました。
    大学の教科書で、「ここなんでこうなるの?」って気持ちが蘇ってきました。個人的には、y=zとなる点の存在が保証されている理由でつまづきました。
    以下偉そうな駄文です。気にしないでください。
    いいところ
    ・簡潔、最小限で十分な用語の説明と例示
    ・風車のアニメーションがすごい。
    ・刺さる人にはすごく刺さる題材
    改善できそうなところ
    ・音楽が大きい気がする
    ・テンポが少し悪い?
    ながら聞きは決して想定されてない(と思う)から、停止位置を視聴者に委ねてノンストップでもいいかも
    改善しなくていいところ
    ・分かりにくい(分からないではないです。美徳ととらえました)
    偉そうにすいません。
    方向性は大好きです。応援してます。

    • @Metachiki
      @Metachiki  2 หลายเดือนก่อน

      嬉しい言葉をありがとうございます!
      真摯にフィードバックをしていただけるのはとてもうれしいです。特に、自分が製作中に感じた違和感のようなものを一部うまく言語化してくださっていると思います。参考にします。

  • @秋桜こもなな
    @秋桜こもなな 2 หลายเดือนก่อน +2

    6:25 (x,y,z)=(1,1,4) で(x+2z,z,y-x-z)=(3,1,2) となっているみたいなんですけど、x+2zは先の条件から9となるはずなのでよくわかりません...誰か教えてくださると助かります🙇

    • @Metachiki
      @Metachiki  2 หลายเดือนก่อน +2

      分かりにくくて申し訳ありません。風車がどんな(x,y,z)と対応するかは明記しておいたほうがわかりやすかったですね...。
      図では、(x,y,z) = (1,4,1) を表現しています。そのため、(x,y,z) \mapsto (3,1,2) で正しく機能するはずです。

    • @秋桜こもなな
      @秋桜こもなな 2 หลายเดือนก่อน +2

      ご丁寧に返信くださりありがとうございます🙇🙇こちらが対応する四角形を見誤っておりました...

  • @comtam3602
    @comtam3602 2 หลายเดือนก่อน +5

    すげー3b1bみたい