Proof: Divide Substitute 4

Let's prove the following theorem:

if the following are true:
  • a = w
  • b = x
  • c = y
  • d = z

then (a - b) / (c - d) = (w - x) / (y - z)

Proof:

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

Given
1 a = w
2 b = x
3 c = y
4 d = z
Proof Table
# Claim Reason
1 a - b = w - x if a = w and b = x, then a - b = w - x
2 c - d = y - z if c = y and d = z, then c - d = y - z
3 (a - b) / (c - d) = (w - x) / (y - z) if a - b = w - x and c - d = y - z, then (a - b) / (c - d) = (w - x) / (y - z)

Comments

Please log in to add comments