等差数列求和公式是高斯发现的吗?