【初見でどう解く？】思考力を鍛える整数問題

リクエストが多かった整数問題。
思考力が必要な整数問題でしたね！
視聴者リクエストも含めた良問解説
mathlaboのチャンネルはこちら！
• 素数の証明　有名問題（一橋大後期）
今日のパスチャレはこちら↓
note.com/pfsbr123
~~~~~~~~
■ 東大現役合格→トップ成績で医学部に進学した僕の超戦略的勉強法
（宇佐見天彗＋PASSLABO著）
amzn.to/2FOboO3
全国の書店でもご購入いただけます。
■ 早期購入者特典受け取りフォーム（2020年10月24日まで）
forms.gle/hENMLjpHi9E6tdeUA
↑
このフォームからしか受け取れません。
お手元に書籍が届いてからご記入ください。
■サイン本プレゼント企画
（2020年10月3日まで）
todai_igakubu/sta...
■試し読みはこちら
todai_igakubu/sta...
~~~~~~~~~~~~~~~~
■東大医学部発「朝１０分」の受験勉強cafe
PASSLABOのチャンネル登録
→ / @passlabo
■東大生たちと一緒に勉強したい方必見！
公式LINE@登録はコチラから
→ line.me/R/ti/p/@subaru_todai
（勉強法や質問相談はLINE LIVEにて配信予定!!）
======
【君のコメントが、動画に反映されるかも！】
問題の解説希望やリクエストあれば、好きなだけ載せてください。
１つ１つチェックして、役立つものは動画にしていきますね^ ^
======
■偏差値43から東大合格までの勉強法がまとめて知りたい方
→ amzn.to/2GRW3tL
■公式Twitterはコチラ
→ / todai_igakubu
===========
■PASSLABOメンバー情報（note）
＊気になるメンバーのnoteをチェック!!
「１」宇佐見すばる
東大医学部 / PASSLABO室長
→ note.mu/pfsbr123/n/nb6fe7782cef8
「２」くぁない
早稲田 / PASSLABO切り込み隊長
→ note.mu/pfsbr123/n/n5f377ebad8d2
「３」あいだまん
東大逆転合格/ PASSLABO歌のお兄さん
→ note.mu/pfsbr123/n/n410cc19c6d54
「４」くまたん
東大文一１点落ち？/PASSLABO癒しキャラ
→ note.mu/pfsbr123/n/n429b06b1d9b4
===========
#PASSLABO
#東大医学部発
#概要欄も見てね♪
朝６時半にほぼ毎日投稿！
一緒に動画で朝活しよう

[@user-yi3nn4pj4c]

すごく分かりやすい説明、ありがとうございます

[@_axly8487]

面白い！ 高校の時mod殆どやらなかったからこの年になって学びなおすと楽しいものがあるね

[@nishitoku]

9^n-1が，2と5のべき乗の積「2^a * 5^b」で構成されるｎを探せばよい． (3^n+1)(3^n-1)に因数分解できるから，2^k * 5^ℓと2^(a-k) * 5^(b-ℓ) とに分けて，方程式立てました． 次数の大小の場合分けが面倒ですが，出ました．

[@osakanatsuritai]

九大目指してるけど整数問題よくでるし、こういうの誘導で出てきそう…参考になりまふ🙇‍♂️🙇‍♂️

[@la-Michaelkawaii]

九大！頑張って！

[@osakanatsuritai]

@@la-Michaelkawaii ありがとうございます😭

[@harrysakata3082]

別解 与式は2^(2m) 5^m / ((1+3^n)(1-3^n))となり、分母が2と5以外の素因数を持つと与式は整数にならないので 3^n - 1 = 2^a 5^b　　(i) 3^n + 1 = 2^c 5^d　　(ii) とおける。(ii)から(i)を引くと 2^c 5^d - 2^a 5^b = 2　　(iii) (iii)で左辺二項の最大公約数は2の約数になるのでa、cの最小値は1以下で、b、dの最小値は0。 さらに(iii)でa = c = 0とすると5^d - 5^b = 2となり矛盾するし、a、cのどちらか一方のみ0とすると5のべき乗が2の倍数となり矛盾。なのでa、cのどちらも0ではない。なのでa、cの最小値は1。 従って次の4通りを考えればよい。 (a, b) = (1, 0)　　(iv) (a, d) = (1, 0)　　(v) (c, b) = (1, 0)　　(vi) (c, d) = (1, 0)　　(vii) (iv)では(i)よりn = 1となり、c = 2、d = 0とすれば(ii)も成り立つ。 (v)では(ii)をmod 3で考えるとcが偶数となり、c = 2kとすると(ii)は3^n = (2^k + 1)(2^k - 1)。3のべき乗で差が2となるものは3と1のみなので右辺は3 x 1となりn = 1で(iv)と同じケースとなる。 (vi)では(ii)をmod 4で考えるとnが偶数となり、n = 2mとすると(i)は(3^m + 1)(3^m - 1) = 2^a。2のべき乗で差が2となるのは4と2のみなので左辺は4 x 2となりm = 1となりn = 2。a = 3、d = 1とすると(i)と(ii)が成り立つ。 (vii)では(ii)よりn = 0となるが(i)が成り立たなくなり矛盾するのでこのケースはない。 以上よりnは1または2。2と5の因数の数をみるといずれの場合もmは2以上であるとき与式は割り切れる。

[@hamacchochannel]

指数を^使わなくても書けるようにしてほしいよなあ。KZbin

[@vjk375]

これ昨日動画のサムネだけみて今日学校で考えてやっと解けたわ

[@vjk375]

待ってこれ解けたのどれくらいすごいん？テンション上がってきた

[@vjk375]

1-9^nを(1-9)(〜〜)の因数分解は思いつかんかったから普通に1-9^nを9^-1にしてもこの場合は問題ないとして、mod5,4だけ使ってとけた

[@Yuz_Channel]

超良問ですねこれ

[@user-qt4jg5pj6b]

学コンで見たことある！！

[@mathseeker2718]

答えはわかったのですが、n≧3で1-9^nが必ず2と5と異なる素因数を持つということが示せず、でした。背理法や帰納法を試みましたが、具体的に示すのが有効でしたね。

[@user-sk7bj8vq8x]

2019年９月の大学への数学月刊誌の学力コンテスト⑤ですね。

[@tedberserker8901]

mod4で2ということは条件を含めると、k≠1(3≦n)では「2×(5以外の奇数)になる」(偶数かけたら4の倍数だから)となり、5以外の奇数を持つことから元の式が整数になり得ない。

[@user-bk6ze9kq2p]

12:10から？ 整数になるためには1+9^kの因数が2だけにならないといけない、という所までは理解できたけど、mod4の所、なんでa(1+9^k=2^aのやつ)が1になったりkが1になるのかがよく分からないです... そもそもkは偶数っていう前提があるんじゃないんですか？

[@53matu7]

これ何やってるか分かんなかったわ。整数の性質勉強せんとな〜

[@GRCReW_GRe4NBOYZ]

mod4は新発見

[@user-zz8cq9rm9f]

帰納法を使ったら、一応解けました

[@user-tq8qz5dc6s]

9:39 の1以外ありえないという所よく分からないのですが何故ですか？

[@user-dp4qr6vk1m]

1+9+·····9^(n-1)は項の数が奇数個あり、奇数を奇数回足したら全体として奇数。 下のmod5の式から5の倍数でないため(1+9+·····9^(n-1))はn≧3の奇数では5の倍数でも偶数でもないため不適。正直n≧3と言っている時点で()内が1であると言う必要無いと思いますが…

[@llllll7110]

1-9^nが２^a また5^bのどちらかをみたすときに20^mを割り切ることができる。nが奇数の時はMOD5で1-9^nが5の倍数でないことが確認できる。よって2^aでなければならない。このときに（1＋9＋9^2＋〜）は奇数であるのでn＝1のときしか成り立たない。 これでどうでしょう！？

[@user-cf9qx6hu8i]

(ⅰ)は動画と同様。 (ⅱ) kが偶数よりk=2sとすると9^n - 1=81^(2s) - 1 81 ≡ -1(mod41)より9^n - 1 ≡ (-1)^2s - 1 = 0 (mod41) よって 9^n - 1 が41で割り切れるから不適 41が出てきた理由 9^n - 1 がnが大きい時に 2,5 以外の素因数を持つことを示したいから9^n - 1 ≡ 0 (mod p) すなわち 9^n ≡ 1(mod p)となるような素数を考えたら良さそう →81 =82(2×41) - 1だからpを41としたらいい感じな気がする →でも -1 だとまだちょっと絞りきれない →あ、k が偶数だから-1でも問題ないか

[@user-wg7jy2bd3f]

1-9^nを見たら(1-3^n)(1+3^n)にしちゃいそう

[@user-uj5jd2nz7w]

それでもいけますよ

[@user-ng9hr9ju3v]

実験って解答用紙に残していいですか？

[@user-ix1te3uy1p]

残さない方が良いです。問題によっては、推測と捉えられることがあります。

[@user-ng9hr9ju3v]

@@user-ix1te3uy1p なるほど、ありがとうございます！

[@user-yv3fn1vi9e]

どうやったらこんな問題思いつくのだろうか。

[@dahlia_osaka_japan1128]

割り切れればいいんだから、m=⭕️じゃなくて、m>=⭕️になるんじゃね？

[@flandre495ks9]

13:25 これk=0では？

[@y.-_-.y]

nは自然数だから、kも自然数となるので k=1だと思います

[@kiichiokada9973]

@@y.-_-.y でも、左辺は10なのに右辺は2になってますよ？ やはり(イ)の場合は全てのkで不適であるとするべきでは？

[@y.-_-.y]

@@kiichiokada9973 確かにそうですね... kが自然数で、1＋9^k=2を満たすkは存在しないので(イ)の場合は全て不適ですね

[@kiichiokada9973]

@司ちゃん mod4の話はaの値を特定するために使われただけであって、あそこが≡で結ばれているわけではありません

[@rule173]

うおおおおお整数おもしれええええええ

[@user-hs9be1wf2k]

なんか知らんけど広告のやつでアンハサウェイ見たから動画見なくていいや

[@user-mq5wr3hz7w]

レベル75のアークメイジ持ってる人いますか？

[@sk-sg1en]

やっぱ余りって指数にかなり強えな

[@user-dx5hg5zp9d]

8のmod5は3やのに、 nが奇数のときのmod5が2になるのは、分からぬ

[@user-akebi-manager]

n=1の話を持ち込んでいるのだとしたら、-8のmod5は3ではないことは理解していますでしょうか？

[@user-bx8cm2iz2o]

mod4は出てこなかったぜ 悔し🥺

[@ro4396]

結局、mod4で考えようという発想は、どうして生まれたのですか？

[@ch.5714]

出来なかった(T_T)

[@user-sn5tq6ho1r]

おk

[@eldrich506]

うぽつ

[@user-be3mg6su1h]

最近整数問題に殺されたから、昼飯の時に見ようと思う

[@user-sl3dc6zy5b]

これ自力でできる気がしない

[@user-cu7cv8np4g]

コメント早い人動画見てな誘う

[@user-cu7cv8np4g]

誤字ったわ、 見てな誘う→見てなさそう

[@user-zt3zo8ff3d]

とか言って2コメなの草

[@user-cu7cv8np4g]

@@user-zt3zo8ff3d なお1コメの人が書いた内容見て言った模様（）

[@_axly8487]

@@user-cu7cv8np4g なんかごめんね

[@user-cu7cv8np4g]

@@_axly8487 いちおめです！

[@kunikata4648]

すばる様へ 研修医しながら、わざわざつべ用途の映像撮影しているのですか?　それとも、大学院へ進んだのですか?

[@user-hk6ss3mv3v]

秒で(0,0)は思いついたけどそこまでだったな… 大学行ってからやらなくなったからな…

[@user-ul4dx3kh6d]

正解率0はありえへんてぇ、1分13秒で解けたで。

[@_axly8487]

まぁ降水確率だって５％以下は四捨五入で０%になるから… にしてもこれ解けるのすげーな 私なんか途中で詰まって諦めてしまったわ 素直に尊敬します

[@user-ul4dx3kh6d]

@@_axly8487 おけおけおー なんか、ありがとう！！