# Thread:

1. ## Matrices went in 2x2

Another challenge problem, inspired by an earlier question.

Given arbitrary 2x2 matrices $A$ and $B$, prove that

$AB+BA=\beta A+\alpha B+(\gamma-\alpha\beta)I$

where $\alpha$ is the trace of $A$, $\beta$ is the trace of $B$ and $\gamma$ is the trace of $AB$ or of $BA$. $I$ is of course the 2x2 identity matrix.

Although a brute force approach would work, a more elegant solution would be welcome.

Enjoy.

Moderator approved. CB

2. We use the Cayley-Hamilton identity for $A, \ B, \ A+B$

$A^2-\alpha A+\det A\cdot I_2=O_2$

$B^2-\beta B+\det B\cdot I_2=O_2$

$(A+B)^2-Trace(A+B)+\det (A+B)\cdot I_2=O_2$

We have $Trace(A+B)=Trace(A)+Trace(B)=\alpha+\beta$

and $\det(A+B)=\det A+\det B+\gamma-\alpha\beta$

Then

$A^2+B^2+AB+BA-\alpha A-\alpha B-\beta A-\beta B+\det A\cdot I_2+\det B\cdot I_2+(\gamma-\alpha\beta)I_2=O_2$

or $AB+BA=\beta A+\alpha B+(\gamma-\alpha\beta)I_2$

3. Originally Posted by red_dog
$(A+B)^2-Trace(A+B)+\det (A+B)\cdot I_2=O_2$
Should be

$(A+B)^2-Trace(A+B)\cdot(A+B)+\det (A+B)\cdot I_2=O_2$

but otherwise spot on! Thanks.
{"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": 21, "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": 15, "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.9085947275161743, "perplexity_flag": "middle"}