- 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.
