Proof: One Eighty 3

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	(a + b) + b = a + (b + b)	(a + b) + b = a + (b + b) (Associative Property of Addition)
2	b + b = b ⋅ 2	b + b = b ⋅ 2 (addition_theorem)
3	a + (b + b) = a + (b ⋅ 2)	if b + b = b ⋅ 2, then a + (b + b) = a + (b ⋅ 2) (Substitution)
4	(a + b) + b = a + (b ⋅ 2)	if (a + b) + b = a + (b + b) and a + (b + b) = a + (b ⋅ 2), then (a + b) + b = a + (b ⋅ 2) (Transitive Property of Equality)
5	a + (b ⋅ 2) = 180	if (a + b) + b = a + (b ⋅ 2) and (a + b) + b = 180, then a + (b ⋅ 2) = 180 (Transitive Property of Equality Variation 2)

Comments

Please log in to add comments