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 c = a + a and a + a = a ⋅ 2, then c = a ⋅ 2 |
Comments
Please log in to add comments