Transitive Property of Equality Variation 1
Add Associative 2
Transitive Property of Equality Variation 2
Rearrange Sum
Subtract Both Sides
Add Term to Both Sides 6
Reorder Terms 4

Proof: Reorder Terms 4

Let's prove the following theorem:

if (a + b) + c = 180, then a + c = 180 + (b ⋅ (-1))

Proof:

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

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

Comments

Please log in to add comments