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