This post looks at some simple R3 multiplication of Opposite Values together and using counters. The examples show the distributivity of R3 multiplication. However, they also show that R3 multiplication is not associative or commutative.
R3 Unitary Multiplication Table
* | 1^ | 1v | i^ | iv | j^ | jv |
1^ | 1^ | 1v | j^ | jv | iv | i^ |
1v | 1^ | 1v | jv | j^ | i^ | iv |
i^ | jv | j^ | i^ | iv | 1^ | 1v |
iv | j^ | jv | i^ | iv | 1v | 1^ |
j^ | i^ | iv | 1v | 1^ | j^ | jv |
jv | iv | i^ | 1^ | 1v | j^ | jv |
Commutativity
- 3iv*4^ = 12j^
- 4^*3iv = 12jv
- So, multiplication is not commutative in R3
- 4iv*3jv = 12^
- 3jv*4iv = 12v
- So, multiplication is not commutative in R3
- 1^*1v = 1v
- 1v*1^ = 1^
- So, multiplication is not commutative in R3
- j^*j^ = j^
- iv*iv = iv
- (5iv + 2j^)(6i^ + 3v) = (5iv*6i^ + 5iv*3v + 2j^*6i^ + 2j^*3v)
- = 30i^ + 15jv + 12v + 6iv
- = 12v + 24i^ + 15jv
- (6i^ + 3v) (5iv + 2j^) = (6i^*5iv + 6i^*2j^ + 3v*5iv + 3v*2j^)
- = 30iv + 12^ + 15j^ + 6i^
- = 12^+ 24iv + 15j^
- Note that the signs of the results are different
- So, multiplication is not commutative
Associativity
- (4iv*3v)*2i^ = 12jv*2i^ = 24^
- 4iv*(3v*2i^) = 4iv*6jv = 24^
- It looks like multiplication might be associative
- (j^*j^)*1v = j^*1v = iv
- j^*(j^*1v) = j^*iv = 1^
- But it is not, as shown in this case
- (2iv*4j^)*3^ = 8v*3^ = 24^
- 2iv*(4j^*3^ ) = 2iv*12i^ = 24i^
- And not in this case
- So, multiplication is not associative.
Distributivity
- 5j^(6^ + 3iv) = 5j^(6^) + 5j^(3iv)
- = 30i^ + 15^
- (5j^+ 4iv)(6^ + 3iv) = 5j^*6^ + 5j^*3iv + 4iv*6^ + 4iv*3iv
- = 30i^ + 15^ + 24j^ + 12iv
- = 15^ + 18i^ + 24j^
- 5iv(6^ + 3jv) = 5iv*6^ + 5iv*3jv
- = 30j^ + 15^
- (2v + 10^) (9v+ 44^) = 8v*35^ = 280^
- but
- 2v*9v + 2v*44^ + 10^*9v + 10^*44^= 18v + 88^ +90v + 440^
- = 420^ which is different to the previous answer
- So, multiplication is distributive as long as all Opposite Values of the same Opposite Types are added together before distribution.
- but
R3 Multiplication with Counters
- 5(6^ + 3iv + 4j^) = 30^ + 15iv + 20j^
A flip sign in front of a Counter indicates that the Opposite Sign should be changed to the other Opposite Sign after multiplication.
- –5(6^ + 3iv + 4j^) = 30v + 15i^ + 20jv
- –2*–2*2j^ = 8j^
- Note that two flips cancel each other out
Counters cannot be multiplied with only themselves, as the result of any calculation must be an Opposite Value. Therefore, 3*5*2j^ = 30j^ is valid, but 3*5 = 15 is not permitted as 15 is not an Opposite Value.
Other Examples
- (1^ + i^ + j^)*1^ = (1^ + jv + i^ )
- (1^ + i^ + j^)(1^ + jv + i^ )
- = (1^ + j^ + i^ ) + (jv +1v + i^) + (i^ + jv + 1v )
- = (1v + 3i^ + jv )
- (6^ + –4^ )(2v + 4iv + 3jv) = 2^(2v +4iv + 3jv)
- = 4v + 6i^+ 8jv
- = 6^*2v + 6^*4iv + 6^*3jv + 4v*2v + 4v*4iv + 4v*3jv
- = 12v +24jv + 18i^ +8v + 16j^ + 12iv
- = 20v + 6i^ + 8jv
- which is different to the previous answer
- Again, multiplication is distributive as long all possible additions are performed before distribution
Multiplication Algebraic Formula
It can be seen from the multiplication table that the product of each pair of Opposite Value Types and Signs results in one Opposite Type and Sign.
This allows the multiplication calculation to be written in terms of Opposite Value types as in the following formulae for the multiplication of the two points a, with coordinates (xa, ya, za), and b, with coordinates (xo, yo zo):
- ^/v value: (xa*xo + ya*zo + za*yo)
- i^/iv value: (ya*yo+ xa*zo + za*xo)
- j^/jv value: (za*zo + xa*yo + ya*xo)
Next: Trigonometry
Previous: Definition