Source

Branch

1/ @keenanisalive

@EricLengyel

In the absence of exterior algebra, you can also have students discuss why symmetry, bilinearity, and positivity are natural geometric properties for any inner product. Then show that the Euclidean dot product is the only one invariant to (Euclidean) rigid motions, up to scale.

2/ @AntoPatriarca

@keenanisalive @EricLengyel

This was shown to me in my first linear algebra course at college. I would argue GA does not make any of this easier, it just change what is considered as a basic definition and what is instead derived from them.