# Thread:

1. ## Prove that AB is invertible and its inverse.

Hi,

I am trying to prove this and found the proof, but have no idea how we are able to multiply by (B-1A-1) in the first step when it is not in the original statement. I understand it, but not where this comes from. Also, on the second side, where does the AB come from?

Question: Prove: (AB)-1 = B-1A-1.
Solution: Using the associativity of matrix multiplication,
(AB)(B-1A-1) = A(BB-1)A-1 = AIA-1 = AA-1 = I
and
(B-1A-1)(AB) = B(AA-1)B-1 = BIB-1 = BB-1 = I:
Thus AB is invertible and B-1A-1 is its inverse

2. ## Re: Prove that AB is invertible and its inverse.

first of all, we have to know a priori that A and B are invertibile, so that A-1 and B-1 exist.

now:

(AB)B-1 = A(BB-1) = AI = A

therefore:

(AB)(B-1A-1) = [(AB)B-1]A-1 (by associativity)

and we just showed that the term inside the square brackets is A (above), so

= AA-1 = I

in the same way:

A-1(AB) = (A-1A)B = IB = B, so:

(B-1A-1)(AB) = B-1[A-1(AB)]

= B-1B = I

the basic idea is this:

multiplying AB by B-1A-1 on the right, is the same as multiplying AB by B-1 on the right first, and by A-1 second.

multiplying AB by B-1A-1 on the LEFT, is the same as multiplying AB by A-1 on the left first, and by B-1 second.

the way to remember this is:

if A is "putting on your socks" and B is "putting on your shoes", then to un-do it, you do the opposite actions "in reverse order" (it doesn't make much sense to take off the socks before the shoes, does it now?).

it's very important to know that if A is invertible, and B is invertible, so is AB. this means we can multiply invertible matrices, and get another invertible matrix. it also means that if we know how to compute the inverses of A and B, we get the inverse of AB "for free".

let's see this in action:

suppose that:

$A = \begin{bmatrix}2&2\\2&3 \end{bmatrix}, B = \begin{bmatrix}5&0\\7&1 \end{bmatrix}$.

then $A^{-1} = \begin{bmatrix}\frac{3}{2}&-1\\-1&1 \end{bmatrix}, B^{-1} = \begin{bmatrix}\frac{1}{5}&0\\-\frac{7}{5}&1 \end{bmatrix}$.

now $AB = \begin{bmatrix}24&2\\31&3 \end{bmatrix}$.

multiplying together the two inverses for A and B in reverse order, we have:

$B^{-1}A^{-1} = \begin{bmatrix}\frac{1}{5}&0\\-\frac{7}{5}&1 \end{bmatrix} \begin{bmatrix}\frac{3}{2}&-1\\-1&1 \end{bmatrix} = \begin{bmatrix}\frac{3}{10}&-\frac{1}{5}\\-\frac{31}{10}&\frac{12}{5} \end{bmatrix}$

which is easily seen to be the inverse of AB.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 4, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 5, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9463948607444763, "perplexity_flag": "middle"}