Proof: Algebra Example

Let's prove the following theorem:

if the following are true:
  • y = (a + b) / 2
  • a = 0
  • b = e

then y = e / 2

Proof:

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

Given
1 y = (a + b) / 2
2 a = 0
3 b = e
Proof Table
# Claim Reason
1 a + b = e if a = 0 and b = e, then a + b = e
2 y = e / 2 if y = (a + b) / 2 and a + b = e, then y = e / 2

Comments

Please log in to add comments