Trong tam giác ABC, hệ thức a² = b² + c² − 2bc·cosA là nội dung định lí nào?

Hệ thức liên hệ bình phương một cạnh với hai cạnh còn lại và cosin của góc xen giữa, nên đó là định lí côsin. Cụ thể, cạnh a đối diện góc A thỏa a² = b² + c² − 2bc·cos A. Nếu A = 90° thì cos A = 0, công thức rút gọn thành a² = b² + c² của định lí Pythagore.