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 (Doubling a Number)
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 ⋅ 2) and (a + b) + b = a + (b + b), then (a + b) + b = a + (b ⋅ 2) (Transitive Property of Equality)
5	a + (b ⋅ 2) = 180	if (a + b) + b = 180 and (a + b) + b = a + (b ⋅ 2), then a + (b ⋅ 2) = 180 (Transitive Property of Equality Variation 2)

Comments

Please log in to add comments