Chứng minh BDT: cosA + cosB + cosC <= 3/2 bằng nhiều cách