$ \sin^2x_1+\dots \sin^2x_{10}=1$ implies $ 3(\sin x_1+\dots \sin x_{10})\leq \cos x_1 +\dots +\cos x_{10}. $
44438
Prove : $\frac{\cos(x_1) +\cos(x_2) +\cdots+\cos(x_{10})}{\sin(x_1) +\sin(x_2) +\cdots+\sin(x_{10})} \ge 3$
18399
Prove this inequality $\sum \cos{A}\ge\frac{1}{4}(3+\sum\cos{(A-B)})$
148494
How does one prove that $\frac{1}{2}\cdot\frac{3}{4}\cdots \frac{2n-1}{2n}\leq \frac{1}{\sqrt{3n+1}}?$
76925
Algebraic proof that if $a>0$ then $1+a^9 \leq \frac{1}{a}+a^{10} $
129890
Proving inequality $|\sin(n\theta) |\le n\sin\theta$
60230
Prove that $\frac{1+\sin\theta+i\cos\theta}{1+\sin\theta-i\cos\theta}=\sin\theta+i\cos\theta$
84730
use the fact that $\tan 2x=\sin2x \ /\cos2x$ to prove that $\tan 2x=2\tan x/(1-\tan^2x)$
25458
Prove inequalities $2\sqrt{n+1}-2 \leq 1 + 1/\sqrt{2} + 1/\sqrt{3} + .... + 1/\sqrt{n}\leq 2\sqrt{n}-1$
137864
Prove that $ \left(1+\frac a b \right) \left(1+\frac b c \right)\left(1+\frac c a \right) \geq 2\left(1+ \frac{a+b+c}{\sqrt[3]{abc}}\right)$.
32792
Proving: $\cos A \cdot \cos 2A \cdot \cos 2^{2}A \cdot \cos 2^{3}A ... \cos 2^{n-1}A = \frac { \sin 2^n A}{ 2^n \sin A } $
120954
Prove that: $\sqrt[3]{a_1^3+ a_2^3 +\cdots+a_n^3} \le \sqrt{a_1^2 + a_2^2 +\cdots+a_n^2}$
86454
How to prove $\cos\left(\pi\over7\right)-\cos\left({2\pi}\over7\right)+\cos\left({3\pi}\over7\right)=\cos\left({\pi}\over3 \right)$
24656
Proving that $\frac{\csc\theta}{\cot\theta}-\frac{\cot\theta}{\csc\theta}=\tan\theta\sin\theta$
19804
How to prove that $|w_{n+1}-w_n| \leq (2/3)^2 |w_n - w_{n-1}|$?
95889
Prove that $\gcd(n! + 1, 3n! + 1) = 1$, $\forall n \in \mathbb{N}$, $n \geq 2$.
116580
Prove by induction: $\sin{x}+\sin{3x}+\dots+\sin{(2n-1)x}=\frac{\sin^2{nx}}{\sin{x}}$
103988
Prove that $\tan20^°\tan40^°\tan60^°\tan80^°=3$