Next: Άσκηση 32
Up: Άσκηση 31
Previous: Υπόδειξη
Έστω ότι τέτοιος πίνακας
υπάρχει. Τότε
και
άρα ο
είναι μηδενοδύναμος. Από προηγούμενα
αποτελέσματα έχουμε ότι το χαρακτηριστικό πολυώνυμο του
είναι
το
και από το Θεώρημα Cayley - Hamilton έχουμε ότι .
Αν τώρα ο
είναι άρτιος, δηλαδή
τότε
το
οποίο συνεπάγεται ότι
άτοπο γιατί
και από υπόθεση
.
Αν ο
είναι περιττός,
τότε
και ,
το οποίο είναι άτοπο από
την υπόθεση. Άρα δεν υπάρχει πίνακας
ώστε .
Vassilis Metaftsis
1999-09-15