Proof: Algebra 9

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	a + (b ⋅ (-1)) = c	if a = b + c, then a + (b ⋅ (-1)) = c (Subtract Both Sides 2)
2	a + (b ⋅ (-1)) = a - b	a + (b ⋅ (-1)) = a - b (subtraction_example)
3	a - b = c	if a + (b ⋅ (-1)) = a - b and a + (b ⋅ (-1)) = c, then a - b = c (Transitive Property of Equality Variation 2)

Comments

Please log in to add comments