Proof: Add Number to Both Sides Pre

Let's prove the following theorem:

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

Proof:

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

Given
1 a + 90 = 180
Proof Table
# Claim Reason
1 180 = a + 90 if a + 90 = 180, then 180 = a + 90
2 180 + (90 ⋅ (-1)) = a if 180 = a + 90, then 180 + (90 ⋅ (-1)) = a

Comments

Please log in to add comments