高校数学の質問スレ Part421

高校数学の質問スレ Part421 at MATH

819:１３２人目の素数さん
22/09/25 20:21:17.02 J175HYtP.net
>>793
包除原理を適用するだけでは？
>>794
φはEuler関数かな？
φは乗法的関数なので a = p_1^{a_1} * ... * p_k^{a_k} と素因数分解すると,
Σ[d|n] φ(n/d) = Π_{i=1}^{k} (Σ[d|p_i^{a_i}] φ(p_i^{a_i} / d))
が得られる.
Σ[d|p_i^{a_i}] φ(p_i^{a_i} / d) は帰納法的に p_i^{a_i} に等しいことが示せる.
よって, Σ[d|n] φ(n/d) = n である.

次ページ

続きを表示

1を表示