<math>P^*AP=D</math> אז <math>(P^*AP)^*=P^*A^*P=D^*=D</math> ולכן <math>A=PDP^*=A^*</math>.
'''לגבי החלק השני של השאלה, כאמור, הוכחנו את זה בתירגול מיד אחרי נורמלית+משולשית-=אלכסונית. עדי
2- האם יש משפט שאומר: אם הפולינום המינימלי מל"ל שונים אז המטריצה לכסינה? (אני שואלת בגלל פתרון שאלה 2 בתרגיל 5)