Výsledek:
Symbolem budeme označovat sumu tří členů, z nichž druhý a třetí dostaneme jednou, resp. dvěma aplikacemi cyklické záměny ; to znamená, že .
Když zadanou rovnici vynásobíme a přeuspořádáme, dostáváme
|
Polynom je nulový, platí-li , nebo , takže musí být dělitelný . Jelikož stupeň je a stupeň je , musí být zbývající činitel lineární:
|
Ještě si upravíme levou stranu roznásobením a využitím rovnosti :
Proto musí platit
|
Porovnáním členů obsahujících dostáváme , takže ; podobně také . Porovnáním dalších členů získáme neboli . Tím dostáváme pro výrazně jednodušší vyjádření:
|
Původní rovnost ze zadání je tedy ekvivalentní nulovosti jedné z těchto čtyř závorek. Jelikož ale předpokládáme, že jsou vzájemně různá, dostáváme .
Nyní zbývá najít nejmenší hodnotu za této podmínky. Odečtením dostáváme
|
Protože je celé číslo, vidíme, že výraz nabývá minima pro . (Toho lze dosáhnout například volbou .) Touto nejmenší možnou hodnotou je .