Proof: Divide by 2

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	(a / b) ⋅ 1 = a / b	(a / b) ⋅ 1 = a / b (Multiplicative Identity)
2	2 / 2 = 1	2 / 2 = 1 (Multiplicative Inverse Property)
3	(a / b) ⋅ (2 / 2) = a / b	if (a / b) ⋅ 1 = a / b and 2 / 2 = 1, then (a / b) ⋅ (2 / 2) = a / b (Multiply by One 2)
4	(a / b) ⋅ (2 / 2) = (a ⋅ 2) / (b ⋅ 2)	(a / b) ⋅ (2 / 2) = (a ⋅ 2) / (b ⋅ 2) (Fraction Multiplication Property)
5	(a ⋅ 2) / (b ⋅ 2) = a / b	if (a / b) ⋅ (2 / 2) = (a ⋅ 2) / (b ⋅ 2) and (a / b) ⋅ (2 / 2) = a / b, then (a ⋅ 2) / (b ⋅ 2) = a / b (Transitive Property of Equality Variation 2)

Comments

Please log in to add comments