Ta có một số kí hiệu thường dùng.
Cho tam giác
là nửa chu vi tam giác ABC . diện tích tam giác ABC .- R là bán kính đường tròn ngoại tiếp tam giác ABC
là bán kính đường tròn nội tiếp tam giác độ dài đường trung tuyến xuất phát từ . là độ dài đường cao xuất phát từ .

Định lý Cosin trong tam giác
Định lý. Cho tam giác ABC
Khi đó ta có:
Chứng minh
Để chứng minh định lý ta có thể sử dụng định lý Pitago và tỉ số lượng giác của góc nhọn, hoặc có thể dùng tích vô hướng, ở đây tôi trình bày theo tích vô hướng.
Các hệ thức còn lại chứng minh tương tự.
Từ định lý trên ta dễ dàng suy ra hệ quả sau
Hệ quả.
Trong tam giác
Từ đây suy ra tam giác
và
Nhận xét:
- Định lý cosin là tổng quát của định lý Pitago nêu lên quan hệ giữa cạnh và góc trong tam giác, ứng dụng để tính toán độ dài, góc, thiết lập các đẳng thức hình học.
- Hệ quả định lý cosin sử dụng khi ta muốn chuyển các hệ thức về độ dài các cạnh của tam giác.
Định lý Sin trong tam giác
Định lý.
Cho tam giác
Chứng minh. Vẽ đường kính
suy ra
Chứng minh tương tự ta cũng có
Hệ quả
Nhận xét:
- Nêu lên mối liên hệ giữa cạnh, góc đối diện và bán kính đường tròn ngoại tiếp.
- Tính toán các yếu tố của tam giác khi biết sỗ đo hai góc và một cạnh.
- Chứng minh các đẳng thức hình học khác.
Công thức đường trung tuyến
Định lý. (Độ dài đường trung tuyến) Trong tam giác
. . .
Chứng minh. Ta có thể chứng minh định lý này bằng định lý Cosin, áp dụng định lý cosin cho hai tam giác
Mà
Từ đó ta có
Công thức tính diện tích tam giác
Định lý. Các công thức tính diện tích tam giác
(công thức He-ron)
Chứng minh dành cho bạn đọc.