Proof: Half Half One

Let's prove the following theorem:

((a ⋅ 1) / 2) + ((a ⋅ 1) / 2) = a

Proof:

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

Proof Table
# Claim Reason
1 (a ⋅ (1 / 2)) + (a ⋅ (1 / 2)) = a (a ⋅ (1 / 2)) + (a ⋅ (1 / 2)) = a
2 a ⋅ (1 / 2) = (a ⋅ 1) / 2 a ⋅ (1 / 2) = (a ⋅ 1) / 2
3 ((a ⋅ 1) / 2) + (a ⋅ (1 / 2)) = a if (a ⋅ (1 / 2)) + (a ⋅ (1 / 2)) = a and a ⋅ (1 / 2) = (a ⋅ 1) / 2, then ((a ⋅ 1) / 2) + (a ⋅ (1 / 2)) = a
4 ((a ⋅ 1) / 2) + ((a ⋅ 1) / 2) = a if ((a ⋅ 1) / 2) + (a ⋅ (1 / 2)) = a and a ⋅ (1 / 2) = (a ⋅ 1) / 2, then ((a ⋅ 1) / 2) + ((a ⋅ 1) / 2) = a

Comments

Please log in to add comments