Proof: Sum to Double
Let's prove the following theorem:
if c = a + a, then c = a ⋅ 2
Proof:
Given
| 1 | c = a + a |
|---|
| # | Claim | Reason |
|---|---|---|
| 1 | a + a = a ⋅ 2 | a + a = a ⋅ 2 |
| 2 | c = a ⋅ 2 | if a + a = a ⋅ 2 and c = a + a, then c = a ⋅ 2 |
Comments
Please log in to add comments