Proof: Reduce Addition

Let's prove the following theorem:

Proof:

Proof Table

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

Comments

Please log in to add comments