Assume $\arctan$ is differentiable. Prove that $\arctan(x) =1-x$ has a solution in $(0,1)$.
93365
Solutions of $\arctan x = 1 - x$. Proofs?
131357
Prove that $f(x,y)=xy$ is differentiable using the definition
143491
Show that $f$ is differentiable on $(−1, 1)$.
30204
Prove that $f'(0)$ exists and $f'(0) = b/(a - 1)$
113827
Deriving Maclaurin series for $\frac{\arcsin x}{\sqrt{1-x^2}}$.
11319
Is $M=\{(x,|x|): x \in (-1, 1)\}$ not a differentiable manifold?
117785
Express solutions of equation $ \tan x= x $ in closed form
24391
$\arcsin$ written as $\sin^{-1}(x)$
98462
Prove the inverse of a strictly increasing function is differentiable.
135693
Suppose f is a twice differentiable function with $f(0)=0$ and $f(1)=1$, $f'(0)=f'(1)=0$. Then show that $|f''(x)| > 4$ for some $x$ in $(0,1)$
147334
We have angle=arctan(dy/dx), but what happens when dx=0?
23397
Why it's true? $\arcsin(x) +\arccos(x) = \frac{\pi}{2}$
30860
Prove that $f(x)=0$ in $[-1,1]$.
96112
Differentiating $ \left( 1 - \frac {1}{x} \right)^x $
75679
How to prove that $2 \arctan\sqrt{x} = \arcsin \frac{x-1}{x+1} + \frac{\pi}{2}$
57152
Solve $\sin x = 1 - x$
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}$