Cho tam giác $ABC$, mệnh đề nào sau đây đúng?

(AI giải đề cho tôi)
Theo định lí côsin trong tam giác $ABC$ (với $BC=a$, $CA=b$, $AB=c$): $a^2=b^2+c^2-2bc\cos A$. Do đó mệnh đề đúng là phương án B. Các phương án A (dấu + sai), C và D (góc không tương ứng với cạnh $a$) đều sai.