TheoremBase

The Arctangent: Continuity, Monotonicity, Derivative, Special Values and Oddness

The arctangent is continuous and strictly increasing on the real line, differentiable with derivative 1/(1+y²), odd, and satisfies arctan 0 = 0 and arctan 1 = π/4.

Statement

In the setting of The Real Line: Standing Notation and Background for Calculus on Intervals, let arctan⁡:R→(−π/2,π/2)\arctan:\mathbb{R}\to(-\pi/2,\pi/2) be the arctangent and let π\pi be the number of The Number Pi (i).

Continuity and monotonicity. arctan⁡\arctan is strictly increasing, that is, arctan⁡x<arctan⁡y\arctan x<\arctan y for all x,y∈Rx,y\in\mathbb{R} with x<yx<y, and arctan⁡\arctan is continuous on R\mathbb{R}.

Derivative. arctan⁡\arctan, read as a function R→R\mathbb{R}\to\mathbb{R}, is differentiable, and for every y∈Ry\in\mathbb{R}

arctan⁡′(y)=11+y2.\arctan'(y)=\frac{1}{1+y^{2}}.

Special values.

arctan⁡0=0,arctan⁡1=π4.\arctan 0=0,\qquad \arctan 1=\frac{\pi}{4}.

Oddness. For every y∈Ry\in\mathbb{R},

arctan⁡(−y)=−arctan⁡y.\arctan(-y)=-\arctan y .

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…