Ορισμοί-συμβάσεις:
Έστω
μια ακολουθία μη μηδενικών πραγματικών αριθμών. Θα λέμε ότι αυτή η ακολουθία περιέχει
αλλαγές προσήμου αν μεταξύ των αριθμών
υπάρχουν ακριβώς
αρνητικοί αριθμοί. Ο δείκτης
για τον οποίο ισχύει
, θα ονομάζεται θέση αλλαγής προσήμου.Ψεύδο-πολυώνυμο ονομάζουμε την συνάρτηση της μορφής

Δεχόμαστε την σύμβαση ότι τα ψεύδο-πολυώνυμα θα γράφονται έτσι, ώστε
και μεταξύ των συντελεστών
δεν υπάρχουν μηδενικοί. Αυτή την μορφή την ονομάζουμε κανονική.Προς απόδειξη:
Θεώρημα. Ο αριθμός των πραγματικών ριζών ενός ψεύδο-πολυωνύμου γραμμένου σε κανονική μορφή, δεν υπερβαίνει των αριθμό των αλλαγών προσήμου των συντελεστών του.
