Για την πρώτη
Έστω ότι τα δύο πολυώνυμα

και

έχουν κοινή ρίζα την

. Τότε

και

, όπου

και

. Δεν έχουμε παρά να επιλέξουμε

και

και απλά επαληθεύουμε ότι ισχύει η ζητούμενη σχέση.
Αντιστόφως: Ας υποθέσουμε ότι ισχύει η σχέση

.
Δουλεύουμε στο σώμα

των μιγαδικών που έχουμε πλήρη ανάλυση σε πρωτοβάθμια πολυώνυμα. Αν λοιπόν τα

και

δεν έχουν κοινή ρίζα στο σώμα των μιγαδικών

τότε είναι πρώτα μεταξύ τους δηλαδή υπάρχουν πολυώνυμα
![P_1(x), \ \Pi_1(x) \in \mathbb{C}[x] P_1(x), \ \Pi_1(x) \in \mathbb{C}[x]](/forum/ext/geomar/texintegr/latexrender/pictures/d6ffe8ec02a4936c7ed0d5802a26eb19.png)
για τα οποία ισχύει

(ταυτότητα Bezout - γνωστή στο σύνολο των ακεραίων: "Αν

πρώτοι μεταξύ τους τότε υπάρχουν ακέραιοι αριθμοί

και

τέτοιοι ώστε

"). Πολλαπλασιάζοντας με

τη σχέση αυτή παίρνουμε

δηλαδή σύμφωνα με τη δοσμένη σχέση:

δηλαδή το πολυώνυμο

διαιρεί το

, άτοπο διότι το πολυώνυμο

είναι μικρότερου βαθμού απο το

. Άρα τα δύο αυτά πολυώνυμα έχουν κοινή ρίζα (φυσικά μπορεί αυτή η ρίζα να είναι μιγαδική, πράγμα που δεν αποκλείεται από την εκφώνηση του προβλήματος).
Για τη δεύτερη
Όταν διαιρέσουμε το

με το δευτεροβάθμιο

τότε η ταυτότητα της Ευκλείδειας διαίρεσης δίνει

, και με τις δοσμένες σχέσεις

βρίσκουμε

και

οπότε έχουμε τη ζητούμενη σχέση.
(Προφανώς ζητείται να δείξουμε ότι το

δεν διαιρεί κανένα εκ των

)
Είναι πολύ εύκολο να δούμε ότι για τα τυχαία

με

, (ας υποθέσουμε ότι

) ισχύει

. Με διαδοχικές αντικαταστάσεις των

καταλήγουμε σε μία σχέση της μορφής

οπότε έπεται άμεσα ότι

άρα και το ζητούμενο.
Αλέξανδρος