- Narzędzia
- Obiekty
- Wielomiany
- Słowa kluczowe
- Kategoria
- Algebra
Matematyka jest jedna: wielomiany mogą wszystko»Zadanie 3
o zadaniu...
- Zadanie pochodzi z artykułu Matematyka jest jedna: wielomiany mogą wszystko
- Publikacja w Delcie: wrzesień 2015
- Publikacja elektroniczna: 31-08-2015
Rozważmy zbiór

złożony z punktów w przestrzeni. Wyznaczyć minimalną liczbę płaszczyzn, których suma mnogościowa zawiera zbiór
ale nie zawiera punktu
Rozwiązanie
Zauważmy, że płaszczyzn o równaniach
dla
spełnia żądany warunek. Wykażemy, że
jest minimalną liczbą o tej własności.
Załóżmy więc, że suma mnogościowa pewnych płaszczyzn danych równaniami

pokrywa zbiór ale nie zawiera punktu
Rozważmy wielomian trzech zmiennych
dany jako

Jest to wielomian łącznego stopnia który spełnia warunek
dla
oraz
Za pomocą wielomianu udało się nam przetłumaczyć kombinatoryczny warunek dotyczący płaszczyzn na język algebry. Dzięki temu możemy wykorzystać jej narzędzia, zapominając o kombinatorycznej naturze zadania.
Dla dowolnego wielomianu trzech zmiennych określmy operację
zdefiniowaną jako

W analogiczny sposób definiujemy operację oraz
Za pomocą nietrudnego rachunku na współczynnikach sprawdzimy najpierw, że operacja zmniejsza łączny stopień wielomianu co najmniej o
Załóżmy bowiem, że stopień pewnego wielomianu
to
przy czym w rozwinięciu
pojawia się jednomian postaci
Korzystając ze wzoru dwumianowego Newtona, uzyskujemy

Otrzymaliśmy więc sumę jednomianów o łącznym stopniu nieprzekraczającym Stosując to samo rozumowanie do każdego jednomianu postaci
który pojawia się w rozwinięciu
i spełnia
widzimy, że operacja
redukuje wszystkie jednomiany o łącznym stopniu
Potwierdza to nasze stwierdzenie.
Zauważmy, że skoro wielomian zeruje się dla dowolnej trójki
spełniającej
oraz
to
zeruje się dla dowolnej trójki
która spełnia
oraz
Jednocześnie, mamy

Powtarzając operację aż
-krotnie, otrzymujemy wielomian
który zeruje się dla dowolnej trójki postaci
gdzie
oraz nie zeruje się dla
Używając więc operacji
już ostatni raz dostajemy

Wielomian, który otrzymaliśmy z wielomianu po
-krotnym zastosowaniu operacji
nie zeruje się więc w punkcie
ale zeruje się dla dowolnego punktu postaci
gdzie
i co najmniej jedna z liczb
jest różna od zera.
Możemy zatem powtórzyć cały powyższy proces, tym razem względem zmiennej startując od wielomianu otrzymanego w ostatnim kroku. Wielomian
zeruje się więc dla dowolnej trójki postaci
gdzie
ale nie dla trójki
Ostatecznie już, rozumując w ten sam sposób względem zmiennej
dochodzimy do wniosku, że wielomian
nie zeruje się w punkcie
Nie jest to zatem wielomian zerowy. Wcześniej udowodniliśmy jednak, że dowolna z operacji redukuje łączny stopień wielomianu co najmniej o
Stopień wielomianu
nie przekracza zatem
Stąd
i rozwiązanie zadania jest zakończone.