y=arccot⁡xy = \operatorname{arccot} x

The Inverse Cotangent y=arccot⁡xy = \operatorname{arccot} x

arccot⁡x\operatorname{arccot} x, the inverse cotangent, inverts cot⁡x=cos⁡xsin⁡x\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.

arccot⁡x=π2−arctan⁡x\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.

ddxarccot⁡x=−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.

xxarccot⁡x\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 +\infty→0\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)π2−arctan⁡x\dfrac{\pi}{2} - \arctan x(0,π)(0, \pi)continuous on the whole line
Through the reciprocalarctan⁡1x\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=−arccot⁡x+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 arctan⁡1x\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⁡\arccosarcsin⁡x+arccos⁡x=π2\arcsin x + \arccos x = \dfrac{\pi}{2}
arctan⁡\arctan and arccot⁡\operatorname{arccot}arctan⁡x+arccot⁡x=π2\arctan x + \operatorname{arccot} x = \dfrac{\pi}{2}
arcsec⁡\operatorname{arcsec} and arccsc⁡\operatorname{arccsc}arcsec⁡x+arccsc⁡x=π2\operatorname{arcsec} x + \operatorname{arccsc} x = \dfrac{\pi}{2}
  1. Inverse trigonometric functions, Wikipedia