Πολυώνυμο χωρίς ρίζες
Συντονιστής: nsmavrogiannis
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Πολυώνυμο χωρίς ρίζες
Εστω πολυώνυμο με συντελεστές από το
Αν για
να δειχθεί ότι υπάρχουν πολυώνυμα με συντελεστές στο
ώστε
Επιπλέον να δειχθεί ότι τα μπορούν να επιλεγούν ώστε να έχουν διαφορετικό βαθμό.
Αν για
να δειχθεί ότι υπάρχουν πολυώνυμα με συντελεστές στο
ώστε
Επιπλέον να δειχθεί ότι τα μπορούν να επιλεγούν ώστε να έχουν διαφορετικό βαθμό.
Λέξεις Κλειδιά:
-
- Επιμελητής
- Δημοσιεύσεις: 15762
- Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am
Re: Πολυώνυμο χωρίς ρίζες
Με επαγωγή (στους άρτιους, μια και τα πολυώνυμα περιττού βαθμού πάντα έχουν ρίζα).ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:Εστω πολυώνυμο με συντελεστές από το
Αν για
να δειχθεί ότι υπάρχουν πολυώνυμα με συντελεστές στο
ώστε
Επιπλέον να δειχθεί ότι τα μπορούν να επιλεγούν ώστε να έχουν διαφορετικό βαθμό.
Για δευτεροβάθμια είναι γνωστό από το σχολείο και χρήση του . Εδώ .
Για το επαγωγικό βήμα και με χρήση του γεγονότος ότι οι ρίζες είναι συζυγείς μιγαδικές, έχουμε: Για πολυώνυμο βαθμού χωρίς πραγματικές ρίζες, υπάρχει πολυώνυμο βαθμού χωρίς πραγματικές ρίζες (άρα εμπίπτει στην επαγωγική υπόθεση) με
όπως θέλαμε.
Μπορούμε να φροντίσουμε οι βαθμοί να είναι διαφορετικοί γιατί έτσι το κάναμε στο πρώτο βήμα και, από κεί και πέρα, παίρνουμε τα της εκάστοτε γραφής ως τα υψηλόβαθμα.
- emouroukos
- Συντονιστής
- Δημοσιεύσεις: 1447
- Εγγραφή: Δευ Δεκ 22, 2008 1:27 pm
- Τοποθεσία: Αγρίνιο
Re: Πολυώνυμο χωρίς ρίζες
Το παραπάνω αποτέλεσμα δεν ισχύει για πολυώνυμα σε μεταβλητές. Δείτε τη σχετική συζήτηση εδώ.
Βαγγέλης Μουρούκος
Erro ergo sum.
Erro ergo sum.
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Πολυώνυμο χωρίς ρίζες
Πολύ ωραία Βαγγέλη.
Αυτή είναι μια από τις αποδείξεις που γνωρίζω.
Γνωρίζω ακόμα μία.
Θα το αφήσω κάποιες μέρες και μετά θα την γράψω.
Αυτή είναι μια από τις αποδείξεις που γνωρίζω.
Γνωρίζω ακόμα μία.
Θα το αφήσω κάποιες μέρες και μετά θα την γράψω.
-
- Επιμελητής
- Δημοσιεύσεις: 15762
- Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am
Re: Πολυώνυμο χωρίς ρίζες
Το ότι δεν ισχύει για πολλές μεταβλητές με είχε εντυπωσιάσει όταν το πρωτοάκουσα. Στο κάτω κάτω για απόδειξη ανισοτήτων, το πρώτο πράγμα που κάνει κανείς είναι να γράψει την παράσταση ως άθροισμα τετραγώνων. Να όμως που αποδεικύεται ότι αυτό δεν γίνεται πάντα! Καταπληκτικό!emouroukos έγραψε:Το παραπάνω αποτέλεσμα δεν ισχύει για πολυώνυμα σε μεταβλητές.
Νομίζω ότι υπάρχει μία πολύ απλή απόδειξη με Cauchy-Schwarz στο βιβλίο του Steele, "Τhe Cauchy-Schwarz Master class", αλλά δεν το έχω μπορστά μου να ψάξω.ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε: Γνωρίζω ακόμα μία.
Θα το αφήσω κάποιες μέρες και μετά θα την γράψω.
- cretanman
- Διαχειριστής
- Δημοσιεύσεις: 4097
- Εγγραφή: Πέμ Δεκ 18, 2008 12:35 pm
- Τοποθεσία: Ηράκλειο Κρήτης
- Επικοινωνία:
Re: Πολυώνυμο χωρίς ρίζες
Γράφω τη λύση που είχα στο μυαλό μου από το πρωί την οποία είχα μοιραστεί με τη συνάδελφο Ε. Περυσινάκη στο σχολείο. Δυστυχώς δεν είχα χρόνο στη διάρκεια της μέρας να τη γράψω.
Μερικές παρατηρήσεις:
Καταρχήν αν το είναι πραγματική ρίζα τότε θα είναι άρτιας πολλαπλότητας διότι διαφορετικά θα άλλαζε το πρόσημο του πολυωνύμου εκατέρωθεν του , άτοπο. Όμως κάθε παράγοντας της μορφής γράφεται ως άθροισμα τετραγώνων πολυωνύμων με πραγματικούς συντελεστές.
Επίσης αν το είναι μη πραγματική ρίζα του τότε το θα είναι επίσης ρίζα κι έτσι ο θα ήταν παράγοντας του και γράφεται και ως άθροισμα τετραγώνων πολυωνύμων με ακέραιους συντελεστές.
Επιστροφή στο πρόβλημα:
Έστω ότι το γράφεται όπου πραγματικές ρίζες του και μη πραγματικές ρίζες.
Τώρα όλο το θέμα είναι να καταφέρουμε να γράψουμε αυτό το γινόμενο, που αποτελείται από παράγοντες της μορφής , ως άθροισμα τετραγώνων πολυωνύμων. Εκεί μας βοηθάει η ταυτότητα Lagrange που έγραψε και ο κ. Μιχάλης παραπάνω με την οποία μετατρέπουμε το γινόμενο αθροίσματος τετραγώνων σε άθροισμα τετραγώνων:
Επαγωγικά αυτό γίνεται και για περισσότερους από δύο παράγοντες (π.χ. για παράγοντες που έχω παραπάνω) κάτι που ολοκληρώνει την απόδειξη. Νομίζω ο παραπάνω τρόπος απαντάει και στο ερώτημα του Σταύρου ώστε τα τελικά πολυώνυμα και που θα προκύψουν, να μην είναι ίδιου βαθμού.
Αλέξανδρος
Μερικές παρατηρήσεις:
Καταρχήν αν το είναι πραγματική ρίζα τότε θα είναι άρτιας πολλαπλότητας διότι διαφορετικά θα άλλαζε το πρόσημο του πολυωνύμου εκατέρωθεν του , άτοπο. Όμως κάθε παράγοντας της μορφής γράφεται ως άθροισμα τετραγώνων πολυωνύμων με πραγματικούς συντελεστές.
Επίσης αν το είναι μη πραγματική ρίζα του τότε το θα είναι επίσης ρίζα κι έτσι ο θα ήταν παράγοντας του και γράφεται και ως άθροισμα τετραγώνων πολυωνύμων με ακέραιους συντελεστές.
Επιστροφή στο πρόβλημα:
Έστω ότι το γράφεται όπου πραγματικές ρίζες του και μη πραγματικές ρίζες.
Τώρα όλο το θέμα είναι να καταφέρουμε να γράψουμε αυτό το γινόμενο, που αποτελείται από παράγοντες της μορφής , ως άθροισμα τετραγώνων πολυωνύμων. Εκεί μας βοηθάει η ταυτότητα Lagrange που έγραψε και ο κ. Μιχάλης παραπάνω με την οποία μετατρέπουμε το γινόμενο αθροίσματος τετραγώνων σε άθροισμα τετραγώνων:
Επαγωγικά αυτό γίνεται και για περισσότερους από δύο παράγοντες (π.χ. για παράγοντες που έχω παραπάνω) κάτι που ολοκληρώνει την απόδειξη. Νομίζω ο παραπάνω τρόπος απαντάει και στο ερώτημα του Σταύρου ώστε τα τελικά πολυώνυμα και που θα προκύψουν, να μην είναι ίδιου βαθμού.
Αλέξανδρος
Αλέξανδρος Συγκελάκης
- cretanman
- Διαχειριστής
- Δημοσιεύσεις: 4097
- Εγγραφή: Πέμ Δεκ 18, 2008 12:35 pm
- Τοποθεσία: Ηράκλειο Κρήτης
- Επικοινωνία:
Re: Πολυώνυμο χωρίς ρίζες
Παρατηρώ τώρα ότι στην απόδειξή μου παραπάνω θεώρησα ότι για κάθε (δηλαδή ότι ενδέχεται να υπάρχουν και πραγματικές ρίζες του πολυωνύμου) αντί για που δίνει η εκφώνηση. Προφανώς από απροσεξία. Την αφήνω γιατί βελτιώνει λίγο το αποτέλεσμα και δεν αλλάζει και ο τρόπος απόδειξης.
Για την περίπτωση για κάθε , δεν έχουμε πραγματικές ρίζες και απλά γράφουμε και η απόδειξη συνεχίζεται με τον ίδιο επαγωγικό τρόπο όπως παραπάνω με χρήση της ταυτότητας Lagrange.
Αλέξανδρος
Για την περίπτωση για κάθε , δεν έχουμε πραγματικές ρίζες και απλά γράφουμε και η απόδειξη συνεχίζεται με τον ίδιο επαγωγικό τρόπο όπως παραπάνω με χρήση της ταυτότητας Lagrange.
Αλέξανδρος
Αλέξανδρος Συγκελάκης
-
- Δημοσιεύσεις: 3600
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Πολυώνυμο χωρίς ρίζες
Οπως ανέφερε ο Μιχάλης Λάμπρου είναι το πρόβλημα 3.2 του εξαίρετου βιβλίου
The Cauchy-Schwarz Master Class
του J.Michael Steele
Εκεί υπάρχει λύση όμοια με αυτές που δόθηκαν.
Το πρόβλημα και την λύση την γνωρίζω από τα μαθητικά μου χρόνια.
Υποθέτω ότι ο μεγιστοβάθμιος συντελεστής είναι
Το έχει μιγαδικές ρίζες συζυγείς ανά δύο.
Εστω ότι αυτές είναι
Θεωρούμε το
Προφανώς
και όπου πολυώνυμα με
Τελικά
Σημείωση είναι ο συζυγής του
The Cauchy-Schwarz Master Class
του J.Michael Steele
Εκεί υπάρχει λύση όμοια με αυτές που δόθηκαν.
Το πρόβλημα και την λύση την γνωρίζω από τα μαθητικά μου χρόνια.
Υποθέτω ότι ο μεγιστοβάθμιος συντελεστής είναι
Το έχει μιγαδικές ρίζες συζυγείς ανά δύο.
Εστω ότι αυτές είναι
Θεωρούμε το
Προφανώς
και όπου πολυώνυμα με
Τελικά
Σημείωση είναι ο συζυγής του
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 4 επισκέπτες