Proof: Reorder Terms 9

Let's prove the following theorem:

(b / c) ⋅ c = (b ⋅ c) / c

Proof:

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

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

Comments

Please log in to add comments