Ρίζες πολυωνύμου
Συντονιστές: achilleas, emouroukos, silouan
Ρίζες πολυωνύμου
Το μονικό πολυώνυμο , βαθμού , ικανοποιεί την διαφορική εξίσωση
Να αποδειχθεί ότι το έχει όλες του τις ρίζες πραγματικές.
(Από φιλική ιταλική μαθηματική ομάδα).
Να αποδειχθεί ότι το έχει όλες του τις ρίζες πραγματικές.
(Από φιλική ιταλική μαθηματική ομάδα).
Δημήτρης Σκουτέρης
Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
Λέξεις Κλειδιά:
Re: Ρίζες πολυωνύμου
Καλησπέρα.
Έστω ότι το πολυώνυμο έχει και μιγαδικές ρίζες.Τότε,γράφεται στη μορφή , με το να έχει μόνο μιγαδικές ρίζες και το μόνο πραγματικές.
Το γράφεται ως:
, όπου ,
με και επιλέγω .
Έστω .
Τότε, .
και η δοσμένη σχέση δίνει μετά την αντικατάσταση :
.(*)
Έγιναν απλοποιήσεις με χρήση της .
Θέτω και είναι .
Τότε,
.
Μετά τις αντικαταστάσεις και απλές πράξεις, η σχέση (*) γράφεται:
Θα δείξω ότι , πράγμα που θα οδηγεί σε άτοπο.
Για την πρώτη ανισότητα:
Είναι .
Έχω ότι:
.
Όμως, ,
όπως προκύπτει μετά από πολλαπλασιασμό του παρονομαστή με το συζυγή του.
Όμοια, κτλ. Η ζητούμενη ανισότητα προκύπτει άμεσα.
Για τη δεύτερη ανισότητα:
Θέτω .
Οπότε,
Είναι (όμοιο επιχείρημα με πριν, δηλαδή άμεσο μετά από πολλαπλασιασμό του παρονομαστή με το συζυγή).
Τελικά και η δεύτερη ανισότητα άμεση, όπως θέλαμε.
Προσθήκη:
Η παραπάνω λύση ισχύει για πολυώνυμα με πραγματικούς συντελεστές, ώστε ο συζυγής κάθε μιγαδικής ρίζας να είναι επίσης ρίζα.Αυτό δεν ισχύει για πολυώνυμα με μιγαδικούς συντελεστές. Όμως, αποδεικνύεται ανεξάρτητα ότι τα πολυώνυμα που ικανοποιούν τα δεδομένα του προβλήματος είναι πολυώνυμα με πραγματικούς συντελεστές (βλ. το ποστ 4 ,του κυρίου Μπαλόγλου).
Έστω ότι το πολυώνυμο έχει και μιγαδικές ρίζες.Τότε,γράφεται στη μορφή , με το να έχει μόνο μιγαδικές ρίζες και το μόνο πραγματικές.
Το γράφεται ως:
, όπου ,
με και επιλέγω .
Έστω .
Τότε, .
και η δοσμένη σχέση δίνει μετά την αντικατάσταση :
.(*)
Έγιναν απλοποιήσεις με χρήση της .
Θέτω και είναι .
Τότε,
.
Μετά τις αντικαταστάσεις και απλές πράξεις, η σχέση (*) γράφεται:
Θα δείξω ότι , πράγμα που θα οδηγεί σε άτοπο.
Για την πρώτη ανισότητα:
Είναι .
Έχω ότι:
.
Όμως, ,
όπως προκύπτει μετά από πολλαπλασιασμό του παρονομαστή με το συζυγή του.
Όμοια, κτλ. Η ζητούμενη ανισότητα προκύπτει άμεσα.
Για τη δεύτερη ανισότητα:
Θέτω .
Οπότε,
Είναι (όμοιο επιχείρημα με πριν, δηλαδή άμεσο μετά από πολλαπλασιασμό του παρονομαστή με το συζυγή).
Τελικά και η δεύτερη ανισότητα άμεση, όπως θέλαμε.
Προσθήκη:
Η παραπάνω λύση ισχύει για πολυώνυμα με πραγματικούς συντελεστές, ώστε ο συζυγής κάθε μιγαδικής ρίζας να είναι επίσης ρίζα.Αυτό δεν ισχύει για πολυώνυμα με μιγαδικούς συντελεστές. Όμως, αποδεικνύεται ανεξάρτητα ότι τα πολυώνυμα που ικανοποιούν τα δεδομένα του προβλήματος είναι πολυώνυμα με πραγματικούς συντελεστές (βλ. το ποστ 4 ,του κυρίου Μπαλόγλου).
τελευταία επεξεργασία από ksofsa σε Τρί Σεπ 06, 2022 9:22 am, έχει επεξεργασθεί 2 φορές συνολικά.
Κώστας
Re: Ρίζες πολυωνύμου
Να προσθέσω ότι η διαίρεση με το επιτρέπεται , διότι το δεν μπορεί να έχει πολλαπλή μιγαδική ρίζα και άρα .
Ο λόγος είναι απλός.Έστω ότι έχει πολλαπλή μιγαδική ρίζα . Τότε, και άρα , από τη δοσμένη σχέση, .
Παραγωγίζοντας τη δοσμένη σχέση και αντικαθιστώντας παίρνουμε , παραγωγίζοντας ξανά παίρνουμε
κ.ο.κ.
Άρα, το έχει πολλαπλότητα και το πολυώνυμο δεν έχει άλλη ρίζα, άτοπο, γιατί έχει τουλάχιστον μια ακόμα λύση, το συζυγή του .
Άρα, το πολυώνυμο δεν έχει πολλαπλή μιγαδική ρίζα, όπως θέλαμε.Τώρα, αν δε μου διαφεύγει κάτι, τα βήματα της προηγούμενης δημοσίευσης είναι όλα επιτρεπτά.
Ο λόγος είναι απλός.Έστω ότι έχει πολλαπλή μιγαδική ρίζα . Τότε, και άρα , από τη δοσμένη σχέση, .
Παραγωγίζοντας τη δοσμένη σχέση και αντικαθιστώντας παίρνουμε , παραγωγίζοντας ξανά παίρνουμε
κ.ο.κ.
Άρα, το έχει πολλαπλότητα και το πολυώνυμο δεν έχει άλλη ρίζα, άτοπο, γιατί έχει τουλάχιστον μια ακόμα λύση, το συζυγή του .
Άρα, το πολυώνυμο δεν έχει πολλαπλή μιγαδική ρίζα, όπως θέλαμε.Τώρα, αν δε μου διαφεύγει κάτι, τα βήματα της προηγούμενης δημοσίευσης είναι όλα επιτρεπτά.
Κώστας
- gbaloglou
- Επιμελητής
- Δημοσιεύσεις: 3341
- Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
- Τοποθεσία: Θεσσαλονικη
- Επικοινωνία:
Re: Ρίζες πολυωνύμου
Καταθέτω κάποιες σκέψεις που ίσως οδηγούν σε διαφορετικής τεχνοτροπίας λύση:
H δοθείσα διαφορική εξίσωση γράφεται ως
όπου από υπόθεση : η πολυωνυμική αυτή εξίσωση επιτρέπει τον ακριβή υπολογισμό των συντελεστών του δοθέντος πολυωνύμου ως πραγματικών αριθμών, συγκεκριμένα:
, .
Για παράδειγμα, , , , , κλπ
Έχουμε δηλαδή στην ουσία να κάνουμε με πραγματικά πολυώνυμα αρτίων δυνάμεων του , με γνωστούς συντελεστές εναλλασσόμενου προσήμου: τα θεωρήματα τύπου Sturm, Descartes κλπ πλησιάζουν αλλά δεν φαίνεται να φτάνουν σε λύση, θα μπορούσαμε ίσως να εκμεταλλευθούμε κάποιες ταυτότητες με παραγοντικά, διωνυμικούς συντελεστές κλπ ώστε να φτάσουμε σε τιμές πολυωνύμου εναλλασσόμενου προσήμου που θα εγγυώνται την ύπαρξη 'αρκετών' πραγματικών ριζών (και άρα μόνον αυτών), αλλά προς το παρόν δεν βλέπω κάτι, ίσως κάποιος μπορεί να το τελειώσει;
H δοθείσα διαφορική εξίσωση γράφεται ως
όπου από υπόθεση : η πολυωνυμική αυτή εξίσωση επιτρέπει τον ακριβή υπολογισμό των συντελεστών του δοθέντος πολυωνύμου ως πραγματικών αριθμών, συγκεκριμένα:
, .
Για παράδειγμα, , , , , κλπ
Έχουμε δηλαδή στην ουσία να κάνουμε με πραγματικά πολυώνυμα αρτίων δυνάμεων του , με γνωστούς συντελεστές εναλλασσόμενου προσήμου: τα θεωρήματα τύπου Sturm, Descartes κλπ πλησιάζουν αλλά δεν φαίνεται να φτάνουν σε λύση, θα μπορούσαμε ίσως να εκμεταλλευθούμε κάποιες ταυτότητες με παραγοντικά, διωνυμικούς συντελεστές κλπ ώστε να φτάσουμε σε τιμές πολυωνύμου εναλλασσόμενου προσήμου που θα εγγυώνται την ύπαρξη 'αρκετών' πραγματικών ριζών (και άρα μόνον αυτών), αλλά προς το παρόν δεν βλέπω κάτι, ίσως κάποιος μπορεί να το τελειώσει;
Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Re: Ρίζες πολυωνύμου
Ευχαριστώ για τις λύσεις/προσεγγίσεις, βάζω και την δική μου λύση για πληρότητα.
Θα αποδείξουμε ότι το έχει πραγματικές ρίζες.
Χρησιμοποιούμε επαγωγή στο . Για , από τη διαφορική εξίσωση προκύπτει ότι ο σταθερός όρος είναι , οπότε (ισχύει).
Παραγωγίζοντας τη διαφορική εξίσωση, παίρνουμε
και έτσι γνωρίζουμε από την επαγωγική υπόθεση ότι η παράγωγος έχει πραγματικές ρίζες. Για κάθε μία από αυτές ισχύει . Αφού το πρόσημο της εναλλάσσεται μεταξύ των ριζών της , το ίδιο ισχύει και για το πρόσημο της . Έτσι, λόγω συνέχειας, θα έχουμε πραγματικές ρίζες μεταξύ των ριζών της παραγώγου.
Επιπλέον, μετά την μέγιστη ρίζα της , η διατηρεί πρόσημο αλλά, για αρκετά μεγάλα , πρέπει να έχει το ίδιο πρόσημο με την . Άρα θα υπάρχει ακόμα μία ρίζα της , μεγαλύτερη από όλες τις ρίζες της παραγώγου. Ομοίως θα υπάρχει ακόμα μία μικρότερη από όλες.
Οπότε, το έχει το πλήθος πραγματικές ρίζες.
Θα αποδείξουμε ότι το έχει πραγματικές ρίζες.
Χρησιμοποιούμε επαγωγή στο . Για , από τη διαφορική εξίσωση προκύπτει ότι ο σταθερός όρος είναι , οπότε (ισχύει).
Παραγωγίζοντας τη διαφορική εξίσωση, παίρνουμε
και έτσι γνωρίζουμε από την επαγωγική υπόθεση ότι η παράγωγος έχει πραγματικές ρίζες. Για κάθε μία από αυτές ισχύει . Αφού το πρόσημο της εναλλάσσεται μεταξύ των ριζών της , το ίδιο ισχύει και για το πρόσημο της . Έτσι, λόγω συνέχειας, θα έχουμε πραγματικές ρίζες μεταξύ των ριζών της παραγώγου.
Επιπλέον, μετά την μέγιστη ρίζα της , η διατηρεί πρόσημο αλλά, για αρκετά μεγάλα , πρέπει να έχει το ίδιο πρόσημο με την . Άρα θα υπάρχει ακόμα μία ρίζα της , μεγαλύτερη από όλες τις ρίζες της παραγώγου. Ομοίως θα υπάρχει ακόμα μία μικρότερη από όλες.
Οπότε, το έχει το πλήθος πραγματικές ρίζες.
Δημήτρης Σκουτέρης
Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 5 επισκέπτες