【数学】エルデシュの未解決問題を解いてみた

Поделиться
HTML-код
  • Опубликовано: 14 янв 2025

Комментарии • 39

  • @Deka_Unko_man
    @Deka_Unko_man 6 часов назад +63

    0:24 「私はこの問題を解くことができたので」
    RUclipsの解説動画の中で初めて聞いたセリフ

  • @Ilikekaf
    @Ilikekaf 10 часов назад +30

    割と有名な問題が最近になって解かれたのも衝撃だし、解いた方が直々にRUclipsという我々にとってハードルが低いプラットフォームで解説してくれるの本当に貴重すぎる。長期間解かれていなかった問題でも、ギリ理解できそうな難易度なのは意外でした。

  • @baniratake5391
    @baniratake5391 9 часов назад +29

    「未解決問題を解いてみた」のインパクトが強すぎる
    あと問題がめちゃくちゃシンプルだった
    問題文とかシンプルなほどヤバいんだから…

    • @user-zianomaS
      @user-zianomaS 5 часов назад

      コラッツ予想…

    • @baniratake5391
      @baniratake5391 4 часа назад

      ゴールドバッハ予想…

    • @user-zianomaS
      @user-zianomaS 4 часа назад

      @@baniratake5391 素数が絡むやつ多いよね

    • @ringo2872
      @ringo2872 Час назад

      ソファ問題…

  • @gemgem_GEMINI
    @gemgem_GEMINI 6 часов назад +13

    0:25『最近私はこの問題を解くことが出来たので』
    パワーワードすぎて草
    本人直々の解説面白すぎます笑

  • @monojp20012000
    @monojp20012000 2 дня назад +13

    共通部分0.9以上と取ることが後々うまく効いてくることが分かりやすい、とても良い動画でした!

  • @AT-er1gn
    @AT-er1gn День назад +9

    「とけた」と「むじゅん」がカワイイ
    すごくいい動画だと思います

  • @術語ロンリ
    @術語ロンリ День назад +7

    【どんな面積(測度)が∞な図形も、その図形上のある4点を選べび結べば等脚台形となる】
    S:与えられた面積(測度)∞な図形
    A:密度1のSの点
    B:=B(A,ε) (εはμ(B∩S)/μ(B) >= 0.9となるようにとる)
    B':=B(A,ε)
    Q := B(A,100/ε)
    O : d(O)=1 , O∈S\Q
    NS := {Nx | x∈S}
    S' := S∩NS
    f(P) := Pを角度ψだけ回転させた点
    ψ : sin ψ = (2/(OP^2))((N^2)/(N^2-1))
    P ∈ B'∩S' ( 8:15 から)
    0:42 測度と面積∞の図形
    1:25 密度の定義
    2:00 ルベーグの密度定理
    2:19 本題
    2:35 Step 1:密度の高い部分に着目する
    3:56 Step 2:NSを考察する
    4:10 [補題] lim_{N→∞} μ(B\S) = 0
    5:06 μ(B∩S∩NS)/μ(B) >= 0.89
    5:39 Step 3:等脚台形の構成法を考える
    5:43 面積1の等脚台形
    6:14 予想の
    (∃P∈S)(P ,f(P)∈S'(=S∩NS) )
    への帰着
    6:40 Step 4: fの性質を調べる
    6:45 [補題] P ∈ B' ⇒ f(P) ∈ B
    7:38 [補題] T : 可測集合 ⇒ μ(f(T))
    8:11 Step 5:証明を完成させる
    8:22 Step 3の帰着から「あるP∈B'∩S'があって、f(P)∈S'となる」を示せばよい。
    8:28 背理法(任意のP∈B'∩S'に対してf(P)がS'に含まれないと仮定)

  • @143658906
    @143658906 3 часа назад +2

    物理学科から出た者ですが、感覚的な解説があるおかげで結構するする入ってきました。

  • @自然意思
    @自然意思 9 часов назад +4

    すごい、、動画開く前からどうせ他人の解法を紹介するだろうとかただの考察で終わるだろうと思ってたけど、いざ動画開くとマジの証明だった。動画開いてよかった

  • @user-nijisanji_daisuke2434
    @user-nijisanji_daisuke2434 5 часов назад +6

    0:24 ぅゎっょぃ

  • @unidentified7164
    @unidentified7164 День назад +16

    これはまたすごいRUclipsrが出てきましたね。。
    これってSが有限の場合、どんな面積の値でも、面積が1の等脚台形を作れない図形が存在するんだろうか。それとも、ある面積以上だと必ず作れるとかあるんだろうか。

    • @J_Koizumi_144
      @J_Koizumi_144  День назад +3

      おそらくそれも知られていないと思います!

    • @unidentified7164
      @unidentified7164 20 часов назад +3

      @@J_Koizumi_144 なるほど。
      数学の研究ってとても大変だと思いますけど、応援してます。チャンネル登録して次の動画を気長に待ってますね。

  • @佐々木淳平
    @佐々木淳平 8 часов назад +7

    証明内容は全くわからないけど、歴史的瞬間に立ち会えた喜びを感じる

  • @study_math
    @study_math 3 часа назад +3

    未解決問題を解いてみたという強烈すぎるキーワード

  • @tinatamago0
    @tinatamago0 Час назад

    未解決問題に対して
    「私はこの問題を解くことができたので」
    一度は言ってみたいセリフすぎる

  • @pAlice1729
    @pAlice1729 День назад +3

    動画も作れるんすか...
    日本語でこういうタイプの解説動画はまだまだ少ないし、これから数学を志す子達にもありがたいですね

  • @あんこ-r8f9y
    @あんこ-r8f9y 2 часа назад

    Xでバズってて気になってたので噛み砕いた証明を見れて嬉しい

  • @maruseibutter1
    @maruseibutter1 День назад +5

    イラストが可愛いのでもっとたくさん入れてください😊

  • @やまやま-b4r
    @やまやま-b4r День назад

    直感的に理解できるとてもわかりやすい証明でした✨
    未解決問題を証明するなんてすごいです!!!!
    私も数学を研究しているのでとても尊敬します!!

  • @noda_die_arai
    @noda_die_arai 7 часов назад +2

    素晴らしいです!
    最後の類題はこの問題の有限面積・三角形バージョンと言えると思いますが、
    これの等脚台形バージョンも同様に未解決なのでしょうか?

    • @J_Koizumi_144
      @J_Koizumi_144  7 часов назад +1

      恐らく知られていないと思います!

  • @NEON_NESUTA
    @NEON_NESUTA 3 часа назад +1

    この動画に感動の意を書きたかったが記すにはこのコメント欄は狭すぎる。

  • @あさだせだん-k2q
    @あさだせだん-k2q 6 часов назад +1

    未解決問題を解くことができたとかまず聞かないであろうセリフで草。

  • @na-xc6xy
    @na-xc6xy 4 часа назад

    なんか線分上の4点が必ず正方形になるような4点が存在するみたいな未解決?問題もあったよね、その証明に使えるのかなこの考え方

  • @ADGJMPTWAGMT0
    @ADGJMPTWAGMT0 5 часов назад

    エルデシュならグラフ理論やったときエルデシュ数として知ったなぁ

  • @おれっち-s9o
    @おれっち-s9o 3 часа назад

    この問題が未解決って話を最近聞いたばっかりだったところでこの動画にぶん殴られた
    未解決問題なのに「解いてみた」なんて誇大広告が酷いなとか思ってすいませんでした(土下座)

  • @数学不定期投稿チャンネル

    もっと強く、長方形とか正方形ではどうなんだろう。

    • @J_Koizumi_144
      @J_Koizumi_144  День назад +16

      平行四辺形では成り立たないことが知られています(Kovač 2023)。よって長方形や正方形に対しても命題は偽になります。

  • @ASDDs1729
    @ASDDs1729 3 часа назад

    大学数学のソフトウェトーク解説はよく見るけどまさか未解決問題とはなぁ、、(感嘆

  • @froggggggggggggggggggg
    @froggggggggggggggggggg 5 часов назад

    授業中の妄想みたいなことしとる

  • @rorona1350
    @rorona1350 10 часов назад +2

    数学科行きたい(´°̥̥̥̥̥̥̥̥ω°̥̥̥̥̥̥̥̥`)

  • @WakamatuHirotaka
    @WakamatuHirotaka 6 часов назад +3

    といてー ってかわいい顔してとんでもないわ

  • @1f5d0dc68c
    @1f5d0dc68c 6 часов назад

    증명 축하드립니다