Proof: Sum to Double

Let's prove the following theorem:

if c = a + a, then c = a ⋅ 2

Proof:

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

Given
1 c = a + a
Proof Table
# 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