Πολυώνυμα & Πολυωνυμικές Εξισώσεις
Διαίρεση πολυωνύμων, σχήμα Horner, παράγοντας x−ρ
Κάθε φορά που ένας υπολογιστής σχεδιάζει μια καμπύλη — ένα γράμμα στην οθόνη, μια πίστα σε βιντεοπαιχνίδι — υπολογίζει τιμές πολυωνύμων, εκατομμύρια φορές. Ο πιο οικονομικός τρόπος είναι το σχήμα Horner αυτού του κεφαλαίου: για πολυώνυμο 3ου βαθμού θέλει πολλαπλασιασμούς αντί για . Και το ίδιο σχήμα σού λύνει στο χέρι εξισώσεις 3ου βαθμού και πάνω.
Τι είναι πολυώνυμο
Ένα πολυώνυμο του είναι παράσταση της μορφής . Αν , ο βαθμός του είναι : ο μεγαλύτερος εκθέτης που «επιζεί». Τα σταθερά πολυώνυμα έχουν βαθμό . Το μηδενικό πολυώνυμο δεν έχει βαθμό.
Η αριθμητική τιμή προκύπτει με αντικατάσταση, και το λέγεται ρίζα του όταν . Οι ρίζες είναι το κλειδί για όλο το κεφάλαιο.
Ίσα πολυώνυμα και βαθμός
Δύο πολυώνυμα είναι ίσα όταν έχουν ίσους τους συντελεστές των ομοβάθμιων όρων τους. Π.χ. αν για κάθε , τότε , και . Ένα πολυώνυμο είναι το μηδενικό όταν όλοι οι συντελεστές του είναι μηδέν.
Στις πράξεις, ο βαθμός του γινομένου δύο μη μηδενικών πολυωνύμων είναι το άθροισμα των βαθμών τους, ενώ ο βαθμός του αθροίσματος δεν ξεπερνά τον μεγαλύτερο από τους δύο βαθμούς.
Όταν οι συντελεστές περιέχουν παράμετρο, ο βαθμός εξαρτάται από αυτήν. Για το :
- : βαθμός
- : , βαθμός
- : , βαθμός
Για τις εξισώσεις 3ου και 4ου βαθμού υπάρχουν τύποι λύσης με ριζικά, όπως η διακρίνουσα για τον 2ο βαθμό — δημοσιεύτηκαν στο «Ars Magna» του Cardano το . Για τον 5ο βαθμό και πάνω, όμως, ο Νορβηγός Niels Henrik Abel απέδειξε το ότι τέτοιος γενικός τύπος δεν υπάρχει. Γι' αυτό ψάχνουμε ρίζες έξυπνα: διαιρέτες του σταθερού όρου και Horner.
Αν το έχει βαθμό και το βαθμό , ποιος είναι ο βαθμός του γινομένου ;
Η ταυτότητα της διαίρεσης
Θυμήσου τη διαίρεση ακεραίων: , με υπόλοιπο μικρότερο του διαιρέτη. Ακριβώς η ίδια ιδέα δουλεύει και στα πολυώνυμα. Όταν διαιρείς το με το , υπάρχουν μοναδικά πολυώνυμα (πηλίκο) και (υπόλοιπο). Ο βαθμός του υπολοίπου είναι μικρότερος από τον βαθμό του διαιρέτη. Αν , η διαίρεση είναι τέλεια και ο είναι παράγοντας του .
Δ = δ·π + υ με το υπόλοιπο «να μην χωράει» άλλη φορά — η ευκλείδεια ιδέα περνάει αυτούσια στα πολυώνυμα.
Σχήμα Horner
Για διαιρέτη της μορφής δεν χρειάζεται η «μεγάλη» διαίρεση — το σχήμα Horner τα κάνει όλα με προσθέσεις και πολλαπλασιασμούς:
- Γράφουμε στην πρώτη γραμμή όλους τους συντελεστές του (και τα μηδενικά για όρους που λείπουν!) και δεξιά το
- Κατεβάζουμε τον πρώτο συντελεστή, τον πολλαπλασιάζουμε με , προσθέτουμε στον επόμενο — και επαναλαμβάνουμε
- Ο τελευταίος αριθμός της κάτω γραμμής είναι το υπόλοιπο και οι υπόλοιποι είναι οι συντελεστές του πηλίκου, που έχει βαθμό κατά μικρότερο
Αν βγει , κερδίσαμε διπλά: το είναι παράγοντας και έχουμε έτοιμη την παραγοντοποίηση.
«το υπόλοιπο είναι η τιμή εκεί που μηδενίζεται ο διαιρέτης». Διαιρείς με ; Το υπόλοιπο είναι . Διαιρείς με ; Ο διαιρέτης μηδενίζεται στο , άρα το υπόλοιπο είναι — όχι .
Μέθοδος: επίλυση πολυωνυμικής εξίσωσης
- Μετέφερε όλους τους όρους στο ένα μέλος: .
- Δοκίμασε πρώτα κοινό παράγοντα ή ομαδοποίηση — αν πετύχει, γλιτώνεις το Horner.
- Με ακέραιους συντελεστές, οι πιθανές ακέραιες ρίζες είναι οι διαιρέτες του σταθερού όρου. Βρες μία, , με δοκιμές: .
- Με Horner διαίρεσε με και γράψε .
- Επανάλαβε στο πηλίκο μέχρι να φτάσεις σε τριώνυμο και λύσε το με τη διακρίνουσα.
- Γράψε όλες τις ρίζες.
Παράδειγμα: Να γίνει η διαίρεση με το σχήμα Horner.
Λύση: Ο διαιρέτης είναι , άρα . Ο όρος με λείπει, οπότε γράφουμε συντελεστή : οι συντελεστές είναι .
- Κατεβάζουμε το .
- και .
- και .
- και .
Κάτω γραμμή: . Πηλίκο και υπόλοιπο , άρα
Έλεγχος με το θεώρημα υπολοίπου: ✓
Άσκηση: Να λυθεί η εξίσωση .
Λύση: Οι πιθανές ακέραιες ρίζες είναι οι διαιρέτες του : . Δοκιμάζουμε : ✓.
Σχήμα Horner με στους συντελεστές δίνει κάτω γραμμή — υπόλοιπο και πηλίκο :
Άρα οι λύσεις είναι , , .
Μετά το Horner απομένει τριώνυμο — οι ρίζες του είναι τα σημεία όπου η παραβολή κόβει τον άξονα x'x.
Ποιο είναι το υπόλοιπο της διαίρεσης του με το ;
Με τι ισούται το υπόλοιπο της διαίρεσης ενός πολυωνύμου με το ;
Άσκηση τύπου διαγωνίσματος: Δίνεται το πολυώνυμο .
α) Να βρεθούν τα , αν το είναι παράγοντας του και το υπόλοιπο της διαίρεσης του με το είναι .
β) Για αυτές τις τιμές, να λυθεί η εξίσωση .
Λύση:
α) Το είναι παράγοντας .
Το υπόλοιπο με είναι .
Προσθέτοντας κατά μέλη: , οπότε . Άρα .
β) Ξέρουμε ήδη τη ρίζα . Horner με στους συντελεστές : κάτω γραμμή , άρα
Για το τριώνυμο , χωρίς πραγματικές ρίζες. Άρα η εξίσωση έχει μοναδική πραγματική λύση .
Απάντηση: α) , , β) .
Ένα πολυώνυμο διαιρούμενο με αφήνει υπόλοιπο και διαιρούμενο με αφήνει υπόλοιπο . Ποιο είναι το υπόλοιπο της διαίρεσης του με το ; Το ίδιο το δεν το ξέρεις!
Δοκίμασε πρώτα μόνος σου — μετά δες τη λύση
Ο διαιρέτης έχει βαθμό , άρα το υπόλοιπο έχει βαθμό το πολύ : . Από την ταυτότητα της διαίρεσης:
Το κόλπο: βάζουμε τις τιμές που μηδενίζουν τον διαιρέτη, ώστε το άγνωστο πηλίκο να εξαφανιστεί.
- : , και (το υπόλοιπο με ).
- : , και .
Το σύστημα , δίνει με αφαίρεση και μετά . Το υπόλοιπο είναι — χωρίς να ξέρουμε ούτε έναν συντελεστή του !
Σε πολυωνυμική εξίσωση με ακέραιους συντελεστές, οι πιθανές ακέραιες ρίζες είναι μόνο οι διαιρέτες του σταθερού όρου — ξεκίνα πάντα από τα . Και μην ξαναγράφεις διαίρεση: το Horner σου δίνει ταυτόχρονα την επαλήθευση της ρίζας και το πηλίκο για το επόμενο βήμα.
- Στο Horner ξεχνούν το για τους όρους που λείπουν — και όλη η διαίρεση βγαίνει λάθος.
- Για διαιρέτη χρησιμοποιούν αντί για , στο σχήμα και στο θεώρημα υπολοίπου.
- Ψάχνουν ακέραιες ρίζες στους διαιρέτες του μεγιστοβάθμιου συντελεστή αντί του σταθερού όρου.
- Σταματούν μόλις βρουν μία ρίζα, χωρίς να λύσουν το πηλίκο.
- Βαθμός: ο μεγαλύτερος εκθέτης με μη μηδενικό συντελεστή·
- Ταυτότητα διαίρεσης: , με ή
- Το υπόλοιπο της διαίρεσης είναι το
- παράγοντας του
- Με ακέραιους συντελεστές, οι ακέραιες ρίζες είναι διαιρέτες του σταθερού όρου