Proof: Algebra 17b

Let's prove the following theorem:

Proof:

Proof Table

#	Claim	Reason
1	s / 2 = s ⋅ (1 / 2)	s / 2 = s ⋅ (1 / 2) (Division is Multiplication by Inverse)
2	(s / 2) / s = (s ⋅ (1 / 2)) / s	if s / 2 = s ⋅ (1 / 2), then (s / 2) / s = (s ⋅ (1 / 2)) / s (Divide Both Sides)
3	(s ⋅ (1 / 2)) / s = (s ⋅ (1 / 2)) ⋅ (1 / s)	(s ⋅ (1 / 2)) / s = (s ⋅ (1 / 2)) ⋅ (1 / s) (Division is Multiplication by Inverse)
4	(s ⋅ (1 / 2)) ⋅ (1 / s) = (s ⋅ (1 / s)) ⋅ (1 / 2)	(s ⋅ (1 / 2)) ⋅ (1 / s) = (s ⋅ (1 / s)) ⋅ (1 / 2) (Swap 2 and 3 Theorem)
5	s ⋅ (1 / s) = 1	s ⋅ (1 / s) = 1 (algebra_17)
6	(s ⋅ (1 / s)) ⋅ (1 / 2) = 1 ⋅ (1 / 2)	if s ⋅ (1 / s) = 1, then (s ⋅ (1 / s)) ⋅ (1 / 2) = 1 ⋅ (1 / 2) (Multiplicative Property of Equality)
7	1 ⋅ (1 / 2) = 1 / 2	1 ⋅ (1 / 2) = 1 / 2 (multiplicative_identity_3)
8	(s ⋅ (1 / s)) ⋅ (1 / 2) = 1 / 2	if (s ⋅ (1 / s)) ⋅ (1 / 2) = 1 ⋅ (1 / 2) and 1 ⋅ (1 / 2) = 1 / 2, then (s ⋅ (1 / s)) ⋅ (1 / 2) = 1 / 2 (Transitive Property of Equality)
9	(s ⋅ (1 / 2)) ⋅ (1 / s) = 1 / 2	if (s ⋅ (1 / 2)) ⋅ (1 / s) = (s ⋅ (1 / s)) ⋅ (1 / 2) and (s ⋅ (1 / s)) ⋅ (1 / 2) = 1 / 2, then (s ⋅ (1 / 2)) ⋅ (1 / s) = 1 / 2 (Transitive Property of Equality)
10	(s ⋅ (1 / 2)) / s = 1 / 2	if (s ⋅ (1 / 2)) / s = (s ⋅ (1 / 2)) ⋅ (1 / s) and (s ⋅ (1 / 2)) ⋅ (1 / s) = 1 / 2, then (s ⋅ (1 / 2)) / s = 1 / 2 (Transitive Property of Equality)
11	(s / 2) / s = 1 / 2	if (s / 2) / s = (s ⋅ (1 / 2)) / s and (s ⋅ (1 / 2)) / s = 1 / 2, then (s / 2) / s = 1 / 2 (Transitive Property of Equality)

Comments

Please log in to add comments