Navigation

Limits & Continuity · Topic 05 of 23

Continuity and the Intermediate Value Theorem

ff is continuous at aa when lim⁡x→af(x)=f(a)\lim_{x\to a}f(x)=f(a) — three checks: f(a)f(a) is defined, the limit exists and is finite, and they agree. If ff is continuous on a closed interval [a,b][a,b], the Intermediate Value Theorem guarantees every value between f(a)f(a) and f(b)f(b) is reached — that is how you prove an equation has a solution without solving it.

5 min readFrequent on exams7 formulas6 quick checks
01

Key ideas

5 things to remember
  1. 1

    Three conditions, checked in order

    f(a)f(a) is defined; lim⁡x→af(x)\lim_{x\to a}f(x) exists and is finite (both one-sided limits agree); the two numbers are equal. An existing limit is only condition 2 — the value at aa must match it.

  2. 2

    Classify by the one-sided limits

    Limit exists but f(a)f(a) is missing or different: removable. One-sided limits finite but unequal: jump. Either side ±∞\pm\infty: infinite (vertical asymptote). Neither, like sin⁡(1/x)\sin(1/x) at 00: oscillatory. Only a removable one can be fixed.

  3. 3

    Elementary functions: continuous on their domains

    Polynomials, roots, ∣x∣|x|, trig, exe^x, ln⁡x\ln x, and anything built from them by arithmetic and composition, are continuous wherever defined. Trouble spots: a zero denominator, a negative under a root, ln⁡\ln of 00 or less, a piecewise switch point.

  4. 4

    Endpoints need only one-sided continuity

    x\sqrt{x} is continuous on [0,∞)[0,\infty) because lim⁡x→0+x=0=0\lim_{x\to0^+}\sqrt{x}=0=\sqrt0; the two-sided limit at a domain endpoint is never required. Continuous on [a,b][a,b] means continuous on (a,b)(a,b), right-continuous at aa, left-continuous at bb.

  5. 5

    The IVT proves a solution exists

    Continuous on [a,b][a,b] with NN strictly between f(a)f(a) and f(b)f(b) guarantees some cc in (a,b)(a,b) with f(c)=Nf(c)=N. At least one cc — never "exactly one" — and nothing at all if continuity fails anywhere in [a,b][a,b].

-2-112-3-2-1123xyy = N(a, f(a))(b, f(b))c₁c₂c₃
Continuous on [a,b][a,b] with f(a)<N<f(b)f(a)<N<f(b): the graph cannot get from one endpoint to the other without crossing y=Ny=N. Here f(x)=x3−3xf(x)=x^3-3x on [−2,2][-2,2] and N=1N=1 — the IVT promises at least one cc, and there are three.
-3-2-11234-112345xyremovablejumpinfinite
Three ways to fail at a point. Removable (x=−2x=-2): the limit exists but f(−2)f(-2) sits elsewhere — move the dot into the hole and it is fixed. Jump (x=1x=1): the one-sided limits are finite but differ. Infinite (x=3x=3): a one-sided limit is ±∞\pm\infty. Only the first can be repaired.
02

Formulas

What to have memorised
  • Continuity at x=ax=a

    lim⁡x→af(x)=f(a)\lim_{x\to a}f(x)=f(a)

    Three checks: f(a)f(a) defined, the limit exists and is finite, the two agree.

  • Continuous on [a,b][a,b]

    lim⁡x→a+f(x)=f(a),lim⁡x→b−f(x)=f(b)\lim_{x\to a^{+}}f(x)=f(a),\qquad \lim_{x\to b^{-}}f(x)=f(b)

    Plus continuity at every point of (a,b)(a,b). Endpoints carry only the inward one-sided condition.

  • Switch point of a piecewise ff

    lim⁡x→a−f(x)=lim⁡x→a+f(x)=f(a)\lim_{x\to a^{-}}f(x)=\lim_{x\to a^{+}}f(x)=f(a)

    All three numbers equal. Each switch point gives one equation in the unknown constants.

  • Removable discontinuity, repaired

    g(x)={f(x),x≠aL,x=aL=lim⁡x→af(x)g(x)=\begin{cases}f(x), & x\ne a\\ L, & x=a\end{cases}\qquad L=\lim_{x\to a}f(x)

    The continuous extension. Only possible when the limit LL exists and is finite.

  • Limit swap through a continuous function

    lim⁡x→af(g(x))=f(lim⁡x→ag(x))\lim_{x\to a}f\big(g(x)\big)=f\Big(\lim_{x\to a}g(x)\Big)

    Valid only when ff is continuous at lim⁡x→ag(x)\lim_{x\to a}g(x).

  • IVT — for ff continuous on [a,b][a,b]

    f(a)<N<f(b) ⟹ f(c)=N  for some c∈(a,b)f(a)<N<f(b)\ \Longrightarrow\ f(c)=N\ \text{ for some } c\in(a,b)

    Or f(b)<N<f(a)f(b)<N<f(a). Existence only: at least one cc, no formula for it, no uniqueness.

  • Root form (Bolzano)

    f(a) f(b)<0 ⟹ f(c)=0  for some c∈(a,b)f(a)\,f(b)<0\ \Longrightarrow\ f(c)=0\ \text{ for some } c\in(a,b)

    Same hypothesis: ff continuous on all of [a,b][a,b]. A sign change alone proves nothing.

03

Prove an equation has a solution with the IVT

The steps, in order
  1. 1

    Move everything to one side and name the function: a solution of cos⁡x=x\cos x=x is a zero of f(x)=cos⁡x−xf(x)=\cos x-x.

  2. 2

    Say why ff is continuous on the closed interval [a,b][a,b]: polynomial, or built from continuous pieces with no zero denominator, bad root or log inside.

  3. 3

    Evaluate f(a)f(a) and f(b)f(b) exactly and show NN (usually 00) lies strictly between them — opposite signs for a root.

  4. 4

    Quote the theorem by name: "by the IVT there is cc in (a,b)(a,b) with f(c)=Nf(c)=N."

  5. 5

    To narrow the interval, evaluate at the midpoint and keep the half where the sign still changes; repeat.

  6. 6

    For "exactly one", add a separate argument: ff strictly increasing or decreasing on [a,b][a,b] takes each value at most once.

04

Watch out

The mistakes that cost marks
  • ✗ Wrong

    "lim⁡x→af(x)\lim_{x\to a}f(x) exists, so ff is continuous at aa."

    ✓ Right

    An existing limit is condition 2 only; f(a)f(a) must also be defined and equal to it.

    Why: A hole with the dot placed elsewhere passes condition 2 and fails condition 3.

  • ✗ Wrong

    x2−9x−3=x+3\frac{x^2-9}{x-3}=x+3, "so ff is continuous at 33."

    ✓ Right

    The identity holds for x≠3x\ne3 only; f(3)f(3) is undefined, a removable discontinuity. The extension x+3x+3 is continuous, not ff.

  • ✗ Wrong

    Matching only lim⁡x→a−f(x)=lim⁡x→a+f(x)\lim_{x\to a^-}f(x)=\lim_{x\to a^+}f(x) at a switch point

    ✓ Right

    Also match f(a)f(a) from whichever line of the definition applies at aa: all three numbers equal.

    Why: Pieces that meet while f(a)f(a) is assigned a different value still leave a discontinuity.

  • ✗ Wrong

    "x\sqrt{x} is discontinuous at 00 because lim⁡x→0x\lim_{x\to0}\sqrt{x} does not exist."

    ✓ Right

    At a domain endpoint only the one-sided limit counts: lim⁡x→0+x=0=0\lim_{x\to0^+}\sqrt{x}=0=\sqrt0, so x\sqrt{x} is continuous on [0,∞)[0,\infty).

  • ✗ Wrong

    f(x)=1xf(x)=\frac1x: f(−1)<0<f(1)f(-1)<0<f(1), so by the IVT there is a root in (−1,1)(-1,1).

    ✓ Right

    ff is not continuous on [−1,1][-1,1], so the IVT says nothing — and 1x\frac1x is never 00.

    Why: Check continuity on the whole closed interval before you check signs.

  • ✗ Wrong

    "f(0)<0<f(2)f(0)<0<f(2), so there is exactly one root in (0,2)(0,2)."

    ✓ Right

    At least one. Uniqueness needs a separate argument, usually that ff is strictly monotone on [0,2][0,2].

    Why: (x−12)(x−1)(x−32)(x-\tfrac12)(x-1)(x-\tfrac32) changes sign on [0,2][0,2] and has three roots there.

05

Quick check

Commit to an answer before you reveal one
  1. Q1easy

    Let f(x)=x2−9x−3f(x)=\dfrac{x^2-9}{x-3} for x≠3x\ne3 and f(3)=5f(3)=5. Check the three conditions for continuity at x=3x=3. Is ff continuous there? If not, classify the discontinuity and say how to repair it.

    Hint

    Evaluate f(3)f(3) from the definition and compute lim⁡x→3f(x)\lim_{x\to3}f(x) separately, then compare the two numbers.

    Show answer

    Answer

    Not continuous: f(3)=5f(3)=5 but lim⁡x→3f(x)=6\lim_{x\to3}f(x)=6. Removable — redefine f(3)=6f(3)=6.

    Steps

    1. f(3)=5f(3)=5 is defined.

    2. For x≠3x\ne3, x2−9x−3=(x−3)(x+3)x−3=x+3\dfrac{x^2-9}{x-3}=\dfrac{(x-3)(x+3)}{x-3}=x+3, so

    lim⁡x→3f(x)=lim⁡x→3(x+3)=6,\lim_{x\to3}f(x)=\lim_{x\to3}(x+3)=6,

    which exists and is finite.

    3. 6≠56\ne5: the limit and the value disagree, so ff is not continuous at 33.

    Because the limit exists, the discontinuity is removable: setting f(3)=6f(3)=6 (equivalently, using x+3x+3 for every xx) makes ff continuous on all of (−∞,∞)(-\infty,\infty).

  2. Q2easy

    Let f(x)=∣x−3∣x−3f(x)=\dfrac{|x-3|}{x-3} for x≠3x\ne3 and f(3)=1f(3)=1. Find both one-sided limits at x=3x=3. Is ff right-continuous at 33? Left-continuous? Continuous? Classify the discontinuity and give its jump size.

    Hint

    Split the absolute value by the sign of x−3x-3 and simplify on each side.

    Show answer

    Answer

    lim⁡x→3−f(x)=−1\lim_{x\to3^-}f(x)=-1, lim⁡x→3+f(x)=1\lim_{x\to3^+}f(x)=1. Right-continuous yes, left-continuous no, continuous no. Jump discontinuity of size 22.

    Steps

    For x>3x>3, ∣x−3∣=x−3|x-3|=x-3 so f(x)=1f(x)=1; for x<3x<3, ∣x−3∣=−(x−3)|x-3|=-(x-3) so f(x)=−1f(x)=-1. Hence

    lim⁡x→3−f(x)=−1,lim⁡x→3+f(x)=1.\lim_{x\to3^-}f(x)=-1,\qquad \lim_{x\to3^+}f(x)=1.

    f(3)=1f(3)=1 equals the right-hand limit, so ff is right-continuous at 33; it differs from the left-hand limit, so ff is not left-continuous, hence not continuous. Both one-sided limits are finite and unequal: a jump of size 1−(−1)=21-(-1)=2. No choice of f(3)f(3) can repair it — one value can match only one side.

  3. Q3medium

    Find the largest set on which g(x)=ln⁡(4−x2)x+1g(x)=\dfrac{\ln(4-x^2)}{x+1} is continuous, naming the theorems you use, and describe the behaviour of gg at x=−1x=-1.

    Hint

    First ask where the numerator is even defined; then apply the quotient rule for continuity.

    Show answer

    Answer

    (−2,−1)∪(−1,2)(-2,-1)\cup(-1,2). At x=−1x=-1: g→−∞g\to-\infty from the left and g→+∞g\to+\infty from the right — an infinite discontinuity (vertical asymptote).

    Steps

    4−x24-x^2 is a polynomial, continuous everywhere, and ln⁡\ln is continuous on (0,∞)(0,\infty); by the composition theorem ln⁡(4−x2)\ln(4-x^2) is continuous wherever 4−x2>04-x^2>0, i.e. on (−2,2)(-2,2).

    x+1x+1 is continuous and vanishes only at x=−1x=-1. By the quotient rule for continuity, gg is continuous at every xx in (−2,2)(-2,2) with x≠−1x\ne-1:

    (−2,−1)∪(−1,2).(-2,-1)\cup(-1,2).

    At x=−1x=-1 the numerator tends to ln⁡3>0\ln3>0 while x+1→0x+1\to0: as x→−1−x\to-1^-, x+1→0−x+1\to0^- so g→−∞g\to-\infty; as x→−1+x\to-1^+, g→+∞g\to+\infty. An infinite discontinuity, not removable. (x=±2x=\pm2 are domain endpoints, not discontinuities — gg is undefined on a whole side of each.)

  4. Q4medium

    Find constants aa and bb so that ff is continuous on (−∞,∞)(-\infty,\infty):

    f(x)={2x+1,x<−1ax+b,−1≤x≤2x2−3,x>2f(x)=\begin{cases}2x+1, & x<-1\\ ax+b, & -1\le x\le 2\\ x^2-3, & x>2\end{cases}

    Hint

    Only the switch points x=−1x=-1 and x=2x=2 can fail; each gives one linear equation in aa and bb.

    Show answer

    Answer

    a=23a=\tfrac23, b=−13b=-\tfrac13.

    Steps

    Each piece is a polynomial, so only x=−1x=-1 and x=2x=2 can fail.

    At x=−1x=-1: f(−1)=−a+b=lim⁡x→−1+f(x)f(-1)=-a+b=\lim_{x\to-1^+}f(x), while lim⁡x→−1−f(x)=2(−1)+1=−1\lim_{x\to-1^-}f(x)=2(-1)+1=-1. So −a+b=−1-a+b=-1.

    At x=2x=2: f(2)=2a+b=lim⁡x→2−f(x)f(2)=2a+b=\lim_{x\to2^-}f(x), while lim⁡x→2+f(x)=4−3=1\lim_{x\to2^+}f(x)=4-3=1. So 2a+b=12a+b=1.

    Subtract: 3a=23a=2, so a=23a=\frac23 and b=−1+a=−13b=-1+a=-\frac13.

    Check: −23−13=−1-\frac23-\frac13=-1 ✓ and 43−13=1\frac43-\frac13=1 ✓.

  5. Q5medium

    (a) Show that cos⁡x=x\cos x=x has a solution in (0,π2)\left(0,\tfrac{\pi}{2}\right). (b) Explain why the IVT alone does not show the solution is unique, then prove that it is.

    Hint

    Rewrite as "a continuous function equals 00": g(x)=cos⁡x−xg(x)=\cos x-x.

    Show answer

    Answer

    (a) Apply the IVT to g(x)=cos⁡x−xg(x)=\cos x-x: continuous, g(0)=1>0g(0)=1>0, g ⁣(π2)=−π2<0g\!\left(\tfrac{\pi}{2}\right)=-\tfrac{\pi}{2}<0. (b) The IVT gives at least one cc; gg is strictly decreasing there, so exactly one.

    Steps

    (a) Let g(x)=cos⁡x−xg(x)=\cos x-x, continuous everywhere as a difference of continuous functions, so continuous on [0,π2]\left[0,\tfrac{\pi}{2}\right].

    g(0)=1>0,g ⁣(π2)=0−π2<0.g(0)=1>0,\qquad g\!\left(\tfrac{\pi}{2}\right)=0-\tfrac{\pi}{2}<0.

    N=0N=0 lies strictly between, so by the IVT there is cc in (0,π2)\left(0,\tfrac{\pi}{2}\right) with g(c)=0g(c)=0, i.e. cos⁡c=c\cos c=c.

    (b) The IVT concludes "at least one cc": h(x)=(x−1)(x−2)(x−3)h(x)=(x-1)(x-2)(x-3) has h(0)<0<h(4)h(0)<0<h(4) and three zeros in (0,4)(0,4). Uniqueness here: on [0,π2]\left[0,\tfrac{\pi}{2}\right] both cos⁡x\cos x and −x-x are strictly decreasing, so gg is strictly decreasing and takes the value 00 at most once. At least one and at most one: exactly one (c≈0.739c\approx0.739).

  6. Q6hard

    Let ff be continuous on [0,1][0,1] with 0≤f(x)≤10\le f(x)\le1 for every xx in [0,1][0,1]. Prove that ff has a fixed point: some cc in [0,1][0,1] with f(c)=cf(c)=c. Then give an example showing the conclusion can fail on the open interval (0,1)(0,1).

    Hint

    Apply the IVT to g(x)=f(x)−xg(x)=f(x)-x; deal with g(0)=0g(0)=0 or g(1)=0g(1)=0 first.

    Show answer

    Answer

    Apply the IVT to g(x)=f(x)−xg(x)=f(x)-x, which has g(0)≥0≥g(1)g(0)\ge0\ge g(1). Counterexample on (0,1)(0,1): h(x)=x+12h(x)=\frac{x+1}{2} — its only fixed point is x=1x=1, outside the interval.

    Steps

    Let g(x)=f(x)−xg(x)=f(x)-x, continuous on [0,1][0,1]. Since 0≤f≤10\le f\le1,

    g(0)=f(0)≥0,g(1)=f(1)−1≤0.g(0)=f(0)\ge0,\qquad g(1)=f(1)-1\le0.

    If g(0)=0g(0)=0 or g(1)=0g(1)=0, that endpoint is a fixed point. Otherwise g(0)>0>g(1)g(0)>0>g(1) and the IVT gives cc in (0,1)(0,1) with g(c)=0g(c)=0, i.e. f(c)=cf(c)=c. (Strictness matters: the IVT needs N=0N=0 strictly between the endpoint values.)

    On (0,1)(0,1) take h(x)=x+12h(x)=\frac{x+1}{2}: continuous, and 0<x<10<x<1 gives 12<h(x)<1\frac12<h(x)<1, so hh maps (0,1)(0,1) into itself. But h(x)=xh(x)=x forces x=1x=1, which is not in (0,1)(0,1). The lost hypothesis is the closed interval — the sign change happens only at the endpoint that (0,1)(0,1) leaves out.

06

On the exam

How this topic is marked
  • Piecewise questions are marked on three numbers at each switch point: write lim⁡x→a−f(x)\lim_{x\to a^-}f(x), lim⁡x→a+f(x)\lim_{x\to a^+}f(x) and f(a)f(a) separately, then set them equal.

  • An IVT answer needs four things: name ff, say why it is continuous on the closed interval, show the endpoint values straddle NN, and quote the theorem. Omitting "continuous" loses the mark.

  • To classify a discontinuity, compute both one-sided limits and state their values — the type follows from the numbers, not from the picture.

Keep going