Transitive Property of Equality Variation 2
Multiplication Property 2
Multiplicative Property of Equality Variation 1
Associative Property of Multiplication 2
Transitive Property Application 2
Substitution 10
Reordering Terms Theorem
Multiplicative Identity 3
Division Theorem
Substitution 11
Substitution 14
Multiplication Property 3
Reorder Terms
Reduction Property
Cross Multiply Theorem

Proof: Reduction Property

Let's prove the following theorem:

((a / b) ⋅ c) ⋅ b = a ⋅ c

Proof:

View as a tree | View dependent proofs | Try proving it

Proof Table
# Claim Reason
1 a / b = a ⋅ (1 / b) a / b = a ⋅ (1 / b)
2 (a / b) ⋅ c = (a ⋅ (1 / b)) ⋅ c if a / b = a ⋅ (1 / b), then (a / b) ⋅ c = (a ⋅ (1 / b)) ⋅ c
3 ((a / b) ⋅ c) ⋅ b = ((a ⋅ (1 / b)) ⋅ c) ⋅ b if (a / b) ⋅ c = (a ⋅ (1 / b)) ⋅ c, then ((a / b) ⋅ c) ⋅ b = ((a ⋅ (1 / b)) ⋅ c) ⋅ b
4 ((a ⋅ (1 / b)) ⋅ c) ⋅ b = (((1 / b) ⋅ b) ⋅ a) ⋅ c ((a ⋅ (1 / b)) ⋅ c) ⋅ b = (((1 / b) ⋅ b) ⋅ a) ⋅ c
5 (1 / b) ⋅ b = 1 (1 / b) ⋅ b = 1
6 ((1 / b) ⋅ b) ⋅ a = 1 ⋅ a if (1 / b) ⋅ b = 1, then ((1 / b) ⋅ b) ⋅ a = 1 ⋅ a
7 (((1 / b) ⋅ b) ⋅ a) ⋅ c = (1 ⋅ a) ⋅ c if ((1 / b) ⋅ b) ⋅ a = 1 ⋅ a, then (((1 / b) ⋅ b) ⋅ a) ⋅ c = (1 ⋅ a) ⋅ c
8 1 ⋅ a = a 1 ⋅ a = a
9 (1 ⋅ a) ⋅ c = a ⋅ c if 1 ⋅ a = a, then (1 ⋅ a) ⋅ c = a ⋅ c
10 (((1 / b) ⋅ b) ⋅ a) ⋅ c = a ⋅ c if (((1 / b) ⋅ b) ⋅ a) ⋅ c = (1 ⋅ a) ⋅ c and (1 ⋅ a) ⋅ c = a ⋅ c, then (((1 / b) ⋅ b) ⋅ a) ⋅ c = a ⋅ c
11 ((a ⋅ (1 / b)) ⋅ c) ⋅ b = a ⋅ c if ((a ⋅ (1 / b)) ⋅ c) ⋅ b = (((1 / b) ⋅ b) ⋅ a) ⋅ c and (((1 / b) ⋅ b) ⋅ a) ⋅ c = a ⋅ c, then ((a ⋅ (1 / b)) ⋅ c) ⋅ b = a ⋅ c
12 ((a / b) ⋅ c) ⋅ b = a ⋅ c if ((a / b) ⋅ c) ⋅ b = ((a ⋅ (1 / b)) ⋅ c) ⋅ b and ((a ⋅ (1 / b)) ⋅ c) ⋅ b = a ⋅ c, then ((a / b) ⋅ c) ⋅ b = a ⋅ c
Previous Lesson Next Lesson

Comments

Please log in to add comments