O zastosowaniach Combinatorial Nullstellensatz
Zadanie 6 z 48. Międzynarodowej Olimpiady Matematycznej (IMO) z 2007 roku było jednym z najtrudniejszych w historii Międzynarodowej Olimpiady Matematycznej.

Oto treść zadania.
Zadanie. Niech będzie dodatnią liczbą naturalną. Przyjmijmy, że

jest zbiorem punktów w przestrzeni trójwymiarowej. Wyznacz najmniejszą możliwą liczbę płaszczyzn, których suma mnogościowa zawiera
ale do której nie należy
Zadanie rozwiązało tylko pięciu zawodników: Konstantin Matwiejew z Rosji, Peter Scholze z Niemiec, Danylo Radczenko z Ukrainy, Iurie Boreico z Mołdawii i Pietro Verteci z Włoch. W zasadzie tylko znajomość twierdzenia Combinatorial Nullstellensatz (kombinatoryczne twierdzenie o rozmieszczeniu zer, nawiązujące do twierdzenia Hilberta o zerach), któremu poświęcony jest ten artykuł, umożliwiała szybkie rozwiązanie zadania. Noga Alon opublikował swój artykuł Combinatorial Nullstellensatz [1] w 1999 roku, a już w 2007 roku kilku uczestników IMO stosowało metodę w nim opisaną. Wspomniane twierdzenie jest naturalnym uogólnieniem dobrze znanego uczniom twierdzenia, że wielomian jednej zmiennej stopnia o współczynnikach rzeczywistych ma co najwyżej
pierwiastków rzeczywistych, a jego treść jest następująca:
Twierdzenie (Combinatorial Nullstellensatz). Niech będzie niezerowym wielomianem
zmiennych stopnia
w którym współczynnik przy
jest różny od zera. Wówczas dla dowolnych zbiorów
spełniających warunki
dla
istnieją takie
że
Dowód. Przeprowadzimy indukcję ze względu na stopień wielomianu Nietrudny dowód początku indukcji
pozostawiam Czytelnikowi Spragnionemu Ćwiczeń jako ćwiczenie.
Załóżmy teraz, że oraz że teza zachodzi dla wszystkich wielomianów stopnia niższego niż
Niech wielomian
ma stopień
Bez straty ogólności można przyjąć, że
Wybierzmy
Podobnie, jak w przypadku wielomianów jednej zmiennej, możemy podzielić wielomian
przez wielomian
otrzymując

gdzie jest wielomianem
zmiennych, natomiast
musi zawierać nieznikający jednomian postaci
oraz
Dla dowodu nie wprost załóżmy, że wielomian
nie spełnia tezy. Wówczas dla dowolnych
zachodzi równość
co oznacza, że także
Wybierzmy teraz dowolnie Otrzymujemy równości:

Ponieważ oraz
więc
Wielomian
ma stopień
i niezerowy współczynnik przy
oraz przyjmuje wartość zero dla wszystkich
co jest sprzeczne z założeniem indukcyjnym. Uzyskana sprzeczność kończy dowód indukcyjny.
Poniżej przedstawię zastosowania Combinatorial Nullstellensatz do zadań olimpijskich, aby w końcu pokazać rozwiązanie zadania z IMO z 2007 roku, które było pretekstem do opowiedzenia o tej metodzie.
Zadanie (Rosja 2007). W każdy wierzchołek wypukłego -kąta wpisano dwie różne liczby rzeczywiste. Udowodnić, że można z każdego wierzchołka usunąć po jednej liczbie w taki sposób, aby liczby w każdych dwóch sąsiednich wierzchołkach były różne.
Dowód. Niech będzie dwuelementowym zbiorem liczb wpisanych w
-ty wierzchołek. Określmy wielomian
Wielomian
jest stopnia
współczynnik przy wyrażeniu
które jest stopnia
jest równy
Na podstawie Combinatorial Nullstellensatz istnieją
takie że
To oznacza, że każda z różnic:
,
jest różna od 0, czyli istnieje taki wybór liczb ze zbiorów
że
Zadanie (5th NIMO Winter Contest 2014). Zdefiniujmy taką funkcję że
gdy
oraz
gdy
i zdefiniujmy wielomian

Wyznacz współczynnik przy w wielomianie
Rozwiązanie. Zauważmy, że wielomian jest stopnia
Załóżmy, że współczynnik przy
jest różny od
Zdefiniujmy zbiory
Wówczas korzystając z Combinatorial Nullstellensatz, otrzymujemy takie elementy
gdzie
że
Z drugiej strony sumy częściowe
definiują pewien "spacer po liczbach całkowitych", kończący się na
Liczba
musi być parzysta, dlatego spacer ten w pewnym momencie osiągnie
zatem dla pewnego
zachodzi
Oznacza to jednak, że
-ty czynnik w definicji wielomianu
wynosi 0, co przeczy stwierdzeniu
Zatem współczynnik przy
musi być równy
Przejdziemy teraz do rozwiązania przytoczonego na początku artykułu zadania 6 z IMO 2007, które jest trudniejsze niż poprzednie zadania.
Rozwiązanie (Danylo Radczenko). Niech i
Weźmy
parami różnych płaszczyzn, których suma mnogościowa zawiera zbiór
i żadna z tych płaszczyzn nie przechodzi przez punkt
Niech
-ta płaszczyzna będzie określona równaniem
gdzie
oraz
Rozważmy wielomian
postaci
![]() |
gdzie jest tak dobrane, że
Wielomian
przyjmuje wartość 0 dla każdego elementu należącego do zbioru
Dla
współczynnik przy
nie jest równy
gdyż jest równy
Dla zbiorów
zachodzą warunki:
więc na podstawie Combinatorial Nullstellensatz istnieje taki punkt
że
Zatem istnieje punkt
dla którego
Otrzymaliśmy sprzeczność. Wobec tego
Wystarczy jeszcze wskazać przykład płaszczyzn, które spełniają warunki zadania. Są nimi

Powyższe zadanie jest pewną wariacją na temat problemu, jaki postawił Peter Komjáth: ile potrzeba hiperpłaszczyzn, aby pokryć wszystkie, z wyjątkiem jednego, wierzchołki kostki jednostkowej w przestrzeni -wymiarowej. Rozwiązanie tego problemu pojawiło się przed 1993 rokiem, ale dopiero Noga Alon i Zoltan Füredi w 1993 roku w pracy [2] przedstawili krótkie i eleganckie rozumowanie. Poniższy dowód pochodzi z pracy [1].
Twierdzenie. Niech będzie rodziną hiperpłaszczyzn w
których suma zawiera wszystkie, z wyjątkiem jednego, wierzchołki kostki jednostkowej, czyli zbiór
Wówczas
Dowód. Bez straty ogólności możemy przyjąć, że usuniętym wierzchołkiem jest punkt Niech hiperpłaszczyzna
dana będzie równaniem
gdzie
i
jest standardowym iloczynem skalarnym
i
Dla każdego
zachodzi warunek
gdyż żadna z hiperpłaszczyzn nie przechodzi przez punkt
Załóżmy dla dowodu nie wprost, że
i zdefiniujmy wielomian

Wielomian ma stopień
i współczynnik przy
równy

zatem różny od 0. Na podstawie Combinatorial Nullstellensatz dla oraz
istnieje taki punkt
że
Punkt
jest różny od
gdyż wielomian
przyjmuje wartość 0 dla
a zatem punkt
należy do zadanego zbioru i nie należy do żadnej z hiperpłaszczyzn. Otrzymaliśmy sprzeczność, wobec tego
Teraz wystarczy wskazać
hiperpłaszczyzn spełniających warunki zadania; są one zadane równaniami

Mam nadzieję, że powyższe przykłady przekonały Cię, Drogi Czytelniku, o użyteczności Combinatorial Nullstellensatz w rozwiązywaniu problemów z pozoru z nim niezwiązanych. Na zakończenie chciałbym zauważyć, że to wspaniałe twierdzenie jest słuszne dla wielomianów o współczynnikach z dowolnego ciała. Dotychczas używaliśmy jedynie ciała liczb rzeczywistych. Drugim w kolejności naturalnym wyborem ciała jest ciało - ciało reszt z dzielenia przez liczbę pierwszą
z dodawaniem i mnożeniem modulo
Zastosowanie Combinatorial Nullstellensatz w tej sytuacji prowadzi do niezwykle eleganckich dowodów bardzo pięknych twierdzeń z teorii liczb. Niestety, w tym artykule brakuje już miejsca na przedstawienie przykładów, obiecuję jednak zaprezentować je w numerze wrześniowym w nadziei, że oczekiwanie zaostrzy apetyt nie tylko Czytelnika Bardzo Zainteresowanego.