正の整数 に対し、 の正の約数の個数を とする。
の値を求めよ。
約数和と床関数の和の入れかえ
と和の順序を入れかえ、 などを使って や のような和を求められる
前提
- 乗法的関数と約数にわたる和 (大学数学 整数論)
- 等差・等比数列の和と Σ (数学B 数列)
この技能までの道筋(30 技能)
読み込み中…
右端(太枠)がこの技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
一覧で見る(前提が先)
- 分数のたし算・ひき算 (算数 計算と数のきまり)
- 小数の四則計算 (算数 計算と数のきまり)
- 正負の数の加法・減法 (中学数学 数と式)
- 分数のかけ算・わり算 (算数 計算と数のきまり)
- 四則の混じった計算の順序 (算数 計算と数のきまり)
- 正負の数の乗除・累乗と四則混合 (中学数学 数と式)
- 分配法則を使った計算のくふう (算数 計算と数のきまり)
- 文字式の計算(同類項・分配法則) (中学数学 数と式)
- 乗法公式による展開 (中学数学 数と式)
- 因数分解 (中学数学 数と式)
- 約数の見つけ方 (算数 整数の性質)
- 文字式で表した整数の性質 (中学数学 数と式)
- 余りによる整数の分類 (数学A 整数の性質)
- 樹形図で数え上げる (算数 場合の数)
- 積の法則と和の法則 (算数 場合の数)
- 和の法則・積の法則と樹形図 (数学A 場合の数と確率)
- 合同式 (数学A 整数の性質)
- 最大公約数と最小公倍数 (算数 整数の性質)
- 素因数分解と約数の個数 (算数 整数の性質)
- 最大公約数と最小公倍数 (数学A 整数の性質)
- 互いに素な法への分解 (数学A 整数の性質)
- 順列・円順列・重複順列 (数学A 場合の数と確率)
- 組合せ (数学A 場合の数と確率)
- 確率の定義と和事象・余事象 (数学A 場合の数と確率)
- 包除原理 (数学A 場合の数と確率)
- オイラー関数の計算 (大学数学 整数論)
- 約数の個数と総和 (数学A 整数の性質)
- 乗法的関数と約数にわたる和 (大学数学 整数論)
- 等間隔にならんだ数の和 (算数 計算と数のきまり)
- 等差・等比数列の和と Σ (数学B 数列)
説明
は「 から までにある の倍数の個数」です。このことを使うと、 のような床関数を含む和を、約数にわたる和 に書きかえられます。内側の約数和が のように簡単な式になれば、和全体がすぐに求まります。逆向きに使えば、( は の正の約数の個数)のような約数関数の和を床関数の和に直して計算できます。
なぜそうしてよいのか
以上 以下の の倍数は で、 を満たす が です。したがって と書けます。左辺の和は、「 かつ 」を満たす正の整数の組 すべてにわたって を足したものになります。
同じ組の集まりを、今度は ごとにまとめて数えます。 を固定すると、 は の正の約数全体を動きます(約数は 以下なので は自動的に満たされます)。足す順番を変えても総和は変わらないので が成り立ちます。表で考えると、縦に 、横に を並べ、 のマスに を書いた表を、行ごとに足すか列ごとに足すかの違いにすぎません。
この等式の右辺の内側は、前提の技能で扱った約数にわたる和です。 なら 、 なら 、 なら約数の総和 になります。
手順
和の中の を「 以上 以下の の倍数 の個数」と読みかえ、 と組 の和に書く。
和の順序を入れかえ、 を外側にして とする。 の範囲は から まで。
内側の約数和を既知の式で求める。例: 、、。
外側の についての和を、 などの公式で計算する(逆向きに使う場合は、 のように床関数の和に直して計算する)。
例題
をオイラー関数とするとき、 の値を求めよ。
例題の解答
手順1: は 以上 以下の の倍数 の個数である。したがって与式は、 かつ を満たす組 すべてにわたって を足した和になる。
手順2: ごとにまとめ直すと、与式 となる。
手順3: 前提の技能より なので、与式 である。
手順4: 。
(確認: で同じ計算をすると、左辺は 、右辺は となり一致する。)
答え:
よくある誤り
を に置きかえて を計算してしまう誤り。床関数を外すと値が変わる。正しくは「 の倍数の個数」と読んで に直す。
入れかえたあと、内側で約数 ではなく の方に を付けて としてしまう誤り。例えば は ではない。正しくは 。
逆向きに使うとき、 を と書いてしまう誤り。 なので にあたる。正しくは (例: なら )。
入れかえた外側の和の範囲を などとしてしまう誤り。 は 以上 以下の整数すべてを動く。正しくは で、内側の が の正の約数すべて( と を含む)を動く。
この説明は AI が書き、別の AI が例題を独立に解いて答えを確かめ、説明を一歩ずつ査読しました。
入口の問題
正の整数 に対し、 を の正の約数の個数とする。和の順序を入れかえることにより、
の値を求めよ。正の整数 に対し、 を の正の約数の個数とする。また、実数 に対し、 を 以下の最大の整数とする。
の値を、和の順序を入れかえて を含む和に書き直すことで求めよ。
この技能を使う問題
正の整数 に対し、デデキントのプサイ関数を
で定める(積は を割り切る素数 全体にわたり、 とする)。、 を用いてよい。極限
の値を求めよ。ただし は正の実数で、和は 以下の正の整数 全体にわたる。正の整数 に対し、 を の正の約数の総和とする。実数 に対して
とおく。極限
は存在する。その値を求めよ。ただし を用いてよい。正の整数 を素因数分解して と書いたとき、(重複を込めた素因数の個数。)とし、リウヴィル関数を で定める。実数 に対し は 以下の最大の整数を表す。
を満たす任意の整数 に対して
が成り立つことを証明せよ。ただし、素因数分解の一意性は用いてよい。正の整数 に対し、 をメビウス関数とする。
の値を求めよ。正の整数 に対して、 をメビウス関数、 を の正の約数の総和、 をオイラー関数とする。正の実数 に対して
と定める(和は 以下の正の整数 全体にわたる)。極限
は存在する。その値を求めよ。必要ならば 、 を用いてよい。正の整数 に対し をオイラー関数とし、実数 に対し を 以下の最大の整数とする。
の値を求めよ。正の整数 に対して、 を の正の約数の総和とする。正の実数 に対して
とおく。極限
の値を求めよ。ただし は用いてよい。正の整数 に対して、 を の相異なる素因数の個数とする()。実数 に対して
とおく。極限
の値を求めよ。ただし 、および 以下の正の整数のうち平方因子をもたないもの( を含む)の個数 が を満たすことは用いてよい。をメビウス関数(、 が相異なる 個の素数の積なら 、 がある素数の 2 乗で割り切れるなら )、 をオイラー関数( かつ を満たす整数 の個数)とする。 は自然対数とする。
任意の実数 に対して
が成り立つことを証明せよ。ただし と、絶対収束する級数の積の展開・並べ替えは用いてよい。正の整数 に対し、 をメビウス関数、 を の正の約数の総和、 をオイラーの関数とする。実数 に対して
と定める。極限
は存在する。その値を求めよ。ただし 、 は用いてよい。
この技能の次に学べること
- 数論的関数の平均(畳み込みによる方法) (大学院数学 解析的整数論)