Είναι εύκολο να δει κανείς (γιατί;) ότι οποιοδήποτε πολυώνυμο σε μια μεταβλητή με πραγματικούς συντελεστές είναι μη αρνητικό για κάθε
γράφεται αναγκαστικά σα άθροισμα τετραγώνων πολυωνύμων
, με
.
Άρα το να γράφεται ένα πολυώνυμο μιας μεταβλητής σα άθροισμα τετραγώνων είναι ισοδύναμο με το να είναι πάντα μη αρνητικό.
Έστω . Δείξτε ότι το
είναι πάντα μη αρνητικό αλλά δε μπορεί να γραφεί σα άθροισμα τετραγώνων πολυωνύμων σε
. Άρα η παραπάνω ισοδυναμία δεν ισχύει παρά μόνο για πολυώνυμα μιας μεταβλητής.