Multiplicative Property of Equality Variation 1
Distributive Property 4
Distribute Half

Proof: Distribute Half

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 (1 / 2) + (1 / 2) = 1 (1 / 2) + (1 / 2) = 1
2 a ⋅ ((1 / 2) + (1 / 2)) = a ⋅ 1 if (1 / 2) + (1 / 2) = 1, then a ⋅ ((1 / 2) + (1 / 2)) = a ⋅ 1
3 a ⋅ 1 = a a ⋅ 1 = a
4 a ⋅ ((1 / 2) + (1 / 2)) = a if a ⋅ ((1 / 2) + (1 / 2)) = a ⋅ 1 and a ⋅ 1 = a, then a ⋅ ((1 / 2) + (1 / 2)) = a
5 (a ⋅ (1 / 2)) + (a ⋅ (1 / 2)) = a ⋅ ((1 / 2) + (1 / 2)) (a ⋅ (1 / 2)) + (a ⋅ (1 / 2)) = a ⋅ ((1 / 2) + (1 / 2))
6 (a ⋅ (1 / 2)) + (a ⋅ (1 / 2)) = a if (a ⋅ (1 / 2)) + (a ⋅ (1 / 2)) = a ⋅ ((1 / 2) + (1 / 2)) and a ⋅ ((1 / 2) + (1 / 2)) = a, then (a ⋅ (1 / 2)) + (a ⋅ (1 / 2)) = a
Previous Lesson

Comments

Please log in to add comments