高校数学の質問スレ Part421

>>795
乗法的関数が証明できるので, φ(p^a) = p^a - p^{a-1} を確認すればok.
>>796
2. と同様の議論をする. n=Π_{i=1}^k p_i^{a_i} と素因数分解でき,
Σ[d|p_1^{a_1}] μ(d) = 0 となるので,
Σ[d|n] μ(d) = Π_{i=1}^k (Σ[d|p_i^{a_i}] μ(d)) = 0.