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

(AI giải đề cho tôi)
Theo định lí cosin trong tam giác $ABC$: $B{C}^2=A{B}^2+A{C}^2-2AB\cdot AC\cos A$, suy ra $\cos A=\frac{A{B}^2+A{C}^2-B{C}^2}{2AB\cdot AC}$. Đây chính là mệnh đề ở phương án A. Các phương án B, C, D có mẫu số hoặc tử số không phù hợp với góc $A$.