Proof: $\cot(7.5^\circ) = \sqrt2 +\sqrt3 + \sqrt 4 + \sqrt6$
69631
Prove that: $ \cot7\frac12 ^\circ = \sqrt2 + \sqrt3 + \sqrt4 + \sqrt6$
7500
$\arctan$ of a square root as a rational multiple of $\pi$
28347
Prove that $\sqrt 2 + \sqrt 3$ is irrational
119152
Proving irreducibility of $x^6-72$
126040
Geometric explanation of $\sqrt 2 + \sqrt 3 \approx \pi$
88429
Prove $\sqrt{2} + \sqrt{5}$ is irrational
117602
How to evaluate $\int \cot^2(x) \;\mathrm dx$?
69682
Roots of $y=x^3+x^2-6x-7$
90226
Proving trigonometric equation $\cos(36^\circ) - \cos(72^\circ) = 1/2$
1859
Proving $\arctan(\sqrt{x^2+1}-x)=\frac{\pi}{4}-\frac{1}{2}\arctan(x)$
141816
factor $z^7-1$ into linear and quadratic factors and prove that $ \cos(\pi/7) \cdot\cos(2\pi/7) \cdot\cos(3\pi/7)=1/8$
48586
Prove: $\cot x=\sin x\,\sin\left(\frac{\pi}{2}-x\right)+\cos^2x\,\cot x$
48824
Prove: $ \frac{1}{\sin 2x} + \frac{1}{\sin 4x } + \cdots + \frac{1 }{\sin 2^n x} = \cot x - \cot 2^n x $
41641
$(n-7)(n+7)=$ some perfect square
111295
Prove that $a^7 + b^7 + c^7 \geq a^4b^3 + b^4c^3 + c^4a^3$
95643
Proving $\sum_{cyc} \sqrt{a^2+ab+b^2}\geq\sqrt 3$ when $a+b+c=3$
113080
Prove $\tan\big(\frac{\pi}{2} -\theta \big) = \cot \theta$