Proof: Multiply by 2

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	(a ⋅ 2) ⋅ (1 / 2) = b ⋅ (1 / 2)	if a ⋅ 2 = b, then (a ⋅ 2) ⋅ (1 / 2) = b ⋅ (1 / 2) (Multiplicative Property of Equality)
2	(a ⋅ 2) ⋅ (1 / 2) = a	(a ⋅ 2) ⋅ (1 / 2) = a (simplify_2)
3	a = b ⋅ (1 / 2)	if (a ⋅ 2) ⋅ (1 / 2) = a and (a ⋅ 2) ⋅ (1 / 2) = b ⋅ (1 / 2), then a = b ⋅ (1 / 2) (Transitive Property of Equality Variation 2)

Comments

Please log in to add comments