解法：希尔伯特对华林问题的存在性证明(1909年)

华林问题,在他1770年的著作《代数沉思录》中提出,问的是:对每个整数 $k\ge2$,是否存在有限的 $g(k)$,使得每个正整数都是至多 $g(k)$ 个非负 $k$ 次幂之和?拉格朗日的四平方定理(1770年)解决了 $k=2$ 的情形,给出 $g(2)=4$;华林的评论把这一模式推广到立方($g(3)=9$,猜想)与四次幂($g(4)=19$,猜想),“如此等等”,但没有证明。

希尔伯特之前的进展是零散的:$k$ 的特殊取值(直到 $k=10$)由19世纪的多位数学家用临时构造的恒等式处理,约瑟夫·刘维尔于1859年利用拉格朗日四平方定理两次证明了 $g(4)\le53$(他的恒等式 $6(x_1^2+x_2^2+x_3^2+x_4^2)^2=\sum_{i<j}(x_i+x_j)^4+\sum_{i<j}(x_i-x_j)^4$ 本身就是希尔伯特后来所利用的一般模式的一个小情形)。对任意 $k$ 都不存在一般性的论证。

希尔伯特1909年的论文(《证明整数可由固定数目的 $n$ 次幂表示(华林问题)》,发表于《数学年刊》)最终证明了对每个 $k$ 都有 $g(k)<\infty$——这就是希尔伯特–华林定理。接下来的步骤将概述他的策略:一个单一的代数恒等式、它源自在高维球面上取平均的构造,以及它如何自举成一个完整的存在性证明,遵循纳森《加性数论:经典基础》(施普林格 GTM 164,第3章)与埃利森1971年综述中对这一恒等式的呈现方式。