求解一道高斯函数!求证[x]+[x+1/n]+.+[x+(n-1)/n]=[nx]