Exercise 45

Show that the vector \(\text{orth}_\mathbf{a}\mathbf{b} = \mathbf{b} - \text{proj}_\mathbf{a}\mathbf{b}\) is orthogonal to a. (It is called an orthogonal projection of b.)