Άθροισμα ίχνους
Συντονιστής: Demetres
- Tolaso J Kos
- Δημοσιεύσεις: 5237
- Εγγραφή: Κυρ Αύγ 05, 2012 10:09 pm
- Τοποθεσία: Λάρισα, Βαρκελώνη
- Επικοινωνία:
Άθροισμα ίχνους
Έστω και οι λύσεις της εξίσωσης . Να δειχθεί ότι .
Η φαντασία είναι σημαντικότερη από τη γνώση !
Λέξεις Κλειδιά:
-
- Επιμελητής
- Δημοσιεύσεις: 15767
- Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am
Re: Άθροισμα ίχνους
α) Ένας τρόπος είναι να κάνουμε διαγωνοποίηση του δεξιού μέλους. Με την στάνταρ διαδικασία ιδιοτιμών βρίσκουμε
όπου για τον οποίο
Άρα η εξίσωση γίνεται ,
που είναι του ιδίου τύπου μόνο που τώρα το δεξί μέλος είναι διαγώνιος πίνακας και η κατάσταση εύκολη. Αφήνω τις λεπτομέρειες σημειώνοντας μόνο ότι στο τέλος θα χρειαστεί η ιδιότητα .
β) Άλλος τρόπος είναι να παρατηρήσουμε ότι το δεξί μέλος είναι πίνακας τάξης (η δεύτερη στήλη είναι πολλαπλάσιο της πρώτης) από όπου εύκολα διαπιστώνουμε ότι
To πρέπει να είναι και αυτό τάξης (γιατί αν ήταν θα ήταν επί οπότε θα ήταν επί και το , που δεν είναι αφού το ίσο του είναι τάξης ). Γράφουμε λοιπόν .
Είναι τότε και επαγωγικά
H εξίσωση τώρα γίνεται
Δεδομένου τώρα ότι (γνωστό), παίρνοντας trace της πρηγούμενης γίνεται .
H λύσεις αυτής είναι , όπου μιγαδική ρίζα της μονάδας. Άρα η τυπική λύση της αρχικής είναι
Η γραμμικότητα του trace δίνει ότι η ζητούμενη είναι πολλαπλάσιο του , όπως θέλαμε.
Edit: Έκανα μικρή βελτίωση της λύσης και διόρθωσα τυπογραφικά.
τελευταία επεξεργασία από Mihalis_Lambrou σε Τρί Νοέμ 02, 2021 11:31 am, έχει επεξεργασθεί 1 φορά συνολικά.
- Demetres
- Γενικός Συντονιστής
- Δημοσιεύσεις: 8989
- Εγγραφή: Δευ Ιαν 19, 2009 5:16 pm
- Τοποθεσία: Λεμεσός/Πύλα
- Επικοινωνία:
Re: Άθροισμα ίχνους
Ας δούμε το γενικότερο πρόβλημα με λύσεις της εξίσωσης .
Παρατηρούμε ότι αν είναι δύο λύσεις, τότε το είναι νιοστή ρίζα της μονάδας. (Θεωρώ .) Άρα οι νιοστές ρίζες του έρχονται σε -άδες της μορφής όπου . Σε κάθε -άδα το άθροισμα των ιχνών είναι 0 αφού .
Άρα και το συνολικό άθροισμα των ιχνών είναι 0 αρκεί αυτό να έχει νόημα. Δηλαδή να έχουμε πεπερασμένο πλήθος νιοστών ριζών. (Αν δεν έχει νιοστές ρίζες τότε το άθροισμα των ιχνών είναι εξ ορισμού ίσο με .)
Στη συγκεκριμένη περίπτωση που μας ενδιαφέρει, μπορούμε να θεωρήσουμε ότι ο πίνακας έχει μόνο νιοστές ρίζες αφού αυτό δίνεται στην εκφώνηση. Οπότε τελειώσαμε.
Αν αυτό δεν είναι αποδεκτό τότε βρίσκουμε ότι ο πίνακας έχει διακεκριμένες ιδιοτιμές από το οποίο προκύπτει ότι έχει πεπερασμένο πλήθος νιοστών ριζών. (Μάλιστα επειδή η μια ιδιοτιμή είναι ίση με 0 τότε έχουμε ακριβώς νιοστές ρίζες.)
Παρατηρούμε ότι αν είναι δύο λύσεις, τότε το είναι νιοστή ρίζα της μονάδας. (Θεωρώ .) Άρα οι νιοστές ρίζες του έρχονται σε -άδες της μορφής όπου . Σε κάθε -άδα το άθροισμα των ιχνών είναι 0 αφού .
Άρα και το συνολικό άθροισμα των ιχνών είναι 0 αρκεί αυτό να έχει νόημα. Δηλαδή να έχουμε πεπερασμένο πλήθος νιοστών ριζών. (Αν δεν έχει νιοστές ρίζες τότε το άθροισμα των ιχνών είναι εξ ορισμού ίσο με .)
Στη συγκεκριμένη περίπτωση που μας ενδιαφέρει, μπορούμε να θεωρήσουμε ότι ο πίνακας έχει μόνο νιοστές ρίζες αφού αυτό δίνεται στην εκφώνηση. Οπότε τελειώσαμε.
Αν αυτό δεν είναι αποδεκτό τότε βρίσκουμε ότι ο πίνακας έχει διακεκριμένες ιδιοτιμές από το οποίο προκύπτει ότι έχει πεπερασμένο πλήθος νιοστών ριζών. (Μάλιστα επειδή η μια ιδιοτιμή είναι ίση με 0 τότε έχουμε ακριβώς νιοστές ρίζες.)
Μέλη σε σύνδεση
Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 10 επισκέπτες