Verifying Solutions & Identities — Checking Solutions and Verifying Matrix Identities - Linear Algebra

SECTION 1

Historical Context & Motivation

Have you ever finished a math problem and wondered, "Did I actually get the right answer?" You're not alone. For centuries, mathematicians have developed ways to verify (double-check) their work. In the world of linear algebra — the branch of math that deals with equations, vectors, and matrices — verification is especially important because small errors can snowball quickly.

Matrices (rectangular grids of numbers) became powerful tools for solving systems of equations. As mathematicians studied matrices, they discovered certain identities — relationships that are always true, no matter what numbers you plug in. Knowing these identities gives you a reliable way to check your work.

1693 • Leibniz and Determinants

Gottfried Wilhelm Leibniz studied systems of equations and introduced early ideas about determinants, which later became key tools for verifying matrix solutions.

1850 • Cayley Defines Matrices

Arthur Cayley formally defined matrix algebra and established rules for matrix multiplication, opening the door to matrix identities.

1858 • The Cayley–Hamilton Theorem

Cayley and Hamilton proved that every square matrix satisfies its own characteristic equation — one of the most famous matrix identities ever discovered.

1940s • Computers and Verification

As electronic computers began solving large systems of equations, verifying solutions became essential to catch rounding errors in machine calculations.

Today, verification is a core skill in linear algebra. Whether you are solving a simple 2×2 system or working with large matrices, the question remains the same: How do you know your answer is actually correct? This lesson will teach you exactly how to answer that question.

SECTION 2

Core Principles & Definitions

Before we dive in, let's get clear on the key ideas. In linear algebra, a solution is a set of values that makes an equation (or system of equations) true. A matrix identity is a rule about matrices that holds for every valid input. Verification means plugging your answer back in to confirm it works.

Substitution Check

Plug your proposed solution back into the original equation. If both sides are equal, the solution is verified. This is the most fundamental check you can do.

The Identity Matrix

The identity matrix I acts like the number 1 in multiplication. For any matrix A, the product A × I = A and I × A = A. It's the 'do nothing' matrix.

Inverse Verification

If A and B are inverses, then A × B = I and B × A = I. Multiplying a matrix by its inverse gives the identity matrix — just like 5 × (1/5) = 1.

Consistency Check

A system of equations is consistent if at least one solution exists. If your verification fails, either the solution is wrong or the system has no solution at all.

Dimension Agreement

Before multiplying matrices, check that dimensions match. An m×n matrix times an n×p matrix gives an m×p result. Mismatched dimensions mean something went wrong.

✦

KEY TAKEAWAY

Think of verifying a solution like checking a combination lock. You can't just guess the code and hope the lock opens — you have to try the combination and see if it actually clicks. In math, "trying the combination" means substituting your answer back into the original problem to see if everything balances.

SECTION 3

Visual Explanation — How Verification Works

The diagram below shows the complete verification process for a matrix equation of the form Ax = b. This is the most common type of problem you'll verify. You start with a matrix A and a vector b, find a proposed solution x, and then multiply A × x to see if you get b back.

The verification flow for a matrix equation Ax = b. Start with the matrix A and vector b (top left and right), solve for x (middle), then substitute x back into A × x to see if the result matches b. A match means your solution is verified.

Notice the key step in the middle: after you find a proposed solution, you substitute it back into the original equation. You compute A × x and check whether the result equals b. If the two sides match, congratulations — your answer is correct! If they don't match, you know there's an error somewhere in your work.

SECTION 4

Mathematical Framework

Let's set up the math you'll need. The most common verification scenario involves a system of linear equations written in matrix form. Here are the key equations and identities.

MATRIX EQUATION FORM

Ax = b

A is the coefficient matrix, x is the solution vector (the unknowns), and b is the constants vector. Verification means checking that A × x actually equals b.

IDENTITY MATRIX PROPERTY

A × I = A and I × A = A

I is the identity matrix — a square matrix with 1s on the main diagonal and 0s everywhere else. Multiplying any matrix by I leaves it unchanged, just like multiplying a number by 1.

INVERSE MATRIX IDENTITY

A × A⁻¹ = I and A⁻¹ × A = I

A⁻¹ is the inverse of A. When you multiply a matrix by its inverse, you get the identity matrix. This is like how 5 × (1/5) = 1. To verify an inverse, multiply the two matrices and check that you get I.

TRANSPOSE IDENTITY

(AB)ᵀ = Bᵀ × Aᵀ

The transpose of a product reverses the order. The transpose of A (written Aᵀ) flips rows into columns. Notice that the order of B and A switches — this is a common identity you can verify by direct computation.

⚠

Watch Out!

Matrix multiplication is not commutative. That means A × B is usually NOT the same as B × A. When verifying identities, always keep the order of multiplication exactly as stated.

SECTION 5

Types of Matrix Identities

There are several matrix identities worth knowing. Each one is a relationship that is always true (as long as the matrix dimensions are compatible). The diagram below organizes the most important identities into categories, and the table that follows gives you a quick reference.

A map of the most important matrix identities, organized into three families: multiplicative (involving I, inverses, and zero), transpose (involving flipping rows and columns), and distributive (spreading multiplication over addition). The golden box at the bottom shows the universal three-step verification method.

Identity	What It Says	How to Verify
A × I = A	Multiplying by the identity matrix changes nothing.	Pick any matrix A, multiply by I, check the result equals A.
A × A⁻¹ = I	A matrix times its inverse gives the identity.	Compute both A × A⁻¹ and A⁻¹ × A; both should equal I.
(AB)ᵀ = BᵀAᵀ	Transpose of a product reverses the order.	Compute AB, then transpose it. Separately compute BᵀAᵀ. Compare.
A(B + C) = AB + AC	Multiplication distributes over addition.	Compute A(B + C) and AB + AC separately. They should match.

Quick reference for common matrix identities and their verification strategies

SECTION 6

Worked Example — Verifying a Solution

Let's walk through a complete example. Suppose we have the system of equations 2x + y = 5 and x + 3y = 8. Someone tells us the solution is x = 1.4 and y = 2.2. Let's verify it using the matrix approach.

Verifying the Solution to Ax = b

1
Step 1 — Write the System in Matrix Form

The system 2x + y = 5 and x + 3y = 8 can be written as Ax = b, where A = [[2, 1], [1, 3]], x = [[x], [y]], and b = [[5], [8]]. Writing it this way lets us use matrix multiplication to verify.
2
Step 2 — Identify the Proposed Solution

The proposed solution is x = 1.4 and y = 2.2. So our solution vector is x = [[1.4], [2.2]].

x = [1.4, 2.2]ᵀ
3
Step 3 — Compute A × x

Multiply A by our proposed x. Row 1 of A times x: 2(1.4) + 1(2.2) = 2.8 + 2.2 = 5.0. Row 2 of A times x: 1(1.4) + 3(2.2) = 1.4 + 6.6 = 8.0. So A × x = [[5.0], [8.0]].

A × x = [5.0, 8.0]ᵀ
4
Step 4 — Compare with b

We computed A × x = [[5.0], [8.0]], and b = [[5], [8]]. Since A × x equals b exactly, the solution is verified!

✓ Solution verified: x = 1.4, y = 2.2 is correct.

Bonus: Verifying an Inverse Matrix Identity

Verifying A × A⁻¹ = I for a 2×2 Matrix

1
Step 1 — State the Matrices

Let A = [[2, 1], [1, 3]]. The inverse of A is A⁻¹ = [[3/5, −1/5], [−1/5, 2/5]] = [[0.6, −0.2], [−0.2, 0.4]].
2
Step 2 — Multiply A × A⁻¹

Row 1, Col 1: 2(0.6) + 1(−0.2) = 1.2 − 0.2 = 1.0. Row 1, Col 2: 2(−0.2) + 1(0.4) = −0.4 + 0.4 = 0.0. Row 2, Col 1: 1(0.6) + 3(−0.2) = 0.6 − 0.6 = 0.0. Row 2, Col 2: 1(−0.2) + 3(0.4) = −0.2 + 1.2 = 1.0.

A × A⁻¹ = [[1, 0], [0, 1]]
3
Step 3 — Compare with I

The 2×2 identity matrix is I = [[1, 0], [0, 1]]. Our result matches exactly!

✓ Identity verified: A × A⁻¹ = I.

SECTION 7

Strengths & Limitations of Verification

Verification is a powerful tool, but like any tool, it has both strengths and limitations. Understanding these helps you know when and how to use verification effectively.

Strengths ✓	Limitations ✗
Catches arithmetic mistakes quickly and reliably.	Doesn't help you find the solution — only confirms or rejects one.
Works for any size matrix, from 2×2 to 100×100.	For very large matrices, verification itself can be time-consuming.
Can reveal rounding errors in decimal calculations.	Rounding in verification can produce small discrepancies that look like errors but aren't.
Applies to many types of problems: solutions, inverses, identities.	Verifying one specific example doesn't prove an identity works for ALL matrices.

Strengths and limitations of the verification approach

✦

KEY TAKEAWAY

Verification is like proofreading an essay. It won't write the essay for you, but it catches mistakes before they matter. In math, getting into the habit of checking your work separates good problem-solvers from great ones. Checking a specific example of a matrix identity is like testing a recipe — it builds confidence, even though you'd need a formal proof to guarantee it works for every possible ingredient.

SECTION 8

Connection to Advanced Topics

The verification skills you've learned here form the foundation for more advanced ideas in linear algebra. As you continue studying, you'll encounter concepts that rely heavily on the identities and checking methods we've covered.

What You Learned Here	Where It Leads
Checking Ax = b by substitution	Solving larger systems using Gaussian elimination, LU decomposition, and iterative methods
Verifying A × A⁻¹ = I	Computing inverses of larger matrices, understanding when inverses don't exist (singular matrices)
Checking identity examples	Writing formal proofs that identities hold for all matrices, not just specific examples
Working with 2×2 matrices	Eigenvalues, eigenvectors, and diagonalization of larger matrices

How verification connects to more advanced linear algebra topics

In computer science and engineering, verification is used constantly. Computers solve enormous systems of equations for everything from video game graphics to weather forecasting. Engineers always verify those solutions because even tiny rounding errors can accumulate and cause big problems. The habits you build now — always check your work — will serve you well in any STEM career.

SECTION 9

Practice Problems

Question 1: CONCEPTUAL

Explain in your own words: why is it important to verify a solution to a matrix equation? What could go wrong if you skip this step?

Show answer

Verification is important because it catches arithmetic errors, sign mistakes, and other slip-ups that are easy to make during matrix calculations. If you skip verification, you might submit an incorrect answer without realizing it. In real-world applications like engineering or finance, an unchecked wrong answer could lead to a bridge being built incorrectly or money being miscalculated. Verification is your safety net — it confirms your work is correct before you rely on it.

Question 2: BASIC CALCULATION

Given A = [[1, 2], [3, 4]] and the proposed solution x = [[2], [1]] to the equation Ax = b, compute A × x and determine what b must be for this solution to be correct.

Show answer

Row 1: 1(2) + 2(1) = 2 + 2 = 4. Row 2: 3(2) + 4(1) = 6 + 4 = 10. So A × x = [[4], [10]]. This means b = [[4], [10]]. If the original problem had b = [[4], [10]], then x = [[2], [1]] is a verified solution. If b was something different, then x = [[2], [1]] would NOT be correct for that system.

Question 3: INTERMEDIATE

Verify whether B = [[2, −1], [−1.5, 1]] is the inverse of A = [[2, 2], [3, 4]] by computing A × B and checking if the result equals the identity matrix I.

Show answer

Compute A × B. Row 1, Col 1: 2(2) + 2(−1.5) = 4 − 3 = 1. Row 1, Col 2: 2(−1) + 2(1) = −2 + 2 = 0. Row 2, Col 1: 3(2) + 4(−1.5) = 6 − 6 = 0. Row 2, Col 2: 3(−1) + 4(1) = −3 + 4 = 1. So A × B = [[1, 0], [0, 1]] = I. Since the product equals the identity matrix, B is indeed the inverse of A. For a complete verification, you would also check B × A = I, which also yields [[1, 0], [0, 1]].

Question 4: APPLIED

A store sells two products. Product A costs $3 and Product B costs $5. On Monday, a customer buys some of each and pays $29 total. On Tuesday, another customer buys some of each and pays $20 total. The Monday customer bought 3 of Product A and 4 of Product B, while the Tuesday customer bought 5 of Product A and 1 of Product B. Write this as a matrix equation and verify that the quantities are correct.

Show answer

The price vector is p = [[3], [5]]. Monday's purchases: 3 of A and 4 of B gives 3(3) + 4(5) = 9 + 20 = 29. This matches the $29 total. Tuesday's purchases: 5 of A and 1 of B gives 5(3) + 1(5) = 15 + 5 = 20. This matches the $20 total. In matrix form, the purchase matrix Q = [[3, 4], [5, 1]] and Q × p = [[29], [20]], which matches the totals vector b = [[29], [20]]. Both rows check out, so the quantities are verified.

Question 5: CRITICAL THINKING

A student verifies the identity (AB)ᵀ = BᵀAᵀ using A = [[1, 0], [0, 1]] (the identity matrix) and B = [[3, 4], [5, 6]]. They find that both sides equal [[3, 5], [4, 6]] and conclude the identity is proven. Is this a valid proof? Why or why not? What would make the test more convincing?

Show answer

No, this is not a valid proof. Testing with the identity matrix is a weak check because A = I is a special case — I commutes with every matrix and Iᵀ = I, so many properties become trivially true. Showing an identity works for one specific pair of matrices only shows it works for that pair, not for all matrices. To make the test more convincing, the student should try matrices with no special structure (no zeros, no identity, non-symmetric). A formal proof would require showing the identity holds for arbitrary matrices using the definitions of matrix multiplication and transposition. However, testing several diverse examples does build evidence and is good practice, even if it isn't a complete proof.

SUMMARY

Lesson Summary

Summary

In this lesson, you learned how to verify solutions to matrix equations by substituting your proposed answer back into the original equation Ax = b and checking whether both sides match. You also explored key matrix identities — including the identity matrix property (A × I = A), the inverse identity (A × A⁻¹ = I), and the transpose product rule ((AB)ᵀ = BᵀAᵀ).

The universal verification strategy is straightforward: compute both sides separately and compare. Remember that matrix multiplication is not commutative (order matters!), and that checking a specific example builds confidence but does not constitute a formal proof. Developing the habit of verification will make you a stronger, more reliable problem-solver in all areas of mathematics.