Bài 3
Cho tam giác . Phân giác góc cắt tại và đường tròn ngoại tiếp tại . Đặt , định nghĩa tương tự . Chứng minh , dấu bằng khi và chỉ khi tam giác đều.
Bước 3 trên 5: Tách các nhân tử có tích bằng một
Phân tích chi tiết
Suy ra và các công thức chu kỳ. Theo định nghĩa , nên AM-GM cho .