Complex proof for “a curious property of regular heptagons”: $\frac{1}{A_1A_2} = \frac{1}{A_1A_3} + \frac{1}{A_1A_4}$
123475
$\frac{1}{A_1A_2}=\frac{1}{A_1A_3}+\frac{1}{A_1A_4}$.Then find the value of $n$
154716
Prove $\frac{1}{a^3+b^3+abc}+\frac{1}{a^3+c^3+abc}+\frac{1}{b^3+c^3+abc} \leq \frac{1}{abc}$
15116
Proof of the inequality $\frac{a}{b+c}+\frac{b}{a+c}+\frac{c}{a+b} \geq \frac{3}{2}$
14763
How to prove $\frac{1}{4}(\frac{a^2}{b}+\frac{b^2}{c}+\frac{c^2}{d}+\frac{d^2}{a})\ge \sqrt[4]{\frac{a^4+b^4+c^4+d^4}{4}}$
100320
Prove that $\cos\frac {2\pi}{7}+ \cos\frac {4\pi}{7}+ \cos\frac {8\pi}{7}=-\frac{1}{2}$
33905
Prove the following trigonometric identity: $\frac{\tan A+\sec A-1}{\tan A-\sec A+1}=\frac{1+\sin A}{\cos A}$
54015
Series involving complex roots: $\frac{1}{2-a_1} + \frac{1}{2-a_2} + \dots + \frac{1}{2-a_{n-1}} = \frac{(n-2)2^{n-1}+1}{2^n - 1}$
36837
Prove $\frac{1+a^{2}}{1+b+c^{2}} +\frac{1+b^{2}}{1+c+a^{2}} +\frac{1+c^{2}}{1+a+b^{2}} \geq 2$
21241
Proving $\,a\mid bc\!\iff\! \frac{a}{(a,b)}\!\mid c\ $ [general Euclid's Lemma]
16774
If $x,y,z\in\mathbb R\setminus \{1\}$ and $xyz=1$, prove that $\frac{x^2}{(x-1)^2}+\frac{y^2}{(y-1)^2}+\frac{z^2}{(z-1)^2}\ge 1$.
149700
Prove that $\frac{a_1^2}{a_1+a_2}+\frac{a_2^2}{a_2+a_3}+ \cdots \frac{a_n^2}{a_n+a_1} \geq \frac12$
119282
If $a_1,a_2,\ldots, a_n$ are distinct primes, and $a_1=2$, and $n>1$, then $a_1a_2\cdots a_n+1$ is of the form $4k+3$.
60230
Prove that $\frac{1+\sin\theta+i\cos\theta}{1+\sin\theta-i\cos\theta}=\sin\theta+i\cos\theta$
96590
Convex cyclic hexagon $ABCDEF$. Prove $AC \cdot BD \cdot CE \cdot DF \cdot AE \cdot BF \geq 27 AB \cdot BC \cdot CD \cdot DE \cdot EF \cdot FA$
50599
Prove that $\frac{1}{1*3}+\frac{1}{3*5}+\frac{1}{5*7}+...+\frac{1}{(2n-1)(2n+1)}=\frac{n}{2n+1}$
147902
Prove $a \mid m$ and $b \mid m \implies \frac{a \cdot b}{\text{gcd}(a, b)} \mid m$
120953
Show that, $2\arctan\left(\frac{1}{3}\right)+2\arcsin\left(\frac{1}{5\sqrt2}\right)-\arctan\left(\frac{1}{7}\right)=\frac{\pi}{4}$