Способы нахождения обратной матрицы
Пусть дана квадратная матрица . Требуется найти обратную матрицу .
Первый способ. В теореме 4.1 существования и единственности обратной матрицы указан один из способов ее нахождения.
1. Вычислить определитель данной матрицы. Если , то обратной матрицы не существует (матрица вырожденная).
2. Составить матрицу из алгебраических дополнений элементов матрицы .
3. Транспонируя матрицу , получить присоединенную матрицу .
4. Найти обратную матрицу (4.1), разделив все элементы присоединенной матрицы на определитель 
Второй способ. Для нахождения обратной матрицы можно использовать элементарные преобразования.
1. Составить блочную матрицу , приписав к данной матрице единичную матрицу того же порядка.
2. При помощи элементарных преобразований, выполняемых над строками матрицы , привести ее левый блок к простейшему виду . При этом блочная матрица приводится к виду , где — квадратная матрица, полученная в результате преобразований из единичной матрицы .
3. Если , то блок равен обратной матрице, т.е. . Если , то матрица не имеет обратной.
В самом деле, при помощи элементарных преобразований строк матрицы можно привести ее левый блок к упрощенному виду (см. рис. 1.5). При этом блочная матрица преобразуется к виду , где — элементарная матрица, удовлетворяющая равенству . Если матрица невырожденная, то согласно п.2 замечаний 3.3 ее упрощенный вид совпадает с единичной матрицей . Тогда из равенства следует, что . Если же матрица вырожденная, то ее упрощенный вид отличается от единичной матрицы, а матрица не имеет обратной.
Замечания 4.3
1. Для невырожденных квадратных матриц второго порядка можно указать простое правило нахождения обратной матрицы, следующее из первого способа:
а) поменять местами элементы на главной диагонали; б) изменить знаки у элементов побочной диагонали; в) поделить полученную матрицу на определитель . В результате получим обратную матрицу
 (4.2)
Действительно, следуя первому способу, имеем:
![\begin{aligned}&\bold{1.}~\det{A}=ad-bc;\qquad \bold{2.}~\begin{pmatrix}A_{ij}\end{pmatrix}= \begin{pmatrix}d&-c\\ -b&a \end{pmatrix}\!;\\[5pt] &\bold{3.}~A^{+}= \begin{pmatrix}A_{ij} \end{pmatrix}^T= \begin{pmatrix}d&-b\\-c&a\end{pmatrix}\!;\quad \bold{4.}~A^{-1}=\frac{1}{ad-bc}= \begin{pmatrix}d&-b\\-c&a\end{pmatrix}\!,\end{aligned}](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAkQAAABvBAMAAAD/OsK1AAAALVBMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACttl6nAAAADnRSTlMAgcFoQajpMCERUdCREPZfONwAAA6dSURBVHja7F3/bxPnGX/tu4vvHDvy8SVFZbPSMMJoi+XAgK0My5CQbmoXOeFbV2iUL4SGQSMDW1qJLQqFoYltlmnVbFK0yEDFpv4QIdjYWqTIpYVNsKFsDCatW+UkzhdC5L9h9753vnvv7j37Dn9Z6fmRcM72e773/dzzfJ7nee99HwCoyBMuPzTRhrI1Qu51ZiCK2BmigQkzrXbbGCH2dfnw6FLjZs6gfSGq9smHL8/kQPKAfSGqVQ5dk7naxW1rZ9MYJ6dzNHzgsytETCd2nMrl0/rsClFMpmEXf6aODA4fFl65XrtC1CFTzJ0P+om25OptmoN/99iUjBTdcMyBu2Fi3BRhEEcN2tTtUwuyxUVAh1p7mqGEQSDuRuBUXbYpWz/MHt0Ngm7VVw4eygpXNlhi5u0JUY3M0IEhclhEZT+lpr90o9dTx1Z9o9akDJEQFh0nQSQQ0X+R4c2Us/fN39P2wyguO/0d/J23OWrehCSIGOWUY3qf5JeB7AAjqU/JsSW3Bh3NlhiVo/ibgDaMjdUZnHZLpd3UeM45iaN8QnlzQfobCuaa0eiQndiDpc9ME39904abUUnPSimnl2dUTChBJCt2wAgix5zaLnI53n90B2ZlleGkBJ7Dg50e3Tnjioa+D44Tp0XYi1EtnCXJFRuIEJ2X3tPjnUZzEOov/LkMLZSmMofkS0ige3CINunOyVgYhD9RUjVyEiFqy05IxIyyoxq17u/JGShPgoBsl1WSvv28FfuFUR3CU1Yg8pUPouZzAkRHv6n4U75GBxGN8qIXNZbVe1oYpOtF8jVOvAZRkmRQQuNrrZgNV2kHSVuBqLV8EG36eF8aMB/5gzdm69FAuA+d2rDMdeTGKoGsV46r7rvrUVsPcF1ZnjxjEOmOy9QVEv+4I4MYRExdQRAJ+sgslAMit4BPGviHmENAuudMwoks7+16KKtRYhT0TAPmEHdQTd6ToHZoIDicGiRzlzsjW5U0U1Y9hCuoA55Go6vUo4CIthLrQH10TpcDIiHXcaS5KUCnsxBtB05tFHANOOahv+7Vkrf/u4fBe0HXEPEqw0p8fEMyYQAh+jYA9+EZDq0905MWIfJGywGREAM50vQs/5VVWYiu1zdobg61COEYj7vg52wGyoxI3h1NxveRuxZ+K3vcLjrs7vqAAMsLAPxioigQlYeLBhFEiAQm0U2hdjXv0HTVkxbg4B4BSh0WDfpA/ztzhhcZWatEPktEE/5G80uYguohmvmCQXQrKGWOgtN/BDOfSRpyx4M4JBmYIMhc5EyB1q2bFwHT+TtVJ8PsjDNlqETXm5vS4NI6jIu2A2jD/4kAai+Zi6a+WBDRGTQ6gaYhXUfBp2CG9onRkVvTVU8KdBwPToKBiMp1xcKePiYFuMgZUqrwmWCO89nQCHk0rk+48gL42wHw1PoieDThbE/JZrCPNWTqk2w/8kPe62/dmgl+1tMUAQ07osC7cibsXT67TB30L/y041j8ztmGZ5Oq1PT7tVHuyK+2RFtJqtQhQCRAK7rlGAygahcnXCuntv62E4T/ijxFUhtbWIFoTDi7arJUEJ3keT4ITol+iGpr+jgINu4E4N6rAho8HxX+qSECP/6zYBrUJ7++qUqbuI3fAuDc7gSg1hIu0ogu8m5Yjq5pnp8Q/n2VEXTuKoquE4VG1662J2YyKC8tUHhQfRxw82ZyNFcmlQsiCP6GJwUhNpKvBYeRRsvfgbuTnOlrJjhGL+fKAaH7/fqTApEzfwR3AfP1QeBJajQLECc4YskcvwjhdCefGC3K30Q1kXmvCrLQCf18UEidJodyzXfAWUd2AnyJBB/typvwdWve7F158KiX8s5dl13+bWSYmodjh9vVdEVfuSqzHrUAbCnKczRkv7PRVhWYoagy2aduah9Rq4bwLoZbHtsFqmSKr4rYEyJptuUCStsSgqKoyImZwyCz6zN9iaD/iZ7fTwjM5MeBqOkEITkqsOvKEGx9EYQkCcaH8MmXCOjIunmuy6YIqVapgSofq0pTa3ygm5EwcxyyK0Qs7uU9dSMqTnZG7ve+LR0P++wKkWolrLf9quo77+69W9Zko0/bIgSc5rIuV599IeLMrTmvTtgXIjAQNdNqv40RAq61ZqLwiJ0hAj8zAxGoSEUqUpGKVKQiFalIRSpSkYpUpNAk3UQb79D/oWO/NNHmX2XpyUYTbbg15UeIMlOpJbsbrLQ9qTPTajha1IuaUUpzlVpWlQGiS3HZ4hoTJDtEG+yLO+t8sjN/G6xSyylipRbx0weJkiOEVTqhxkla6+hHnSjms4vWa6n8jbBKLTuIK27WL8JXuvRPDJwR5ThEtCbxabRu/1BBFzUBEXZPXMS9BtJii/aSQ7QprhyTN6pdR6/u+fJC5ML3CxD3GkjrcGKlJmzuCPaGWNCDW8zxZekgcmJehCFSl7Twi+ksMUQORTmObiauGHcvNCL/o6zuKAtEyjZDdsNohNQidhstM2eLt3ML1l1Ypr8V8tXf+/0tYuUhz6MPDqhblgUixehrL/YTbSnU0+IzpofHkRPv72nWr5ofk6/eMFFF7Hj1G+A5BNXDckLEzWBE1EF2I2G0YSf3Al1L8hfwB9Bk4K4AqlRRRQwiR5Pi0nPavEKfKhwipZZWLGKgJ4elDdQ1edSbNt3vpHcabNZ9Km/fqJ6HG9XwgEnatDWWkDYwmN7p8aPuwiGqlkn4bkLjKRjUsXXsInAiT+fMw9cO82pEcttumaFrLhsQsn9IWiudazm1WpYUDpHC0IE4OSyiF+ASQQjBgnWI3Hq1RWRCQNsj6zPcDkqRbN6fbWS+CEERIBqTNfoaoOaaSBDNSY1y7DtFpU5IEL0qMZ5io44k1F2CzTofKq7N1e0kOg4wnNT02oBhXzEL0bHx2XzZp1/W6H1gJLWXFFvOiW4EcFOqxA3PkBGTEyDyJKW/8+p8+HOC66yRNcv9g40NjaTOjtyWoktS1RYK0yxH2rQW5ZeAPNKBDbvJlVp2b5dmS/qxsffuWcRuWr8PbOOX8LoseEDijEEszIkJn40RZiCwEgUnE/eI4QfXOKSFU5G7GGyxNNw5yPNDxYBIGTb7QryROC3iXiazlaI2f/JklFGIpU4IWvR8NtDBIHL6wPnxTwgxrIV4kBA2URkMouemi6hFjyy0xfZ6+acdGYUPToxFiBCxUs7nbsNLdho4xpCF/N2p94gDGER022TxILK03RZbCN/Sx2BaJJY60UNESTd75NykHjfdr1uBSJefcF0YRNWnstc7Vl/wVCD92MVsBpS5JXcEQaRf+JXdI847cGfYY/DrFoJ3WJjRe1g914RBxFsaVj6IJh8TolAmqTia+ChmPJRYWSCozCKwnaoiDM8rhzdQ01Ua32oiD56GW4Px+PFOXIGI+1ALkUfsk+mbII0BjZeyAhEejdAvTcleSSx1QrIH8QQmDLvsSAAXYuT6vEyXHyLY7Tdxl/I6UCBiEsXUIsdjlyGhM1nNYbt4PxkiaQa1hV8+hcJLca+uAUSBcAHdHkhgELXwvHG9MEcmjwSLBFEgAjJZyoSlTuZyaVGXusulgGhPfX2mOzu4j5qbjSHi3swj8eJARGdSXGYO3ECd2q72MIxyM8T5eocPVhjwPg2AGHetxowLNZ1+PEPDpVG4C11h5llEHoKu9qsHypAVxJiLxPYR6xApwV3msjvTKdZS8PaRnDDm0WCInYl7BoHjPtKqrnypkAmIhOtxmvX3gqGNoWKWw3FrKllMjwbp2vOa6NCeqZ2NspCO2NrpCXbT1FbizYB0dfJgAhzvX3Z2PThbDW8jt5A36jIVF7ky+GSACxra4Cy6XhCc7N9ZPIis7FWHTr9GtAp2yWoBlG1RpdQJ6QQUJTbyQWgHsA7K59AJuh8WKbpej2sKTMnC7hXoej50vbxy/mlVEM37ihRduy1VasFCW9cbCXAJWZ9BLqYU0M0v1dDCmaHC1GOjanqMvltn0M4KRKgI+XkrvWjB6GNXEKASDTGDkRmWpSVIzWXh5Z0CLUjz/zsM+vJm+iYmTqCbeMVKL7D1JOxOqebQ/lzDNikIztsFQqT5/x0MH84F4uZ/86DkUS3IH3G6+AlkEMNdTtUpC74V3vFogRBpnrJ05DQekwKNkrXWjXs4x94Mghy7nDxpC6yYKASbUyt+I3DPUo1ldW8TuvfuUj0NhMy7WnqxwImXp3J+7dY8XNhxRa2wW/ZfVO54vBAO6tneC7z1Tf0q7XDNLmsH7q6X9bNZMbXes/tWT6hgad8VxOO1Egqnjj+oA5RqkyvTRykN/jeK1j34GQBjgykX6WhssH2PGfwK1hlgGc/kRg21MoMyAdQyzA+ugNbrHlAnOtcZsKKsaFrngGjmslO0vCANNPFsB73fAXxwhjuk8F5nmY0ySQALPJQOKHsq6rQ0x0OkOVhCs7GUAojN0KsoQHUDcm7iTEOqpHkoWWDEBTqAk2Ef5H4HDvjhnMDC+9xirEEPPTDCEOywAmCrlQOtFYs4n2WdAW2DCLLeA3qhCXqzH1gQIippilaGML4C6X+G3izqE2DY1/QET/JugZzUMi8Bo62CWFEXRtsQYmB8iTauiFZUsCnAnLKOknY1IzDabQ88AoY4yrKCvgUcT0GRcAFL4bUAe18exg+DJStOWt8sgnIUDMsT1GFFYJzXScIal6oUNapfMMQ5C6QylCmgbFZnM2DNBEqxYylwmZAbUPMEGDgXoDTKeZO4oUUCI41La9TTPjhTUdeDcyRz7HMWQAQfBWDrUjuhCctsQpNRKibmXdEFDNGLg7AkUBT7WDcwOCE3WtkOXH3YCmVPM6B1EHEju7l1kzJKml+t2pMEFSDyVBCc7bsVHBYMHCYMi1GFC4HNJHZjrFkYeSUs52mlkyg1nFK4Gf1OamF/Tpw6awY6AyJTBz1OarEmqtHMQfczY4j0Oz1OamElqjKfvYDeQURk3NHlpBaiLAmmewgRt3+HPie1EHPYCQf9ExEDwwoSHQ8Axc7J6HmchIIAAAAASUVORK5CYII=)
2. Второй способ нахождения обратной матрицы при помощи элементарных преобразований данной матрицы может быть реализован следующим образом.
1. Составить блочную матрицу , приписав к данной матрице , единичную матрицу того же порядка.
2. При помощи элементарных преобразований над столбцами привести блочную матрицу к виду . В полученной матрице блок равен обратной матрице, т.е. .
Пример 4.2. Дана матрица . Найти обратную.
Решение. Первый способ. 1. Находим определитель Поэтому матрица невырожденная и, следовательно, имеет обратную.
2. Составляем матрицу из алгебраических дополнений:
3. Транспонируя матрицу , получаем присоединенную матрицу
4. Разделив все элементы присоединенной матрицы на определитель находим обратную матрицу:
Сделаем проверку .
Используя правило, указанное в п.1 замечаний 4.3, для матрицы получаем
Заметим, что .
Второй способ. 1. Составляем блочную матрицу
2. Элементарными преобразованиями над строками приводим ее к простейшему виду . Ко второй строке прибавляем первую строку, умноженную на (-1):
Теперь к первой строке прибавим вторую, умноженную на (-1):
Для получения в левом блоке единичной матрицы надо разделить вторую строку на 2:
В правом блоке получили обратную матрицу .
Пример 4.3. Дана матрица . Найти обратную.
Решение. Первый способ. 1. Находим определитель матрицы .
2. Находим алгебраические дополнения данной матрицы:
и составляем из них матрицу .
Транспонируя матрицу , получаем присоединенную матрицу
4. Разделив все элементы присоединенной матрицы на определитель , получим обратную матрицу:
Проверим равенство 
Второй способ. 1. Составим блочную матрицу , приписав к матрице единичную матрицу того же порядка:
2. Элементарными преобразованиями над строками приводим ее к виду 
В правом блоке получаем обратную матрицу .
Обращение блочных матриц
Пусть квадратная невырожденная матрица (m+n)-го порядка разбита на блоки
где - невырожденная квадратная матрица m-го порядка, а -произвольные матрицы размеров соответственно.
Обратная матрица существует и находится по формуле Фробениуса
 (4.3)
где . Эта формула сводит обращение матрицы (m+n)-го порядка к обращению двух матриц и меньшего порядка ( и соответственно).
Если предположить, что матрица — невырожденная (вместо матрицы ), то формула имеет вид:
где — квадратная матрица m-го порядка.
Наконец, если обе матрицы и невырожденные, то
 (4.4)
где, как и ранее, — квадратные матрицы порядков и соответственно.
Доказательство формул (4.3), (4.4) сводится к умножению блочных матриц.
Пример 4.4. Найти обратную для блочной матрицы
Решение. Матрица — невырожденная второго порядка. Применяя правило (4.2), последовательно находим:
По формуле (4.3) имеем
Учитывая, что матрица в данной блочной матрице является невырожденной, обратную матрицу можно aнайти по формуле (4.4). Вычисляем левый верхний блок матрицы (остальные блоки такие же как формуле (4.3):
Результаты вычислений по формулам (4.3) и (4.4) совпадают.
Замечание 4.4. Если определитель разбит на четыре блока, где матрицы и — квадратные,то справедливы формулы:
 при 
 при 
В частном случае, когда все четыре матрицы квадратные одного и того же порядка, справедливы формулы Шура:
 при 
 при 
Если матрицы и перестановочны , то , а если матрицы и перестановочны, то .
Докажем, например, формулу . Пусть и -квадратные матрицы m-го и n-го порядков соответственно, причем . Составим блочную матрицу , где — нулевая матрица размеров . Матрицу можно рассматривать как элементарную блочную матрицу, так как она получена из единичной блочной матрицы в результате прибавления ко второй ее строке блоков первой строки блоков, умноженных на матрицу . Умножим блочную матрицу слева на матрицу 
Найдем определители матриц в левой и правой частях этого равенства. Определитель матрицы равен единице, так как это нижняя треугольная числовая матрица с единицами на главной диагонали (см. п.1 замечаний 2.2). Определитель матрицы в правой части равен , так как это блочно-треугольная матрица (см. п.2 замечаний 2.4). По теореме 2.2 об определителе произведения матриц получаем доказываемую формулу
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.
|