שינויים
/* המטריצה הנילוות (המצורפת) */
=המטריצה הנילוות (המצורפת)=
'''הגדרה''' תהי <math>A\in F^{n\times n}</math>, המטריצה נילווית שלה היא המטריצה <math>adj(A)_{i,j}=\left( (-1)^{i+j}|M_{ji}| \right)_{ij}</math>.
(שימו לב להחלפה בין <math>i</math> ו<math>j</math>!)
ב.לפי המשפט <math>adjA=|A| A^{-1}</math> ולכן בעצם נשאר למצוא ביטוי ל<math>A^{-1}</math>.
לפי הסעיף הקודם <math>A^{-1}=-A-2I</math> ולכן <math>adjA=(-A-2I)|A|</math>.
===תרגיל===
יהיו A,B ריבועיות (מגודל <math>n\times n</math>ׂ. הוכיחו כי <math>adj(AB)=adj(B)adj(A)</math>
פתרון:
מקרה 1: גם A וגם B הפיכות: מקרה פשוט - מוזמנים להוכיח בעזרת המשפט <math>A\cdot adj(A)=det(A)\cdot I</math>
מקרה 2: A או B מדרגה קטנה שווה ל <math>n-2</math>: גם מקרה פשוט לאור העובדה שעבור מטריצה A שדרגתה קטנה שווה ל <math>n-2</math> מתקיים כי <math>adj(A)=0</math> ובנוסף <math>rank(AB)\leq rank(A),rank(B)</math>
מקרה 3 - אחרת: יהיו i,j נתונים. השתכנעו כי ניתן להגדיר מטריצה <math>A'</math> כך שהיא זהה ל A פרט אולי לשורה i ומטריצה <math>B'</math> שזהה למטריצה B פרט אולי לעמודה j המקיימות כי: או ש <math>A'</math> וגם <math>B'</math> הפיכות או ש <math>A'</math> או<math>B'</math> מדרגה קטנה שווה ל <math>n-2</math>.
בכל מקרה לפי מקרה1 ומקרה 2 נסיק כי <math>adj(A'B')=adj(B')adj(A')</math> ובנוסף
*<math>[adj(A'B')]_{j,i}=(-1)^{i+j}M_{i,j}(A'B')=(-1)^{i+j}M_{i,j}(AB)=[adj(A'B')]_{j,i}</math>
*<math>[adj(B')adj(A')]_{j,i}=R_{j}(adj(B'))C_i(adj(A'))=R_{j}(adj(B))C_i(adj(A))=[adj(B)adj(A)]_{j,i}</math>
===תרגיל===
תהי <math>A\in \mathbb{Q}^{n\times n}</math> ונתון שהיא הפיכה ב<math>\mathbb{R}^{n\times n}</math> (כלומר שיש מטריצה ''ממשית'' <math>B</math> כך ש <math>AB=BA=I</math>). הוכיחו כי היא הפיכה ב<math>\mathbb{Q}^{n\times n}</math>.
