雑談はここに書け!【67】 (511レス)
雑談はここに書け!【67】 http://rio2016.5ch.net/test/read.cgi/math/1736754850/
上
下
前
次
1-
新
通常表示
512バイト分割
レス栞
349: 132人目の素数さん [] 2025/09/20(土) 09:36:06.70 ID:eje/AQ+H >>348 追加 https://ja.wikipedia.org/wiki/%E3%83%8D%E3%82%A4%E3%83%94%E3%82%A2%E6%95%B0%E3%81%AE%E7%84%A1%E7%90%86%E6%80%A7%E3%81%AE%E8%A8%BC%E6%98%8E e ネイピア数の無理性の証明 e ネイピア数の無理性の証明は、1744年にオイラーが初めて行った。実際、ネイピア数 e は 2 < e < 3 を満たす無理数である。証明は背理法による。すなわち、e が有理数であると仮定して矛盾を導く。e が無理数であることの証明は、円周率 π が無理数であることの証明よりずっと易しい。π の無理性が初めて示されたのは1761年のことである。 略す http://rio2016.5ch.net/test/read.cgi/math/1736754850/349
350: 132人目の素数さん [sage] 2025/09/20(土) 09:45:20.21 ID:xV/ll6W1 自分がバカだからと言って、他の素人もみんなバカだと思うな。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/350
351: 132人目の素数さん [sage] 2025/09/20(土) 09:51:28.30 ID:xV/ll6W1 youtubeの数学系の動画を見ていると、結構専門的な動画でも、数十万回再生はザラにある。 すなわち「フェルマーのような問題だから素人が食いつく」という 素人像はもう当てはまらない。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/351
352: 132人目の素数さん [sage] 2025/09/20(土) 09:59:44.45 ID:Mfvra8pP 本の写しを見るのは退屈だ http://rio2016.5ch.net/test/read.cgi/math/1736754850/352
353: 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2025/09/20(土) 20:36:07.68 ID:eje/AQ+H ヨビノリさん動画 https://www.youtube.com/@yobinori 予備校のノリで学ぶ「大学の数学・物理」 ヨビノリさん チャンネル登録者数 124万人 1015 本の動画 https://www.youtube.com/watch?v=szj5jpPNYDE 1時間半で語る数学の歴史【黒板で解説】 13万 回視聴 8 日前 https://www.youtube.com/watch?v=9_tmbe6NnWE&t=1159s 常識すべてと矛盾した。でも、それが真実だった【研究者の半生】 31万 回視聴 5 か月前 https://www.youtube.com/watch?v=svm8hlhF8PA 【大学数学】推定・検定入門?(母集団と標本)/全9講【確率統計】 予備校のノリで学ぶ「大学の数学・物理」 76万 回視聴 7 年前 http://rio2016.5ch.net/test/read.cgi/math/1736754850/353
354: 132人目の素数さん [sage] 2025/09/20(土) 21:44:09.89 ID:xV/ll6W1 日本語動画には興味がない。基本的に英語圏の方が説明が上手いのではないかと思う。 「予備校のノリ」って、所詮は受験数学的感覚ってことだろ。 誰かさんと同じく、かわいそうな奴だと思う。 「数学のアイデア」が含まれていることが重要。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/354
355: 132人目の素数さん [sage] 2025/09/20(土) 21:45:46.09 ID:xV/ll6W1 最近見たのは、『数学界で最も急成長中のスター、ハンナ・カイロ』という動画。 math prodigy(数学の神童)、しかも17歳の少女、という話題性もあって数日で25万再生を超えていた。 彼女の研究分野である「フーリエ制限理論」、従来の常識を覆した彼女のアイデア 重鎮的な研究者の絶賛コメントも含まれていたが、なぜか現在は削除されている。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/355
356: 132人目の素数さん [] 2025/09/20(土) 22:04:52.03 ID:eje/AQ+H なるほど https://www.youtube.com/@hannahmiracairo Hannah Cairo https://www.youtube.com/watch?v=3ZeH_8sTyKA&t=1 A counterexample to the Mizohata-Takeuchi Conjecture - OARS Hannah Cairo 61,261 回視聴 2025/04/09 This is a recording of a presentation I gave at OARS (online analysis research seminar) on Apr 8. You can find my paper here: https://arxiv.org/abs/2502.06137 https://nazology.kusuguru.co.jp/archives/183227/3 ナゾロジー 10代の数学者が「溝畑・竹内予想」が偽であると証明 (3/4) 2025.08.12 17歳の無名の学生が40年越しの数学の常識を覆した──このニュースは数学界のみならず世界を驚かせました。 ある専門家は「皆が衝撃を受けた、こんなことは見たことがない」とコメントし、長年信じられてきた前提が崩れた衝撃の大きさを物語っています。 今回の発見によって、数学者たちは調和解析の理論を見直し、新たな方針を考える必要に迫られました。 例えば、複数の波が関与する難問を溝畑・竹内予想を土台に一気に解決しようとするアプローチは、この反例によって使えないと分かりました。 発見者と同じくこの予想を証明しようと2年間取り組んでいた研究者も「我々は全員衝撃を受けた、こんなことは見たことがない」と語っています。 カイロさんの反例は「この道筋で一気にゴールへ到達することは不可能だ」と示しました。 ハンナ・カイロさんは幼い頃から数学に魅了され、孤独を感じるときは数学の世界に「逃避」していたといいます。 https://en.wikipedia.org/wiki/Hannah_Cairo Hannah Mira Cairo (born 2007) is an American mathematician who gained recognition at age 17 for disproving the longstanding Mizohata–Takeuchi conjecture in harmonic analysis. Mathematical work While studying under Zhang, Cairo began working on the Mizohata–Takeuchi conjecture, which had remained unresolved since the 1980s.[5] Initially aiming to prove the conjecture, she instead constructed a counterexample that disproved it.[4] Her work involved using fractals and other tools and originally resulted in a more complex counterexample before finding a simpler example after reformulating the problem in frequency space.[6] Her findings were published in the preprint titled "A Counterexample to the Mizohata–Takeuchi Conjecture" and uploaded to the arXiv preprint server on February 10, 2025. Later that year, she presented her work at the 12th International Congress on Harmonic Analysis and Partial Differential Equations in El Escorial, Spain.[4] Media described her as one of the youngest mathematicians to resolve a major open problem.[1][4][7][8][3] https://en.wikipedia.org/wiki/Mizohata%E2%80%93Takeuchi_conjecture Mizohata–Takeuchi conjecture The conjecture was disproven in 2025 by Hannah Cairo.[1][2] http://rio2016.5ch.net/test/read.cgi/math/1736754850/356
357: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/09/20(土) 22:21:02.22 ID:RaWCTUQr ナイーヴダンサー。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/357
358: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/09/20(土) 22:22:15.63 ID:RaWCTUQr 高校年代で戦局を打開したんだなあ。すごいよ。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/358
359: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/09/20(土) 22:24:42.26 ID:RaWCTUQr フーリエ級数とかはモダンジャズダンサーとか関係あんじゃないの。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/359
360: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/09/20(土) 22:27:11.53 ID:RaWCTUQr そうかしかし資格を取りたいなら公務員庁舎で師事して医療の仕事そこでしながら資格も取れるようにしとくわ。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/360
361: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/09/20(土) 22:28:36.54 ID:RaWCTUQr フール フーリー フーレストに聞き覚えないかな。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/361
362: 死狂幻調教大師S.A.D.@月と六ベンツ [] 2025/09/20(土) 22:29:51.83 ID:RaWCTUQr 数学が現実ならそれも戦いだ。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/362
363: 132人目の素数さん [] 2025/09/20(土) 23:23:38.98 ID:eje/AQ+H >>354 >「予備校のノリ」って、所詮は受験数学的感覚ってことだろ ヨビノリたくみ:横国数物+東大修士 ”学部生時代の講義が難解であった” "「大学教員は授業のプロではなく研究のプロであり、基礎的なものより専門分野についての方が面白く授業する」と指摘。「教養や基礎的な分野は授業のプロに任せて、教員らには自身しかできない専門的な授業に集中してほしい」と話した・・」と説明" とあるね https://ja.wikipedia.org/wiki/%E3%83%A8%E3%83%93%E3%83%8E%E3%83%AA%E3%81%9F%E3%81%8F%E3%81%BF ヨビノリたくみ(1993年 - )は、日本のYouTuber。YouTubeチャンネル『予備校のノリで学ぶ「大学の数学・物理」』で、主に大学の数学や物理の解説動画を配信している[5][6]。学位は修士(学術)(東京大学・2017年) 令和5年度の「科学技術分野の文部科学大臣表彰」科学技術賞(理解増進部門)を、動画編集などを担当するヨビノリやすとともに受賞している 略歴 横浜国立大学理工学部数物・電子情報系学科(物理工学教育プログラム)卒業。2016年、東京大学大学院総合文化研究科広域科学専攻修士課程修了 東京大学大学院工学系研究科物理工学専攻博士課程中退 学部生時代の講義が難解であったことから学部生向けに分かりやすい授業を行えたら良いと考え、研究者としての生計に不安を覚えていたこともあり、2017年7月に理系大学生向けにYouTubeチャンネル『予備校のノリで学ぶ「大学の数学・物理」』(略称:ヨビノリ)を創設した 日本学術振興会特別研究員(DC1)となるも2018年3月に中退[12]。中退の理由は、現代日本における大学教員の姿が幸せそうなものに見えなかったことと、想像以上にYouTubeチャンネルの人気が出たのでYouTuberとしての活動に本腰を入れるため 2023年4月7日には、一般社団法人日本物理学会からの推薦を受け、科学技術への関心や理解の増進に寄与し、科学技術に関する知識の普及啓発等に寄与する活動を行った人物へ送られる「科学技術分野の文部科学大臣表彰」科学技術賞(理解増進部門)を、動画編集や企画、撮影を担当するヨビノリやすとともに受賞した[14]。受賞理由は「インターネット動画配信による革新的な科学の理解増進」 人物 黒板を使った本格的かつ分かりやすい授業に定評がある。板書するシーンは早送りする一方でカットはしないのがこだわりであるが、これは板書する姿に趣があると考える一方、手軽に見られることの重要性も考えた結果だという。準備に3 - 4時間、動画撮影は15分の内容なら2時間ほど。編集にも3 - 4時間はかけている 自身の予備校講師の経験から、「大学教員は授業のプロではなく研究のプロであり、基礎的なものより専門分野についての方が面白く授業する」と指摘。「教養や基礎的な分野は授業のプロに任せて、教員らには自身しかできない専門的な授業に集中してほしい」と話した。また「大学で学ぶ専門的な学びに橋渡しするつもりで、基本的な知識を分かりやすく動画で伝えている」と説明。大学との連携も進めており、オープンキャンパスで実際に講義をしたり、動画を授業の参考としてシラバスに掲載する大学教員もいるという[17][16]。また、大学生向けの講座だけでなく高校講座も開設しており、「今週の積分」などの企画を展開している http://rio2016.5ch.net/test/read.cgi/math/1736754850/363
364: 132人目の素数さん [] 2025/09/21(日) 07:19:32.10 ID:728Xn/GW この人なら 「溝畑・竹内予想の反例」を高校生向けに 解説できるのではないか http://rio2016.5ch.net/test/read.cgi/math/1736754850/364
365: 132人目の素数さん [sage] 2025/09/21(日) 10:01:30.56 ID:4Ct4Dk37 無理でしょ 本気なら中村先生にお願いしたほうがいい http://rio2016.5ch.net/test/read.cgi/math/1736754850/365
366: 132人目の素数さん [] 2025/09/21(日) 10:07:26.93 ID:728Xn/GW 掛谷問題について Encounter with mathematicsで 講演した人たちでもよいと思う http://rio2016.5ch.net/test/read.cgi/math/1736754850/366
367: 132人目の素数さん [sage] 2025/09/21(日) 11:22:38.60 ID:7QDwnbmv 背景の理論に詳しい17歳が構成した反例のようだから 誰が説明しても分かる高校生は全体のごく少数で 殆どの高校生には分からないであろう という予想は付く http://rio2016.5ch.net/test/read.cgi/math/1736754850/367
368: 132人目の素数さん [] 2025/09/21(日) 22:09:07.92 ID:WWNIU/Ab 掛谷問題なら多くの高校生が理解できる http://rio2016.5ch.net/test/read.cgi/math/1736754850/368
369: 132人目の素数さん [sage] 2025/09/22(月) 16:47:46.92 ID:xMlroKTy 多くの公立校の進学校だと受験勉強で忙しいだろうから 標準的なごく普通の高校生に掛谷問題で解説した 実験結果は殆ど分からないという予測が付くが 恐らく塾通いで受験勉強に忙しいであろう 国立大の付属校や中高一貫校の高校生に 解説した実験結果の予測が付かないので 掛谷問題で高校生に解説したときの 全体的な実験結果のデータを教えてほしい 掛谷問題で国立大の付属校や中高一貫校の高校生に 解説した実験結果のデータがどうなのか興味深い http://rio2016.5ch.net/test/read.cgi/math/1736754850/369
370: 132人目の素数さん [] 2025/09/22(月) 19:04:22.43 ID:1kADniYb 淡中先生が昔 「大学への数学」の 「数学雑談」で 掛谷問題を解説していらしたが 当時の何も知らない高校生だった自分にとって 十分に興味が持てた http://rio2016.5ch.net/test/read.cgi/math/1736754850/370
371: 132人目の素数さん [sage] 2025/09/22(月) 19:32:31.11 ID:ebZCr9Qi フーリエ制限問題と関係する前の話ですか? http://rio2016.5ch.net/test/read.cgi/math/1736754850/371
372: 132人目の素数さん [] 2025/09/22(月) 20:12:44.13 ID:ntA/Tb1I フラクタルを用いた構成 http://rio2016.5ch.net/test/read.cgi/math/1736754850/372
373: 132人目の素数さん [] 2025/09/22(月) 22:10:32.51 ID:ntA/Tb1I 東北大のお家芸みたいな話題 http://rio2016.5ch.net/test/read.cgi/math/1736754850/373
374: 132人目の素数さん [sage] 2025/09/23(火) 00:50:23.75 ID:W4+0exIf 基本的には高次元の波の話だから、そこから理解していく必要があるだろう。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/374
375: 132人目の素数さん [sage] 2025/09/23(火) 00:53:28.91 ID:W4+0exIf テレンス・タオもこの分野の論文を書いているらしい 解析数論にも応用があるらしい が、どういう形で応用につながるのかさっぱり見当が付かない http://rio2016.5ch.net/test/read.cgi/math/1736754850/375
376: 132人目の素数さん [] 2025/09/23(火) 06:19:39.78 ID:d31sJAVw 巨大波の生成メカニズムの解明が進んでいるようだ http://rio2016.5ch.net/test/read.cgi/math/1736754850/376
377: 132人目の素数さん [] 2025/09/24(水) 05:50:29.39 ID:VocaRsrP 波の合成は奥が深い http://rio2016.5ch.net/test/read.cgi/math/1736754850/377
378: 132人目の素数さん [] 2025/09/25(木) 13:39:20.09 ID:Ok/MwhnH >>307 沿革レスすまん google検索:もっきり屋 とは (こういう回答は、AIは かしこそう ですね) AI による概要(AI の回答には間違いが含まれている場合があります) 「もっきり屋」とは、お酒(主に日本酒)をグラスからなみなみと注ぎ、溢れるくらい提供する「もっきり」という提供方法や、その提供を行う店・酒屋などを指す言葉です。また、特定の店舗名として使われることもあり、コーヒー店や古書店などにも「もっきり屋」という名称の店舗が存在します。 「もっきり」とは 由来:江戸時代、日本酒が量り売りされていた頃の「盛り切り」という習慣から生まれた言葉です。 意味:お店のサービス精神として、コップから溢れるまで日本酒をなみなみと注ぐことです。 地域性:主に東北地方などで「もっきり」という言葉が使われていました。 「もっきり屋」の使われ方 1.提供方法・店名:日本酒を「もっきり」で提供する店、またはそのような店を指す言葉として使われることがあります。 2.特定の店名:特定の店名として「もっきり屋」という名前が使われている場合もあります。例えば、金沢には喫茶店兼バーの「もっきりや」があり、大阪には古書店の「もっきりや」があります。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/378
379: 132人目の素数さん [] 2025/09/25(木) 14:02:22.06 ID:Ok/MwhnH >>364 >「溝畑・竹内予想の反例」 沿革レスすまん 英 Mizohata–Takeuchi conjecture と 独 Mizohata-Takeuchi-Vermutung がある 独 Mizohata-Takeuchi-Vermutung が結構くわしい (google訳で 独→英 にすれば良いと思う) ところで、何十年も反例が見つからなかったということは 反例が まれな存在で うまくいい条件を見つければ 反例を回避して 溝畑・竹内予想 が成り立つように できるかもしれない です(反例をよく研究してみる必要があるかもです) https://en.wikipedia.org/wiki/Mizohata%E2%80%93Takeuchi_conjecture Mizohata–Takeuchi conjecture https://de.wikipedia.org/wiki/Mizohata-Takeuchi-Vermutung Mizohata-Takeuchi-Vermutung http://rio2016.5ch.net/test/read.cgi/math/1736754850/379
380: 132人目の素数さん [sage] 2025/09/25(木) 17:24:22.68 ID:ABGVOhvU π^π を代数的数と仮定する π>1 から π^π は正の実数だから、π^π に対して 或る実代数的数aが存在して π^π=a であって a>π>1>0 であるから π=a^{1/π} である π^π=a なることに注意して、確かに a>1 なる実数aに対して 定義される実変数xの指数関数 f(x)=a^x を考えれば a>π だから π=a^{1/π}>π^{1/π} である πは無理数であって、πの π=2Σ _{k^-0,1,…,+∞}(((2k−1)!!)/((2k+1)((2k)!!)) なる 有理級数表示に注意すれば、無理数πに収束する単調増加な有理数列は存在する 無理数πに収束する単調増加な有理数列を {b_n} ∀b_n>1 とする 正の整数nを任意に取れば、nに対して定義される 実数列 {b_n} の第n項 b_n 、第n+1項 b_{n+1}は両方共に有理数だから、 nに対して b_{n+1} の b_n 乗列 c(n) が定義されて c(n)=(b_{n+1})^{b_n} とおくことが可能である よって、実数列 {b_{n+1}^{b_n}} は π^π に収束する単調増加な実代数的数の列である 正の整数nを任意に取る。このとき、b_{n+1}>b_n>1 であるから 1>1/(b_n)>1/(b_{n+1})>0 から 1>1/((b_{n+1}))^{b_n})>1/(b_{n+1}) であって b_{n+1}>(b_{n+1})^{b_n} である 正の整数nは任意であるから、n→+∞ のとき b_{n+1}→π かつ n→+∞ のとき b_n→π から π≧π^π を得る しかし、π≧π^π なることは π^π>π なることに矛盾する この矛盾は、π^π を代数的数と仮定したことから生じたから、 背理法が適用出来て、背理法を適用すれば、π^π は超越数である 同様に考えて一般化すれば、a、bを a>1、b>1 なる無理数とする このとき、実数aに収束する単調増加な有理数列 {a_n} ∀a_n>1 と 実数bに収束する単調増加な有理数列 {b_n} ∀b_n>1 が 両方共に存在するならば、a^a、b^b、a^b、b^a はすべて超越数である 故に、a=π、b=e とすれば、π>e>1 であって、π^π、e^e、e^π、π^e はすべて超越数である http://rio2016.5ch.net/test/read.cgi/math/1736754850/380
381: 132人目の素数さん [sage] 2025/09/25(木) 17:56:58.87 ID:ABGVOhvU 興味深いことに、可算無限個の a>1 なる無理数aが存在して、aに収束する有理数列は存在しない http://rio2016.5ch.net/test/read.cgi/math/1736754850/381
382: 132人目の素数さん [sage] 2025/09/25(木) 18:02:36.04 ID:aZI0hRM2 >>380-381 トンデモ書き込み禁止 http://rio2016.5ch.net/test/read.cgi/math/1736754850/382
383: 132人目の素数さん [sage] 2025/09/25(木) 18:04:47.05 ID:ABGVOhvU 可算無限個の a>1 なる無理数aが存在して、aに収束する有理数列は存在しない → 可算無限個の a>1 なる無理数aが存在して、aに収束する「単調増加な有理数列」は存在しない http://rio2016.5ch.net/test/read.cgi/math/1736754850/383
384: 132人目の素数さん [sage] 2025/09/25(木) 18:08:29.63 ID:ABGVOhvU >>382 >>380-381の考え方は間違っていない http://rio2016.5ch.net/test/read.cgi/math/1736754850/384
385: 132人目の素数さん [sage] 2025/09/25(木) 18:17:05.30 ID:aZI0hRM2 >>383-384 >考え方は間違っていない いや、根本的に間違っている。計算ミスか推論ミスかは知らないが 途中から間違った式を正しいとして、それを元に間違った推論を導いている。 しかも、自分で誤りに気付かない。そんな池沼が書き込んでいいわけではない。 トンデモ書き込み禁止! http://rio2016.5ch.net/test/read.cgi/math/1736754850/385
386: 132人目の素数さん [sage] 2025/09/25(木) 18:25:23.04 ID:ABGVOhvU 可算無限個の a>1 なる無理数aが存在して、aに収束する「単調増加な有理数列」が存在しない → 可算無限個の a>1 なる無理数aが存在して、 aに収束しかつ任意の正の整数nに対して a_n>1 なる 単調増加な有理数列 {a_n} は存在しない http://rio2016.5ch.net/test/read.cgi/math/1736754850/386
387: 132人目の素数さん [sage] 2025/09/25(木) 18:25:38.27 ID:aZI0hRM2 >>379 「溝畑・竹内」という「日本人の名前」に拘るのはれいのひとかな。 基本的にそんなことはどうでもいい。「フーリエ制限理論」を 調べていくと、エリアス・スタインという超有名(らしい)数学者に 行き当たり、そのひとがこの分野の元祖っぽい。 邦訳されている『プリンストン解析教程』の原書を書いているひと。 理解を望むなら、そのあたりから調べていく必要がありそう。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/387
388: 132人目の素数さん [] 2025/09/25(木) 18:27:38.19 ID:fkgyLEZd >>380 MTconjectureの反例との関係でもあるのか? http://rio2016.5ch.net/test/read.cgi/math/1736754850/388
389: 132人目の素数さん [sage] 2025/09/25(木) 18:37:14.39 ID:ABGVOhvU >>385 あ、 1>1/((b_{n+1}))^{b_n})>1/(b_{n+1}) であって b_{n+1}>(b_{n+1})^{b_n} → 1>1/((b_{n+1}))^{1/(b_n)})>1/(b_{n+1}) であって b_{n+1}>(b_{n+1})^{1/(b_n)} か。ということは、何もいえないか http://rio2016.5ch.net/test/read.cgi/math/1736754850/389
390: 132人目の素数さん [sage] 2025/09/25(木) 18:43:32.98 ID:ABGVOhvU >>388 MTconjectureの反例が何かは知らない MTconjectureの反例を意識して書いた訳ではない http://rio2016.5ch.net/test/read.cgi/math/1736754850/390
391: 132人目の素数さん [] 2025/09/25(木) 18:57:47.71 ID:fkgyLEZd 誤りを認めたのなら問題ない http://rio2016.5ch.net/test/read.cgi/math/1736754850/391
392: 132人目の素数さん [sage] 2025/09/25(木) 20:08:06.04 ID:aZI0hRM2 ハンナ・カイロの動画が復活している。少し改訂されたよう。 https://www.youtube.com/watch?v=riu-rcVFtGo http://rio2016.5ch.net/test/read.cgi/math/1736754850/392
393: 132人目の素数さん [] 2025/09/25(木) 21:26:15.65 ID:fkgyLEZd 秋学期からメリーランドの院生 http://rio2016.5ch.net/test/read.cgi/math/1736754850/393
394: 132人目の素数さん [] 2025/09/26(金) 04:13:41.97 ID:IfcJs9lk 物理なんかで発明がなされると言うとるやつがいるがアホじゃ 数式の追求のはてに、世界のどうぐが生まれたのや http://rio2016.5ch.net/test/read.cgi/math/1736754850/394
395: 132人目の素数さん [] 2025/09/26(金) 04:14:40.62 ID:IfcJs9lk 応用なんてもんは数字を使って初めて出来ることや http://rio2016.5ch.net/test/read.cgi/math/1736754850/395
396: 132人目の素数さん [] 2025/09/26(金) 04:39:50.61 ID:xHuchH0k QRコードの発明者は 数学は詰碁みたいものだと言っていた http://rio2016.5ch.net/test/read.cgi/math/1736754850/396
397: 132人目の素数さん [] 2025/09/27(土) 04:28:05.74 ID:A2y2sJoc 飯田事務員 人 (__) ^(__)^ ウンコー! (・(oo)・) ( つ ⊂ ) .) ) ) (__)_) ウンコー豚!ウンコー豚!ウンコー豚! こいつは言い訳ばかり達者で、何にも仕事できず、学生に対しては暴言を吐き、教員には過剰に媚びるクソ人間です。こいつは性根が腐ったクズ女だよw http://rio2016.5ch.net/test/read.cgi/math/1736754850/397
398: 132人目の素数さん [] 2025/09/27(土) 07:16:14.00 ID:8QK/7CNS 数学のノーベル賞「アーベル賞」賞金に非課税措置…文科省、数学分野の研究振興 http://rio2016.5ch.net/test/read.cgi/math/1736754850/398
399: 132人目の素数さん [] 2025/09/27(土) 08:36:40.58 ID:Fhwm9wI2 2025年度 数学会受賞者 秋季賞 利根川 吉廣 東京科学大教授 ニューヨーク大で博士号取得 学部は不明 春季賞 今野 北斗 東大准教授 早大卒 東大大学院修了 解析学賞 赤木剛朗 東北大教授 早大卒 早大大学院修了 David Croydon 京大准教授 ケンブリッジ大卒 オックスフォード大大学院修了 谷口雅治 岡山大教授 東大卒 東大大学院修了 代数学賞 阿部紀行 東大教授 東大卒 東大大学院修了 田中公 京大准教授 京大卒 京大大学院修了 幾何学賞 永野幸一 筑波大准教授 早大卒 九大大学院修了 松村慎一 東北大教授 早大卒 東大大学院修了 http://rio2016.5ch.net/test/read.cgi/math/1736754850/399
400: 132人目の素数さん [] 2025/09/27(土) 16:54:46.11 ID:0ayz0qNU 賞金稼ぎはいない http://rio2016.5ch.net/test/read.cgi/math/1736754850/400
401: 132人目の素数さん [sage] 2025/09/28(日) 17:47:55.00 ID:fvkQNaSZ π^π を代数的数と仮定する π>1 から π^π は正の実数だから、π^π に対して 或る実代数的数aが存在して π^π=a であって a>π>1>0 であるから π=a^{1/π} である π^π=a なることに注意して、確かに a>1 なる実数aに対して 定義される実変数xの指数関数 f(x)=a^x を考えれば a>π だから π=a^{1/π}>π^{1/π} である πは無理数であって、πの π=4Σ _{k=0,1,…,+∞}(((‐1)^k)/(2k+1)) =4−Σ _{k=1,2,…,+∞}(2/((2k+1)(2k+3))) なる有理級数による表示に注意すれば、πに対して、 或る M(π)>1 なる有理数 M(π) が存在して、 M(π) を M(π)=4 とすれば、無理数πに収束する各項が正なる 単調減少な有理数列 {b_n} ∀b_n<M(π) は存在する http://rio2016.5ch.net/test/read.cgi/math/1736754850/401
402: 132人目の素数さん [sage] 2025/09/28(日) 17:49:03.31 ID:fvkQNaSZ π<a<M(π)=4 なる有理数aを任意に取る 有理数列 {b_n} ∀b_n<M(π)=4 は無理数πに収束し 各項が正なる単調減少列であるから、π<a<M(π)=4 なる 有理数aに対して或る正の整数 N(a) が存在して、 有理数列 {b_n} ∀b_n<N(a) の第n項について n≧N(a) のとき π<b_n<a である 正の整数nを任意に取れば、nに対して定義される 実数列 {b_n} の第n項 b_n 、第n+1項 b_{n+1}は両方共に有理数だから、 nに対して b_{n+1} の b_n 乗列 c(n) が定義されて c(n)=(b_{n+1})^{b_n} とおくことが可能である 有理数列 {b_n} ∀b_n<M(π)=4 はπに収束し各項が正なる単調減少列だから、 実数列 {b_{n+1}^{b_n}} は π^π に収束する単調増加な実代数的数の列である 有理数aは π<a<M(π)=4 を満たすから、m≧N(a) なる正の整数mを任意に取れば、 有理数列 {b_n} ∀b_n<M(π) の第m項 b_m、第(m+1)項 b_{m+1} について π<b_{m+1}<b_m<a であって、π>1 から確かに (b_{m+1})^{b_m}>1 である よって、m≧N(a) のとき、1/a<1/(b_{m+1})<1/((b_{m+1})^{b_m})<1 であって、(b_{m+1})^{b_m}<a である π<a<M(π)=4 なる有理数aは任意であるから、a→π とすれば、(b_{m+1})^{b_m}≦π である http://rio2016.5ch.net/test/read.cgi/math/1736754850/402
403: 132人目の素数さん [sage] 2025/09/28(日) 17:50:59.41 ID:fvkQNaSZ (>>401-402 の続き) m→+∞ とすれば b_{m+1}→π かつ m→+∞ とすれば b_m→π であるから、 m≧N(a) なる正の整数mについて m→∞ とすれば (b_{m+1})^{b_m}→π^π であって π^π≦π を得る しかし、π^π≦π なることは π^π>π なることに反し矛盾する この矛盾は、π^π を代数的数と仮定したことから生じたから、 背理法が適用出来て、背理法を適用すれば、π^π は超越数である http://rio2016.5ch.net/test/read.cgi/math/1736754850/403
404: 132人目の素数さん [sage] 2025/09/28(日) 17:57:55.69 ID:fvkQNaSZ 同様に考えれば、任意の a>1 なる無理数aに対して、 或る M(a)>a なる有理数 M(a) が存在して 無理数aに収束する単調減少な有理数列 {a_n} ∀a_n<M(a) が存在するならば、a^a は超越数である 例えば、無理数eについて e^{-1}=1−1/1!+1/(2!)‐1/(3!)+…+(1/((2k)!))‐(1/((2k+1)!))+… =Σ _{k=1,…,+∞}( ( ( ((2k+1)!) −((2k)!) ) /( ( (2k)!) ((2k+1)!) ) ) ) =Σ _{k=1,…,+∞}( ( 2k ) /( ( ((2k+1)!) ) ) ) であるから、 e=1/(Σ _{k=1,…,+∞}( ( 2k ) /( ( ((2k+1)!) ) ) )) であって、eに対して或る M(e)>e なる有理数 M(e) が存在して、M(e)=3 とおけば、 eに収束する各項が正なる単調減少な有理数列 {b_n} ∀b_n<M(e) が存在する よって、ππ の時と同様に考えれば、e^e は超越数である http://rio2016.5ch.net/test/read.cgi/math/1736754850/404
405: 132人目の素数さん [sage] 2025/09/28(日) 18:01:14.15 ID:fvkQNaSZ 同様に考えて一般化する a、bを a>1、b>1 なる無理数であるとする aに対して或る (M_1)(a)>a なる有理数 (M_1)(a) が存在して、 実数aに収束する単調減少な有理数列 {a_n} ∀a_n<(M_1)(a) が存在するとする bに対して或る (M_2)(b)>b なる有理数 (M_2)(b) が存在して、 実数bに収束する単調減少な有理数列 {b_n} ∀b_n<(M_2)(b) が存在するとする このとき、a^b、b^a は両方共に超越数である 故に、a=π、b=e とすれば、π>e>1 であって π^e は超越数である http://rio2016.5ch.net/test/read.cgi/math/1736754850/405
406: 132人目の素数さん [sage] 2025/09/28(日) 18:10:13.25 ID:fvkQNaSZ >>401の下から3行目について: 或る M(π)>1 なる有理数 M(π) が存在して、 → 或る M(π)>π なる有理数 M(π) が存在して、 http://rio2016.5ch.net/test/read.cgi/math/1736754850/406
407: 132人目の素数さん [sage] 2025/09/28(日) 18:33:01.01 ID:zxZXlCIa >>401-406 ビューティフルマインドの逆、アグリーマインド 読むだけで脳みそ腐った気分にさせる文書をばら撒くのは犯罪行為 http://rio2016.5ch.net/test/read.cgi/math/1736754850/407
408: 132人目の素数さん [sage] 2025/09/28(日) 18:33:44.81 ID:zxZXlCIa 自分の頭の悪さは自分の中に仕舞い込んでおけ! http://rio2016.5ch.net/test/read.cgi/math/1736754850/408
409: 132人目の素数さん [sage] 2025/09/28(日) 18:39:29.04 ID:fvkQNaSZ >>402の下から2行目: よって、m≧N(a) のとき、1/a<1/(b_{m+1})<1/((b_{m+1})^{b_m})<1 であって、(b_{m+1})^{b_m}<a である π<a<M(π)=4 なる有理数aは任意であるから、a→π とすれば、(b_{m+1})^{b_m}≦π である → よって、m≧N(a) のとき、1/a<1/(b_{m+1})<1/((b_{m+1})^{1/(b_m}))<1 であって、 (1/a)^{b_m}<(1/b_{m+1})^{b_m}<1 から (b_{m+1})^{b_m}<a^{b_m} である π<a<M(π)=4 なる有理数aは任意であるから、 a→π とすれば、(b_{m+1})^{b_m}≦π^{b_m} であって、b_{m+1}≦π である しかし、b_{m+1}≦π なることは π<b_{m+1} なることに反し、矛盾する この矛盾は、π^π を代数的数と仮定したことから生じたから、 背理法が適用出来て、背理法を適用すれば、π^π は超越数である http://rio2016.5ch.net/test/read.cgi/math/1736754850/409
410: 132人目の素数さん [sage] 2025/09/28(日) 18:42:53.37 ID:fvkQNaSZ >>409の訂正は >>402の下から2行目以降>>403の訂正も含む http://rio2016.5ch.net/test/read.cgi/math/1736754850/410
411: 132人目の素数さん [] 2025/09/28(日) 18:45:13.76 ID:zxZXlCIa 乙は数学板から去れ!! http://rio2016.5ch.net/test/read.cgi/math/1736754850/411
412: 132人目の素数さん [] 2025/09/28(日) 18:48:20.39 ID:zxZXlCIa 自分が書いていることが正しいと思うなら、実名で責任を持って どこかに発表しろ。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/412
413: 132人目の素数さん [sage] 2025/09/28(日) 18:51:01.87 ID:fvkQNaSZ >>411 任意の正の実数εに対して或る正の整数 N(ε) が存在して… というような書き方に則って、ごく普通の書き方をしただけだが http://rio2016.5ch.net/test/read.cgi/math/1736754850/413
414: 132人目の素数さん [] 2025/09/28(日) 18:52:05.11 ID:zxZXlCIa 数学板住人はお前の腐った証明の添削屋じゃない。 「誤っている」という指摘がされなければ、正しいということにもならない。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/414
415: 132人目の素数さん [sage] 2025/09/28(日) 18:57:17.73 ID:fvkQNaSZ >>414 特に、他人からの添削は求めてない http://rio2016.5ch.net/test/read.cgi/math/1736754850/415
416: 132人目の素数さん [sage] 2025/09/28(日) 18:59:13.23 ID:fvkQNaSZ 解析だとああいう厄介な議論はごく普通に行われる http://rio2016.5ch.net/test/read.cgi/math/1736754850/416
417: 132人目の素数さん [] 2025/09/28(日) 19:03:03.33 ID:zxZXlCIa >>415 >>412な。 お前の腐った精神からすると、具体的な反論が来ないと 「俺様正しい」とか思いかねないからな。具体的な反論をすると 一旦誤りを認めるが、相手にしてもらえたことに満足して 後日また別の腐った証明を出してくる。典型的なトンデモ人。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/417
418: 132人目の素数さん [] 2025/09/28(日) 19:07:12.21 ID:zxZXlCIa 乙はこれ↓と同じ、他者からすると迷惑行為以外の何物でもない行為を 数学板で何年も繰り返しているの。分かる? 「角の三等分屋」への対処法に学ぶ 中でも亀井氏の「三等分屋」とのやり取りはなかなかに生々しい。 7通常は不可能であることを説明した上で、論文を受け取らずにお引き取り 願うところを、その時はなぜか魔が差して受け取ってしまったばかりに、 亀井氏が懸命に間違いを探して返事した。すると相手はそれを直したと言って また論文を送ってきて、亀井氏が再び間違いを探し、相手はまた直して送ってくる ――と繰り返した挙句、亀井氏がとうとうぶち切れて「もう二度と送って こないで下さい!」と電話の向こうの相手に怒鳴りつけ、やっと幕になった。 しかしこの出来事は亀井氏にとってトラウマとなったというのである。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/418
419: 132人目の素数さん [sage] 2025/09/28(日) 19:09:39.15 ID:fvkQNaSZ >>417 数理論理が絡む話ではない訳で、自分で自らの証明の正しさの確認は出来る http://rio2016.5ch.net/test/read.cgi/math/1736754850/419
420: 132人目の素数さん [sage] 2025/09/28(日) 19:11:40.88 ID:fvkQNaSZ >>418 そんな話知らん http://rio2016.5ch.net/test/read.cgi/math/1736754850/420
421: 132人目の素数さん [] 2025/09/28(日) 19:13:32.00 ID:zxZXlCIa 匿名の数学板にこっそり下げて書くのは、実は自信がないからだろう。 バレてんだよ。そんなことは。 自信があるなら、「実名で、責任をもって」公表しろと言ってんの。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/421
422: 132人目の素数さん [sage] 2025/09/28(日) 21:20:27.71 ID:zxZXlCIa そもそも有理数と無理数の違いからして誤解している。 ある有理数にいくらでも近づいていく別の有理数の無限列は存在しない? そんなわけあるか。では、有理数と無理数の違いはどこにあるか? たとえば、有理数 a/cを別の有理数の無限列 b_i/d_i (i=1,2,...) で近似することを考える。 このとき、|a/c-b/d|=|(ad-bc)/(cd)|であり、|ad-bc|≧1だから |a/c-b/d|≧1/|cd|. ここでcは定数だから、b_i/d_iが動くとき この値は、(定数)/d_iより小さくはならない。 そして、この性質が有理数と無理数の違いをもたらす。 ある有理数を別の有理数列で近似したときは どうやっても(定数)×(近似分数の分母の逆数) よりも良い近似は得られない。逆に、分数の無限列が この限界を超えて良い近似をもたらすなら、その極限は無理数であることになる。 これは無理数であるための十分条件であるが、ディリクレの抽斗論法 を用いれば、このような「良い近似分数列が存在すること」が無理数であるための 必要条件であることも証明できる。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/422
423: 132人目の素数さん [sage] 2025/09/28(日) 21:22:18.46 ID:zxZXlCIa 「良い近似分数列が存在すること」が、極限が無理数であるための必要十分条件 であるが、これは「無理数に収束する近似分数列は良い近似列である」 とか、「ある近似分数列が良い近似列ではないから、その極限は 有理数である」ということを意味しない。 (言うまでもないことだが、ここを誤解する池沼がいる。) 函数値の単なる近似分数列ならば、函数の級数展開や連分数展開から 直に得られることも多いが、これが自明な形で「良い近似分数列」を与えている とは限らない。未解決として残っているというのは、そういうことなのである。 eの無理性が、e^xのべき級数展開から直に得られるようなことは 特別に容易な例外的なケースということである。 http://rio2016.5ch.net/test/read.cgi/math/1736754850/423
424: 132人目の素数さん [] 2025/09/29(月) 07:27:41.57 ID:EAeukqGm 連分数列はよい近似分数であることが多い http://rio2016.5ch.net/test/read.cgi/math/1736754850/424
425: 132人目の素数さん [sage] 2025/09/29(月) 08:21:08.97 ID:nkkfw1Lt ゴミカスが価値を認めて貰いたくて必死なのは分かった ゴミカスは誰だ http://rio2016.5ch.net/test/read.cgi/math/1736754850/425
426: 132人目の素数さん [sage] 2025/09/29(月) 08:21:35.48 ID:nkkfw1Lt 俺だ http://rio2016.5ch.net/test/read.cgi/math/1736754850/426
427: 132人目の素数さん [sage] 2025/09/29(月) 08:21:58.27 ID:nkkfw1Lt 吊ろう http://rio2016.5ch.net/test/read.cgi/math/1736754850/427
428: 132人目の素数さん [sage] 2025/09/29(月) 11:29:01.42 ID:ixP+MVKq 「しはくはごみ」だとか「ここでかいたものにかちはない。」と言われている私がいる http://rio2016.5ch.net/test/read.cgi/math/1736754850/428
429: 132人目の素数さん [sage] 2025/09/29(月) 11:47:59.51 ID:Xm+bk6Ry >>422-423 πは π=[3,7,15,1,…] と無限正則連分数の形で表され、 πについて、どんな正の整数kに対しても 第k次の近似分数 (q_k)/(p_k) と4は等しくはならないから、 正則連分数の性質から、少なくとも π^π の議論では 無限正則連分数の第k次の近似分数の議論は関係ない π^π の議論を一般化しようとすると話は別だろうが http://rio2016.5ch.net/test/read.cgi/math/1736754850/429
メモ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 82 レスあります
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.012s