Multiplicative Property of Equality Variation 2
Transitive Property of Equality Variation 3
Division is Commutative
Associative Property of Multiplication 2
Transitive Property Application 1
Substitution 10
Division Theorem
Algebra 6

Proof: Algebra 6

Let's prove the following theorem:

(a / b) ⋅ d = (d / b) ⋅ a

Proof:

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

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

Comments

Please log in to add comments