Showing $8(\arctan(\sqrt2-1)) = \pi$
39266
Show that $\tan {\pi \over 8} = \sqrt 2 - 1$
77816
Proof problem: Show that $n^2-1$ is divisible by $8$, if $n$ is an odd positive integer.
142835
Proving :$\arctan(1)+\arctan(2)+ \arctan(3)=\pi$
63774
If a and b are odd integers, then $8\mid (a^2-b^2)$
75639
Showing that $\sqrt[3]{2}\notin\Bbb Q(\alpha_1,...,\alpha_k)$ where $\alpha_i^2\in\Bbb Q\ \forall i$
34905
Proving that $\int_0^1 \frac{\arctan x}{x}\ln\left(\frac{1+x^2}{(1-x)^2}\right)dx=\frac{\pi^3}{16}$
22058
Prove that $\cos(\pi/7)$ is root of equation $8x^3-4x^2-4x+1=0$
109887
How to evaluate $\int_0^1 (\arctan x)^2 \ln(\frac{1+x^2}{2x^2}) dx$
65562
Proving the inequality $\arctan\frac{\pi}{2}\ge1$
19216
Proving that $\arctan(x)+\arctan(1/x)=\pm \pi/2$, could this line of reasoning possibly be correct?
146047
Proving that $\cos(2\pi/n)$ is algebraic
40009
Show that $e^{\sqrt 2}$ is irrational
1859
Proving $\arctan(\sqrt{x^2+1}-x)=\frac{\pi}{4}-\frac{1}{2}\arctan(x)$
49443
What is the value of $\arctan(1/2)+\arctan(1/5)+\arctan(1/8)$?
70660
Why is $\sqrt{8}/2$ equal to $\sqrt{2}$?
36023
Showing that $ \sum_{n=1}^{\infty} \arctan \left( \frac{2}{n^2} \right) =\frac{3\pi}{4}$
33791
Is it generally true that $\arcsin \theta + \arccos \theta = \frac{\pi}{2}$?