Proof: Difference of Two Squares

Let's prove the following theorem:

(aa) + ((bb) ⋅ (-1)) = (a + b) ⋅ (a + (b ⋅ (-1)))

This theorem is equivalent to:

a2 - b2 = (a + b) ⋅ (a - b)

Here is a visualization of the theorem:

b a - b b a - b

In this graph, the side of the largest square is a. The side of the orange square is b. Thus, the longer side of the blue rectangle is a - b.

The difference between the area of the largest square and the area of the orange square is:

a2 - b2

Visually, if we remove the orange square from the largest square, then we are left with 2 blue rectangles and the green square.

The area of 2 blue rectangles and the green square is:

2 ⋅ ((a - b) ⋅ b) + (a - b)2

If we factor out (a - b) from both terms, we get:

(2 ⋅ 1 ⋅ b + (a - b)) ⋅ (a - b)

(2 ⋅ 1 ⋅ b + (a - b)) is a + b. Therefore, the area of 2 blue rectangles and the green square is:

(a + b) ⋅ (a - b)

We can also prove this theorem using the distributive property, as shown below.

Proof:

View as a tree | View dependent proofs | Try proving it

Proof Table
# Claim Reason
1 (a + b) ⋅ (a + (b ⋅ (-1))) = ((a + b) ⋅ a) + ((a + b) ⋅ (b ⋅ (-1))) (a + b) ⋅ (a + (b ⋅ (-1))) = ((a + b) ⋅ a) + ((a + b) ⋅ (b ⋅ (-1)))
2 (a + b) ⋅ a = (aa) + (ba) (a + b) ⋅ a = (aa) + (ba)
3 (a + b) ⋅ (b ⋅ (-1)) = ((ab) ⋅ (-1)) + ((bb) ⋅ (-1)) (a + b) ⋅ (b ⋅ (-1)) = ((ab) ⋅ (-1)) + ((bb) ⋅ (-1))
4 ((a + b) ⋅ a) + ((a + b) ⋅ (b ⋅ (-1))) = ((aa) + (ba)) + (((ab) ⋅ (-1)) + ((bb) ⋅ (-1))) if (a + b) ⋅ a = (aa) + (ba) and (a + b) ⋅ (b ⋅ (-1)) = ((ab) ⋅ (-1)) + ((bb) ⋅ (-1)), then ((a + b) ⋅ a) + ((a + b) ⋅ (b ⋅ (-1))) = ((aa) + (ba)) + (((ab) ⋅ (-1)) + ((bb) ⋅ (-1)))
5 (ba) + ((ab) ⋅ (-1)) = 0 (ba) + ((ab) ⋅ (-1)) = 0
6 ((aa) + (ba)) + (((ab) ⋅ (-1)) + ((bb) ⋅ (-1))) = (aa) + ((bb) ⋅ (-1)) if (ba) + ((ab) ⋅ (-1)) = 0, then ((aa) + (ba)) + (((ab) ⋅ (-1)) + ((bb) ⋅ (-1))) = (aa) + ((bb) ⋅ (-1))
7 (a + b) ⋅ (a + (b ⋅ (-1))) = (aa) + ((bb) ⋅ (-1)) if (a + b) ⋅ (a + (b ⋅ (-1))) = ((a + b) ⋅ a) + ((a + b) ⋅ (b ⋅ (-1))) and ((a + b) ⋅ a) + ((a + b) ⋅ (b ⋅ (-1))) = ((aa) + (ba)) + (((ab) ⋅ (-1)) + ((bb) ⋅ (-1))) and ((aa) + (ba)) + (((ab) ⋅ (-1)) + ((bb) ⋅ (-1))) = (aa) + ((bb) ⋅ (-1)), then (a + b) ⋅ (a + (b ⋅ (-1))) = (aa) + ((bb) ⋅ (-1))
8 (aa) + ((bb) ⋅ (-1)) = (a + b) ⋅ (a + (b ⋅ (-1))) if (a + b) ⋅ (a + (b ⋅ (-1))) = (aa) + ((bb) ⋅ (-1)), then (aa) + ((bb) ⋅ (-1)) = (a + b) ⋅ (a + (b ⋅ (-1)))

Comments

Please log in to add comments