### Vector division

and vector - vector projection and rejection

This graph shows the light blue x.a plane of all vectors which have the same violet projection vector (x.a)/a onto a and the green line defined by the outer product x^a. The intersection of the x.a plane and the x^a line uniquely determines the vector x. This procedure is the geometric meaning of calculating the inverse the vector a with respect to geometric multiplication, i.e. geoemtrically dividing by a vector a:

xa = x.a + x^a,
(xa)/a = (x.a)/a + (x^a)/a = xa/a = x.

The light green bivector r^a = [(x^a)/a]^a = ra and the green bivector x^a are equal:

ra = r^a = x^a,

since the have the same area (scalar magnitude) and orientation. ra = r^a, because r is orthogonal to a. The vector r = ra/a = (x^a)/a is also called the "rejection" of x from a. In geometric algebra the projection and rejection formulas with respect to a bivector have the same form.

You can change the origin, the blue vector a, and the position of the straight green x^a line by interactively dragging the bright red points with the mouse.

Please enable Java for an interactive construction (with Cinderella).

The basic idea for this applet stems from the "DEMOinvertible" in Dorst, Mann and Bouma's geometric algebra MATLAB tutorial GABLE.

[ GA with Cinderella ]

Soli Deo Gloria. Created with Cinderella by E. Hitzer (Fukui).