The definition of the dot product can be used to prove several familiar formulas. For example, consider Figure 1.9.1, in which $\CC=\BB-\AA\text{.}$ Then
$$\,|\CC|^2 = |\AA|^2 + |\BB|^2 - 2|\AA||\BB|\cos\theta\tag{1.9.1}$$