<math>f_A=|A-xI|=|P^{-1}BP-xI|=|P^{-1}BP-xP^{-1}P|= |P^{-1}||B-xI||P|=|B-xI|=f_B</math>
:זו ההוכחה לפולינומים אופיינים. כדי להוכיח פולינומים מינימליים, תראה שעבור כל פולינום שמאפס את A, הוא מאפס גם את B וההפך. זה מראה לך בוודאות שהפולינום המינימליים שווים.
==שאלה==
האם אופרטור שומר מרחקים הוא בהכרח אוניטרי?