德国数学家高斯花了数年都没能求证