Ở đây ma,mb,mc 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 :|)
m2a=2(b2+c2)−a24
m2b=2(c2+a2)−b24
m2c=...........
Cộng lại có đpcm!