# Prove: If A is invertible, then adj(A) is invertible and $[\operatorname{adj}(A)]^{-1}=\frac1{\det(A)}A=\operatorname{adj}(A^{-1})$

Prove: $$\newcommand{\adj}{\operatorname{adj}}$$If $$A$$ is invertible, then $$\adj(A)$$ is invertible and $$[\adj(A)]^{-1}=\frac{1}{\det(A)}A=\adj(A^{-1})$$

I can show the left side:

\begin{align*} A^{-1}&=\frac{1}{\det(A)}\adj(A)\\ \implies AA^{-1}&=\frac{1}{\det(A)}A \cdot \adj(A)\\ \implies I&=\frac{1}{\det(A)}A\cdot \adj(A), \end{align*} and, \begin{align*} A^{-1}A&=\adj(A)\frac{1}{\det(A)}A\\ \implies I&=\adj(A)\frac{1}{\det(A)}A. \end{align*} So, $$[\adj(A)]^{-1}=\frac{1}{\det(A)}A.$$

But I'm not sure how to show: $$\frac{1}{\det(A)}A=\adj(A^{-1}).$$

• $$adj(A^{-1}) = \frac{1}{det(A^{-1})} A^{-1}$$ The left side gives you an expression of $A^{-1}$. Can you proceed then?
– user27126
Mar 19, 2014 at 3:06
• I don't see where this is going? It says: $$adj(A^{-1})=\frac{1}{det(A)}A$$ Mar 19, 2014 at 3:34

$$\newcommand{\adj}{\operatorname{adj}}A^{-1}=\frac{1}{\det(A)}\adj(A)$$ So,
\begin{align*} (A^{-1})^{-1}&=\frac{1}{\det(A^{-1})}\adj(A^{-1})\\ \iff A&=\frac{1}{\det(A^{-1})}\adj(A^{-1})\\ \iff \det(A^{-1})A &=\adj(A^{-1})\\ \iff \frac{1}{\det(A)}A&=\adj(A^{-1}). \end{align*}
{"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": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 10, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "https://math.stackexchange.com/questions/717716/prove-if-a-is-invertible-then-adja-is-invertible-and-operatornameadja", "fetch_time": 1702090967000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2023-50/segments/1700679100781.60/warc/CC-MAIN-20231209004202-20231209034202-00050.warc.gz", "warc_record_offset": 438501316, "warc_record_length": 36443, "token_count": 530, "char_count": 1234, "score": 4.28125, "int_score": 4, "crawl": "CC-MAIN-2023-50", "snapshot_type": "latest", "language": "en", "language_score": 0.23162738978862762, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00013-of-00064.parquet"}