Example 17: Verify
If
Calculate AC, BC and (A + B)C. Also, verify that (A + B)C = AC + BC
. Hence verified.
Want the reason behind every step, the basics and the checks?
The distributive law for matrices works for the same reason as for numbers. Each entry of is a row of times the column ; since every entry of that row is , the sum splits into "row of times " plus "row of times ". We verify it here by computing both sides completely.
- Given
- and of order , and the column of order .
- To find / verify
- , , , and that .
- Plan
- Check all the orders. Find and then . Find and and add them. Compare the two columns entry by entry, then see why the law holds in general.
Basics you need
For matrices of the same order, . Basics: adding only like with like
A matrix times a column is a column. Entry of it is row of the matrix times the column. Basics: pair up, multiply, add
and , whenever both sides are defined (Section 3.4.6, stated without proof). Lesson: properties of the operations
Solution
Check the orders
and are both , so is defined and is . Then , and are each : inner sizes , so each is defined and is a column. Finally adds two columns, which is defined and .
The law is stated "whenever both sides of equality are defined". Here both sides are columns, so they can be compared.Sum needs equal orders; product needs columns of the first = rows of the second. Basics: rows, columns and the addressCompute
Add matching entries, :
To use the left side we need the matrix itself. Each entry uses only the two entries in the same position.Section 3.4.1, addition of matrices. Lesson: addition and scalar multiplicationCompute
The column is . Write :
The product has a single column because has a single column; each of its three entries is one row of times .Compute
Write :
Watch the sign in : , since a product of two negatives is positive.Compute
Write :
Same column , now with the rows of .Add and , and compare
Both are . Adding matching entries, :
This is the same order as from Step 3, and the entries agree: , , . Hence .
Equal order and all three corresponding entries equal is exactly the definition of equal matrices, so the law is verified for these matrices.Distributive law, Section 3.4.6, property 2 (ii). Lesson: properties of the operationsWhy it always works
Take any and of order and any of order . Entry of is
which is entry of plus entry of .
The only fact used is the distributive law for numbers, , applied to each term, followed by regrouping a finite sum. Since the matrices were arbitrary (of compatible orders), this proves in general. In row 1 here, the middle term splits as , and likewise for the other terms, so the entry 10 splits as 9 (from ) plus 1 (from ).
and is the same column , so . This matches the textbook's solution.
Add the three entries of each column. : . : . : , and indeed .
A second, independent route: a matrix times a column is a combination of the matrix's columns, with the entries of the column as weights. So is 2 times column 1 of , minus 2 times column 2, plus 3 times column 3:
The same column as in Step 3.
- Writing for the right side. stays on the right: . Here is not even defined ( times ).
- Sign slips with . and are positive.
- Verifying with one entry. All three entries must agree.
- Matrix multiplication distributes over addition from both sides, and , but the factor must stay on the same side.
- The law lets you choose: one product or two products and a sum. Here the first needs 3 row-times-column sums, the second needs 6.
- The proof is the number rule applied inside every entry.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Orders for sums and products | Step 1 | Sections 3.4.1 and 3.4.5 (Lesson: matrix multiplication) |
| Steps 2 and 6 | Section 3.4.1 (Lesson: addition) | |
| Steps 3 to 5 | Section 3.4.5, definition of the product | |
| Steps 6 and 7 | Section 3.4.6, property 2 (ii) (Lesson: properties) | |
| for numbers | Step 7 | Arithmetic of real numbers |
Tell us if something on this page is wrong or unclear, or if you would like a fuller explanation, another method or a new feature. Send feedback on this problem →