Proof: Simplify Product

Let's prove the following theorem:

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

Proof:

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

Proof Table
# Claim Reason
1 a ⋅ (1 / b) = a / b a ⋅ (1 / b) = a / b
2 c ⋅ (1 / d) = c / d c ⋅ (1 / d) = c / d
3 (a ⋅ (1 / b)) ⋅ (c ⋅ (1 / d)) = (a / b) ⋅ (c / d) if a ⋅ (1 / b) = a / b and c ⋅ (1 / d) = c / d, then (a ⋅ (1 / b)) ⋅ (c ⋅ (1 / d)) = (a / b) ⋅ (c / d)

Comments

Please log in to add comments