Proof: Slope 1

Let's prove the following theorem:

if the following are true:
  • f = (a - b) / (c - d)
  • a = w
  • b = x
  • c = y
  • d = z

then f = (w - x) / (y - z)

Proof:

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

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

Comments

Please log in to add comments