Proof: Distribute Half

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	(1 / 2) + (1 / 2) = 1	(1 / 2) + (1 / 2) = 1 (Fixed Value Statement)
2	a ⋅ ((1 / 2) + (1 / 2)) = a ⋅ 1	if (1 / 2) + (1 / 2) = 1, then a ⋅ ((1 / 2) + (1 / 2)) = a ⋅ 1 (Multiplicative Property of Equality Variation 1)
3	a ⋅ 1 = a	a ⋅ 1 = a (Multiplicative Identity)
4	a ⋅ ((1 / 2) + (1 / 2)) = a	if a ⋅ 1 = a and a ⋅ ((1 / 2) + (1 / 2)) = a ⋅ 1, then a ⋅ ((1 / 2) + (1 / 2)) = a (Transitive Property of Equality)
5	(a ⋅ (1 / 2)) + (a ⋅ (1 / 2)) = a ⋅ ((1 / 2) + (1 / 2))	(a ⋅ (1 / 2)) + (a ⋅ (1 / 2)) = a ⋅ ((1 / 2) + (1 / 2)) (Distributive Property Variation)
6	(a ⋅ (1 / 2)) + (a ⋅ (1 / 2)) = a	if a ⋅ ((1 / 2) + (1 / 2)) = a and (a ⋅ (1 / 2)) + (a ⋅ (1 / 2)) = a ⋅ ((1 / 2) + (1 / 2)), then (a ⋅ (1 / 2)) + (a ⋅ (1 / 2)) = a (Transitive Property of Equality)

Comments

Please log in to add comments