高斯公式是谁提出的