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:
Given
| 1 | y = (a + b) / 2 |
|---|---|
| 2 | a = 0 |
| 3 | b = e |
| # | 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