1 約数の基本
1.1 約数の定義
整数 \(a\) の約数（divisor）とは、ある整数 \(k\) が存在して \(a=kb\) となるような整数 \(b\) のことをいう。言い換えると、\(b\) で割ったときに余りが出ない整数が約数である。約数は「割り切れる」という性質を数として固定した概念で、数論の土台として用いられる。
1.2 正の約数と負の約数
整数には正負の区別があるため、ある正の約数 \(d\) に対して \(-d\) も同じ割り切りをもたらす。したがって「約数」を正負込みで数えるか、通常の扱いとして正のものに限定するかで表現が変わる。約数の個数や和を議論する際は、対象を正の約数に限るのが多く、文脈で明確化が必要になる。
1.3 約数と倍数の関係
約数と倍数は同じ関係を向き違いに見たものである。ある数 \(b\) が \(a\) の約数であるとは、\(a\) が \(b\) の倍数であることと同値である。この対応は、整除の言葉（「\(b\) が \(a\) を割り切る」）を通して扱いやすく、後続の最大公約数・最小公倍数の議論にも自然に接続する。
2 約数の性質
2.1 割り切れる条件
整数 \(b\) が \(a\) を割り切ることは、商が整数になることとして判定できる。実装上は剰余計算 \(a\bmod b=0\) の形で確認されることが多い。理論面では、割り算の整合性が「積の性質」「可換性」に支えられており、複数の整数が絡む状況でも整理しやすい。
2.2 約数の対の性質
ある正の整数 \(n\) の約数 \(d\) に対し、\(\frac{n}{d}\) も約数になる。このとき \(d\) と \(\frac{n}{d}\) は積が \(n\) に等しい「対」を作る。特に平方根を境に、対の一方は平方根以下、もう一方はそれ以上になるため、列挙では平方根付近まで確認すればよい場合が多い。
2.3 整除関係の推移性
整除（割り切り）関係は推移的である。すなわち \(a\mid b\) かつ \(b\mid c\) なら \(a\mid c\) が成り立つ。この性質は、約数の連鎖や共通因子の抽出に直接関わり、最大公約数や合同の考え方の土台になる。
2.4 代表元としての素因数との結びつき
任意の整数は素数の積として表せる（素因数分解）。この表現により約数全体は素因数の指数の取り方に対応する。つまり、約数の構造は素因数分解の「指数ベクトル」の選択問題に還元でき、個数・総和・他の派生量を計算する際の共通言語となる。
3 素因数分解と約数の数
3.1 素因数分解の一意性
正の整数 \(n>1\) は素数 \(p_i\) と指数 \(e_i\) を用いて \[ n=\prod_i p_i^{e_i} \] の形に一意に分解できる（因子の順序を除けば）。この一意性により、約数の個数や分類は素因数分解に基づく計算として確定し、同じ \(n\) から別の計算結果が生じることはない。
3.2 約数の個数を求める公式
上の分解で、指数 \(e_i\) に対して約数は各素数 \(p_i\) の指数を \(0\) から \(e_i\) の範囲で独立に選ぶことで得られる。したがって正の約数の個数は \[ \tau(n)=\prod_i (e_i+1) \] となる。ここで \(\tau(n)\) は約数関数（divisor function）と呼ばれることが多い。
3.3 具体例による手計算
例として \(n=60\) を考える。素因数分解は \(60=2^2\cdot 3^1\cdot 5^1\) である。指数の取り得る値はそれぞれ \(2\) が \(0\)〜\(2\)、\(3\) が \(0\)〜\(1\)、\(5\) が \(0\)〜\(1\) なので、約数の個数は \((2+1)(1+1)(1+1)=12\) になる。実際に約数を列挙すると、積が 60 になる 12 個の対が確認できる。
3.4 重複度（指数）が意味すること
素因数分解における指数 \(e_i\) は、その素数が分解の中でどれだけ強く寄与しているかを示す。指数が大きいほど、その素数を含む約数の取り方（指数選択の幅）が増え、約数の個数が増える。さらに指数の形は、約数の個数だけでなく平方数性や分類にも関わるため、計算結果の解釈にも重要である。
4 重要な派生概念
4.1 最大公約数と約数
最大公約数（gcd）は、共通の約数の中で最大のものを指す。形式的には \(d=\gcd(a,b)\) は、\(d\mid a\) かつ \(d\mid b\) を満たし、同時に任意の共通約数は \(d\) を割り切る。素因数分解では、各素数について両者に共通する最小指数が gcd の指数に対応する。
4.2 最小公倍数と約数
最小公倍数（lcm）は、共通の倍数の中で最小のものをいう。\(m=\mathrm{lcm}(a,b)\) は \(a\mid m\) かつ \(b\mid m\) を満たし、任意の共通倍数は \(m\) に対して割り切り関係をもつ。素因数分解では、各素数について現れる指数の最大値が lcm の指数になる。
4.3 互いに素と約数の構造
2数が互いに素であるとは、その最大公約数が 1 であることを意味する。このとき両者の素因数分解に含まれる素数は重ならない（少なくとも指数の同時正がない）。結果として、共通に現れる約数は 1 だけに限られるため、分解の独立性が強まり、積や lcm・gcd の関係を単純化できる。
4.4 約数の総和に関する考え方
約数の総和は、正の約数 \(d\) について \(\sum_{d\mid n} d\) の形で定義される。これも素因数分解により計算でき、各素数成分ごとの幾何級数の和の積として表されることが多い。総和は約数の「規模感」を反映し、完全数や過剰数・不足数などの判定にも用いられる。
5 約数の計算と実装の基礎
5.1 約数列挙の基本手順
約数を列挙するには、ある数 \(n\) に対して候補 \(d\) を順に調べ、\(n\bmod d=0\) を満たすものを集める。見つかった約数 \(d\) から対の約数 \(\frac{n}{d}\) も同時に得られるため、単純な全探索よりも効率が改善される。重複を避けるため、平方根での一致（\(d=\frac{n}{d}\)）には注意が必要になる。
5.2 平方根までで十分な理由
\(d\) が平方根以下である場合、対応する対 \(\frac{n}{d}\) は平方根以上になる。逆に平方根より大きい候補は、その対が平方根以下に存在するため、列挙を進める段階で必ずどちらかが拾われる。よって調査範囲を \(\lfloor\sqrt{n}\rfloor\) までに限定しても、正の約数全体を復元できる。
5.3 計算量と効率化の工夫
単純な列挙は候補数に比例して時間がかかり、\(n\) が大きいほど効率が問題になる。改善策として、(1) 小さい素数や既知の約数を用いた分岐、(2) 2 進・3 進などの余りパターンによる候補削減、(3) 素因数分解を先に行い \(\prod (e_i+1)\) などで個数を直接計算する、がある。どの方法を選ぶかは目的（約数の列挙か個数だけが必要か）に依存する。
6 特別な数と約数の特徴
6.1 素数の約数
素数 \(p\) の約数は 1 と \(p\) のみである。これは素因数分解が \(p\) そのものに等しく、指数が 1 で止まるため、約数の組合せが少数に制限されることに対応する。結果として、約数関数の値 \(\tau(p)=2\) が成り立つ。
6.2 合成数の約数パターン
合成数は少なくとも 1 と自分以外の約数を持ち、素因数分解において指数が 2 以上、あるいは素数が複数種類現れる。約数の個数は \(\tau(n)=\prod (e_i+1)\) に従って増減し、特定の指数構造（例：\(p^k\) 型や \(p^a q^b\) 型）に応じて規則的な形をとる。約数パターンは「構造の簡略な署名」と見なせる。
6.3 完全数・過剰数・不足数
正の整数 \(n\) に対し、真の約数（1 を含むが \(n\) 自身は除く）の総和を \(s(n)\) とし、比較により分類する。\(s(n)=n\) なら完全数、\(s(n)>n\) なら過剰数、\(s(n)<n\) なら不足数である。この判定は約数の総和に直結し、素因数分解から総和が計算できるため理論的分析が可能になる。
6.4 合同性がもたらす約数の制約（概観）
合同性（例えば合同式）に基づく条件は、約数候補の残差クラスに制約を与えることがある。たとえば \(n\) が特定の合同条件を満たすと、ある形の約数が排除される場合がある。厳密な議論は個別の合同条件に依存するが、約数探索を部分的に削る「絞り込み」として利用される。
7 約数を用いた数の分類
7.1 因数分解による分類の考え方
因数分解によって、数は素因数の種類と指数の組合せ（分解型）で整理できる。たとえば同じ素数冪の形か、複数素数の積かで約数の性質が変わる。この考え方では、分類対象を「計算結果」ではなく「分解の形」に置くため、同じ構造を持つ数の性質をまとめて説明できる。
7.2 約数の個数・総和による分類
約数の個数 \(\tau(n)\) や総和 \(\sum_{d\mid n} d\) は、数の特徴を数値指標として表す。完全数・過剰数・不足数は総和比較で分類する典型例であり、指数構造との関係が強い。個数に関する分類（例えば \(\tau(n)\) が小さい数）も、分解型に直結して議論できる。
7.3 分類と数列の関係（概要）
約数に関わる量を順に並べると、特定の数列として観察できる。たとえば \(\tau(n)\) の値列や、完全数のような特別な数の集合などがそれに当たる。こうした数列の研究では、定義の簡潔さに対して性質の奥行きが大きく、約数がもたらす情報量の多さが現れる。
8 関連する話題
8.1 エラトステネスの篩との接点
エラトステネスの篩は素数生成の方法であり、候補をふるい落としていく過程は「約数の存在」を効率よく反映する。具体的には、合成数はある素数で割り切れるため、ふるいにより早期に除外される。約数という観点では、素数の発見と合成数の除去が整合的に説明できる。
8.2 性質の一般化（概念レベル）
約数の考え方は整数だけに限られず、より一般の数体系でも類似概念が登場する。たとえば「割り切れ」を持つ構造では、共通因子や分解の思想が対応づけられることがある。概念的には、約数を通じて「因子の選び方」や「多重性」の意味が抽象化される点が共通する。
8.3 問題演習の定番パターン
約数の問題では、(1) 約数の個数を素因数分解から求める、(2) 約数の列挙を平方根までに絞る、(3) gcd・lcm の関係を使って未知数を特定する、(4) 完全数・過剰数・不足数の判定、などが頻出である。これらは解法の骨格が比較的定型化しているため、練習によって手際が向上しやすい。
8.4 ネットミーム的な「約数あるある」（例：当たり前の見落とし）
約数の学習でよくある見落としとして、「負の約数も数えちゃう」問題や、「平方根まで調べれば十分」を忘れて無駄に広い範囲を探すことがある。また「約数の対」を意識せずに重複を数えてしまうケースも起きやすい。計算の正確さと条件設定（正のものだけか、真の約数か）を先に確認する癖をつけると、初歩的な事故を減らせる。