算術導関数という関数があります.これに関して, Wikipedia で紹介されている等式の証明とは別の証明を思いついたので,紹介したく記事にしました。
算術導関数というのは,以下の計算規則をみたす関数$D$のことです.
$$ \begin{eqnarray} \left\{ \begin{array}{l} D(0)=D(1)=0 \\ D(n)=1 \ \ n \in \mathbb{P} \\ D(mn)=mD(n)+nD(m) \ \ m,n\in \mathbb{N}. \end{array} \right. \end{eqnarray} $$
Wikipediaは次の等式が成立すると言っています.
$$
\frac{D(n)}{n}=\sum_{p|n,p \in \mathbb{P}}\frac{v_p(n)}{p}
$$
$v_p(n)$は非負整数で,$n \equiv 0\pmod{p^{v_p(n)}}$かつ$n \not\equiv 0\pmod{p^{v_p(n)+1}}$をみたす.
特に,$\mathrm{gcd}(p,n)=1$なら,$v_p(n)=0$
これを定義から導出します.
$n \gt 1$のとき,$p_i \ (i=1,2,\cdots)$を素数の列($i$番目の素数を表すわけではない)とし,関数$N$を次のように定める.
$$
N(m)=\prod_{i=1}^m p_i
$$
素因数分解の一意性から,任意の$n(\gt 1)$に対し$m$と数列$\lbrace p_i \rbrace$が存在する.
定義から,
$$
\begin{align}
D(N(m+1))&=D(p_{m+1}N(m)) \\
&=p_{m+1}D(N(m))+N(m)D(p_{m+1}) \\
\therefore D(N(m+1))&=p_{m+1}D(N(m))+N(m)
\end{align}
$$
となる.これは漸化式とみなすことができる.$D(N(m))$の係数が$p_{m+1}$であることに注意すると,この漸化式の一般項は
$$
\begin{align}
D(N(m))&=\bigg( \prod_{i=2}^m p_i \bigg)D(N(1))+\sum_{i=1}^{m-1}N(i)\prod_{j=i+2}^m p_j \\
&=\bigg(\prod_{i=2}^m p_i \bigg)D(p_1)+\sum_{i=1}^{m-1} \prod_{j=1}^i p_j \prod_{j=i+2}^m p_j \\
&=\bigg(\prod_{i=2}^m p_i \bigg)+\sum_{i=1}^{m-1} \frac{N(m)}{p_{i+1}} \\
&=\frac{N(m)}{p_1}+\sum_{i=2}^m \frac{N(m)}{p_i} \\
\therefore D(N(m))&=N(m)\sum_{i=1}^m \frac{1}{p_i} \ \ \ \cdots (*)
\end{align}
$$
となる.これは$m=1$のときでも成立する.$p_i$は$N(m)$の素因数であり,$p_i$と等しい値を取るものは$p_i$も含めて$v_{p_i}(N(m))$個あるため,(*)式は次のように書き換えられる.
$$
D(N(m))=N(m)\sum_{p|N(m),p \in \mathbb{P}} \frac{v_p(N(m))}{p}
$$
$N(m)$を$n$で置き換えれば
$$
\frac{D(n)}{n}=\sum_{p|n,p \in \mathbb{P}} \frac{v_p(n)}{p} \ \ \ (n \gt 1)
$$
を得る.
$n=1$のとき,$(左辺)=0, (右辺)=0$より$n=1$のときでも成立する.
よって,任意の自然数$n$で
$$
\frac{D(n)}{n}=\sum_{p|n,p \in \mathbb{P}}\frac{v_p(n)}{p}
$$
が成立する.