Proof: Divide Both

Let's prove the following theorem:

if the following are true:
  • a / b = c / d
  • d = e

then a / b = c / e

Proof:

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

Given
1 a / b = c / d
2 d = e
Proof Table
# Claim Reason
1 c / d = c / e if d = e, then c / d = c / e
2 a / b = c / e if a / b = c / d and c / d = c / e, then a / b = c / e

Comments

Please log in to add comments