Minimizing $\cot^2 A +\cot^2 B + \cot^2 C$ for $A+B+C=\pi$
45775
In a $\triangle ABC,$ Evaluation of minimum value of $\cot^2 A+\cot^2 B+\cot^2 C$
57736
Minimum value of $\left(a+\frac{1}{b}\right)^2+\left(b+\frac{1}{c}\right)^2+\left(c+\frac{1}{a}\right)^2$
145559
Trigonometry problem on product of trig functions.
103763
Minimal polynomial of $\sqrt{2}+\sqrt{3}$ over $\mathbb Q$
52517
Construction of $\mathbb{CP}^2$ from $S^2\times S^2$
117331
Find the minimum value of $|\sin x+\cos x+\tan x+\cot x+\sec x+\csc x|$ for real numbers $x$
40952
Showing that sum of angles of hyperbolic triangle is strictly less than $\pi$
34325
Minimizing $\sum_{i=1}^n \max(|x_i - x|, |y_i - y|)$ - Sum of Max of Absolute Values
93820
Fermat's little theorem applied for $n$'th root existence $\!\bmod p$
107595
Iteratively minimizing the function
28006
The minimum of two independent geometric random variables
126040
Geometric explanation of $\sqrt 2 + \sqrt 3 \approx \pi$
48586
Prove: $\cot x=\sin x\,\sin\left(\frac{\pi}{2}-x\right)+\cos^2x\,\cot x$
69631
Prove that: $ \cot7\frac12 ^\circ = \sqrt2 + \sqrt3 + \sqrt4 + \sqrt6$
7835
Tricky elementary integral $\int_{0}^{\frac{\pi}{2}}x\cot(x)dx$.
147410
ArcTan(2) a rational multiple of $\pi$?
158704
How to minimize $\sum_{i=1}^p (y_i-x_i)^2$ with constraints $\sum_{i=1}^p y_i - 1 =0$ and $\forall i=\overline{1,p}:-y_i \le 0$?