If $A+B+C=\pi$, prove that $\cos (A-B) \cos (B-C) \cos (C-A)\ge 8\cos A \cos B \cos C$
12646
In acute angle triangle, prove that $\cos (A-B) \cos (B-C) \cos (C-A)\ge 8\cos A \cos B \cos C$
100895
Prove $1 + \cos 2C - \cos 2A - \cos 2B = 4\sin A\sin B\cos C$ for $A$, $B$, $C$ the angles of a triangle
4333
Prove that if $a+b+c+d=4$, then $(a^2+3)(b^2+3)(c^2+3)(d^2+3)\geq256$
41191
How to prove this $\pi$ formula?
151154
Prove the inequality $\sqrt\frac{a}{a+8} + \sqrt\frac{b}{b+8} +\sqrt\frac{c}{c+8} \geq 1$ with the constraint $abc=1$
113641
Suppose the gcd (a,b) = 1 and c divides a + b. Prove that gcd (a,c) = 1 = gcd (b,c)
56101
Prove the inequality $\frac{a}{c+a-b}+\frac{b}{a+b-c}+\frac{c}{b+c-a}\ge{3}$
99692
Prove that $a^3+b^3+c^3 \geq a^2b+b^2c+c^2a$
65280
If $a, b, c >0$ prove that $ [(1+a)(1+b)(1+c)]^7 > 7^7a^4b^4c^4 $.
35529
Prove that $\sin x+2x\ge\frac{3x(x+1)}{\pi}$ for all $x\in [0,\frac{\pi}{2}]$
14480
Proving $(P(AB))^2+(P(AB^c))^2+(P(A^cB))^2+(P(A^cB^c))^2\ge\frac{1}{4}$ for any events $A$ and $B$
32197
Prove that $\tan A + \tan B + \tan C = \tan A\tan B\tan C,$ $A+B+C = 180^\circ$
136868
Prove that $\sqrt{a^2+3b^2}+\sqrt{b^2+3c^2}+\sqrt{c^2+3a^2}\geq6$ if $(a+b+c)^2(a^2+b^2+c^2)=27$
90670
Prove $a^ab^bc^c\ge (abc)^{\frac{a+b+c}3}$ for positive numbers.
5694
How to prove $a^2 + b^2 + c^2 \ge ab + bc + ca$?
100320
Prove that $\cos\frac {2\pi}{7}+ \cos\frac {4\pi}{7}+ \cos\frac {8\pi}{7}=-\frac{1}{2}$
10348
Prove that if the $\gcd(a,b)=1$, then $\gcd(a+b,ab)=1$