令a=n(n-1)/2
b=n(n+1)/2
n为自然数,所以两个连续的数必备2整除
所以a,b也为整数
b^2-a^2=[n(n+1)/2]^2-[n(n-1)/2]^2=n^3
即得证
要知道推导过程,请再问