小于等于n且与n互质的数的和

设为$f[i]$，$f[i]=\frac{\phi(i)\times i}{2}(i>=2) \ \ f[1]=1$。
大概证明就是若$x$与$n$互质，$n-x$也与 n <script type="math/tex" id="MathJax-Element-195">n</script>互质。