>>923
{x} = x - [x] ( x の小数部分)を使えばさらに不思議な式に
Σ[i=1,k] gcd(i,n) = Σ[i=1,k] Σ[j=1,n] (1 - 2{ij/n})