Navigation

Limits & Continuity · Topic 05 of 23

Continuity and the Intermediate Value Theorem

ff is continuous at aa when limxaf(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; limxaf(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, lnx\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 limx0+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)=x33xf(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

    limxaf(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]

    limxa+f(x)=f(a),limxbf(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

    limxaf(x)=limxa+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),xaL,x=aL=limxaf(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

    limxaf(g(x))=f(limxag(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 limxag(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 cosx=x\cos x=x is a zero of f(x)=cosxxf(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

    "limxaf(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

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

    ✓ Right

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

  • ✗ Wrong

    Matching only limxaf(x)=limxa+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 limx0x\lim_{x\to0}\sqrt{x} does not exist."

    ✓ Right

    At a domain endpoint only the one-sided limit counts: limx0+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: (x12)(x1)(x32)(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)=x29x3f(x)=\dfrac{x^2-9}{x-3} for x3x\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 limx3f(x)\lim_{x\to3}f(x) separately, then compare the two numbers.

    Show answer

    Answer

    Not continuous: f(3)=5f(3)=5 but limx3f(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 x3x\ne3, x29x3=(x3)(x+3)x3=x+3\dfrac{x^2-9}{x-3}=\dfrac{(x-3)(x+3)}{x-3}=x+3, so

    limx3f(x)=limx3(x+3)=6,\lim_{x\to3}f(x)=\lim_{x\to3}(x+3)=6,

    which exists and is finite.

    3. 656\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)=x3x3f(x)=\dfrac{|x-3|}{x-3} for x3x\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 x3x-3 and simplify on each side.

    Show answer

    Answer

    limx3f(x)=1\lim_{x\to3^-}f(x)=-1, limx3+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, x3=x3|x-3|=x-3 so f(x)=1f(x)=1; for x<3x<3, x3=(x3)|x-3|=-(x-3) so f(x)=1f(x)=-1. Hence

    limx3f(x)=1,limx3+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(4x2)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: gg\to-\infty from the left and g+g\to+\infty from the right — an infinite discontinuity (vertical asymptote).

    Steps

    4x24-x^2 is a polynomial, continuous everywhere, and ln\ln is continuous on (0,)(0,\infty); by the composition theorem ln(4x2)\ln(4-x^2) is continuous wherever 4x2>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 x1x\ne-1:

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

    At x=1x=-1 the numerator tends to ln3>0\ln3>0 while x+10x+1\to0: as x1x\to-1^-, x+10x+1\to0^- so gg\to-\infty; as x1+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,1x2x23,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=limx1+f(x)f(-1)=-a+b=\lim_{x\to-1^+}f(x), while limx1f(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=limx2f(x)f(2)=2a+b=\lim_{x\to2^-}f(x), while limx2+f(x)=43=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: 2313=1-\frac23-\frac13=-1 ✓ and 4313=1\frac43-\frac13=1 ✓.

  5. Q5medium

    (a) Show that cosx=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)=cosxxg(x)=\cos x-x.

    Show answer

    Answer

    (a) Apply the IVT to g(x)=cosxxg(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)=cosxxg(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. cosc=c\cos c=c.

    (b) The IVT concludes "at least one cc": h(x)=(x1)(x2)(x3)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 cosx\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 (c0.739c\approx0.739).

  6. Q6hard

    Let ff be continuous on [0,1][0,1] with 0f(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)0g(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 0f10\le f\le1,

    g(0)=f(0)0,g(1)=f(1)10.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 limxaf(x)\lim_{x\to a^-}f(x), limxa+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