Using the addition formula for cosine, we can express cos(v−3) in terms of cosv and sinv,
Since cosv=b and sinv=1−b2 we obtain