Non è possibile risolvere simultaneamente rispetto a t e ad u.

Non avrebbe funzionato, invece, risolvere il sistema rispetto sia a t che a u. L'idea è corretta, ma il problema posto è troppo difficile, almeno per la versione 4.0 di Mathematica. Non vengono trovate soluzioni reali, anche se, come abbiamo appena visto, delle soluzioni reali ci sono.

In[480]:=

Reduce[{Sin[t] Cos[u], Cos[t] Cos[u], Sin[u], z} == {x, y, z, x + y}, {x, y, z, t, u}]

Out[480]=

(C[1] | C[2]) ∈Integers&& (x -1/2^(1/2) &&y1/2^(1/2) &am ... ^(1/2) &&t2 π C[2] &&u2 (-ArcTan[1 - 2^(1/2)] + π C[1]))

Created by Mathematica  (August 4, 2004)