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