Οδηγός παραγοντοποίησης πολυωνύμων
Παραγοντοποιήστε πλήρως ένα πολυώνυμο πάνω από τους ρητούς αριθμούς και δείτε ποια μέθοδος εντόπισε κάθε παράγοντα. Κάθε παράγοντας βαθμού 2 ή μεγαλύτερου συνοδεύεται από απόδειξη ότι δεν επιδέχεται περαιτέρω παραγοντοποίηση.
Τα πολυώνυμα περιορίζονται σε 1.000 χαρακτήρες, μία μεταβλητή, βαθμό 24, πρωτεύοντα και σταθερό συντελεστή 12 ψηφίων μετά την απαλοιφή κλασμάτων και 20.000 υποψήφιες ρητές ρίζες· οι ακριβείς τιμές μπορεί να φτάσουν τα 1.024 ψηφία. Όλοι οι υπολογισμοί γίνονται στη συσκευή σας σε εργασία παρασκηνίου με όριο 15 δευτερολέπτων. Μπορείτε να κατεβάσετε αναφορά JSON και CSV παραγόντων. Μία μεταβλητή, ακέραιες δυνάμεις και ακριβείς αριθμοί όπως 1/2. Έως 1.000 χαρακτήρες. Εξετάστε τις ρυθμίσεις πριν από την εκτέλεση.
Το αποτέλεσμά σας
Οδηγός παραγοντοποίησης πολυωνύμων
- Πληκτρολογήστε πολυώνυμο μίας μεταβλητής, όπως 3x^5 - 3x^4 - 12x + 12.
- Εκτελέστε τον οδηγό για να εξαγάγετε τον μέγιστο κοινό παράγοντα και να δοκιμάσετε τα ειδικά μοτίβα.
- Διαβάστε την παραγοντοποιημένη μορφή, τα βήματα της μεθόδου και την απόδειξη μη αναγωγιμότητας κάθε παράγοντα.
- Κατεβάστε την αναφορά JSON ή τον πίνακα παραγόντων σε CSV.
Τι να περιμένετε
Τα πολυώνυμα περιορίζονται σε 1.000 χαρακτήρες, μία μεταβλητή, βαθμό 24, πρωτεύοντα και σταθερό συντελεστή 12 ψηφίων μετά την απαλοιφή κλασμάτων και 20.000 υποψήφιες ρητές ρίζες· οι ακριβείς τιμές μπορεί να φτάσουν τα 1.024 ψηφία. Όλοι οι υπολογισμοί γίνονται στη συσκευή σας σε εργασία παρασκηνίου με όριο 15 δευτερολέπτων. Μπορείτε να κατεβάσετε αναφορά JSON και CSV παραγόντων.
Μέθοδοι που εξηγεί
Ο οδηγός εξάγει τον μέγιστο κοινό παράγοντα και έπειτα αναζητά διαφορά τετραγώνων, άθροισμα ή διαφορά κύβων, τριώνυμο τέλειου τετραγώνου, τη μέθοδο ac για τετραγωνικά πολυώνυμα και ομαδοποίηση για κυβικά πολυώνυμα τεσσάρων όρων. Στη συνέχεια εφαρμόζει το κριτήριο ρητών ριζών και διασπά επαναλαμβανόμενους παράγοντες. Μέθοδος: OpenStax, College Algebra 2e, ενότητα 1.5 Factoring Polynomials (2021).
Πώς αποδεικνύεται η μη αναγωγιμότητα
Ένα τετραγωνικό ή κυβικό πολυώνυμο χωρίς ρητή ρίζα δεν παραγοντοποιείται πάνω από τους ρητούς αριθμούς. Για βαθμό 4 και άνω, το εργαλείο εξετάζει το πολυώνυμο modulo αρκετούς πρώτους: αν οι πιθανοί βαθμοί των παραγόντων δεν ταιριάζουν ποτέ, δεν υπάρχει παράγοντας. Διαφορετικά, ανυψώνει τους αρθρωτούς παράγοντες με την ανύψωση Hensel και δοκιμάζει όλους τους συνδυασμούς με τον αλγόριθμο Zassenhaus. Μέθοδος: von zur Gathen και Gerhard, Modern Computer Algebra, 3η έκδοση, κεφάλαια 14 και 15 (2013).
Πραγματικές ρίζες
Για κάθε παράγοντα, η αναφορά μετρά ακριβώς τις πραγματικές ρίζες με ακολουθία Sturm και παραθέτει τις ακριβείς ρίζες των τετραγωνικών παραγόντων, όπως sqrt(2).