Ở đây $m_a, m_b, m_c$ lần lượt là độ dài đường trung tuyến kẻ từ các đỉnh $A, B, C.$ (Đây là quy ước, đã được giới thiệu trong SGK 9).A/d CT tính độ dài trung tuyến (nếu chưa học thì tìm trong SGK 10 :|)
$m_a^2=\frac{2(b^2+c^2)-a^2}{4}$
$m_b^2=\frac{2(c^2+a^2)-b^2}{4}$
$m_c^2=...........$
Cộng lại có đpcm!