Calculus I › Integrals › full formula sheet
The arctan form
The integral that produces an inverse trig function — recognize the 1 + x² and the answer writes itself.
Notation on this page: arctan x is the inverse tangent (the angle whose tangent is x), and C is the constant of integration.
Before this lesson: Derivative of arctan x
Where it comes from
The problem is the reverse of d/dx [arctan x] = 1/(1+x²) — the inverse-trig derivative. It is the first integral on the sheet whose answer is not built from powers, exponentials, logs, or plain trig: the antiderivative is an inverse trig function.
The tempting log guess:
Before reading on: the numerator here is 1, but d/dx [1+x2] = 2x. The log rule needs the numerator to be the derivative of the denominator. Is it? What does that tell you about the ln guess?
It looks like the f′/f pattern (∫ f′/f = ln|f|). But that pattern demands the numerator be the derivative of the denominator — and d/dx [1+x²] = 2x, not 1. Kill it by differentiating:
Intuition: 1/(1+x²) is a bell-shaped curve (1 at x = 0, decaying to 0 both ways). Its total area is π — and indeed ∫−∞∞ dx/(1+x²) = π. An antiderivative must flatten out at both ends, approaching finite limits — exactly how arctan x behaves, leveling off at ±π/2. The geometry already whispers “inverse tangent.”
Derivation
We prove d/dx [arctan x] = 1/(1+x²) by implicit differentiation — the standard way to differentiate inverse functions. Then the integral is that fact read backwards.
Why +C is the whole story: any two antiderivatives differ by a constant (zero derivative ⇒ constant), so arctan x + C captures every one of them.
How to use it
Before reading on: ∫ dx/(1+4x2) hides a 2x inside the denominator. Before the reveal: will the answer be exactly arctan(2x) + C, or does the hidden 2x force an extra factor — and which way does it go?
The procedure, every time:
- Spot the pattern: a constant numerator over 1 + (something)². The denominator must be a sum — 1 + x², not 1 − x², not √(1+x²).
- Plain 1 + x²: write arctan x + C.
- Scaled form 1/(a² + x²): ∫ dx/(a²+x²) = (1/a)·arctan(x/a) + C. Check by differentiating — the chain rule supplies exactly the 1/a factors.
- Constants factor out: ∫ 2/(1+x²) dx = 2 arctan x + C.
Arctan or something else?
Numerator 2x: ∫ 2x/(1+x²) dx = ln(1+x²) + C — now the log pattern fires, because 2x is the derivative of 1+x². Minus sign: 1/(1−x²) is not arctan territory (it needs partial fractions). Square root: 1/√(1−x²) gives arcsin x, the sibling inverse-trig integral. Drill the trio: plus-and-no-root → arctan; minus-under-root → arcsin; numerator-is-derivative → log.
Worked examples
Four problems, easiest first. In each one, read every step — the why of each move is the lesson.
Example 1 — the basic move: ∫ dx/(1+x²)
- Recognize the pattern. Constant numerator 1 over 1 + x² — exactly the arctan form.
- Write the answer: arctan x + C. (Why? d/dx [arctan x] = 1/(1+x²) — proved above by implicit differentiation.)
Your turn: Compute ∫ 3 dx/(1+x2).
Answer: 3 arctan x + C
Factor the 3: 3·∫ dx/(1+x2) = 3 arctan x + C. Check: d/dx [3 arctan x] = 3/(1+x2). ✓
Example 2 — definite: ∫0√3 dx/(1+x²)
- Antiderivative: arctan x.
- Evaluate: arctan(√3) − arctan 0 = π/3 − 0 = π/3. (Why π/3? tan(π/3) = √3.)
- Sanity check: on [0, √3], 1/(1+x²) falls from 1 to 1/4, so the area should be between (1/4)·√3 ≈ 0.43 and 1·√3 ≈ 1.73. π/3 ≈ 1.05 sits inside. ✓
Your turn: Compute ∫01 dx/(1+x2).
Answer: π/4 ≈ 0.785
Antiderivative arctan x: arctan 1 − arctan 0 = π/4 − 0 = π/4. Sanity: on [0,1], 1/(1+x2) falls 1→1/2, so the area sits between 0.5 and 1. 0.785 fits. ✓
Example 3 — the scaled form: ∫ dx/(1+4x²)
- Spot the pattern with a twist. Denominator 1 + (2x)² — the “something” is 2x, not x.
- Substitute mentally (u = 2x): dx = du/2, so the integral is (1/2)∫ du/(1+u²) = (1/2) arctan u.
- Substitute back: (1/2) arctan(2x) + C.
- Check: d/dx [(1/2) arctan(2x)] = (1/2)·(1/(1+4x²))·2 = 1/(1+4x²). Matches ✓
Your turn: Compute ∫ dx/(1+9x2).
Answer: (1/3) arctan(3x) + C
Denominator 1 + (3x)2: set u = 3x, dx = du/3, giving (1/3)∫ du/(1+u2) = (1/3) arctan u + C. Check: d/dx [(1/3) arctan(3x)] = (1/3)·(1/(1+9x2))·3 = 1/(1+9x2). ✓
Example 4 — the log contrast: ∫ 2x/(1+x²) dx
- Read the numerator. It is 2x — exactly d/dx [1+x²]. Now the log pattern fires (unlike Example 1).
- Answer: ln(1+x²) + C. (No absolute bars needed: 1+x² > 0 always.)
- Check: d/dx [ln(1+x²)] = 2x/(1+x²). Matches ✓
Your turn: Compute ∫ 4x/(1+x2) dx.
Answer: 2 ln(1+x2) + C
Now the numerator is (a multiple of) the denominator’s derivative: set u = 1+x2, du = 2x dx, so 4x dx = 2 du and the integral is 2∫ du/u = 2 ln(1+x2) + C. Check: d/dx [2 ln(1+x2)] = 4x/(1+x2). ✓
Memorization tips
- Say it aloud: “one over one-plus-x-squared is arctan.” The denominator is the trigger phrase.
- Drill the trio: 1 upstairs → arctan; derivative upstairs → log; minus under a root → arcsin. One glance at the numerator sorts them.
- Anchor: ∫01 dx/(1+x²) = π/4. The most famous definite integral on the sheet.
- The scaled form: ∫ dx/(a²+x²) = (1/a) arctan(x/a) + C — “one over a, arctan of x over a.”
- The numerator test: before writing arctan, confirm the numerator is constant. If it contains x, stop and re-read — it might be the log pattern instead.
Final challenge
Five mixed questions — the log trap, symmetric bounds, and the scaled form. Score 5/5 and the arctan form is yours.
← Back to the Calculus I formula sheet
How to learn a formula here
- Read each section in order — every section ends with a short quiz. Take it before moving on; the questions test exactly what you just read.
- Work the examples with the answers covered, then uncover one step at a time and compare.
- Finish with the final challenge — five mixed questions including the classic traps.
- Retake what you miss — every quiz reshuffles each attempt, and every answer explains itself.
Frequently asked questions
What is ∫ dx/(1+x²)?
∫ dx/(1+x²) = arctan x + C. It is the derivative of arctan x, run in reverse: d/dx [arctan x] = 1/(1+x²).
Why isn’t ∫ dx/(1+x²) = ln(1+x²) + C?
Because d/dx [ln(1+x²)] = 2x/(1+x²), not 1/(1+x²). The log pattern needs the numerator to be the derivative of the denominator — here the 2x is missing.
What is ∫01 dx/(1+x²)?
[arctan x]01 = arctan 1 − arctan 0 = π/4 − 0 = π/4.
What is ∫ dx/(a²+x²)?
∫ dx/(a²+x²) = (1/a)·arctan(x/a) + C. Check by differentiating: the chain rule produces exactly the 1/a factors needed.
How do I recognize the arctan pattern?
Look for 1 + (something)² in the denominator with a constant numerator. 1 + x² → arctan x; 1 + 4x² → (1/2) arctan(2x). A square root or a minus sign means a different rule.
More from the codex
Support the codex
This page is free, with no account and no ads. If it helped you learn, consider supporting the indie dev behind it.
Questions or a bug to report? Email [email protected].