y=arccotxy = \operatorname{arccot} x

The Inverse Cotangent y=arccotxy = \operatorname{arccot} x

arccotx\operatorname{arccot} x, the inverse cotangent, inverts cotx=cosxsinx\cot x = \dfrac{\cos x}{\sin x}1. It is the one inverse trigonometric function whose principal value is genuinely contested. The convention used here takes the range to be (0,π)(0, \pi), which gives the formula below.

arccotx=π2arctanx\operatorname{arccot} x = \frac{\pi}{2} - \arctan x

Domain and range

The domain is all real numbers. Since cot\cot maps the interval (0,π)(0, \pi) monotonically onto the whole real line, its inverse accepts every real number and returns values in (0,π)(0, \pi). As the range of arctan\arctan is (π2,π2)\left( -\dfrac{\pi}{2}, \dfrac{\pi}{2} \right), subtracting it from π2\dfrac{\pi}{2} lands exactly in (0,π)(0, \pi).

Monotonicity and asymptotes

The derivative differs from that of arctan\arctan only in sign.

ddxarccotx=11+x2\frac{d}{dx}\operatorname{arccot} x = -\frac{1}{1+x^{2}}

Being always negative, the function decreases over the whole line with no extrema.

xxarccotx\operatorname{arccot} x
\to -\inftyπ\to \pi
1-13π4\dfrac{3\pi}{4}
00π2\dfrac{\pi}{2}
11π4\dfrac{\pi}{4}
+\to +\infty0\to 0

The lines y=πy = \pi and y=0y = 0 are horizontal asymptotes.

Symmetry and concavity

The graph has rotational symmetry about (0,π2)\left( 0, \dfrac{\pi}{2} \right), inherited from the symmetry of arctan\arctan about the origin after flipping it over and lifting it by π2\dfrac{\pi}{2}.

The second derivative is 2x(1+x2)2\dfrac{2x}{(1+x^{2})^{2}}, which carries the sign of xx, so the curve is concave down for x<0x < 0 and concave up for x>0x > 0, and the center of symmetry is its only inflection point.

The two conventions

ConventionFormulaRangeContinuity
Principal value in (0,π)(0, \pi)π2arctanx\dfrac{\pi}{2} - \arctan x(0,π)(0, \pi)continuous on the whole line
Through the reciprocalarctan1x\arctan\dfrac{1}{x}(π2,π2)\left( -\dfrac{\pi}{2}, \dfrac{\pi}{2} \right) without 00jumps by π\pi at the origin

The two definitions agree for x>0x > 0 and differ by exactly π\pi for x<0x < 0. Many computer algebra systems and numerical libraries adopt the latter, and so does the formula engine of this site: entering acot(x) in the formula field draws the discontinuous curve rather than the one shown here.

Which to choose

Where a continuous decreasing function is wanted, for instance to write an antiderivative in the following form, the range (0,π)(0, \pi) is convenient.

dx1+x2=arccotx+C\int \frac{dx}{1+x^{2}} = -\operatorname{arccot} x + C

Where one prefers to define it through a reciprocal, as with the other inverse trigonometric functions, or to compute it mechanically from arctan\arctan, the form arctan1x\arctan\dfrac{1}{x} is easier. Textbooks and software divide on the question, so whenever arccot\operatorname{arccot} appears it is worth checking which range is intended.

Completing the family

With this all six inverse trigonometric functions are in place. Three pairs each add up to π2\dfrac{\pi}{2}, a neatly symmetric arrangement.

PairRelation
arcsin\arcsin and arccos\arccosarcsinx+arccosx=π2\arcsin x + \arccos x = \dfrac{\pi}{2}
arctan\arctan and arccot\operatorname{arccot}arctanx+arccotx=π2\arctan x + \operatorname{arccot} x = \dfrac{\pi}{2}
arcsec\operatorname{arcsec} and arccsc\operatorname{arccsc}arcsecx+arccscx=π2\operatorname{arcsec} x + \operatorname{arccsc} x = \dfrac{\pi}{2}
  1. Inverse trigonometric functions, Wikipedia