\[\cos a=\cos b\cos c+\sin b\sin c\cos A,\]