求高手证明下面的命题,其中[x]为高斯整函数,