No video
【難問研究会#7】素数の性質と余りに注目する問題にキムとまたも遭遇してしまいました。。
Рет қаралды 60,128
7 ай бұрын➡︎東工大作問サークルのTwitter
/ sakumontech
今日は整数のmod(余り)に注目する問題でしたね。皆様は解けたでしょうか？？
関する今後も全部解く気で頑張るのでこれからも良問お願いします！！でんがん&キム
でんがんが"勉強法"の本を出しました！決して"天才"じゃない僕の全てをここに書き込みましたので、興味がある人は是非下記からお願いいたします。
⬇︎「元バカによるバカのための勉強100カ条」⬇︎
www.amazon.co....
日常でんがんとチャンネル運営
出演者：でんがん:Twitter / dengan875
編集者：ダンボ:Twitter / dam_bo_
皆様こんにちはでんがんです。昔ははなおでんがんというチャンネルをやっていましたが、今は一人で頑張っています。勉強を中心にした企画や、数学の解説動画などを出しています。よろしくお願いいたします。 でんがん
⬇︎日常でんがんその他編集協力⬇︎
・よっしー
/ yosshi_ediedu
・たくや
/ takuya_edit
・しげ
#日常でんがん # #
@SolingTube 7 ай бұрын
この問題を作問したものです！解いてくれてありがとうございます。 この問題は実験して答えを探すことをテーマにした問題であり、特に深い背景があることを踏まえて作った問題ではありません...。 （何か調べれば背景はあるかもしれませんが、それを想定して作った問題ではなかったと思います。） 今回はたまたま13でうまく行ったので問題にしましたが、なぜ13でうまくいくか（そして、他にうまくいく素数がどのくらいあるか？という点）に関しては調べないと分からなさそうです。何か分かったらこのコメント欄に追記しようと思います！
@user-eg7eg6yi5f 7 ай бұрын
k^2+4がpで割り切れるkが存在するような奇素数pの条件は、平方剰余の相互法則 (-4 p)=(-1)^(p-1)/2 よりpを4で割った余りが1のときだとわかります(5,13,17,29,…)
@treebig6070 7 ай бұрын
気になったのでmod10000までプログラミングで調べてみました！ すると、mod13,29,37,377,1073の時のみ成功するみたいでした どういう規則性なのでしょうか… OEISで見てみましたがヒットしませんでした
@SolingTube 7 ай бұрын
何かあるんですかね...
@treebig6070 7 ай бұрын
@@SolingTube ついでにmod10^6まで調べてましたが、mod1073以降成功するのはありませんでした…
@SolingTube 7 ай бұрын
@@treebig6070 一般化は難しそうです...（一般化を想定して作った問題ではないため）
@user-rt3ge4dh3c 7 ай бұрын
え、仕事早くね
@a_math 7 ай бұрын
自分も同じプログラムを試しました。 377=13*29,1073=29*37と素因数分解できるので一般化が出来そうな気もします。どれも8k+5型の素数ですし （OEIS使ったのまで一緒でしたww）
@user-ct4mk4wk3u 7 ай бұрын
数学で沼にハマると無限に時間が溶ける理由の一つがこれな気がする。ゴリ押しで解ける場合もあるから。
@user-jz6mn6yb9j 7 ай бұрын
Sasukeは今スロット打ってるぞ！
@Mega11041104 7 ай бұрын
a1=0(mod適当な素数)と置いた時にan=0が存在するかの条件とか調べるとなんかヒントになるかも。（巡回群とかそこら辺の群論に強い人に任せます）追記:調べてみたところ、1000以下の素数のうちp=5,13,29,37,89,101,509の時は巡回型(an=0(mod(p)になるならばnより上の整数mでam=0(mod(p))になる)になるのがわかりました。この条件∧なんらかの条件でP=13,29,37のみになるって感じじゃないでしょうか
@user-kj3sd9ov3x 7 ай бұрын
今回は最後に視聴者に問題を投げかけるのはいつもと変わってておもしろい 眠たそうだったけど(笑)、解答のあとの研究もおもしろかった
@ym.__sn 7 ай бұрын
キムでんの会話ほんとに好きです💞
@user-nh1wj8in9p 7 ай бұрын
自分はa=1を代入してやっていくと1→5→29→845(5×13^2)ってなったからmod5で場合分け→むり mod13っていう解答手順を踏みました こうすると今年東工大受験の身からすると20分ちょいで解けて解きたい問題〜合否に差がつく問題くらいの難易度かなと...
@3dervolt 7 ай бұрын
自分は「a1は素数」という文言を見てa1=1でやってみるっていう発想に至りませんでしたね a1=3,5,7,11でやったらそれぞれa2=13,29,53,125(5^3)になったのでmod5→13→29→53の順で試そうとしたら13がヒットした感じでした
@870_dga 7 ай бұрын
キムさんとのコラボほずっと見てられる！
@puella_math 7 ай бұрын
似たような問題がないか調べてみたのですが、これは「数論力学系」あるいは「p進力学系」という分野に含まれそうです。
@puella_math 7 ай бұрын
一応自分の現段階での成果も書いておきます。 （力学系の用語で）問題を整理すると次のようになると思います。 「f(x)=x^2+4がZ/nZにおいて次の2点を満たすようなnの条件は何か？: (1) 0はfの周期点である (2) fの周期軌道は1つしか存在しない」 （一旦、一般的な構造を見つけるために素数とは限らないnで問題設定しました） 他の方のコメントにもある通り、n=13, 29, 37, 377, 1073のときは成り立つことがわかります。 ここで377=13*29, 1073=29*37です。 自分の研究成果としては、nが合成数のときは素数べきの場合に帰着できることがわかりました。（中国剰余定理の応用です） 特に次が成り立ちます: σ(n)=(Z/nZにおけるfの周期の総和) と書くことにすると 「m, nが互いに素であるとき、σ(mn)=σ(m)σ(n)」 また、Z/mnZの周期軌道の個数と周期もわかります。 基本的にはZ/mZの周期軌道とZ/nZの周期軌道のペアがZ/mnZの周期軌道に対応するのですが、周期が互いに素でないときは軌道が分裂します。（最大公約数個の周期軌道に分裂） 先の計算結果で「13*29, 29*37では成り立つのに13*37では成り立たないのか？」という疑問が出ると思うのですが、これはn=13, 37の周期がどちらも6であるため、13*37だと軌道が分裂して上手くいかなくなるというわけです。 また進展があり次第報告します。
@dauntaun1210 7 ай бұрын
数オリで見たことあるって普通にパワーワードすぎる笑
@Prettissimo 7 ай бұрын
「n²+1が素数となるような自然数nは無限に存在するか？」という未解決問題と関連ありそうなのかなぁ🤔
@nameless_scarecrow 7 ай бұрын
去年やってmod11までやって出ないから、方針違うんかなぁって悩んだ問題だ
@Telly2040peq 7 ай бұрын
これmod13調べる時、めちゃくちゃだるそうだけど0であれだけ出てきて、残り出てないの2だけだから1356調べなくて良くね？と思いました
@user-bz1ex4vw4z 7 ай бұрын
今更すぎるけど、この企画にアンパンマン(ヨビノリたくみさん) 召喚して欲しい🥹
@user-be3ow8em4r 7 ай бұрын
良さそう
@syuncube 7 ай бұрын
a_{n+1}=a_n+4だったら今回13で成功して、+4ではなく+dでdがどうなったらどうとか研究が広がりそう全部アウトなのかな
@user-fz4wt4gs9q 7 ай бұрын
一般化できたらあつい！
@user-pj5gi5ev6r 7 ай бұрын
？？？「はぁ～いおとこでぇ～す(ねっとりイケボ)」
@padhayata4life907 7 ай бұрын
たまねぎおとこ、懐かしいな 今はよーわからん宇宙の動画上げてるらしいけど
@user-qk3sy8nv6m 7 ай бұрын
フェルマーの平方和定理がちょっと使える気がした
@user-km1on7xc5u 7 ай бұрын
待ってました
@tomot3118 7 ай бұрын
そもそも一般化してシンプルな式になる漸化式のほうが少ないですからね。
@padhayata4life907 7 ай бұрын
sasukeもパズドラも懐かしいな 今はgaimonと頂チャンネルか
@user-du8uw6zb8i 7 ай бұрын
なるほど、えぐぅ
@glayjail2298 7 ай бұрын
エキストラステージもあるぞ
@bal_7VEI 7 ай бұрын
待ってましたァ！
@Telly2040peq 7 ай бұрын
25×25=625とすぐに分かるやつはパズドラ昔からやってたやつか数学できるやつだと思ってる
@user-fg8xf3vd7g 7 ай бұрын
100の位が2×3、それ以下は5×5だね
@user-in4hy3je9r 7 ай бұрын
今の学習指導要領って高校数学で合同式やってるの？
@user-ij9gu5zx2l 7 ай бұрын
高校の数Aの整数分野で習いました！教科書には載ってなかったです
@user-vb5fx8ch2e 7 ай бұрын
ラスベガスからお送りしております
@user-iw1wy4yo8l 7 ай бұрын
でんがんさんは教育系の道はやめたんですか？
@nag_lint_lino 7 ай бұрын
0:16 全然現役やで()
@ak-cu7ne 7 ай бұрын
過去一理解できなかった。
@re1979 7 ай бұрын
昔のキムえるもあ名人似てるよな
@user-qc2vs8ys3k 7 ай бұрын
良問ではないな😮
@loveloveYouTube 7 ай бұрын
理学部数学科卒だけどmodの意味がわからん modてなに？
@salmon_math 7 ай бұрын
環論を覚えているなら、単にZ/nZのことです。(Zは有理整数環)
@loveloveYouTube 7 ай бұрын
@@salmon_math は？お前何言ってんの？笑 ルベーグ積分？複素関数？位相空間？
@chachamaru0909 7 ай бұрын
解析学専攻の方でしたか…
@user-sh4lq9ij8j 7 ай бұрын
@@salmon_math 数学科出てるのに群環体の知識１つも無いのはビビる。嘘なんじゃないかと勘繰ってしまう
@loveloveYouTube 7 ай бұрын
@@user-sh4lq9ij8j 代数入門は単位取ったよ 代数は何も知らないよmod mod mod
Дима Масленников
Рет қаралды 6 МЛН
Fabiosa Best Lifehacks
Рет қаралды 17 МЛН