Proof: Zero Plus a Equation

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 b = e and a = 0, then a + b = e
2 y = e / 2 if a + b = e and y = (a + b) / 2, then y = e / 2

Comments

Please log in to add comments