>>918
部分和の謎公式みつけたかも。q(x)=1-2(x-[x])とおく
Σ[i=1〜k]gcd(i,n)=Σ[i=1〜k, j=1〜n]q(ij/n)