Ima

.

Ovo je iz glave ili ima postupak?
Vrtim se bez ideje za postupak.

Pokušao sam:

1. Smenu: x-1=a, y-1=b i z-1=c, zbog očiglednog rešenja (1,1,1) i da bih dobio nule na desnoj strani, ali ništa.

2. Njutnove i Vijetove formule, ali ništa.

Nisam pokušao direktno, jer mi polinom devetog stepena ne obećava ništa lepo.

Sve je ovo "jako simetrično". Liči da postoje rešenja oblika (a,a,a). Pošto je (1,1,1) jedno rešenje, zameni u bilo kojoj jednačini nepoznate sa a. Pošto je polinom deljiv sa (a-1) ostaje ti kvadratna jednačina čije su nule ono što je Nedeljko napisao.

To su sva realna rešenja.

,
,
.

Za važi

. Dakle,

.

Navedeni polinom ima samo tri realne nule.

Đoko slažem se da ako su jednaki onda su realna rešenja one tri realne uređene trojke koje je Nedeljko napisao.
Time nismo dokazali da ako nisu jednaki, da nema realnih rešenja.

Mislio sam da ima neko elegantnije rešenje.

Tek sad vidim da će peške biti polinom 27-og stepena.
Ništa, formiraću ga, pa ga delim sa X^3-2*X+1.
Dobiće se polinom 24-tog stepena.
Valjda će moći da se dokaže da on nema realnih nula.
Videćemo.

Ima jedan program koji se zove wxMaxima.

http://maxima.sourceforge.net/

Evo šta kaže:




Faktorizacija je

.

Naravno, nas zanima deo



Ima više načina da se dokaže pozitivnost polinoma. Jedan je Šturmova teorema

https://en.wikipedia.org/wiki/Sturm's_theorem

Drugi način je preko intervalne aritmetike.

Neka je dat realan (ili čak kompleksan) polinom

Ukoliko je takvo da je , onda za važi , odnsono sve nule polinoma nalaze se u disku . Na realnoj pravoj je to interval .

Da bi se dokazalo da realan polinom nema realnih nula, dovoljno je dokazati da ih nema u tom intervalu.

Interval je moguće podeliti na male intervale . Da bi se dokazalo da u tom intervalu nema nula, dovoljno je izračunati interval kome mora pripasti vrednost ako . To se postiže uobičajenim intervalnim pravilima za sabiranje, oduzimanje i množenje. Ako je , onda se za dovoljno uzak interval oko može dokazati da vrednosti za pripadaju nekom intervalu koji ne sadrži nulu. Bitno je samo da je podela dovoljno sitna.