Proving $\arctan(\mathrm{e}^{-v}) = \text{arccot}(\mathrm{e}^v)$
59658
Are $\mathrm{arccot}(x)$ and $\arctan(1/x)$ the same function?
65562
Proving the inequality $\arctan\frac{\pi}{2}\ge1$
118996
Prove that $T$ is an orthogonal projection
83449
Proof with 3D vectors
24234
How to evaluate $\lim_{x\to\infty}\arctan (4/x)/ |\arcsin (-3/x)|$?
118501
Proving the length of a circle's arc is proportional to the size of the angle
617
Find θ: $β=\arctan\frac{(R+r)·\sin(θ)-r·\sin(θ(1+\frac{R}{r}))}{(R+r)·\cos(θ)-r·\cos(θ(1+\frac{R}{r}))}$
55259
ArcTan[z] and ArcTan[x,y], Restriction and Conversion
103308
Showing that $\nabla\times(\nabla\times\vec{A}) = \nabla(\nabla\cdot\vec{A})-\Delta\vec{A}$
56143
Proof of a basic $AC_\omega$ equivalence
36023
Showing that $ \sum_{n=1}^{\infty} \arctan \left( \frac{2}{n^2} \right) =\frac{3\pi}{4}$
44912
Prove that $ \overline {A^\complement} = (A°)^\complement $
23946
Prove the definitions of $e$ to be equivalent
35564
Prove that $u\cdot v = \frac{1}{4}||u+v||^2 - \frac{1}{4}||u-v||^2 \forall u,v \in \mathbb{R^n}$
39943
Proving $\mathrm e <3$
4287
Proving $\int_{0}^{\infty} \mathrm{e}^{-x^2} dx = \frac{\sqrt \pi}{2}$
53426
Proof of a formula involving Euler's totient function: $\varphi (mn) = \varphi (m) \varphi (n) \cdot \frac{d}{\varphi (d)}$