整数論の応用領域において、受験生の間で誤解が蔓延しやすい論点が3つ存在します。それらが「個数が奇数になる理由」「偶数の約数の数え方」、そして「公約数の個数の求め方」です。
1. 平方数の約数の個数が奇数になる理由
通常の自然数は、約数を小さい順に掛け算ペア（$a \times b = N$）として並べると、必ず2個ずつペア（偶数個）を形成します。たとえば$12$の場合、「$1 \times 12$」「$2 \times 6$」「$3 \times 4$」と3ペア（6個）です。
しかし、平方数の約数の個数を調べると、$36$は9個、$100$は9個と、必ず奇数個になります。約数の個数が奇数になる理由は、ちょうど中央に「$6 \times 6 = 36$」のように同じ数同士の掛け算ペアが1つだけ発生し、片方が重複として省かれるためです。また、素因数分解の観点で見ても、平方数はすべての指数が偶数（$p^{2k}$）になります。指数に1を足すと$(2k+1)$となり、すべて奇数に変化するため、奇数同士を掛け合わせた結果は必ず奇数になるという数学的必然性が存在します。
数学の学術百科データでも立証されている通り、「正の約数の和が奇数になる自然数は、平方数と平方数の2倍のみ」という有名な定理がありますが、これも素因数2以外の奇数素因数の個数が奇数個になる性質に深く起因しています。
2. 偶数の約数の個数の求め方・奇数の約数の個数
ネット上の質問板で頻出するミスが、「偶数の約数を求めるときに、全体の約数から適当に引いてしまう」という雑な計算です。これを約数の個数を瞬時に解く裏技として論理的に整理すると、以下の明確なルールに集約されます。
- 偶数の約数の個数の求め方：偶数であるための条件は「素因数2を最低1個以上使うこと」です。したがって、2の指数部分だけ「使わない（$2^0$）」を除外するため、指数に1を足さずに「指数の数値そのもの」を掛けます。たとえば$72 = 2^3 \times 3^2$なら、2の選び方は3通り（$2^1, 2^2, 2^3$）、3の選び方は3通り（$3^0, 3^1, 3^2$）となり、$3 \times 3 = \mathbf{9}$個（全体12個のうち偶数は9個）と即答できます。
- 奇数の約数の個数：奇数であるためには「素因数2を一切使ってはいけない」という条件になります。つまり、素因数分解から$2^n$を完全に無視し、残りの奇数素因数だけで公式を適用します。$72$なら$3^2$のみに注目し、$2 + 1 = \mathbf{3}$個（1, 3, 9）となります。全体の12個から偶数の9個を引いても3個と一致します。
3. 公約数の個数の求め方
2つ以上の整数の公約数の個数の求め方について、「それぞれの約数をすべて書き出して数え直す」のは非効率極まりない悪手です。正解は、「最大公約数（GCD）を求め、その最大公約数の約数の個数を計算する」ことです。公約数はすべて最大公約数の約数であるという整数の大原則を利用すれば、どれほど大きな数値であっても数秒で処理できます。
