- Định lí 1: Trong một tam giác, góc đối diện với cạnh lớn hơn là góc lớn hơn.
- Tổng ba góc trong một tam giác bằng .
- Nếu và thì .
Định hướng. dài nhất nên (đối diện ) là góc lớn nhất; cộng ba lần so với tổng ba góc sẽ ra chặn dưới .
nên .
Cộng hai bất đẳng thức và cộng thêm : .
Suy ra .
Vậy (đpcm).
Định hướng. Giả sử điều cần chứng minh sai (), chỉ ra mâu thuẫn với việc là góc lớn nhất.
Vì dài nhất nên là góc lớn nhất (theo Định lí 1 như Cách 1), do đó và .
Suy ra .
Điều này mâu thuẫn với tổng ba góc của tam giác luôn bằng .
Vậy điều giả sử sai, tức (đpcm).
Định hướng. Xét trường hợp đẳng thức xảy ra khi nào để thấy chặn là chặt, rồi thử thêm một tam giác không đều để kiểm tra .
Thử , , (thoả dài nhất): tính được .
Vậy cả hai ví dụ đều xác nhận , với dấu bằng chỉ khi tam giác đều.
