Proof: Algebra 17
Let's prove the following theorem:
if not (s = 0), then s ⋅ (1 / s) = 1
Proof:
Given
1 | not (s = 0) |
---|
# | Claim | Reason |
---|---|---|
1 | s / s = 1 | if not (s = 0), then s / s = 1 |
2 | s / s = s ⋅ (1 / s) | s / s = s ⋅ (1 / s) |
3 | s ⋅ (1 / s) = 1 | if s / s = s ⋅ (1 / s) and s / s = 1, then s ⋅ (1 / s) = 1 |
Comments
Please log in to add comments