The theorem in the red box is pretty much a restatement of (7.1). Not particularly helpful.

To find , draw vectors and , along with their difference, , forming a triangle. Note that the dot product obeys the distributive property, that is

. However by the law of cosines,

Set these two expressions equal, cancel stuff, and you will obtain , or