- Bất đẳng thức tam giác: trong tam giác, mỗi cạnh nhỏ hơn tổng và lớn hơn hiệu hai cạnh còn lại.
- Quy tắc ba điểm: .
- Định lí côsin: .
Định hướng. Dựng , ; vì , không cùng phương nên , , không thẳng hàng.
, ,
:
Vậy bất đẳng thức được chứng minh.
Định hướng. Trong tam giác ở trên, góc thoả mãn nên .
Vậy .
Định hướng. Giữ cố định; điểm với nằm trên đường tròn tâm bán kính .
Mọi điểm của đường tròn: , dấu bằng chỉ khi hoặc
, không cùng phương ,
Vậy .
Nhận xét. Cả ba cách thực ra chứng minh điều mạnh hơn: . Khi , cùng hướng thì ; ngược hướng thì .
