Εικοσιδωδεκάεδρον 15.26
Συντονιστής: nsmavrogiannis
- gbaloglou
- Επιμελητής
- Δημοσιεύσεις: 3355
- Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
- Τοποθεσία: Θεσσαλονικη
- Επικοινωνία:
Εικοσιδωδεκάεδρον 15.26
Με χαρά διαπίστωσα σήμερα ότι κυκλοφόρησε το 15ο τεύχος του Εικοσιδωδεκαέδρου, με θέμα "Μιγαδικοί Αριθμοί και Γεωμετρία". Με την ευκαιρία αυτή ξανασκέφθηκα το ένα από τα δύο προβλήματα όπου υπάρχει λύση μου, το #26, και θα ήθελα να δώσω εδώ μία ακόμη λύση, αν και μη γεωμετρική.
Το πρόβλημα: Αν για το μιγαδικό τριώνυμο , όπου , ισχύει η για κάθε τέτοιο ώστε , τότε και .
Η λύση: Για κάθε γωνία ισχύει, με και , η , καθότι ισχύουν οι και . Ύστερα από τις πράξεις προκύπτει η ισότητα
για κάθε γωνία πάντοτε. Θέτοντας και προκύπτουν οι ισότητες
και
οπότε και, λόγω της , . Αλλά η δίνει , και, λόγω της και πάλι, .
Από τις , και την αρχική συνθήκη προκύπτει η για , οπότε .
[Το θέμα αυτό συζητήθηκε στο ... τον Απρίλιο του 2009 -- άλλες εποχές τότε, πιο αισιόδοξες...]
Το πρόβλημα: Αν για το μιγαδικό τριώνυμο , όπου , ισχύει η για κάθε τέτοιο ώστε , τότε και .
Η λύση: Για κάθε γωνία ισχύει, με και , η , καθότι ισχύουν οι και . Ύστερα από τις πράξεις προκύπτει η ισότητα
για κάθε γωνία πάντοτε. Θέτοντας και προκύπτουν οι ισότητες
και
οπότε και, λόγω της , . Αλλά η δίνει , και, λόγω της και πάλι, .
Από τις , και την αρχική συνθήκη προκύπτει η για , οπότε .
[Το θέμα αυτό συζητήθηκε στο ... τον Απρίλιο του 2009 -- άλλες εποχές τότε, πιο αισιόδοξες...]
Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Λέξεις Κλειδιά:
- gbaloglou
- Επιμελητής
- Δημοσιεύσεις: 3355
- Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
- Τοποθεσία: Θεσσαλονικη
- Επικοινωνία:
Re: Εικοσιδωδεκάεδρον 15.26
Θα μπορούσε άραγε να επεκταθεί αυτό το αποτέλεσμα σε πολυώνυμα οποιουδήποτε βαθμού; Δοκίμασα ανάλογη μέθοδο σε τριτοβάθμιο πολυώνυμο ... και η υπόθεση μου φάνηκε αρκετά μπλεγμένη...
Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Re: Εικοσιδωδεκάεδρον 15.26
Μπορούμε να χρησιμοποιήσουμε το λήμμα:
Αν για κάθε τότε , για (προβολή Fourier).
Θέτοντας μπορούμε να εκφράσουμε το με αυτόν τον τρόπο και, επειδή , από το λήμμα ο σταθερός όρος του μηδενίζεται. Τα υπόλοιπα είναι επαγωγή.
Αν για κάθε τότε , για (προβολή Fourier).
Θέτοντας μπορούμε να εκφράσουμε το με αυτόν τον τρόπο και, επειδή , από το λήμμα ο σταθερός όρος του μηδενίζεται. Τα υπόλοιπα είναι επαγωγή.
Δημήτρης Σκουτέρης
Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
Τα μαθηματικά είναι η μοναδική επιστήμη που θα μπορούσε κανείς να εξακολουθήσει να ασκεί αν κάποτε ξυπνούσε και το σύμπαν δεν υπήρχε πλέον.
-
- Δημοσιεύσεις: 3603
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Εικοσιδωδεκάεδρον 15.26
Να σημειώσω ότι το λήμμα που επικαλείται ο Δημήτρης είναι στοιχειώδες.
Δηλαδή μπορεί να αποδειχθεί με σχολική ύλη.
Συγκεκριμένα.
Αν είναι ένα τριγωνομετρικό πολυώνυμο
()
και
τότε
To έβαλα σαν άσκηση στο
viewtopic.php?f=54&t=56731
Δηλαδή μπορεί να αποδειχθεί με σχολική ύλη.
Συγκεκριμένα.
Αν είναι ένα τριγωνομετρικό πολυώνυμο
()
και
τότε
To έβαλα σαν άσκηση στο
viewtopic.php?f=54&t=56731
- gbaloglou
- Επιμελητής
- Δημοσιεύσεις: 3355
- Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
- Τοποθεσία: Θεσσαλονικη
- Επικοινωνία:
Re: Εικοσιδωδεκάεδρον 15.26
Όχι και τόσο (και όχι λόγω των καίριων Fourier επισημάνσεων του Δημήτρη και του Σταύρου):gbaloglou έγραψε:Θα μπορούσε άραγε να επεκταθεί αυτό το αποτέλεσμα σε πολυώνυμα οποιουδήποτε βαθμού; Δοκίμασα ανάλογη μέθοδο σε τριτοβάθμιο πολυώνυμο ... και η υπόθεση μου φάνηκε αρκετά μπλεγμένη...
Ακολουθώντας την ίδια ακριβώς προσέγγιση που χρησιμοποίησα για το δευτεροβάθμιο πολυώνυμο, παρατηρώ ότι η συνθήκη για και οδηγεί, ύστερα από αρκετές είναι η αλήθεια πράξεις, στην
για κάθε γωνία : αυτό εύκολα ή δύσκολα -- γραμμικό ομογενές σύστημα 6 αγνώστων και απείρων το πλήθος εξισώσεων -- οδηγεί στην , οπότε, με δεδομένη την , προκύπτουν οι και .
[Αναλόγως και για πολυώνυμα μεγαλύτερου βαθμού, και χωρίς καν να χρειάζεται να βάλουμε στο παιγνίδι τον ...]
Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: Εικοσιδωδεκάεδρον 15.26
Ας το δούμε και με μιγαδική ανάλυση:
Έστω πολυώνυμο ώστε για κάθε με . Έστω οι ρίζες του μέσα στον μοναδιαίο δίσκο και οι ρίζες του έξω από τον μοναδιαίο δίσκο. (Με πολλαπλότητα.)
Τότε για κάποιο . Θεωρώ το πολυώνυμο .
Παρατηρώ ότι το δεν έχει ρίζα μέσα στον μοναδιαίο δίσκο. Επίσης για κάθε με .
Από το maximum modulus principle, είναι
Από το minimum modulus principle (αφού η δεν μηδενίζεται στον μοναδιαίο δίσκο) είναι
Άρα για κάθε με έχουμε . Επομένως μέσα στον μοναδιαίο δίσκο μπορούμε να ορίσουμε την συνάρτηση . Αυτή η συνάρτηση θα έχει σταθερό πραγματικό μέρος και επομένως (π.χ. από τις εξισώσεις Cauchy-Riemann) θα έχουμε ότι στον μοναδιαίο δίσκο η είναι σταθερή. Άρα και η είναι σταθερή στον μοναδιαίο δίσκο.
Από εδώ λαμβάνουμε και επιπλέον . Άρα όπως θέλαμε να δείξουμε.
Ουσιαστικά η ίδια απόδειξη δείχνει ότι το ίδιο συμπέρασμα ισχύει ακόμη και αν η είναι οποιαδήποτε μιγαδικώς παραγωγίσιμη συνάρτηση. Το μόνο επιπλέον στοιχείο που χρειάζεται είναι ότι κάθε τέτοια συνάρτηση έχει πεπερασμένο πλήθος ριζών (μετρώντας και την πολλαπλότητα) μέσα στον μοναδιαίο δίσκο.
Έστω πολυώνυμο ώστε για κάθε με . Έστω οι ρίζες του μέσα στον μοναδιαίο δίσκο και οι ρίζες του έξω από τον μοναδιαίο δίσκο. (Με πολλαπλότητα.)
Τότε για κάποιο . Θεωρώ το πολυώνυμο .
Παρατηρώ ότι το δεν έχει ρίζα μέσα στον μοναδιαίο δίσκο. Επίσης για κάθε με .
Από το maximum modulus principle, είναι
Από το minimum modulus principle (αφού η δεν μηδενίζεται στον μοναδιαίο δίσκο) είναι
Άρα για κάθε με έχουμε . Επομένως μέσα στον μοναδιαίο δίσκο μπορούμε να ορίσουμε την συνάρτηση . Αυτή η συνάρτηση θα έχει σταθερό πραγματικό μέρος και επομένως (π.χ. από τις εξισώσεις Cauchy-Riemann) θα έχουμε ότι στον μοναδιαίο δίσκο η είναι σταθερή. Άρα και η είναι σταθερή στον μοναδιαίο δίσκο.
Από εδώ λαμβάνουμε και επιπλέον . Άρα όπως θέλαμε να δείξουμε.
Ουσιαστικά η ίδια απόδειξη δείχνει ότι το ίδιο συμπέρασμα ισχύει ακόμη και αν η είναι οποιαδήποτε μιγαδικώς παραγωγίσιμη συνάρτηση. Το μόνο επιπλέον στοιχείο που χρειάζεται είναι ότι κάθε τέτοια συνάρτηση έχει πεπερασμένο πλήθος ριζών (μετρώντας και την πολλαπλότητα) μέσα στον μοναδιαίο δίσκο.
- gbaloglou
- Επιμελητής
- Δημοσιεύσεις: 3355
- Εγγραφή: Παρ Φεβ 27, 2009 10:24 pm
- Τοποθεσία: Θεσσαλονικη
- Επικοινωνία:
Re: Εικοσιδωδεκάεδρον 15.26
Είχα φανταστεί ότι υπάρχει κάποια επέκταση πέραν των πολυωνύμων, δεν ήμουν όμως σε θέση ούτε καν να την διατυπώσω!Demetres έγραψε:Ουσιαστικά η ίδια απόδειξη δείχνει ότι το ίδιο συμπέρασμα ισχύει ακόμη και αν η είναι οποιαδήποτε μιγαδικώς παραγωγίσιμη συνάρτηση. Το μόνο επιπλέον στοιχείο που χρειάζεται είναι ότι κάθε τέτοια συνάρτηση έχει πεπερασμένο πλήθος ριζών (μετρώντας και την πολλαπλότητα) μέσα στον μοναδιαίο δίσκο.
Γιώργος Μπαλόγλου -- κρυσταλλογράφω άρα υπάρχω
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
Ὁρᾷς, τὸ κάλλος ὅσσον ἐστὶ τῆς λίθου, ἐν ταῖς ἀτάκτοις τῶν φλεβῶν εὐταξίαις. -- Παλατινή Ανθολογία 9.695 -- Ιδού του πετραδιού η άμετρη ομορφιά, μεσ' των φλεβών τις άναρχες πειθαρχίες.
-
- Δημοσιεύσεις: 3603
- Εγγραφή: Πέμ Φεβ 27, 2014 9:05 am
- Τοποθεσία: ΧΑΛΚΙΔΑ- ΑΘΗΝΑ-ΚΡΗΤΗ
Re: Εικοσιδωδεκάεδρον 15.26
Να διατυπώσω το γενικότερο που ισχύει.
Εστω
συνεχής συνάρτηση που είναι ολόμορφη στο
Αν
τότε υπάρχει και
ώστε
Η απόδειξη του Δημήτρη περνάει.
Το μόνο που πρέπει να αποκλείσουμε είναι ότι η συνάρτηση δεν έχει άπειρες ρίζες στο
Γιατί αν είχε άπειρες ρίζες τότε το σύνολο των ριζών θα είχε ένα σημείο συσσώρευσης
εστω το
Προφανώς
Τότε όμως από την αρχή της ταυτότητας (η αρχή αναλυτικής συνέχισης) θα είχαμε
στο
που είναι ΑΤΟΠΟ.
Εστω
συνεχής συνάρτηση που είναι ολόμορφη στο
Αν
τότε υπάρχει και
ώστε
Η απόδειξη του Δημήτρη περνάει.
Το μόνο που πρέπει να αποκλείσουμε είναι ότι η συνάρτηση δεν έχει άπειρες ρίζες στο
Γιατί αν είχε άπειρες ρίζες τότε το σύνολο των ριζών θα είχε ένα σημείο συσσώρευσης
εστω το
Προφανώς
Τότε όμως από την αρχή της ταυτότητας (η αρχή αναλυτικής συνέχισης) θα είχαμε
στο
που είναι ΑΤΟΠΟ.
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: Εικοσιδωδεκάεδρον 15.26
Σταύρο, ευχαριστώ που έκανες τον κόπο να τα γράψεις. Αυτά ακριβώς είχα υπόψη. Με την επιπλέον προσθήκη ότι κάθε ρίζα μιας ολόμορφης συνάρτησης έχει πεπερασμένη τάξη.ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ έγραψε:
Η απόδειξη του Δημήτρη περνάει.
Το μόνο που πρέπει να αποκλείσουμε είναι ότι η συνάρτηση δεν έχει άπειρες ρίζες στο
Γιατί αν είχε άπειρες ρίζες τότε το σύνολο των ριζών θα είχε ένα σημείο συσσώρευσης
εστω το
Προφανώς
Τότε όμως από την αρχή της ταυτότητας (η αρχή αναλυτικής συνέχισης) θα είχαμε
στο
που είναι ΑΤΟΠΟ.
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 1 επισκέπτης