Proof: Divide by 2
Let's prove the following theorem:
(a ⋅ 2) / (b ⋅ 2) = a / b
Proof:
| # | Claim | Reason |
|---|---|---|
| 1 | (a / b) ⋅ 1 = a / b | (a / b) ⋅ 1 = a / b |
| 2 | 2 / 2 = 1 | 2 / 2 = 1 |
| 3 | (a / b) ⋅ (2 / 2) = a / b | if (a / b) ⋅ 1 = a / b and 2 / 2 = 1, then (a / b) ⋅ (2 / 2) = a / b |
| 4 | (a / b) ⋅ (2 / 2) = (a ⋅ 2) / (b ⋅ 2) | (a / b) ⋅ (2 / 2) = (a ⋅ 2) / (b ⋅ 2) |
| 5 | (a ⋅ 2) / (b ⋅ 2) = a / b | if (a / b) ⋅ (2 / 2) = (a ⋅ 2) / (b ⋅ 2) and (a / b) ⋅ (2 / 2) = a / b, then (a ⋅ 2) / (b ⋅ 2) = a / b |
Comments
Please log in to add comments