Výsledok:
Nech . Všimnime si, že minimalizujeme . Rozdelíme riešenie na niekoľko krokov.
Krok 1: Presvedčme sa, že je koreňom a vydeľme polynómom , teda
pre celé čísla , a polynóm s celočíselnými koeficientami (nakoľko vedúci koeficient je , štandardný algoritmus na delenie polynómov prinesie požadovaný výsledok).
Krok 2: Keďže , , sú celé čísla a je iracionálne, musí byť a , teda
|
.
Krok 3: Ak by ktorýkoľvek z koeficientov polynómu , povedzme spĺňal , potom polynóm tiež spĺňa všetky podmienky a . Opakovaním tohto postupu tak veľa krát, ako je len možné, skončíme s polynómom , ktorého všetky koeficienty spĺňajú a .
Krok 4: Všmimnime si, že s týmito vlastnosťami je jednoznačne určený. Naozaj, ak akýkoľvek taký polynóm spĺňa rovnicu s vhodným polyómom , tak, aby , kde je koeficient konštanty , potom koeficient konštanty musí spĺnať . Nakoľko poznáme všetky koeficienty a koeficient konštanty má hodnotu , môžeme ďalej určiť lineárny koeficient z rovnice , a tak ďalej. Jednoznačnosť jasne implikuje jednoznačnosť .
Krok 5: Teraz to už treba iba vypočítať. Výpočty vyplývajuce z opakovania postupu popísaného v kroku 3 sú nasledovné. Začneme s konštantným polynómom a pokračujeme takto:
Hľadané minimum je teda
.