Motivation
want to incorporate rotors like $~$e^{\text{I}\theta}$~$ and scalars $~$n$~$ in the same system
also want $~$|a|^2 + |b|^2 = |a+b|^2$~$ to be incorporated into the product
want to follow standard laws of products in algebra as much as possible - distribute over vector sum
but, we don't want it to be commutative, because we've seen that rotations in 3d are not commutative, so it would lose its power to describe geometric relations if we kept that (scalars themselves will always be commutable with everything)
there is a product that satisfies all of these. it was hard to find, carefully designed, and has a lot of built up mathematical insight going into it. we will try to understand why it is the way it is
Contraction rule
key idea - look at $~$(a+b)^2 = a^2 + ab + ba + b^2$~$ (remember $~$ab$~$ and $~$ba$~$ should different in general, so we can't combine them into $~$2ab$~$) pretty close to pythagorean theorem!
if we set $~$a^2 = |a|^2$~$, this will almost get us to the pythagorean theorem: $~$|a+b|^2 = |a|^2 + ab + ba + |b|^2$~$
it's good that there's the $~$ab + ba$~$ in there, because the pythagorean theorem is only true for vectors at right angles so $~$ab + ba$~$ should be zero exactly when $~$a$~$ and $~$b$~$ are at right angles
what about when $~$a$~$ and $~$b$~$ are in the same direction? then $~$|a+b|^2 = (|a| + |b|)^2 = |a|^2 + 2|a||b| + |b|^2$~$ so in this case, $~$ab + ba$~$ should be $~$2|a||b|$~$
so for right angles $~$ab = - ba$~$
for parallel vectors makes sense to have $~$ab = ba = |a||b|$~$
important consequence: $~$\frac{1}{a}=\frac{a}{|a|^2}$~$ - actually need to use $~$a^{-1}$~$ bc non-commutative
Rotations
from rotor theory, for right angles, $~$ae^{\text{I}\pi/2} = b$~$ for same magnitude so $~$e^{\text{I}\pi/2} = \frac{ab}{|a|^2}$~$, so $~$ab = |a|^2e^{\text{I}\pi/2}$~$, when $~$|a| = |b|$~$
then if $~$b$~$ is diff magnitude, $~$a|b|/|a|e^{\text{I}\pi/2} = b$~$, so $~$ab = |a||b|e^{\text{I}\pi/2}$~$.
this means $~$|b||a|=-e^{\text{I}\pi/2}$~$.
one more thing we have to set, we will identify $~$e^{\text{I}\pi/2}$~$ with the unit bivector $~$\text{I}$~$ itself.
so for perpendicular angles, $~$ab = |a||b|I$~$
this means $~$I^2 = -1$~$
so what is $~$ab$~$ in general?
write $~$a = a_xx+a_yy$~$, $~$b = b_xx+b_yy$~$ $~$ab = (a_xx + a_yy)(b_xx + b_yy) = a_xb_xx^2 + a_yb_xyx + a_xb_yxy+a_yb_yy^2 = a_xb_x + a_yb_y - a_yb_xI + a_xb_yI$~$
scalar part + bivector part
this gives us an alternate way of writing angles
$~$e^{\text{I}\pi/4} = \frac{1 + I}{\sqrt{2}}$~$
call the scalar part the cosine, and the bivector part the sine
$~$e^{\text{I}\theta} = \cos(\theta) + \text{I}\sin(\theta)$~$
(btw this is where all those trig identities you hated come from - they are much easier to work with in exponential form)
Multivectors
rotor is sum of scalar and bivector
in general - we can add together any type of $~$k$~$-vector
can think of the different parts as different aspects of the transformation
different parts are called grades