素数の"裏技"を見せます【受験生必見】

素数を見たとき、この発想は大事です。
（素数の引き出しがアップデートされたはず！）
整数問題の全パターン解説はこちら
• 【整数問題】入試頻出解法を”４時間で”全パタ...
PASSLABOの数学特化チャンネル開講です！！
MathLABO〜東大発！「みんなで作る」数学ベスト良問集
ということで、TwitterやLINE、KZbinのコメントなどで
現在進行形で視聴者さんから頂いた良問やリクエストを中心に解説していきます。
数学関連のLIVEやPASSLABOではできないようなことも、リクエストも見ながらどんどん実験していきますので、ぜひみんなで一緒に楽しみましょう！
~~~~~~~~
■MathLABO〜東大発！「みんなでつくる」数学ベスト良問集〜
チャンネル登録はこちらから
→ / @mathlabo
■解説して欲しい良問を見つけた方はこちらまで
→ lin.ee/v9sRM5r
（勉強法や質問相談はLINE LIVEにて配信予定!!）
■解答解説のノート画像は公式Twitterから
→ / todai_igakubu
リクエストや企画はこちらから募集してます！
forms.gle/hYKG...
======
【君のコメントが、動画に反映されるかも！】
問題の解説希望やリクエストあれば、好きなだけ載せてください。
１つ１つチェックして、役立つものは動画にしていきますね^ ^
===========
■PASSLABOメンバー情報
「１」宇佐見すばる
→ / todai_igakubu
→ note.mu/pfsbr1...
「２」くまたん
東大文一１点落ち？/PASSLABO癒しキャラ
→ / passlabo3
→ note.mu/pfsbr1...
===========
#MathLABO（マスラボ）
#みんなでつくる数学良問集
#リクエストは概要欄から
朝６時に毎日投稿！
一緒に動画で朝活しよう

[@kazkaz1003]

折角これまで「平方数はmod3, mod4に弱い」と教えてきたのだから、その流れで「pはmod3でも4でも±1」→「p＝6k±1とおける」と導いた方が良いのでは思いました。

[@さたなあか-v5t]

仮に誘導なしでこの書き始めだと、◯にはしにくそう。 最初の式からpの範囲を絞らないと、一応pは2or3の可能性も残ってて、一概に動画の通りには、文字で置けないと思いました。

[@mathlabo]

最初に右辺が24以上(or48以上）なので、少なくともpは5以上であることがわかります（そのため最初にp≠2,3と範囲を絞ってから使ってみてください！）

[@johnta1010]

q≧2なので右辺≧48で、 p≧7かつ奇数を必要条件とおくと 6m±1を使わないでも、候補は5つにまで絞れます(p+1は8以上の偶数、p-1は6以上の偶数)

[@p-1math38]

2でも3でもない素数は6m±1とおけるのは便利ですね pが奇数となることを示してp=2n+1とおき、n(n+1)=2×3×qとしてnとn+1が互いに素であることを利用するのを最初に思いつきました

[@tuki9717]

p,qがそれぞれ偶数の時を考えて、それ以降はp+1とp− 1がともに偶数であることを利用する。 24qを素因数分解してそれぞれ当てはめて、p+1とp− 1との差が2になるような組み合わせを見つければ10分掛からず終わりました

[@opaiopai881]

普通のやり方ね

[@AT-er1gn]

【別解】 補題 q≧29のときは、24qは24より大きくqより小さい約数を持てない。 略証 あるqに対して反例が存在すると仮定して、それをrとおく（つまり、rは24

[@smbspoon-me-baby]

おー！ 29の意味の理解と、元の問題の設定(qは素数)を忘れていたことにより解読に時間がかかってしまいました。 29…24より大きい最小の素数、ですか。 確かにそりゃそうだ！ それでも唯一分からないことが。 553という数値の由来は何ですか？

[@teenmom630]

6を法として合同式にしても何にもならないので実際に文字で置いて代入する！っていう慣れも必要ですね！

[@ushi8779]

スバルさんの数学って見ていてとてもわくわくしてきます…！！なので数学辛くなったら楽しそうに解いてくれるスバルさんを見にくるとやる気がでてきます😊💪

[@nakaohajime4312]

裏技を強調する構成だったと思うのですが、p,qともに素数よりq≧2⇒p≧7を最初に述べておくべきかと。(コメントで補足はあったものの、そこまで読まない子もいるかと思うので)

[@bee9011]

裏ワザすごい 色んな引き出し増やしたい

[@cafe_rumba]

動画はまだ拝見しておりません。 p^2 - 1 = 24q 1)p = 2のとき、条件をみたすqは存在しない。 2)q = 2のとき、p^2 - 1 = 48よりp = 7, (p, q) = (7, 2)は条件をみたす。 3)以下、p, qともに奇素数の場合を考える。p ≧ 3, q ≧ 3 (p + 1)(p - 1) = 24q = 2^3・3・q p + 1, p - 1はともに偶数であるから、右辺の2^3の振り分けは「p + 1に2個, p - 1に1個」または「p + 1に1個, p - 1に2個」でなければならない。 3-1)2をp + 1に2個, p - 1に1個振り分けるとき 右辺の残りの素因数3qの振り分けは i)p + 1に3q, p - 1になし p + 1 = 12q, p - 1 = 2, p = 3, 条件をみたすqは存在しない。 ii)p + 1に3, p - 1にq p + 1 = 12, p - 1 = 2q, p = 11, q = 5, (p, q) = (11, 5)は条件をみたす。 iii)p + 1にq, p - 1に3 p + 1 = 4q, p - 1 = 6, p = 7, q = 2, (p, q) = (7, 2)は2)で議論済み。 iv)p + 1になし、p - 1に3q p + 1 < p - 1となるので不適。 3-2)2をp + 1に1個, p - 1に2個振り分けるとき 右辺の残りの素因数3qの振り分けは v)p + 1に3q, p - 1になし p + 1 = 6q, p - 1 = 4, p = 5, q = 1, qが非素数のため不適。 vi)p + 1に3, p - 1にq p + 1 < p - 1となるため不適。 vii)p + 1にq, p - 1に3 p + 1 = 2q, p - 1 = 12, p = 13, q = 7, (p, q) = (13, 7)は条件をみたす。 viii)p + 1になし、p - 1に3q p + 1 < p - 1となるため不適。 以上より、(p, q) = (7, 2), (11, 5), (13, 7) と出ました。

[@cafe_rumba]

動画を拝見いたしました。確かに、5以上の素数は6m ± 1（m:自然数）とおけるので、 2でも3でもないとわかった時点で使えますね。ひじょうに参考になりました。別の問題でも使ってみようと思います。

[@takapyoon706]

2,3を除くすべての素数は6m±1で表せるって、教科書に載せてもいいレベルに思うんだけど数学科に怒られるのかなあ

[@chinamensuki8170]

p - 1 と p + 1 の偶奇が一致して、p^2 - 1 = 24 q は偶数だから、p - 1 と p + 1 はともに偶数。 {(p - 1)/2}{( p + 1)/2}= 6q (p - 1)/2 と (p + 1)/2はともに自然数であり、偶奇が一致せず、(p - 1)/2 < (p + 1)/2 (1) q = 2 のとき p = 7 (2) q ≠ 2のとき、qは奇数であり、 ((p - 1)/2, (p + 1)/2) = (6, q), (2, 3q), (q, 6) 以下略

[@黑齣-n6f]

これちゃんと理解してないと細かい記述のところに減点ポイントめちゃありそう コメ欄でよく言われる範囲のことについてもそうやし、(m,q)の値出すところもqが素数だから2×qか1×2qのパターンしかないよねっていうのも記述でしっかり書けるか気になる

[@わん-i6g]

もしp=6m±1という発想が浮かばない場合自分はこうしました (1)24q≧48だから、そすうpがあるとすればp≧7 (2)7以上の素数pを、p=2m+1(mは3以上)とおく (3)代入場合分けすると、3つの候補があるのでそれらは全てpが素数であることを満たす

[@wtpotom]

本人コメントにもありますが 2,3を除外しないと使えないので最初にそれについて言及しなきゃですね あとこの問題に関してはq>=2からp>=7であることと (p-1)(p+1)=24q、qは素数であることからq

[@study_math]

「pは素数かつ2でも3でも割り切れないため」って記述すれば、ぎりぎりセーフかな？と思いました。ただし、論理の飛躍と言われるかは大学次第。 まぁでも、5以上の素数はp=6m±1とおける...とか、2,3は題意を満たさないためp=6m±1とおける...とかの方が紛れないですね。

[@mohikann123]

ここに同じ人いた

[@じゃりじゃり-t2b]

6m±1を知るのはいいかもだけど、これを使うと劇的に解きやすいわけでもないからうーんという感じ 6m±1と置いて解きやすい問題を知らないのでそういう問題を教えて欲しいです。その方がとても嬉しい。

[@べろべろぐだぐだ]

強引にやってみた。 p=2のとき左辺＝2^2-1=37の場合、差が1になる組み合わせは存在しない。 以上より (p,q)=(7,2),(11,5),(13,7)

[@konamonwalotemauer1172]

(p-1)(p+1)=24qについて、左辺が差が2の数の積になっていて、 qが素数であることを考慮するとq≦22となるしかない。 そのうち、5で割った余りを考慮した場合を考えると、 qを5で割ったあまりは0か2にしかなり得ない。 だから、q=2,5,7,17の4通りを試せば終わりです。 q≦22など、上から抑え込めれば、あとは適当に絞ればよいですね。

[@nh2750]

q≦22はなぜですか？

[@だいふく-w3g]

@@nh2750 24×22 or 24×26のどちらかがp,qが最大のパターンで後者はp=25になるから不適ってことじゃないですかね

[@konamonwalotemauer1172]

@@nh2750 少し話を簡単にするためにq≦26となることを説明します。 話の本質はだいふくさんの書いてくださっている内容です。 q>26とします。 24q=n×(mq)と、任意に2つの自然数の積に分解したとして、 n≦24

[@nh2750]

とてもわかりやすかったです。ありがとうございました

[@nh2750]

qが素数より一気にq≦22を絞り込んでしまうのですね、すばらしい発想です。

[@pona201]

ちょっと言い方が数学が苦手な人にとっては勘違いされそうかも 当たり前ですがp＝6k±1は素数となるための必要条件でしかないので答案には素数となるための必要条件はという言葉が必要ですよ！

[@hgdyhctiodedgi]

必要条件という事は、素数⇨p=6k±1ということから、逆の命題も確認して必要十分性を確認するという事ですか？

[@REN_Channel]

はいどうも！みんなで浸かるバスタブに花王のバブです！って挨拶どういう意味ですか？

[@ラマヌジャン-i4s]

はいどうも！みんなでつくるパスラボの宇佐美すばるです だと思います

[@REN_Channel]

@@ラマヌジャン-i4s 耳、いいですね。。。うらやましいです。。。

[@homefamily5400]

表技なら p奇数から　p=2m+1 m^2+m=6q m(m+1)=6qだけど、3*2*qの組み合わせになるけど　qが素数で２以上であることを考えると　振り分けそんなに難しくないよ。

[@ぽち-s6q]

最後にp=2 ,3のとき確認する？？

[@zxctube72537]

整数で、2でも3でも割り切れない数は、5以上の数になるので、2と3を組み合わせた数の±1が素数になるんですよね。 もっと言えば、素数は6の倍数の±1に出てくる可能性があって、後半に出てくる素数との組み合わせで出てきたりててこなくなったりするんで、予測が難しいんですよね。

[@ゴンフリークス-c1l]

解いた後に解のペアを観察して、qがpよりも大きくなってはならない理由、pとqがあまり離れてはいけない理由を考えると新しい解法が見つかると思います。

[@まるまる-p5c2v]

最初が思いつかんので別解みたいなあるんですかね…

[@いまゆう-i6b]

代入すればp≠2、3、5であることが分かる。よってp±1は必ず偶数になる(∵p≠2より)。あと、p+1>p-1かつqは素数である事を用いて範囲を絞れば後は結構楽に(p+1,p-1)を全通り出せると思います。そこから(p,q)を求めれば解が求まります。間違っていたらすみません。

[@yukinofsislove]

検算のプロセスは正解してて安心しました。 p^2=24q+1で(13,7)(11,5)(7,2)が思い浮かび, 他に無いかの確認兼ねた解答記述の折に 6m±1とおく手法を使ったので……

[@ファミパンaka剛腕]

今回例えば4m±1とかではなく6m±1を使う必要性は、右辺が24以上だからp≧5になる所から来てるのかな

[@physics_st_nichijyo]

{左辺}=(p+1)(p-1)で素数pの連続する前後の数の積だから、{右辺}を(n+1)(n-1)　(nは整数) の形になるパターン考えて適・不適を吟味するかな～。 24は小さい数字だし、q素数だから素因数分解できないし範囲絞られるからごり押しちゃう笑 6m±1は発想いるね。

[@YouTubeAIYAIYAI]

備忘録70V" p, q ∈素数 【 ( p＋1 )( p－1 )＝ 2³・3・q ･･･① 】 p ≠ 2, 3 ( ∵ ①に 代入不成立 ) だから、☆ p＝ 6m ± 1 ( m ∈自然数 ) と 表すことができる。 〖 これは 必要条件であることに注意する 〗 ( ⅰ ) p＝ 6m＋1 のとき、① ⇔ m・( 3m＋1 )＝ 2・q m < 3m＋1 に注意して、 ( m, 3m＋1 )＝ ( 1, 2q ), ( 2, q ) これより、( p, q )＝ ( 7, 2 ), ( 13, 7 ) ( p, q ∈素数 を満たす )■ ( ⅱ ) p＝ 6m－1 のとき、① ⇔ m・( 3m－1 )＝ 2・q m < 3m－1 に注意して、 ( m, 3m－1 )＝ ( 1, 2q ), ( 2, q ) これより、( p, q )＝ ( 11, 5 ) ( p, q ∈素数 を満たす )■

[@YouTubeAIYAIYAI]

【 初めに実験すると、】 p＝ 7, 11, 13 と推定できる。ここから先は、g＝ ( 合成数 )となり、 不適になると思われる。 後は、効率良く示したいと考える。 【 別解~通常のやり方 】p ≠ 2 ( ∵ ①に代入不成立 ) だから、p ∈奇素数 p＋1と p－1 は 共に偶数 かつ p＋1 > p－1 に注意して、 2³・3・q の 因数を二組に振り分ける。

[@maymay-studio]

p＝6m±1とおけるのはp≧5のときであるため、p＝2の場合とp＝3の場合は個別に判定しなければならないと感じたのですが、やらなくていいのでしょうか？

[@ゴンフリークス-c1l]

pとqの差をaとでもして、q=p+aをp^2-1=24qに代入し、解の公式を使ってp=の形になおした式を眺めると、pが正の素数になるためのaの条件がわかり、作問の仕組みがわかると思います。この問題と同じ方法で解ける-1,24以外の係数をいくらでもつくれるようになればなお良いです。

[@hgdyhctiodedgi]

それ正しい答えが出ますか？ a=2,4,6となるのですが、計算したらp=7の場合は出てきませんでした。

[@hgdyhctiodedgi]

2の場合はaが奇数となることを除外していました。答えが出ないわけですね。

[@ダックドナルド-x3q]

Pが素数のとき2or3のときは確認しなくていいのですか

[@Good.efforter]

僕も思いました

[@Good.efforter]

追記されてました

[@the7jump]

左辺≧48からp≧7がわかるので、pが5以上の素数ってことがわかりますね。

[@kakerunq731]

p≧7と絞った上で p=2k+1(k≧3) とすれば十分解けるのに、わざわざ6k±1持ち出すのはどうなんだろう。

[@陰テグラル]

pを奇数とおいたらすんなりできました

[@井上成美-m8s]

ありがとうございます。裏なんかじゃない、表通りを堂々と歩ける解法ですね。最後求められた解が素数かどうかの確認だけはひつようです。

[@鈴木剃り夫]

鈴木貫太郎さんの動画にもありました！

[@ゴンフリークス-c1l]

余りで分類して全探索って数論の土台といっていいほど基本なのでは？？？？？？？？？？

[@マリカ好き-e2z]

貫太郎さんの動画のコメント欄でも6n±1でいいことあるって言ってました

[@JohnnieFK]

わお、メカウロ！

[@user-bk9kq8qd4n]

ごめんなさいなんか首もとがめっちゃ気になっちゃいました😅とても有意義な動画ありがとうございます！

[@岸均-x2s]

素数は2と3で割り切れないというのは正しくないので、2と3は別にチェックしなければならない

[@04earlay36]

今回の裏技を聞いて、最初の(1)は「5以上の素数は6m±1の形で表せる事を示せ」なのかな、と想像しました。

[@ジャガー-g2i]

その問題は千葉大の問題にありますね

[@nh2750]

6と互いに素な自然数nについて n²を24で割ったあまりが1であることを示す問題でしたね。

[@nh2750]

結局n=6m±1とおけて あとは流れに身を任せるだけです

[@ぽぽ-g5o]

スバルさんが答え間違えかけたところでゾッとした

[@tom36260]

pが6未満のケースは、24q ≧ 48 だから p≧7 と書いて潰しておけば大丈夫か

[@nh2750]

p=6m±1で表せるのはp≧5のときですよ

[@ぴゅ-j8i]

@ホ ゴッ ちゃんとPが2.3ではないことを言わないと間違いですよ

[@ぴゅ-j8i]

@ホ ゴッ コメ主もPが23を除くことを示していないのに全ての素数が6m±1とはそもそも置けないことを言ってると思いました。間違ってたら申し訳ないのでコメント消しますごめんなさい。

[@pona201]

明らかに pは素数なので2、3でも割り切れない というところに間違いがあるでしょ

[@nh2750]

書き方が悪くて申し訳ない p=2,3についての議論をした方がいいのでは という意味をふくんでいます

[@TheOkaryo]

愚直ーに解きましたw Pが5以上になる(もっと言うと7以上)こと、P=7条件満たして唯一の偶数の素数を弾いてくれるのであとは偶数奇数の組み合わせを考えればいけましたw

[@こうちょん-v6p]

私は左辺を因数分解したあと、左辺のカッコの中身がいずれも偶数である(∵p≧7)から、右辺の2をカッコに振り分けて見ました。解法がいろいろありそうですね。

[@試合アカウント]

かんたろーの得意技

[@watatann2765]

別解です、p>=5としたあとにp=2m+1とおいて変形するとm(m+1)=6qになるので、連続する自然数である事を使って示せました

[@cacio9466]

こんなの思いつく人いるん？

[@kiichiokada9973]

そういえば貫太郎の動画で同じような問題あったな。冒頭のトークが印象に残ってるわ。

[@slslbgoet.]

今年の京大文系数学第5問で6m±1使ったけどmod3で全然いけたらしくてちょっと無駄した気分になった

[@カイルエラー]

素数ならば6m±1 は真だけど 6m±1ならば素数　は偽ってことだよね? 反例　m=9

[@くくりです-o8v]

(5以上の)素数ならば

[@user-cc-cc]

6k±1参考になる 2,3は別に検証ね

[@モンキー.D.ルフィ-x1p]

(ⅰ)ができた時点で見直そ

[@sen8752]

これ学校で同じのでた！

[@受験生-j7d]

これ小学生の時に使ってたなぁ

[@コニースプリンガー偽者]

化け物やん

[@cafe_rumba]

再度ここに来てみましたら、再生回数が8888回でした。末広がりが4つ！

[@夢で終わったあっくん]

他の裏技は、ｐ＾２　の等差数列：つまり　２４ｑ＋１に着目

[@だいだい-f9x3w]

MODをわかりやすく解説してほしい

[@こりん-k4z]

modは時計の針で考えるといいぞ。普段使う時計はmod12

[@だいだい-f9x3w]

@@ekcscm 見たけどもう少し練習問題ほしい

[@だいだい-f9x3w]

@@こりん-k4z ？

[@user-db1xi2ez4g]

まず根本から分からなくて、例えば25だったら6×4＋1で表されるのに、素数じゃ無いんですけど、なぜでしょうか？

[@cafe_rumba]

6m±1と表わせるならば素数、という命題は偽だからです。ご提示の6 * 4 + 1 = 25が反例の一つです。もしこの命題が成り立つなら、素数がジャンジャカジャンジャカ作れますよね。 5以上の素数ならば6m±1と表わせるという命題は真です。

[@user-db1xi2ez4g]

@@cafe_rumba 確かに、仰る通りですね。しかし何故6という数字をいきなり使うのでしょうか？

[@cafe_rumba]

@@user-db1xi2ez4g すべての自然数は6の剰余系において 6n, 6n + 1, 6n + 2, 6n + 3, 6n + 4, 6n + 5 と表わせるわけで、 6nは6の倍数だから素数ではない 6n + 1は素数の可能性がある（絶対素数であるとは言っていない） 6n + 2は2の倍数だから素数ではない 6n + 3は3の倍数だから素数ではない 6n + 4は2の倍数だから素数ではない 6n + 5は素数の可能性がある（絶対素数であるとは言っていない） ということから、5以上のある数が素数であるならばそれは6n + 1か6n + 5、つまり6n±1の形をしていることになるのです。

[@cafe_rumba]

@@user-db1xi2ez4g 8とか12とかでもいいのかもしれませんが、8だったら8n + 1, 8n + 3, 8n + 5, 8n + 7の4種類も素数の候補が残りますし、 12でも12n + 1, 12n + 5, 12n + 7, 12n + 11の4種類が素数の候補となります。これらよりは、 なるべく小さい数で、かつ素数の候補が残りにくい数ということで6を使っているんだと思います。

[@江戸川こなん-g2y]

2,3を除く素数は6n±1に含まれるって割と自明 だけど、経験してないとこの置き換えは出てこない かも? 型を覚えるのはやっぱ大切

[@user-zq9ru1zm8o]

素数なので2でも3でも割り切れないっておかしくね

[@わん-i6g]

p≧5の素数の場合に限りますね 6m±1遠く場合にはp=2,3の場合が満たさないことを一旦確認するべきかもしれはいですね (追記すみません汗) 24qというのはqが素数なので少なくとも48以上の数であることを省略してるんだと思います。そのためpの値が7以上であるということが必要なんですよー

[@user-zq9ru1zm8o]

@@わん-i6g どちらにせよ一言書いた方が良さそうですね！ありがとうございます！

[@salt2534]

これちょうど学校でやった！！！笑笑

[@salt2534]

学校の先生が動画と同じ解法を用意してたんですけど、この解法だともっと早く解けていいねって言われて内心めっちゃ嬉しかった笑笑

[@tuki9717]

p,qがそれぞれ偶数の時を考えて、それ以降はp+1とp− 1がともに偶数であることを利用する。 24qを素因数分解してそれぞれ当てはめて、p+1とp− 1との差が2になるような組み合わせを見つければ10分掛からず終わりました

[@ターザン-b5f]

まぁ基本問題ですからね〜。本番でそういう虱潰し的な解き方するのは非常に大事ですが、次(特に応用問題)に繋がりにくい解法かなと思いました。お節介だったらすみません😇