Trong tam giác EFG, chúng ta có thể sử dụng định lý cosin để kiểm tra các mệnh đề.

Định lý cosin phát biểu rằng:

\[
c^2 = a^2 + b^2 - 2ab \cdot \cos(C)
\]

Áp dụng công thức này cho tam giác EFG với:

- \(EF\) là cạnh đối diện với góc \(G\)
- \(EG\) là một cạnh
- \(FG\) là cạnh còn lại

Theo định lý cosin, ta có:

\[
EF^2 = EG^2 + FG^2 - 2 \cdot EG \cdot FG \cdot \cos(G)
\]

Vậy mệnh đề đúng là:

**D. \(EF^2 = EG^2 + FG^2 - 2EG \cdot FG \cdot \cos(G)\)**.

Nếu cần kiểm tra thêm các mệnh đề khác, có thể viết lại tương tự cho các góc và cạnh khác nhưng dấu trong công thức sẽ thay đổi.