Proof: Reorder Terms 6

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	((a + b) + a) + b = (a + b) ⋅ 2	((a + b) + a) + b = (a + b) ⋅ 2 (multiply_2)
2	(a + b) ⋅ 2 = 360	if ((a + b) + a) + b = (a + b) ⋅ 2 and ((a + b) + a) + b = 360, then (a + b) ⋅ 2 = 360 (Transitive Property of Equality Variation 2)
3	a + b = 360 / 2	if (a + b) ⋅ 2 = 360, then a + b = 360 / 2 (Divide Each Side)
4	360 / 2 = 180	360 / 2 = 180 (Fixed Value Statement)
5	a + b = 180	if a + b = 360 / 2 and 360 / 2 = 180, then a + b = 180 (Transitive Property of Equality)

Comments

Please log in to add comments