Theo định lý hàm số Cos, ta có: BC^{2} = AB^{2} +AC^{2} - 2AB.AC.Cos(\widehat{BAC})
\Rightarrow BC^{2} = AB^{2} +AC^{2} - 2AB.AC.Cos(\widehat{60^{o}})
\Rightarrow BC^{2} = AB^{2} +AC^{2} - 2AB.AC.\frac{1}{2} = AB^{2} +AC^{2} - AB.AC
\Rightarrow BC^{2} = AB^{2} +AC^{2} - AB.AC
\Rightarrow đpcm