Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In my textbook it asks for me to:

Prove that there is no constant $C$ such that $\text{arccot}(x) - \text{arctan}(\frac{1}{x}) = C $ for all $x \ne 0$. Explain why this does not violate the zero-derivative theorem.

But I believe I have found such a $C$, i.e. $C =0$! I even asked WolframAlpha ( which corroborates my answer.

This question appears in Apostol's Calculus Volume I, Second Edition: Exersize 6.22-11b

Edit: Mathematica's definition of arccot is different from the one in my textbook. Apostol's arccot maps a real number into $(0, \pi)$ while Mathematica's maps a real number into $(-\pi/2, \pi/2)$ Here they are super-imposed:

share|cite|improve this question
The inverse trig functions are multivalued and therefore not uniquely defined, unless a principle value is given, so please clarify how you are defining the two functions. – Ethan Feb 14 '13 at 23:25
@Ethan Usually $\arctan$ denotes the determination which takes values in $(-\pi/2,\pi/2)$, no? But you're right, this is not so clear for arccot. – 1015 Feb 14 '13 at 23:31
Here: there are two definitions of arccot. Which one are you using? – 1015 Feb 14 '13 at 23:32
Oh! I had assumed that mathematicians were in agreement. My textbook uses arccot = pi/2 - arctan, which is a different version than Mathematica's according to @julien's link. Thanks! – Mark Feb 14 '13 at 23:39
It seems that, at least as Wolfram is graphing it, the reflection about $y = x$ is used...(analytic?)...Even though Wolfram evaluates the difference as 0, and returns "true" to the equality of each expression, it nonetheless produces its indefinite integral as $x(\arccot(x) - \arctan(1/x)) + C, which makes little sense, to have done if the difference is zero: why not return just "C"? – amWhy Feb 14 '13 at 23:39
up vote 9 down vote accepted

So we'll take your textbook's definition: $$ \mbox{arccot}(x)=\frac{\pi}{2}-\arctan(x). $$

Then $$ \lim_{0^+} \mbox{arccot} (x)=\frac{\pi}{2}=\lim_{0^+} \arctan(1/x) $$ while $$ \lim_{0^-} \mbox{arccot} (x)=\frac{\pi}{2}=-\lim_{0^-} \arctan(1/x). $$ Since its derivative is $0$ on $\mathbb{R}^*$, $$ \mbox{arccot}(x)-\arctan(1/x)=0 $$ for all $x>0$ while $$ \mbox{arccot}(x)-\arctan(1/x)=\pi $$ for all $x<0$.

This does not contradict the zero-derivative theorem because the function is not defined at $0$, so its domain is not connected.

share|cite|improve this answer
And actually, arctan(1/x) gives the alternative definition of arccot(x). – Mark Feb 15 '13 at 0:09

This is not a rigorous proof, it is intuitive one.

Let $y = \arctan\left(\dfrac1x\right)$ then $$ \begin{align} \tan(y) &= \frac1x\\ \frac1{\tan(y)} &= x\\ \cot(y) &= x\\ y &= \text{arccot}(x)\\ \arctan\left(\frac1x\right) &= \text{arccot}(x)\\ \arctan\left(\frac1x\right) - \text{arccot}(x)&=0. \end{align} $$

It holds for $x \neq 0, \ x\in\mathbb{R}$.

share|cite|improve this answer
The graph of $y=\mathrm{arccot}(x)$ : $\mathrm{arccot}(x)=\begin{cases} \arctan \frac{1}{x}+\pi \quad (x>0) \\ \arctan \frac{1}{x} \qquad \quad (x<0) \end{cases}$ – user250236 Nov 23 '15 at 4:00

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.