Proof: Multiply 2

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	((a + b) + a) + b = (a + b) + (a + b)	((a + b) + a) + b = (a + b) + (a + b) (Associative Property of Addition)
2	(a + b) + (a + b) = (a + b) ⋅ 2	(a + b) + (a + b) = (a + b) ⋅ 2 (Doubling a Number)
3	((a + b) + a) + b = (a + b) ⋅ 2	if (a + b) + (a + b) = (a + b) ⋅ 2 and ((a + b) + a) + b = (a + b) + (a + b), then ((a + b) + a) + b = (a + b) ⋅ 2 (Transitive Property of Equality)

Comments

Please log in to add comments