\[\cos A=-\cos B\cos C+\sin B\sin C\cos a.\]