y=arccotx The Inverse Cotangent y=arccotx
arccotx, the inverse cotangent, inverts cotx=sinxcosx1. It is the one inverse trigonometric function whose principal value is genuinely contested. The convention used here takes the range to be (0,π), which gives the formula below.
arccotx=2π−arctanx Domain and range
The domain is all real numbers. Since cot maps the interval (0,π) monotonically onto the whole real line, its inverse accepts every real number and returns values in (0,π). As the range of arctan is (−2π,2π), subtracting it from 2π lands exactly in (0,π).
Monotonicity and asymptotes
The derivative differs from that of arctan only in sign.
dxdarccotx=−1+x21 Being always negative, the function decreases over the whole line with no extrema.
| x | arccotx |
|---|
| →−∞ | →π |
| −1 | 43π |
| 0 | 2π |
| 1 | 4π |
| →+∞ | →0 |
The lines y=π and y=0 are horizontal asymptotes.
Symmetry and concavity
The graph has rotational symmetry about (0,2π), inherited from the symmetry of arctan about the origin after flipping it over and lifting it by 2π.
The second derivative is (1+x2)22x, which carries the sign of x, so the curve is concave down for x<0 and concave up for x>0, and the center of symmetry is its only inflection point.
The two conventions
| Convention | Formula | Range | Continuity |
|---|
| Principal value in (0,π) | 2π−arctanx | (0,π) | continuous on the whole line |
| Through the reciprocal | arctanx1 | (−2π,2π) without 0 | jumps by π at the origin |
The two definitions agree for x>0 and differ by exactly π for x<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,π) is convenient.
∫1+x2dx=−arccotx+C Where one prefers to define it through a reciprocal, as with the other inverse trigonometric functions, or to compute it mechanically from arctan, the form arctanx1 is easier. Textbooks and software divide on the question, so whenever 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π, a neatly symmetric arrangement.
| Pair | Relation |
|---|
| arcsin and arccos | arcsinx+arccosx=2π |
| arctan and arccot | arctanx+arccotx=2π |
| arcsec and arccsc | arcsecx+arccscx=2π |
- Inverse trigonometric functions, Wikipedia