
První rovnici upravíme do tvaru
(použili jsme tzv. goniometrickou jedničku), dále upravíme
Aby byl součet dvou druhých mocnin roven 0, musí být oba umocňované výrazy rovny 0.
Máme tedy
,
,
, z nulovosti první závorky
, dopočteme 
Ve druhém příkladě snadno zjistíme, že pokud mají být x,y,z kladná, jsou řešení pouze 3. Pro obecná x,y,z může být řešení nekonečně mnoho (např. ve tvaru (3,t,-t))... nechybí v zadání předpoklad x,y,z>0?
Offline

(1) x+y=3-z
x^3+y^3=27-z^3, použijeme vzorec pro rozdíl krychlí
(x+y)(x^2-xy+y^2)=(3-z)(z^2+3z+9), dosazením z první rovnice
(x+y)(x^2-xy+y^2)=(x+y)(z^2+3z+9)
Pokud x+y=0, máme řešení tvaru (t,-t,3).
Pokud ne, můžeme závorkou x+y vydělit
x^2-xy+y^2=z^2+3z+9. Rovnici (1) umocníme na druhou
x^2+2xy+y^2=z^2-6z+9 poslední dvě rovnice odečteme a výsledek vydělíme 3
xy=-3z
Dle Vietových vztahů jsou x,y kořeny polynomu
t^2+(z-3)t-3z=0, po úpravě
(t+z)(t-3)=0.
Jedno z čísel x,y je tedy rovno 3 a zbylé -z.
Všechna řešení jsou tvaru (3,t,-t),(t,3,-t) nebo (t,-t,3).
Offline