A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre. Ha , (2) a azonosságot jelenti, amiből például mellett következik, vagyis . A továbbiakban feltesszük, hogy . Legyen tetszőleges valós szám, és helyettesítsük (2)-be az értékeket: Eszerint a | | (3) | polinomra teljesül tetszőleges mellett, vagyis az polinom értéke minden mellett . Ez csak úgy lehet, ha az polinom minden együtthatója -val egyenlő. Ha -ban a legmagasabb fokú, -tól különböző együtthatójú tag , akkor -ben a legmagasabb fokú tag , ami csak mellett egyenlő -val. Ekkor , és , tehát , és (1) szerint tetszőleges olyan számpárra, amelyre | | amiből (3) és (4) alapján | | (5) | következik. Ha , helyettesítsük (2)-be az értékeket, így azt kapjuk, hogy Itt ismét (1) alapján , , tehát amiből miatt következik. Tehát (5) olyan számpárra is igaz, melyben , és nyilvánvalóan igaz (5) az számpárra is. Ezzel beláttuk, hogy (2) csak olyan polinomra teljesülhet, amelyre teljesül (5). Ennek megfordítása behelyettesítéssel könnyen ellenőrizhető: ha a polinomra teljesül (5), akkor nyilván teljesül rá (2) is. (5) szerint , így miatt a keresett polinom Ebből binomiális tétellel már könnyen megkaphatjuk együtthatóit: , a bevezetőben külön tárgyalt esetre is érvényes.
Megjegyzés. A megoldás elején felhasználtuk, hogy az polinom értéke csak akkor lehet minden mellett , ha a polinom minden együtthatója . Ez a polinomok gyöktényezős alakja miatt van így: ha a polinomnak gyöke, akkor van olyan polinom, hogy | | ami viszont abból következik, hogy tetszőleges mellett osztható val. Így egy -edfokú polinomnak legfeljebb gyöke lehet, tehát ha egy legfeljebb -edfokú polinomnak különböző helyen az értéke, a polinom minden együtthatója . Ennek az állításnak a kétváltozós megfelelőjét használtuk fel a megoldás végén, amikor abból, hogy (5) minden mellett igaz, arra következtettünk, hogy (5) megadja a keresett polinom alakját. Általában, ha a polinomok értéke minden mellett egyenlő, akkor tetszőleges mellett a polinomokra alkalmazhatjuk a fenti állítást, és mivel a polinomok együtthatói egy-egy újabb polinom helyen felvett értékei, kapjuk, hogy és együtthatói is egyenlőek.
|