Transitive Property of Equality Variation 1
Transitive Property of Equality Variation 2
Transitive With Four
Logofpower
Transitive Property Application 2
Converseofpowersubstitution
Multiplication Property 2
Multiplicative Identity 3
Remove One
Remove One 2
Division Theorem
Multiply by Inverse 2
Divide by Term
Transitive Property of Equality Variation 3
Division Substitution
Division Substitution2
Logbasechange

Proof: Division Substitution

Let's prove the following theorem:

if the following are true:
  • x = i
  • y = j

then i / j = x / y

Proof:

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

Given
1 x = i
2 y = j
Proof Table
# Claim Reason
1 x / j = i / j if x = i, then x / j = i / j
2 x / y = x / j if y = j, then x / y = x / j
3 i / j = x / y if x / y = x / j and x / j = i / j, then i / j = x / y
Previous Lesson Next Lesson

Comments

Please log in to add comments