为什么有 ∑i=1n[i⊥n]gcd(i−1,n)=σ0(n)ϕ(n)\sum\limits_{i=1}^{n}[i\perp n]\gcd(i-1,n)=\sigma_{0}(n)\phi(n)i=1∑n[i⊥n]gcd(i−1,n)=σ0(n)ϕ(n)
