Инструменты для доказательства теоремы Роньяи
Пусть F∈K[x1,…,xn] (многочлен от n переменных с коэффициентами из кольца K), тогда F(x1,…,xn)=∑i1,…,inai1,…,inxi11⋅…⋅xinn, degF=max.
Положим \mathbb {K} = \mathbb {Z}_ p и
рассмотрим все возможные наборы (x_1, \ldots , x_ n) \in \mathbb {Z}_ p^ n, удовлетворяющие сравнению
F(x_1, \ldots , x_ n) \equiv 0\pmod p. Всего таких наборов не больше, чем p^ n.
Теорема (Шевалле). Пусть F \in \mathbb {Z}_ p[x_1, \ldots , x_ n] и \deg F < n. Тогда число решений в \mathbb {Z}_ p^ n сравнения F(x_1,\ldots ,x_ n)\equiv 0\ (p) делится на p.
\blacktriangle Пусть N_ p — количество решений.
N_ p \equiv \sum \limits _{x_1=1}^ p\ldots \sum \limits _{x_ n=1}^ p (1 - F^{p-1}(x_1, \ldots , x_ n))\pmod p.
Если (x_1, \ldots , x_ n) — решение сравнения, то F(x_1, \ldots , x_ n)\equiv 0.
Иначе F(x_1, \ldots , x_ n) \not\equiv 0 \Rightarrow F^{p-1}(x_1, \ldots , x_ n) \equiv 1.
Для доказательства того, что N_ p \equiv 0, достаточно проверить, что
\sum \limits _{x_1=1}^ p\ldots \sum \limits _{x_ n=1}^ p F^{p-1}(x_1, \ldots , x_ n) \equiv 0.
\deg F^{p-1} \leqslant (n-1)(p-1).
F^{p-1}(x_1, \ldots , x_ n) = \left(\sum a_{1,\ldots ,n}x_1^{\alpha _1}\cdot \ldots \cdot x_ n^{\alpha ^ n}\right)^{p-1} = \sum b_{1,\ldots ,n}x_1^{\beta _1}\cdot \ldots \cdot x_ n^{\beta ^ n}, \beta _1+\ldots +\beta _ n \leqslant (p-1)(n-1).
Итак, нас интересует \sum \limits _{x_1=1}^ p\ldots \sum \limits _{x_ n=1}^ p (\sum b_{1,\ldots ,n}x_1^{\beta _1}\cdot \ldots \cdot x_ n^{\beta ^ n}).
Достаточно доказать, что \forall \beta _1, \ldots , \beta _ n, \beta _1+\ldots +\beta _ n \leqslant (p-1)(n-1)\colon
\sum \limits _{x_1=1}^ p\ldots \sum \limits _{x_ n=1}^ p x_1^{\beta _1}\cdot \ldots \cdot x_ n^{\beta ^ n} \equiv 0 \pmod p.
Сумму можно перезаписать как \left(\sum \limits _{x_1=1}^ p x_1^{\beta _1}\right)\cdot \ldots \cdot \left(\sum \limits _{x_ n=1}^ p x_ n^{\beta _ n}\right).
Докажем, что хотя бы один сомножитель, делится на p.
Рассмотрим несколько случаев.
Случай 1. p = 2. \beta_1 + \ldots + \beta_ n \leqslant (n-1) \Rightarrow \exists i\colon \beta _ i=0 \Rightarrow \sum \limits _{x_ i=1}^ p x^{\beta _ i} = \sum \limits _{x_ i=1}^ p 1 = p \equiv 0 \pmod p.
Случай 2. p \geqslant 3, \beta _ i \geqslant 1. \exists i\colon 1 \leqslant \beta_ i \leqslant p-2. Рассмотрим S := \sum \limits _{x_ i=1}^ p x_ i^{\beta _ i}
Задача. Если a\colon 1 \leqslant a \leqslant p-2, то \exists b \not\in \{ 0, 1\} \colon b^ a \not\equiv 1\ (p).
Возьмём такое b и рассмотрим b^{\beta _ i} S = \sum \limits _{x_ i=1}^ p (b x_ i)^{\beta _ i} \equiv \sum \limits _{y=1}^ p y^{\beta _ i} = S \Rightarrow b^{\beta _ i} S \equiv S \Rightarrow
S(b^{\beta _ i} - 1) \equiv 0 \Rightarrow S \equiv 0. \blacksquare
Следствие из Т. Шевалле (Т. Варнинга) Пусть все условия как в Т. Шевалле, и, более того, F(0,\ldots ,0) \equiv 0\pmod p. Тогда есть (x_1, \ldots , x_ n)\colon не все x_ i \equiv 0 \pmod p и F(x_1, \ldots , x_ n) \equiv 0\ (p).
Обобщение теоремы. Пусть F_1, \ldots , F_ k \in \mathbb {Z}_ p[x_1, \ldots , x_ n]. Пусть \deg F_1 +\ldots + \deg F_ k < n. Тогда число решений системы сравнений
\begin{cases} F_1(x_1, \ldots , x_ n) \equiv 0\ (p),\\\ldots \\F_ k(x_1, \ldots , x_ n) \equiv 0\ (p) \end{cases} делится на p.
Обобщение следствия. Если есть нулевое решение системы, то есть хотя бы ещё одно решение.