解法：多项式方法解决帽集问题(克罗特–列夫–帕赫,埃伦伯格–海斯维克,2016年)

第 4/7 步：把帽集问题翻译成消失多项式的语言

通俗地说

帽集条件其实是命题2的一个乔装打扮的特例。取 $\alpha=\beta=\gamma=1$ (它确实在 $\mathbb{F}_3$ 中和为 $0$ ),引理的假设就恰好变成: $A$ 中三点之和为零当且仅当它们全部相等——这正是帽集的定义。

a+b \notin -A \text{ for all } a \ne b \in A

详细分析

埃伦伯格与海斯维克(2017年,定理4与推论5)将命题2特殊化到 $\alpha=\beta=\gamma=1$ (确实满足 $\alpha+\beta+\gamma=0$ )。集合 $A$ 在 $A$ 内没有 $a_1+a_2+a_3=0$ 的非平凡解,意味着:对 $a_1,a_2 \in A$ ,解 $a_3 = -a_1-a_2$ 只有在 $a_1=a_2=a_3$ 时才会落在 $A$ 中。因此,对任意在 $-A$ 之外处处为零的多项式 $P$ ,命题2的假设 $P(a+b)=0$ 对每个 $a \ne b \in A$ 自动成立,因为此时 $a+b$ 落在 $-A$ 之外:这正是 $a+b \notin -A \text{ for all } a \ne b \in A$ 。