שינויים
/* ה */
===ה===
הוכח כי הפולינום המינימלי של מטריצת הבלוקים <math>A\oplus B = \begin{bmatrix} A & 0 \\ 0 & B \end{bmatrix}</math> הוא המכפלה המשותפת המינימלית של הפולינומים <math>lcm(m_A(x),m_B(x))</math>
'''הוכחה.'''
ראשית נשים לב כי לכל פולינום f מתקיים:
::<math>f(A\oplus B)= f(A)\oplus f(B)</math> (זה תרגיל קל בכפל מטריצות בלוקים).
לכן, אם <math>f(A\oplus B)=0</math> אזי <math>f(A)=0</math> וגם <math>f(B)=0</math>.
לכן, <math>m_A(x)|f(x)</math> וגם <math>m_B(x)|f(x)</math>, כלומר f הוא כפולה משותפת של <math>m_A(x),m_B(x)</math>.
בכיוון ההפוך, כל כפולה משותפת של הפולינומים המינימליים תאפס את מטריצת הבלוקים.
ביחד, הפולינומים המאפסים את מטריצת הבלוקים הם בדיוק הכפולות המשותפות של הפולינומים המינימליים, ואנו מחפשים את המינימלי מבין כל הכפולות המשותפות.
===ו===
