Proof: Divide Simplify 2
Let's prove the following theorem:
(b ⋅ d) ⋅ (c / d) = b ⋅ c
Proof:
| # | Claim | Reason |
|---|---|---|
| 1 | (b ⋅ d) ⋅ c = (b ⋅ c) ⋅ d | (b ⋅ d) ⋅ c = (b ⋅ c) ⋅ d |
| 2 | ((b ⋅ d) ⋅ c) / d = ((b ⋅ c) ⋅ d) / d | if (b ⋅ d) ⋅ c = (b ⋅ c) ⋅ d, then ((b ⋅ d) ⋅ c) / d = ((b ⋅ c) ⋅ d) / d |
| 3 | d / d = 1 | d / d = 1 |
| 4 | ((b ⋅ c) ⋅ d) / d = (b ⋅ c) ⋅ (d / d) | ((b ⋅ c) ⋅ d) / d = (b ⋅ c) ⋅ (d / d) |
| 5 | ((b ⋅ c) ⋅ d) / d = (b ⋅ c) ⋅ 1 | if ((b ⋅ c) ⋅ d) / d = (b ⋅ c) ⋅ (d / d) and d / d = 1, then ((b ⋅ c) ⋅ d) / d = (b ⋅ c) ⋅ 1 |
| 6 | (b ⋅ c) ⋅ 1 = b ⋅ c | (b ⋅ c) ⋅ 1 = b ⋅ c |
| 7 | ((b ⋅ c) ⋅ d) / d = b ⋅ c | if ((b ⋅ c) ⋅ d) / d = (b ⋅ c) ⋅ 1 and (b ⋅ c) ⋅ 1 = b ⋅ c, then ((b ⋅ c) ⋅ d) / d = b ⋅ c |
| 8 | ((b ⋅ d) ⋅ c) / d = b ⋅ c | if ((b ⋅ d) ⋅ c) / d = ((b ⋅ c) ⋅ d) / d and ((b ⋅ c) ⋅ d) / d = b ⋅ c, then ((b ⋅ d) ⋅ c) / d = b ⋅ c |
| 9 | ((b ⋅ d) ⋅ c) / d = (b ⋅ d) ⋅ (c / d) | ((b ⋅ d) ⋅ c) / d = (b ⋅ d) ⋅ (c / d) |
| 10 | (b ⋅ d) ⋅ (c / d) = b ⋅ c | if ((b ⋅ d) ⋅ c) / d = (b ⋅ d) ⋅ (c / d) and ((b ⋅ d) ⋅ c) / d = b ⋅ c, then (b ⋅ d) ⋅ (c / d) = b ⋅ c |
Comments
Please log in to add comments