整数論の問題
正の整数 に対し、 をオイラー関数、 を の正の約数の個数とする。
の値を求めよ。ただし和は の正の約数 すべてにわたる。
この問題で使うもの
- 乗法的関数と約数にわたる和(説明と入口の問題)
- オイラー関数の計算(説明と入口の問題)
- 約数の個数と総和(説明と入口の問題)
この問題を解けるようになるまで(28 技能)
読み込み中…
右端(太枠)がこの問題で使う技能です。左へドラッグすると、さらに前の前提をさかのぼれます。技能を押すと、そこまでの道筋が光ります。
ヒント
行き詰まったら、上から順に 1 つずつ開いてください。
ヒント 1
和はディリクレ積 です。
ヒント 2
と を組み合わせると、 がよく知られた関数になります。
ヒント 3
(約数の和)です。 を使って乗法性で計算しましょう。
答えと解説
答えを見る
どこでつまずきましたか?(選ぶと、戻る場所を案内します)
解説を読む
数論的関数 のディリクレ積を とし、, とおく。よく知られた関係
がある( は の正の約数の和)。ディリクレ積は結合的なので
よって 。 で は乗法的だから
別解
と はともに乗法的関数なので、そのディリクレ畳み込み も乗法的である。 より、素数べきごとに計算する。
素数 と に対し を求める(, , )。
・: : 、: 、: 、: 。合計 。
・: : 、: 、: 。合計 。
・: : 、: 。合計 。
よって 。
別の確かめ: ではなく、 なので である。 で一致する。