Calculus I › Integrals › full formula sheet

∫ dx/(1+x2) = arctan x + C
Say it: the integral of 1 over 1 plus x squared, d x, equals the inverse tangent of x, plus C

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?

∫ dx/(1+x2) = ln(1+x2) + C  ??the tempting — and wrong — 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:

d/dx [ln(1+x²)]
=
2x/(1+x²) ≠ 1/(1+x²)
The chain rule drags in a 2x the integrand does not have. The log pattern fires only when the numerator is the denominator’s derivative — here it is not.
d/dx [arctan x]
=
1/(1+x²)
The inverse-tangent derivative matches exactly — no stray factors. So arctan x is the antiderivative. (Proved below via implicit differentiation.)

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.

y = arctan x
⇔
x = tan y
Step 1 — flip the relationship. “y is the angle whose tangent is x” is the same as “x = tan y.” Now differentiate the tangent side, which we know how to handle.
1
=
sec²y · dy/dx
Step 2 — differentiate implicitly. d/dx [x] = 1; d/dx [tan y] = sec²y·dy/dx by the chain rule (y depends on x).
dy/dx
=
1/sec²y = 1/(1 + tan²y)
Step 3 — solve and use the identity. sec²y = 1 + tan²y. Since tan y = x, this is 1/(1+x²).
d/dx [arctan x]
=
1/(1+x²)
Step 4 — read backwards. The derivative of arctan x is exactly our integrand, so ∫ dx/(1+x²) = arctan x + C. ∎

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:

  1. Spot the pattern: a constant numerator over 1 + (something)². The denominator must be a sum — 1 + x², not 1 − x², not √(1+x²).
  2. Plain 1 + x²: write arctan x + C.
  3. 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.
  4. 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.

Common mistake: writing ∫ dx/(1+x²) = ln(1+x²) + C. The log needs the numerator to be the denominator’s derivative — here you would need 2x upstairs. With a plain 1 upstairs, it is arctan, not 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²)

  1. Recognize the pattern. Constant numerator 1 over 1 + x² — exactly the arctan form.
  2. Write the answer: arctan x + C. (Why? d/dx [arctan x] = 1/(1+x²) — proved above by implicit differentiation.)
Common mistake: reaching for the power rule on (1+x²)−1. The power rule needs the chain-rule factor 2x to work — without it, the rule does not apply. Pattern-match instead.
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²)

  1. Antiderivative: arctan x.
  2. Evaluate: arctan(√3) − arctan 0 = π/3 − 0 = π/3. (Why π/3? tan(π/3) = √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²)

  1. Spot the pattern with a twist. Denominator 1 + (2x)² — the “something” is 2x, not x.
  2. Substitute mentally (u = 2x): dx = du/2, so the integral is (1/2)∫ du/(1+u²) = (1/2) arctan u.
  3. Substitute back: (1/2) arctan(2x) + C.
  4. Check: d/dx [(1/2) arctan(2x)] = (1/2)·(1/(1+4x²))·2 = 1/(1+4x²). Matches ✓
Common mistake: writing arctan(2x) + C and forgetting the 1/2 — the chain rule’s ×2 needs undoing. The check in step 4 catches it.
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

  1. Read the numerator. It is 2x — exactly d/dx [1+x²]. Now the log pattern fires (unlike Example 1).
  2. Answer: ln(1+x²) + C. (No absolute bars needed: 1+x² > 0 always.)
  3. Check: d/dx [ln(1+x²)] = 2x/(1+x²). Matches ✓
Common mistake: answering arctan x here — pattern-matching the denominator while ignoring the numerator. The numerator decides: 1 upstairs → arctan; derivative-of-denominator upstairs → log.
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

  1. 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.
  2. Work the examples with the answers covered, then uncover one step at a time and compare.
  3. Finish with the final challenge — five mixed questions including the classic traps.
  4. 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