Ευκλείδεια Διαίρεση Πολυωνύμων 📚
Η Ταυτότητα της Διαίρεσης
Θυμόμαστε από το Γυμνάσιο την Ευκλείδεια διαίρεση μεταξύ θετικών ακεραίων αριθμών. Για κάθε ζεύγος φυσικών αριθμών Δ και δ με , υπάρχουν μοναδικοί φυσικοί αριθμοί π και υ, τέτοιοι ώστε:
Αυτή η ισότητα είναι γνωστή ως ταυτότητα της Ευκλείδειας διαίρεσης. Ο Δ λέγεται διαιρετέος, ο δ διαιρέτης, ο π πηλίκο και ο υ υπόλοιπο της διαίρεσης.
Η έννοια της διαίρεσης των πολυωνύμων είναι ανάλογη. Συγκεκριμένα ισχύει:
Για κάθε ζεύγος πολυωνύμων και με υπάρχουν δύο μοναδικά πολυώνυμα και , τέτοια ώστε:
όπου το ή είναι το μηδενικό πολυώνυμο ή έχει βαθμό μικρότερο από το βαθμό του .
Όπως και στη διαίρεση ακεραίων, το λέγεται διαιρετέος, το διαιρέτης, το πηλίκο και το υπόλοιπο της διαίρεσης.
Τέλεια Διαίρεση ✅
Γενικά, αν σε μια διαίρεση είναι , τότε η διαίρεση λέγεται τέλεια διαίρεση και η ταυτότητα της διαίρεσης γράφεται:
Στην περίπτωση αυτή λέμε ότι το διαιρεί το ή ότι το είναι παράγοντας του ή ότι το είναι πολλαπλάσιο του .
Διαίρεση Πολυωνύμου με 🤔
Η ταυτότητα της διαίρεσης του πολυωνύμου με το πολυώνυμο γράφεται:
Επειδή ο διαιρέτης είναι πρώτου βαθμού, το υπόλοιπο της διαίρεσης θα είναι ένα σταθερό πολυώνυμο . Έτσι έχουμε:
Αν θέσουμε , παίρνουμε:
Επομένως:
Το υπόλοιπο της διαίρεσης ενός πολυωνύμου με το είναι ίσο με την τιμή του πολυωνύμου για . Είναι δηλαδή .
Η ταυτότητα της διαίρεσης γράφεται:
Παράδειγμα: Το υπόλοιπο της διαίρεσης του με το (δηλαδή ) είναι .
Παρατηρούμε ότι , δηλαδή το είναι ρίζα του και το είναι παράγοντας του .
Θεώρημα Παραγόντων ✳️
Γενικά ισχύει το παρακάτω θεώρημα:
Ένα πολυώνυμο έχει παράγοντα το αν και μόνο αν το είναι ρίζα του , δηλαδή αν και μόνο αν .
Απόδειξη:
- (Ευθύ) Έστω ότι το είναι παράγοντας του . Τότε . Από την ισότητα αυτή για παίρνουμε , που σημαίνει ότι το είναι ρίζα του .
- (Αντίστροφο) Έστω ότι το είναι ρίζα του , δηλαδή ισχύει . Τότε από τη σχέση παίρνουμε , που σημαίνει ότι το είναι παράγοντας του .
Το θεώρημα παραγόντων είναι ισοδυναμία («αν και μόνο αν»): ισχύει και προς τις δύο κατευθύνσεις. Αν βρεις ότι , τότε αυτόματα ξέρεις ότι το είναι παράγοντας — δεν χρειάζεται να κάνεις τη διαίρεση για να το επιβεβαιώσεις.
Εφαρμογές 🔢
1η Εφαρμογή. Να εξεταστεί αν τα πολυώνυμα και είναι παράγοντες του πολυωνύμου .
Λύση:
Το γράφεται . Επειδή , το είναι ρίζα του . Επομένως, σύμφωνα με το παραπάνω θεώρημα, το είναι παράγοντας του . ✅
Επειδή , το δεν είναι ρίζα του . Επομένως, το δεν είναι παράγοντας του . ❌
2η Εφαρμογή. Για ποιες τιμές του :
i) Το υπόλοιπο της διαίρεσης του με το είναι μηδέν.
ii) Το υπόλοιπο της διαίρεσης του με το είναι 1.
Λύση:
i) Επειδή , το υπόλοιπο της διαίρεσης του με το είναι . Επομένως, για να είναι αρκεί:
ii) Το υπόλοιπο της διαίρεσης του με το είναι . Επομένως, για να είναι αρκεί:
Η εξίσωση αυτή είναι δευτέρου βαθμού ως προς λ. Οι ρίζες είναι:
Άρα, ή .