互いに素な数を数える (4)
今回は、n が平方因子を含む場合を含まない場合に帰着できることを示します。前回 http://d.hatena.ne.jp/lkozima/20090128/1233155371 の簡単な一般化です。
前回の最後に
に言及しましたが、これは ならばもっと一般化できて
が成り立ちます。右辺は disjoint union なので、この式から
がわかります。これで平方因子を持たない場合に還元されました。ついでにこの等式は
と変形できることにも注意しておきます。これは、
から出てくる等式 を使うとすぐに分かります。