Re:

["Dopelgänger" <paleo@xxxxxxxxxxxx>]

Sendo:
a, b, c pertencentes a R -{0}, com  a^2 = b^2 + c^2 e satisfazem o sistema:

c*Cos(y) + b*Cos(z) = a
c*Cos(x) + a*Cos(z) = b
b*Cos(x) + a*Cos(y) = c

calcule:  Cos(x) + Cos(y) + Cos(z)

Esse problema caiu no ITA 97...