Proof: Algebra 9

Let's prove the following theorem:

if a = b + c, then a - b = c

Proof:

View as a tree | View dependent proofs | Try proving it

Given
1 a = b + c
Proof Table
# Claim Reason
1 a + (b ⋅ (-1)) = c if a = b + c, then a + (b ⋅ (-1)) = c
2 a + (b ⋅ (-1)) = a - b a + (b ⋅ (-1)) = a - b
3 a - b = c if a + (b ⋅ (-1)) = a - b and a + (b ⋅ (-1)) = c, then a - b = c

Comments

Please log in to add comments