# Thread:

1. ## Prove a(AB)=(aA)B=A(aB) ..

Prove a(AB)=(aA)B=A(aB) for any scalar a. At first I started out like:

a(AB)=(aA)(aB) and quickly noticed that that was very wrong. And then I kept trying to play around with it in different ways and I seem to get tangled and I know this is such an easy concept.

2. I suppose $A$ and $B$ are matrices.

You need to apply the definition of matrix product. Note that two matrices are equal, precisely when each of the corresponding entries are equal. Let me change the name of the scalar to $c$.

Let $a_{ij}$ be the $(i,j)$-entry of $A$ and let $b_{ij}$ be the $(i,j)$-entry of $B$. Suppose also that $A$ is an $m \times n$ matrix, and that $B$ is an $n \times p$ matrix.

Then the $(i,j)$-entry of $AB$ is "the $i$'th row of $A$ times the $j$'th column of $B$". So this $(i,j)$-entry of $AB$ is:

$\sum_{k=1}^n a_{ik}b_{kj}$,

and so the $(i,j)$-entry of $c(AB)$ is

$c\sum_{k=1}^n a_{ik}b_{kj} = \sum_{k=1}^n ca_{ik}b_{kj},$

where the first expression is the entry that follows by applying the definition of the product directly, and where the equality follows from bringing the scalar $c$ into each term of the sum.

Consider then the product $(cA)B$. We need to check that the $(i,j)$-entry of this product is same expression as for $c(AB)$. But $cA$ is the matrix, where the $(i,j)$-entry is $ca_{ij}$. The product $(cA)B$ has as its $(i,j)$-entry the $i$'th row of this matrix multiplied by the $j$'th column of $B$, so

$\sum_{k=1}^n ca_{ik}b_{kj}.$

But this is exactly the same expression as above.

Similarly you may show that A(cB) has the correct $(i,j)$-entries.
{"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": 39, "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.9510067105293274, "perplexity_flag": "head"}