Seja a equação polinomial de coeficientes reais:

Se e são raízes dessa equação, então o valor de é