Proof: Reorder Terms 2 and 4
Let's prove the following theorem:
((a ⋅ b) ⋅ c) ⋅ d = ((b ⋅ d) ⋅ a) ⋅ c
This exmample shows that we can reorder terms in any way we want.
Proof:
# | Claim | Reason |
---|---|---|
1 | ((a ⋅ b) ⋅ c) ⋅ d = (a ⋅ b) ⋅ (c ⋅ d) | ((a ⋅ b) ⋅ c) ⋅ d = (a ⋅ b) ⋅ (c ⋅ d) |
2 | c ⋅ d = d ⋅ c | c ⋅ d = d ⋅ c |
3 | a ⋅ b = b ⋅ a | a ⋅ b = b ⋅ a |
4 | (a ⋅ b) ⋅ (c ⋅ d) = (b ⋅ a) ⋅ (d ⋅ c) | if a ⋅ b = b ⋅ a and c ⋅ d = d ⋅ c, then (a ⋅ b) ⋅ (c ⋅ d) = (b ⋅ a) ⋅ (d ⋅ c) |
5 | (b ⋅ a) ⋅ (d ⋅ c) = ((b ⋅ a) ⋅ d) ⋅ c | (b ⋅ a) ⋅ (d ⋅ c) = ((b ⋅ a) ⋅ d) ⋅ c |
6 | (b ⋅ a) ⋅ d = (b ⋅ d) ⋅ a | (b ⋅ a) ⋅ d = (b ⋅ d) ⋅ a |
7 | ((b ⋅ a) ⋅ d) ⋅ c = ((b ⋅ d) ⋅ a) ⋅ c | if (b ⋅ a) ⋅ d = (b ⋅ d) ⋅ a, then ((b ⋅ a) ⋅ d) ⋅ c = ((b ⋅ d) ⋅ a) ⋅ c |
8 | ((a ⋅ b) ⋅ c) ⋅ d = ((b ⋅ d) ⋅ a) ⋅ c | if ((a ⋅ b) ⋅ c) ⋅ d = (a ⋅ b) ⋅ (c ⋅ d) and (a ⋅ b) ⋅ (c ⋅ d) = (b ⋅ a) ⋅ (d ⋅ c) and (b ⋅ a) ⋅ (d ⋅ c) = ((b ⋅ a) ⋅ d) ⋅ c and ((b ⋅ a) ⋅ d) ⋅ c = ((b ⋅ d) ⋅ a) ⋅ c, then ((a ⋅ b) ⋅ c) ⋅ d = ((b ⋅ d) ⋅ a) ⋅ c |
Comments
Please log in to add comments