Proof: Add Number to Both Sides 3

Let's prove the following theorem:

if 180 = 90 + a, then a = 90

Proof:

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

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

Comments

Please log in to add comments