Differential Calculus 201-SN2-RE • CEGEP, Montreal

Corrected exercises: limits and continuity (201-SN2-RE)

This is the corrected exercise set on limits and continuity for Differential Calculus, 201-SN2-RE (formerly 201-NYA), the chapter that opens all of calculus: left-hand and right-hand limits, indeterminate forms resolved by factoring and by the conjugate, limits at infinity and horizontal, vertical and oblique asymptotes, the limit laws and the limit of a composite function, continuity and the classification of discontinuities, the Intermediate Value Theorem and the bisection method, trigonometric limits and the Squeeze Theorem, the epsilon-delta definition and the Extreme Value Theorem. Two calculation lists open the set: twelve limits at a point (exercise 0.1), then ten limits at infinity (exercise 0.2).

This set is written for CEGEP students in the Science program taking Differential Calculus, 201-SN2-RE. High school mathematics handles limits largely by intuition; CEGEP demands the rigour of one-sided limits, the classification of discontinuities and the exact statement of the Intermediate Value Theorem, hypotheses included.

By the end of the set, you can read off a graph the left-hand limit, the right-hand limit and the value at the point, three separate questions (exercise 1), resolve an indeterminate form (exercise 2), find the asymptotes, including the TWO horizontal ones of a square root (exercise 3), join the pieces of a piecewise function continuously and name a discontinuity as a hole, a jump or an infinite discontinuity (exercises 6 and 11), prove that an equation has a solution and then trap it by bisection (exercise 7), prove a limit with an explicit δ\delta (exercise 9) and say why each hypothesis of the Extreme Value Theorem is essential (exercise 10). Part C adds the floor function (exercise 12), the limits of the exponential, logarithm and arctangent functions (exercise 13), a learning curve (exercise 14) and a pollution removal cost that blows up near 100 percent (exercise 15).

The reflex to keep throughout: a limit NEVER asks for the value of the function at the point. lim⁡x→af(x)\lim_{x\to a}f(x) asks what happens AROUND aa, never AT aa, which is why a limit sometimes exists where the function is not even defined. The solutions deal with the classic traps: the false converse of the limit laws (exercise 4), the composite that fails when the outer function is not continuous (exercise 5) and the function 1x\frac{1}{x}, which never takes the value 0 without contradicting the Intermediate Value Theorem (exercise 7).

17 corrected exercises • 170 points • 225 minutes

This chapter is part of 201-SN2-RE, every chapter with its set and sheet Before you start Revision sheet: the traps and the method for this chapter

Self-checking set Type your answers and check them question by question: the page tells you right or wrong before you open the solution. With an account, every answer right on the first try earns points, and your right answers stay filled in when you come back.

Course recap

  • • One-sided limits: lim⁡x→af(x)\lim_{x\to a}f(x) EXISTS if and only if lim⁡x→a−f(x)=lim⁡x→a+f(x)\lim_{x\to a^{-}}f(x)=\lim_{x\to a^{+}}f(x). The value f(a)f(a) plays no part: the limit describes the neighbourhood, not the point.
  • • Indeterminate form 00\frac{0}{0}: factor and cancel (the common factor is always (x−a)(x-a)), multiply by the CONJUGATE if there is a square root, or combine over a common denominator. Once the offending factor is cancelled, substitute.
  • • Limits at infinity of a rational function: compare the degrees. Numerator of lower degree: limit 0 (asymptote y=0y=0); equal degrees: ratio of the leading coefficients (horizontal asymptote); numerator of degree one higher: OBLIQUE asymptote, found by long division. Vertical asymptote at aa if the limit there is infinite.
  • • Watch the square roots: x2=∣x∣\sqrt{x^{2}}=|x|, which equals xx at +∞+\infty but −x-x at −∞-\infty, so one function can have TWO different horizontal asymptotes.
  • • Continuity at aa, three conditions: f(a)f(a) exists, lim⁡x→af(x)\lim_{x\to a}f(x) exists, and the two are EQUAL. Discontinuities: a HOLE (the limit exists but ≠f(a)\ne f(a), removable), a JUMP (different one-sided limits), INFINITE (vertical asymptote).
  • • Intermediate Value Theorem: if ff is CONTINUOUS on [a,b][a,b] and kk lies between f(a)f(a) and f(b)f(b), then there exists c∈[a,b]c\in[a,b] such that f(c)=kf(c)=k. It proves EXISTENCE, never uniqueness, and the continuity hypothesis is essential.
  • • Trigonometric limits: lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1 and lim⁡x→01−cos⁡xx2=12\lim_{x\to 0}\frac{1-\cos x}{x^{2}}=\frac{1}{2} (angles in RADIANS). Squeeze Theorem: if g≤f≤hg\le f\le h near aa and gg and hh have the same limit LL, then so does ff.

Calculations: limits at a point

Exercise 0.1: Computing a limit at a point: twelve direct calculations

For each line, compute the requested limit without L'Hôpital's rule and give its value, or say whether it is +∞+\infty, −∞-\infty or does not exist.

One method for all twelve lines: substitute first. If you get a number, that is the limit. If you get 00\frac{0}{0}, resolve the indeterminate form with the technique it calls for (factor, multiply by the conjugate, combine over a common denominator, bring out sin⁡uu\frac{\sin u}{u}), then substitute again. If you get k0\frac{k}{0} with k≠0k\neq 0, study the sign of the denominator on each side.

  • a) lim⁡x→−2x2−3xx+4\lim_{x\to -2}\frac{x^{2}-3x}{x+4}.
  • b) lim⁡x→−1x2+6x+5x2−x−2\lim_{x\to -1}\frac{x^{2}+6x+5}{x^{2}-x-2}.
  • c) lim⁡x→−2x3+8x+2\lim_{x\to -2}\frac{x^{3}+8}{x+2}.
  • d) lim⁡x→5x+4−3x−5\lim_{x\to 5}\frac{\sqrt{x+4}-3}{x-5}.
  • e) lim⁡x→7x−7x+2−3\lim_{x\to 7}\frac{x-7}{\sqrt{x+2}-3}.
  • f) lim⁡x→22x−1x−2\lim_{x\to 2}\frac{\frac{2}{x}-1}{x-2}.
  • g) lim⁡h→0(−1+h)3+1h\lim_{h\to 0}\frac{(-1+h)^{3}+1}{h}.
  • h) lim⁡x→0tan⁡6xsin⁡4x\lim_{x\to 0}\frac{\tan 6x}{\sin 4x}.
  • i) lim⁡x→01−cos⁡2xxsin⁡x\lim_{x\to 0}\frac{1-\cos 2x}{x\sin x}.
  • j) lim⁡x→−2−x−1x+2\lim_{x\to -2^{-}}\frac{x-1}{x+2} and lim⁡x→−2+x−1x+2\lim_{x\to -2^{+}}\frac{x-1}{x+2}.
  • k) lim⁡x→−1x−4(x+1)2\lim_{x\to -1}\frac{x-4}{(x+1)^{2}}.
  • l) f(x)=x2+1f(x)=x^{2}+1 if x<1x<1 and f(x)=4−xf(x)=4-x if x≥1x\geq 1: lim⁡x→1−f(x)\lim_{x\to 1^{-}}f(x), then lim⁡x→1f(x)\lim_{x\to 1}f(x).

Type your answers, the page tells you right or wrong 0/14

a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
k)
l)
Show the solution

Answers

  • a) Direct substitution; 55
  • b) x+5x−2\frac{x+5}{x-2}; −43-\frac{4}{3}
  • c) x2−2x+4x^{2}-2x+4; 1212
  • d) 1x+4+3\frac{1}{\sqrt{x+4}+3}; 16\frac{1}{6}
  • e) x+2+3\sqrt{x+2}+3; 66
  • f) −1x-\frac{1}{x}; −12-\frac{1}{2}
  • g) 3−3h+h23-3h+h^{2}; 33
  • h) 64\frac{6}{4} by the fundamental limits; 32\frac{3}{2}
  • i) 2⋅sin⁡xx2\cdot\frac{\sin x}{x}; 22
  • j) −30∓\frac{-3}{0^{\mp}}; +∞+\infty from the left, −∞-\infty from the right
  • k) −50+\frac{-5}{0^{+}}; −∞-\infty
  • l) 22 from the left, 33 from the right; the limit does not exist

The move that decides everything: substitute BEFORE manipulating. The form you get chooses the technique: a number is read off, 00\frac{0}{0} hides a common factor to bring out, k0\frac{k}{0} signals an infinite limit whose sign is all that remains to find.

a)

The denominator equals 2≠02\neq 0: direct substitution, 4+62=5\frac{4+6}{2}=5.

b)

Form 00\frac{0}{0}, so x+1x+1 is a factor of both top and bottom: (x+1)(x+5)(x+1)(x−2)=x+5x−2→4−3=−43≈−1.333\frac{(x+1)(x+5)}{(x+1)(x-2)}=\frac{x+5}{x-2}\to\frac{4}{-3}=-\frac{4}{3}\approx-1.333.

c)

Form 00\frac{0}{0}. Sum of cubes: x3+8=(x+2)(x2−2x+4)x^{3}+8=(x+2)\left(x^{2}-2x+4\right), so the limit is 4+4+4=124+4+4=12. Pitfall: writing x2+2x+4x^{2}+2x+4; the middle sign is the OPPOSITE of the one in the binomial.

d)

Form 00\frac{0}{0}. Conjugate: (x+4)−9(x−5)(x+4+3)=1x+4+3→16≈0.167\frac{(x+4)-9}{(x-5)\left(\sqrt{x+4}+3\right)}=\frac{1}{\sqrt{x+4}+3}\to\frac{1}{6}\approx 0.167.

e)

Form 00\frac{0}{0}, with the root in the denominator: multiply by x+2+3\sqrt{x+2}+3, and (x−7)(x+2+3)(x+2)−9=x+2+3→6\frac{(x-7)\left(\sqrt{x+2}+3\right)}{(x+2)-9}=\sqrt{x+2}+3\to 6.

f)

Form 00\frac{0}{0}. Common denominator on top: 2x−1=2−xx\frac{2}{x}-1=\frac{2-x}{x}, so the expression equals 2−xx(x−2)=−1x→−12\frac{2-x}{x(x-2)}=-\frac{1}{x}\to-\frac{1}{2}. Pitfall: 2−x=−(x−2)2-x=-(x-2), and the minus sign is easily lost.

g)

Form 00\frac{0}{0}. Expand: (−1+h)3=−1+3h−3h2+h3(-1+h)^{3}=-1+3h-3h^{2}+h^{3}, so the quotient equals 3−3h+h2→33-3h+h^{2}\to 3.

h)

Form 00\frac{0}{0}. Bring out the fundamental limits: tan⁡6x6x⋅4xsin⁡4x⋅64→1⋅1⋅32=32\frac{\tan 6x}{6x}\cdot\frac{4x}{\sin 4x}\cdot\frac{6}{4}\to 1\cdot 1\cdot\frac{3}{2}=\frac{3}{2}, since tan⁡uu=sin⁡uu⋅1cos⁡u→1\frac{\tan u}{u}=\frac{\sin u}{u}\cdot\frac{1}{\cos u}\to 1.

i)

Form 00\frac{0}{0}. Double-angle identity: 1−cos⁡2x=2sin⁡2x1-\cos 2x=2\sin^{2}x, so the expression equals 2sin⁡2xxsin⁡x=2⋅sin⁡xx→2\frac{2\sin^{2}x}{x\sin x}=2\cdot\frac{\sin x}{x}\to 2.

j)

Form −30\frac{-3}{0}: an infinite limit. To the left of −2-2, x+2<0x+2<0, so −30−→+∞\frac{-3}{0^{-}}\to+\infty; to the right, x+2>0x+2>0, so −30+→−∞\frac{-3}{0^{+}}\to-\infty. Pitfall: forgetting that the numerator is NEGATIVE, which reverses both signs.

k)

Form −50\frac{-5}{0}: the square (x+1)2(x+1)^{2} is positive on both sides, so −50+→−∞\frac{-5}{0^{+}}\to-\infty from the left and from the right alike, and the limit is −∞-\infty.

l)

From the left, f(x)=x2+1→2f(x)=x^{2}+1\to 2; from the right, f(x)=4−x→3f(x)=4-x\to 3. The two one-sided limits differ, so lim⁡x→1f(x)\lim_{x\to 1}f(x) does not exist, even though f(1)=3f(1)=3 exists.

Check: on a calculator, evaluate the expression at a−0.001a-0.001 and at a+0.001a+0.001. The two values should bracket the limit you found; for a form k0\frac{k}{0}, they should be very large, with the predicted sign on each side.

Tick the exercises you have done or want to review: a free account, no password, keeps your ticks and your right answers from one visit to the next, tells you which chapter to tackle next and lets you ask for the exercise you are missing. Create your space, an email is enough.

Calculations: limits at infinity

Exercise 0.2: Computing a limit at infinity: ten direct calculations

For each line, compute the indicated limit at +∞+\infty or at −∞-\infty without L'Hôpital's rule and give its value, or say whether it is +∞+\infty or −∞-\infty.

One method for all ten lines: spot the DOMINANT term in the numerator and in the denominator and factor it out, remembering that x2=∣x∣\sqrt{x^{2}}=\left|x\right|, which equals −x-x at −∞-\infty; resolve a form ∞−∞\infty-\infty with a square root by the conjugate; for the exponential, the arctangent and the logarithm, fall back on the behaviour of the basic function.

  • a) lim⁡x→−∞(3x4−x5+2)\lim_{x\to-\infty}\left(3x^{4}-x^{5}+2\right).
  • b) lim⁡x→−∞6x3−2x1−4x3\lim_{x\to-\infty}\frac{6x^{3}-2x}{1-4x^{3}}.
  • c) lim⁡x→−∞2x3+1x2−4x\lim_{x\to-\infty}\frac{2x^{3}+1}{x^{2}-4x}.
  • d) lim⁡x→−∞16x2+x1−2x\lim_{x\to-\infty}\frac{\sqrt{16x^{2}+x}}{1-2x}.
  • e) lim⁡x→+∞(4x2+5x−2x)\lim_{x\to+\infty}\left(\sqrt{4x^{2}+5x}-2x\right).
  • f) lim⁡x→+∞3+sin⁡2xx+1\lim_{x\to+\infty}\frac{3+\sin 2x}{x+1}.
  • g) lim⁡x→+∞6⋅3x+12⋅3x−2x\lim_{x\to+\infty}\frac{6\cdot 3^{x}+1}{2\cdot 3^{x}-2^{x}}.
  • h) lim⁡x→−∞arctan⁡(x2)\lim_{x\to-\infty}\arctan\left(x^{2}\right).
  • i) lim⁡x→+∞[ln⁡(2x2+1)−2ln⁡(x+5)]\lim_{x\to+\infty}\left[\ln\left(2x^{2}+1\right)-2\ln(x+5)\right].
  • j) lim⁡x→+∞5x32−x2xx+7\lim_{x\to+\infty}\frac{5x^{\frac{3}{2}}-x}{2x\sqrt{x}+7}.

Type your answers, the page tells you right or wrong 0/10

a)
b)
c)
d)
e)
f)
g)
h)
i)
j)
Show the solution

Answers

  • a) Like −x5-x^{5}; +∞+\infty
  • b) 6−4\frac{6}{-4}; −32-\frac{3}{2}
  • c) Like 2x2x; −∞-\infty
  • d) −4−2\frac{-4}{-2}, with x2=−x\sqrt{x^{2}}=-x; 22
  • e) 5x4x2+5x+2x\frac{5x}{\sqrt{4x^{2}+5x}+2x}; 54\frac{5}{4}
  • f) Squeezed between 2x+1\frac{2}{x+1} and 4x+1\frac{4}{x+1}; 00
  • g) 62\frac{6}{2}; 33
  • h) arctan⁡u\arctan u, u→+∞u\to+\infty; π2≈1.571\frac{\pi}{2}\approx 1.571
  • i) ln⁡2x2+1(x+5)2\ln\frac{2x^{2}+1}{(x+5)^{2}}; ln⁡2≈0.693\ln 2\approx 0.693
  • j) 52\frac{5}{2}; 52\frac{5}{2}

The move that decides everything: factor out the dominant term, and only that term. Everything else tends to 00 or to a constant; all that is left is to read a ratio of coefficients, or a sign.

a)

3x4−x5+2=x5(3x−1+2x5)3x^{4}-x^{5}+2=x^{5}\left(\frac{3}{x}-1+\frac{2}{x^{5}}\right): the bracket tends to −1-1 and x5→−∞x^{5}\to-\infty, so the limit is +∞+\infty. Pitfall: reading the term 3x43x^{4}, which is positive, when it is −x5-x^{5} that dominates.

b)

Equal degrees: divide by x3x^{3}, 6−2x21x3−4→6−4=−32\frac{6-\frac{2}{x^{2}}}{\frac{1}{x^{3}}-4}\to\frac{6}{-4}=-\frac{3}{2}, at −∞-\infty and at +∞+\infty alike.

c)

Higher degree on top: 2x3+1x2−4x=x3(2+1x3)x2(1−4x)\frac{2x^{3}+1}{x^{2}-4x}=\frac{x^{3}\left(2+\frac{1}{x^{3}}\right)}{x^{2}\left(1-\frac{4}{x}\right)}, which behaves like 2x2x, so it tends to −∞-\infty.

d)

16x2+x=∣x∣16+1x=−x16+1x\sqrt{16x^{2}+x}=\left|x\right|\sqrt{16+\frac{1}{x}}=-x\sqrt{16+\frac{1}{x}} for x<0x<0. So the expression equals −x16+1xx(1x−2)=−16+1x1x−2→−4−2=2\frac{-x\sqrt{16+\frac{1}{x}}}{x\left(\frac{1}{x}-2\right)}=\frac{-\sqrt{16+\frac{1}{x}}}{\frac{1}{x}-2}\to\frac{-4}{-2}=2. Pitfall: writing x2=x\sqrt{x^{2}}=x, which gives −2-2.

e)

Form ∞−∞\infty-\infty. Conjugate: (4x2+5x)−4x24x2+5x+2x=5xx(4+5x+2)→54\frac{\left(4x^{2}+5x\right)-4x^{2}}{\sqrt{4x^{2}+5x}+2x}=\frac{5x}{x\left(\sqrt{4+\frac{5}{x}}+2\right)}\to\frac{5}{4}. Pitfall: concluding 00 because the two terms “look alike”.

f)

The sine is bounded: 2≤3+sin⁡2x≤42\leq 3+\sin 2x\leq 4, so 2x+1≤3+sin⁡2xx+1≤4x+1\frac{2}{x+1}\leq\frac{3+\sin 2x}{x+1}\leq\frac{4}{x+1} for x>−1x>-1, and both bounds tend to 00. By the Squeeze Theorem, the limit is 00.

g)

The dominant term is 3x3^{x} in both the numerator and the denominator: 6+3−x2−(23)x→62=3\frac{6+3^{-x}}{2-\left(\frac{2}{3}\right)^{x}}\to\frac{6}{2}=3, since (23)x→0\left(\frac{2}{3}\right)^{x}\to 0.

h)

At −∞-\infty, x2→+∞x^{2}\to+\infty, and arctan⁡u→π2\arctan u\to\frac{\pi}{2} as u→+∞u\to+\infty: the limit is π2≈1.571\frac{\pi}{2}\approx 1.571. Pitfall: answering −π2-\frac{\pi}{2} by looking at xx instead of x2x^{2}.

i)

Form ∞−∞\infty-\infty. Combine the logarithms: ln⁡2x2+1(x+5)2\ln\frac{2x^{2}+1}{(x+5)^{2}}, and the quotient tends to 22 (equal degrees), so by continuity of the logarithm the limit is ln⁡2≈0.693\ln 2\approx 0.693.

j)

xx=x32x\sqrt{x}=x^{\frac{3}{2}}: the dominant term is x32x^{\frac{3}{2}} in both the numerator and the denominator, since x32x^{\frac{3}{2}} outgrows xx. Divide: 5−x−122+7x−32→52\frac{5-x^{-\frac{1}{2}}}{2+7x^{-\frac{3}{2}}}\to\frac{5}{2}.

Check: on a calculator, evaluate the expression at x=104x=10^{4} (or −104-10^{4}), then at x=106x=10^{6}; the values should get closer to the limit you found, or keep growing with the predicted sign.

Part A: computing limits (/50)

Exercise 1: Reading limits from a graph

The figure shows a function ff with a JUMP at x=1x=1 and a HOLE at x=3x=3. Solid dots are values the function takes; open circles are excluded values.

-2-1123456-11234xy
  • a) Find lim⁡x→1−f(x)\lim_{x\to 1^{-}}f(x), lim⁡x→1+f(x)\lim_{x\to 1^{+}}f(x), lim⁡x→1f(x)\lim_{x\to 1}f(x) and f(1)f(1). Comment on your results.
  • b) Find lim⁡x→3−f(x)\lim_{x\to 3^{-}}f(x), lim⁡x→3+f(x)\lim_{x\to 3^{+}}f(x), lim⁡x→3f(x)\lim_{x\to 3}f(x) and f(3)f(3). How does the situation differ from the one at x=1x=1?
  • c) Is the function continuous at x=1x=1? At x=3x=3? Justify with the three conditions for continuity, and name the type of discontinuity in each case.
  • d) Can ff be REDEFINED at a single point to make it continuous at x=3x=3? And at x=1x=1? Explain what this difference reveals about the deep nature of the two discontinuities.

Type your answers, the page tells you right or wrong 0/13

a)
b)
c)
d)
Show the solution

Answers

  • a) 22 and 33: no limit; f(1)=3f(1)=3
  • b) Limit 11, but f(3)=2f(3)=2
  • c) Jump at 11, hole at 33
  • d) Set f(3)=1f(3)=1; nothing works at 11
a)

Approaching from the LEFT, follow the rising branch that reaches the open circle at height 2: lim⁡x→1−f(x)=2\lim_{x\to 1^{-}}f(x)=2. From the RIGHT, follow the falling branch that starts at height 3: lim⁡x→1+f(x)=3\lim_{x\to 1^{+}}f(x)=3. The two one-sided limits DIFFER, so lim⁡x→1f(x)\lim_{x\to 1}f(x) DOES NOT EXIST. Finally, the solid dot gives f(1)=3f(1)=3: the function is indeed defined at 1, even though its limit does not exist. Being defined and having a limit are two independent questions.

b)

From the left, the falling branch tends to the open circle at height 1: lim⁡x→3−f(x)=1\lim_{x\to 3^{-}}f(x)=1. From the right, the rising branch also starts at height 1: lim⁡x→3+f(x)=1\lim_{x\to 3^{+}}f(x)=1. The two agree, so lim⁡x→3f(x)=1\lim_{x\to 3}f(x)=1: the limit EXISTS. But the solid dot is at height 2: f(3)=2≠1f(3)=2\ne 1. The reverse of the situation at x=1x=1: there the limit was missing; here it exists, and it is the value of the function that is in the wrong place.

c)

At x=1x=1: f(1)=3f(1)=3 exists, but the limit does not; the second condition fails, and ff is DISCONTINUOUS, with a JUMP (the two one-sided limits are finite but different). At x=3x=3: f(3)=2f(3)=2 exists, the limit exists and equals 1, but 1≠21\ne 2; the third condition fails, and ff has a HOLE (a removable discontinuity).

d)

At x=3x=3: YES. It is enough to set f(3)=1f(3)=1, the value of the limit: the solid dot drops down to fill the hole and the curve becomes continuous. That is why this is called a REMOVABLE discontinuity. At x=1x=1: NO, no value can work: the curve arrives at height 2 from the left and leaves from height 3 on the right, and a single point cannot be at two heights at once. The deep difference: the hole is an accident of DEFINITION (the function knows where it wants to go, it was just recorded wrongly at one point), while the jump is an accident of BEHAVIOUR (the function itself tears apart), and no change at a single point can mend a tear.

Exercise 2: Resolving indeterminate forms

An indeterminate form 00\frac{0}{0} is not a dead end: it is the sign that a common factor is hiding, waiting to be cancelled.

  • a) Compute lim⁡x→2x2−4x−2\lim_{x\to 2}\frac{x^{2}-4}{x-2} by factoring. Why are we ALLOWED to cancel x−2x-2, when this very factor vanishes at 2?
  • b) Compute lim⁡x→0x+9−3x\lim_{x\to 0}\frac{\sqrt{x+9}-3}{x} using the conjugate.
  • c) Compute lim⁡x→1x3−1x2−1\lim_{x\to 1}\frac{x^{3}-1}{x^{2}-1}, then lim⁡x→0(1x−1x2+x)\lim_{x\to 0}\left(\frac{1}{x}-\frac{1}{x^{2}+x}\right) (indeterminate form ∞−∞\infty-\infty).
  • d) Compute lim⁡x→3x−3∣x−3∣\lim_{x\to 3}\frac{x-3}{|x-3|}, treating the two sides separately. What should you conclude, and what general lesson does the absolute value teach?

Type your answers, the page tells you right or wrong 0/7

a)
b)
c)
d)
Show the solution

Answers

  • a) 44
  • b) 16\frac{1}{6}
  • c) 32\frac{3}{2}, then 11
  • d) −1-1 and +1+1: the limit does not exist
a)

x2−4x−2=(x−2)(x+2)x−2=x+2\frac{x^{2}-4}{x-2}=\frac{(x-2)(x+2)}{x-2}=x+2 for all x≠2x\ne 2, hence the limit 2+2=42+2=4. The right to cancel comes from the very definition of the limit: it looks ONLY at the xx near 2, never at x=2x=2 itself. For those x≠2x\ne 2, the quotient is exactly equal to x+2x+2, so the two functions have the same limit. We never divide by zero; we simply set aside a point the limit does not care about.

b)

Multiply top and bottom by the conjugate x+9+3\sqrt{x+9}+3: (x+9−3)(x+9+3)x(x+9+3)=(x+9)−9x(x+9+3)=xx(x+9+3)=1x+9+3\frac{(\sqrt{x+9}-3)(\sqrt{x+9}+3)}{x(\sqrt{x+9}+3)}=\frac{(x+9)-9}{x(\sqrt{x+9}+3)}=\frac{x}{x(\sqrt{x+9}+3)}=\frac{1}{\sqrt{x+9}+3}. The offending factor xx is gone, and the limit is 13+3=16\frac{1}{3+3}=\frac{1}{6}. That is exactly what the conjugate is for: turning a difference of square roots into a difference of squares, which simplifies.

c)

x3−1x2−1=(x−1)(x2+x+1)(x−1)(x+1)=x2+x+1x+1→32\frac{x^{3}-1}{x^{2}-1}=\frac{(x-1)(x^{2}+x+1)}{(x-1)(x+1)}=\frac{x^{2}+x+1}{x+1}\to\frac{3}{2}. For the second one, combine over a common denominator first, because ∞−∞\infty-\infty is never handled term by term: 1x−1x(x+1)=(x+1)−1x(x+1)=xx(x+1)=1x+1→1\frac{1}{x}-\frac{1}{x(x+1)}=\frac{(x+1)-1}{x(x+1)}=\frac{x}{x(x+1)}=\frac{1}{x+1}\to 1. Two infinities that eat each other up leave a perfectly finite remainder.

d)

For x>3x>3: ∣x−3∣=x−3|x-3|=x-3, the quotient equals +1+1, so lim⁡x→3+=1\lim_{x\to 3^{+}}=1. For x<3x<3: ∣x−3∣=−(x−3)|x-3|=-(x-3), the quotient equals −1-1, so lim⁡x→3−=−1\lim_{x\to 3^{-}}=-1. The two one-sided limits differ: the limit DOES NOT EXIST. General lesson: faced with an absolute value (or any piecewise-defined function), never compute a two-sided limit in one go: SEPARATE the two sides, remove the absolute value according to the sign, then compare. The same reflex will be used to detect points where a function is not differentiable in the next chapter.

Exercise 3: Limits at infinity and asymptotes

The figure shows the graph of f(x)=3x2−2x+1x2−4f(x)=\frac{3x^{2}-2x+1}{x^{2}-4}, without its asymptotes.

-8-6-4-22468-6-4-224681012xy
  • a) Compute lim⁡x→+∞f(x)\lim_{x\to+\infty}f(x) and lim⁡x→−∞f(x)\lim_{x\to-\infty}f(x) for the function in the figure, and identify the horizontal asymptote. What general method do you use?
  • b) Find the vertical asymptotes of ff and determine the sign of the limit on either side of x=2x=2.
  • c) Show that g(x)=x2+1x−1g(x)=\frac{x^{2}+1}{x-1} has an OBLIQUE asymptote and give its equation.
  • d) Study h(x)=2xx2+1h(x)=\frac{2x}{\sqrt{x^{2}+1}} at +∞+\infty AND at −∞-\infty. How many horizontal asymptotes are there, and what trap does this calculation set?

Type your answers, the page tells you right or wrong 0/9

a)
b)
c)
d)
Show the solution

Answers

  • a) y=3y=3 on both sides
  • b) x=±2x=\pm 2; −∞-\infty to the left of 22, +∞+\infty to the right
  • c) y=x+1y=x+1
  • d) y=2y=2 at +∞+\infty, y=−2y=-2 at −∞-\infty
a)

General method: divide top and bottom by the highest power present, here x2x^{2}: f(x)=3−2x+1x21−4x2f(x)=\frac{3-\frac{2}{x}+\frac{1}{x^{2}}}{1-\frac{4}{x^{2}}}. As x→±∞x\to\pm\infty, all the terms in 1x\frac{1}{x} and 1x2\frac{1}{x^{2}} vanish: the limit is 31=3\frac{3}{1}=3 on BOTH sides. Horizontal asymptote: y=3y=3, the horizontal dashed line in the solution figure. A legitimate shortcut for a rational function with EQUAL degrees: the ratio of the leading coefficients, here 31\frac{3}{1}.

b)

The denominator x2−4=(x−2)(x+2)x^{2}-4=(x-2)(x+2) vanishes at x=2x=2 and x=−2x=-2; there the numerator equals 12−4+1=912-4+1=9 and 12+4+1=1712+4+1=17 respectively, both nonzero, so these are indeed two VERTICAL asymptotes (and not holes). Sign around 2: the numerator stays close to +9+9; the denominator (x−2)(x+2)(x-2)(x+2) is positive for x>2x>2 (a product of two positives) and negative for xx just below 2 (negative times positive). So lim⁡x→2+f(x)=+∞\lim_{x\to 2^{+}}f(x)=+\infty and lim⁡x→2−f(x)=−∞\lim_{x\to 2^{-}}f(x)=-\infty: the curve dives down and then comes back up on either side of the line, exactly as in the figure.

c)

The numerator has exactly ONE degree more than the denominator: that is the signature of an oblique asymptote. Divide: x2+1=(x−1)(x+1)+2x^{2}+1=(x-1)(x+1)+2, so g(x)=x+1+2x−1g(x)=x+1+\frac{2}{x-1}. As x→±∞x\to\pm\infty, the remainder 2x−1\frac{2}{x-1} tends to 0: the curve hugs the line y=x+1y=x+1, its oblique asymptote. The remainder even tells you the SIDE: positive for x>1x>1 (the curve lies above), negative for x<1x<1 (below).

d)

At +∞+\infty: x2+1≈x2=∣x∣=x\sqrt{x^{2}+1}\approx\sqrt{x^{2}}=|x|=x (since x>0x>0), so h(x)≈2xx=2h(x)\approx\frac{2x}{x}=2: asymptote y=2y=2. At −∞-\infty: careful, x2=∣x∣=−x\sqrt{x^{2}}=|x|=-x since x<0x<0! Then h(x)≈2x−x=−2h(x)\approx\frac{2x}{-x}=-2: asymptote y=−2y=-2. There are therefore TWO distinct horizontal asymptotes. The trap is the automatic x2=x\sqrt{x^{2}}=x, false for negative xx: the square root always returns a POSITIVE result, hence the compulsory absolute value. Rigorously: h(x)=2x∣x∣1+1x2h(x)=\frac{2x}{|x|\sqrt{1+\frac{1}{x^{2}}}}, and the quotient x∣x∣\frac{x}{|x|} equals +1+1 on the right and −1-1 on the left: it, and it alone, creates the two asymptotes.

-8-6-4-22468-6-4-224681012xy

Exercise 4: The limit laws

Limits can be computed term by term as long as no indeterminate form appears. Still, you need to know what the laws allow, and above all what they do not.

  • a) State the limit laws for a sum, a product, a quotient and a power, giving the hypotheses of each.
  • b) Compute lim⁡x→23x2−5x+1\lim_{x\to 2}\frac{3x^{2}-5}{x+1}, justifying each step by a law.
  • c) Give two functions ff and gg such that NEITHER lim⁡x→0f(x)\lim_{x\to 0}f(x) NOR lim⁡x→0g(x)\lim_{x\to 0}g(x) exists, while lim⁡x→0(f(x)+g(x))\lim_{x\to 0}\left(f(x)+g(x)\right) does exist. Do the same for a product.
  • d) Why does the quotient law require the limit of the denominator to be nonzero? What can happen when it is zero?

Type your answers, the page tells you right or wrong 0/5

a)
b)
c)
d)
Show the solution

Answers

  • a) Sum, product, power; quotient if M≠0M\neq 0
  • b) 73\frac{7}{3}
  • c) ss and 1−s1-s; ss and 2s2s: the converse is false
  • d) k0\frac{k}{0}: infinite; 00\frac{0}{0}: indeterminate
a)

If lim⁡x→af(x)=L\lim_{x\to a}f(x)=L and lim⁡x→ag(x)=M\lim_{x\to a}g(x)=M exist and are FINITE, then: lim⁡(f+g)=L+M\lim(f+g)=L+M; lim⁡(fg)=LM\lim(fg)=LM; lim⁡fg=LM\lim\frac{f}{g}=\frac{L}{M} PROVIDED THAT M≠0M\neq 0; and lim⁡fn=Ln\lim f^{n}=L^{n} for a positive integer nn. It follows that lim⁡(cf)=cL\lim(cf)=cL for any constant cc. The shared hypothesis, often left unsaid, is that BOTH limits exist and are finite: it is the one that fails in every counterexample of part c), and it is also the one missing in the indeterminate forms.

b)

The denominator first, because it decides whether the law can be used: lim⁡x→2(x+1)=3≠0\lim_{x\to 2}(x+1)=3\neq 0, so the quotient law applies. Numerator: lim⁡x→2(3x2−5)=3lim⁡x→2x2−5=3(4)−5=7\lim_{x\to 2}\left(3x^{2}-5\right)=3\lim_{x\to 2}x^{2}-5=3(4)-5=7, using in turn the sum, the constant multiple and the power laws. Conclusion: lim⁡x→23x2−5x+1=73≈2.333\lim_{x\to 2}\frac{3x^{2}-5}{x+1}=\frac{7}{3}\approx 2.333. Notice that the result is simply f(2)f(2): that is the general case for a rational function at a point where the denominator does not vanish, and it is exactly what continuity means, as established in exercise 6.

c)

The simplest start is the sign function s(x)=x∣x∣s(x)=\frac{x}{|x|}, which equals −1-1 for x<0x<0 and +1+1 for x>0x>0: its left-hand and right-hand limits at 0 are −1-1 and +1+1, they differ, so lim⁡x→0s(x)\lim_{x\to 0}s(x) DOES NOT EXIST. For the SUM: let f(x)=s(x)f(x)=s(x) and g(x)=−s(x)+1g(x)=-s(x)+1. Neither has a limit at 0 (the second jumps from 2 to 0), yet f(x)+g(x)=1f(x)+g(x)=1 for all x≠0x\neq 0, so lim⁡x→0(f+g)=1\lim_{x\to 0}\left(f+g\right)=1 exists. For the PRODUCT: let f(x)=s(x)f(x)=s(x) and g(x)=2s(x)g(x)=2s(x), still with no limit at 0; their product equals 2(s(x))2=22\left(s(x)\right)^{2}=2 for all x≠0x\neq 0, since (±1)2=1(\pm 1)^{2}=1, so lim⁡x→0(fg)=2\lim_{x\to 0}(fg)=2 exists. In both cases the lesson is the same: the converse of the laws is FALSE. The existence of the limit of a sum or a product in no way implies that the limits of the individual terms exist, because two discontinuities can cancel each other exactly. So you can never “split” an existing limit into pieces that you assume also exist: the laws read only from left to right.

d)

Because the conclusion LM\frac{L}{M} makes no sense if M=0M=0: division by zero is undefined. When the denominator tends to 0, two situations arise. If the numerator tends to a NONZERO constant, the quotient blows up in absolute value and the sign on each side remains to be found: this is the mechanism of the vertical asymptotes in exercise 3. If the numerator ALSO tends to 0, you get the indeterminate form 00\frac{0}{0}, where the law says nothing at all and the form must be resolved by factoring, the conjugate or a common denominator, as in exercise 2. The real content of the condition M≠0M\neq 0 is therefore this: it separates the cases where you can conclude mechanically from those that require algebraic work.

Exercise 5: Limits of composite functions and substitution

Setting u=g(x)u=g(x) to reduce a complicated limit to a known one is the move that pays off most in the chapter. It rests on a theorem whose hypothesis is regularly forgotten.

  • a) Compute lim⁡x→0sin⁡3x3x\lim_{x\to 0}\frac{\sin 3x}{3x} by the substitution u=3xu=3x, justifying the step.
  • b) Compute lim⁡x→2x2+5\lim_{x\to 2}\sqrt{x^{2}+5} and lim⁡x→0esin⁡xx\lim_{x\to 0}e^{\frac{\sin x}{x}}. Which property of continuous functions are you using?
  • c) Compute lim⁡x→+∞xsin⁡1x\lim_{x\to+\infty}x\sin\frac{1}{x} with a well-chosen substitution.
  • d) Let f(u)=0f(u)=0 if u≠0u\neq 0 and f(0)=1f(0)=1, and g(x)=0g(x)=0 for all xx. Check that lim⁡x→0g(x)=0\lim_{x\to 0}g(x)=0 and lim⁡u→0f(u)=0\lim_{u\to 0}f(u)=0, but that lim⁡x→0f(g(x))≠0\lim_{x\to 0}f\left(g(x)\right)\neq 0. Which hypothesis was missing?

Type your answers, the page tells you right or wrong 0/6

a)
b)
c)
d)
Show the solution

Answers

  • a) 11
  • b) 33 and ee: continuity of the outer function
  • c) 11 with u=1xu=\frac{1}{x}
  • d) The composite has limit 11: ff is not continuous at 00
a)

Let u=3xu=3x. As x→0x\to 0, u→0u\to 0 as well, and the expression becomes sin⁡uu\frac{\sin u}{u}. The fundamental limit gives lim⁡u→0sin⁡uu=1\lim_{u\to 0}\frac{\sin u}{u}=1, so lim⁡x→0sin⁡3x3x=1\lim_{x\to 0}\frac{\sin 3x}{3x}=1. The step is valid because u=3xu=3x is continuous, tends to 0, and takes the value 0 only when xx itself does: no stray value is reached on the punctured neighbourhood. Note that the denominator is indeed 3x3x and not xx: had the question asked for lim⁡x→0sin⁡3xx\lim_{x\to 0}\frac{\sin 3x}{x}, you would have had to write sin⁡3xx=3⋅sin⁡3x3x\frac{\sin 3x}{x}=3\cdot\frac{\sin 3x}{3x} to recover the fundamental form, and the limit would be 3.

b)

lim⁡x→2x2+5=lim⁡x→2(x2+5)=9=3\lim_{x\to 2}\sqrt{x^{2}+5}=\sqrt{\lim_{x\to 2}\left(x^{2}+5\right)}=\sqrt{9}=3. Likewise, lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1, so lim⁡x→0esin⁡xx=e1=e≈2.718\lim_{x\to 0}e^{\frac{\sin x}{x}}=e^{1}=e\approx 2.718. The property used is this one: if gg has limit LL at aa and ff is CONTINUOUS at LL, then lim⁡x→af(g(x))=f(L)\lim_{x\to a}f\left(g(x)\right)=f(L); in other words, the limit moves inside the function. It holds because the square root and the exponential are continuous wherever they are defined; part d) shows what happens when that continuity is missing.

c)

Let u=1xu=\frac{1}{x}, so that x→+∞x\to+\infty gives u→0+u\to 0^{+}, with x=1ux=\frac{1}{u}. The expression becomes 1usin⁡u=sin⁡uu\frac{1}{u}\sin u=\frac{\sin u}{u}, whose limit is 1. So lim⁡x→+∞xsin⁡1x=1\lim_{x\to+\infty}x\sin\frac{1}{x}=1. The substitution turned a limit at infinity, where there is no formula available for the sine, into the fundamental limit at 0: that is the typical payoff of the substitution u=1xu=\frac{1}{x}, which swaps a neighbourhood of infinity for a neighbourhood of zero. Interpretation: for large xx, sin⁡1x≈1x\sin\frac{1}{x}\approx\frac{1}{x}, so the product is approximately 1.

d)

Checks. gg is the zero function, so lim⁡x→0g(x)=0\lim_{x\to 0}g(x)=0 ✓. For ff: when u→0u\to 0 with u≠0u\neq 0, we always have f(u)=0f(u)=0, so lim⁡u→0f(u)=0\lim_{u\to 0}f(u)=0 ✓ (the limit ignores the value f(0)=1f(0)=1, since the definition excludes the point itself). But the composite equals f(g(x))=f(0)=1f\left(g(x)\right)=f(0)=1 for EVERY xx, so lim⁡x→0f(g(x))=1≠0\lim_{x\to 0}f\left(g(x)\right)=1\neq 0. The missing hypothesis is the CONTINUITY of ff at the limit point: here lim⁡u→0f(u)=0\lim_{u\to 0}f(u)=0 while f(0)=1f(0)=1, so ff is discontinuous at 0 and the theorem of part b) does not apply. A second hypothesis would also suffice: that gg does NOT take the limit value 0 on a punctured neighbourhood of aa, which was true in part a) with u=3xu=3x and false here, since gg is identically 0. Remember, then, that substitution is safe in two cases: a continuous outer function, or an inner function that never reaches its limit. In practice at CEGEP, all the usual functions being continuous on their domains, the first condition is almost always met, but the exercise shows that it is not a logical given.

Part B: rigour, continuity and theorems (/50)

Exercise 6: Joining the pieces: forcing continuity

A piecewise-defined function is continuous wherever each piece is; everything is decided at the JUNCTION points, where the branches are required to meet.

  • a) Recall the three conditions for continuity at a point, then find aa and bb so that the following function is continuous everywhere: f(x)=x2f(x)=x^{2} if x<1x<1; f(x)=ax+bf(x)=ax+b if 1≤x<31\le x<3; f(x)=2xf(x)=2x if x≥3x\ge 3.
  • b) Classify the discontinuity of each of these functions at x=2x=2: u(x)=x2−4x−2u(x)=\frac{x^{2}-4}{x-2}; v(x)=1x−2v(x)=\frac{1}{x-2}; w(x)=∣x−2∣x−2w(x)=\frac{|x-2|}{x-2}.
  • c) Is the function p(x)=x2−4x−2p(x)=\frac{x^{2}-4}{x-2} continuous at x=2x=2? Can it be extended by continuity, and if so how?
  • d) Explain why every polynomial is continuous on R\mathbb{R}, and why a rational function is continuous everywhere EXCEPT at the zeros of its denominator. What practical consequence does this have for computing limits?

Type your answers, the page tells you right or wrong 0/8

a)
b)
c)
d)
Show the solution

Answers

  • a) a=52a=\frac{5}{2}, b=−32b=-\frac{3}{2}
  • b) uu: hole; vv: infinite; ww: jump
  • c) Not continuous; extended by 44
  • d) Substitution wherever the denominator is nonzero
a)

Three conditions: f(a)f(a) exists, lim⁡x→af(x)\lim_{x\to a}f(x) exists, and lim⁡x→af(x)=f(a)\lim_{x\to a}f(x)=f(a). Each piece is a polynomial, hence continuous on its interval: only the junctions at x=1x=1 and x=3x=3 are in question. At x=1x=1: the left branch tends to 12=11^{2}=1, the right branch equals a+ba+b; equality requires a+b=1a+b=1. At x=3x=3: the middle branch tends to 3a+b3a+b, the right branch equals 66; hence 3a+b=63a+b=6. Subtracting the two equations: 2a=52a=5, so a=52a=\frac{5}{2} and b=1−52=−32b=1-\frac{5}{2}=-\frac{3}{2}. Check: 3(52)−32=15−32=63\left(\frac{5}{2}\right)-\frac{3}{2}=\frac{15-3}{2}=6 ✓.

b)

u(x)=(x−2)(x+2)x−2=x+2u(x)=\frac{(x-2)(x+2)}{x-2}=x+2 for x≠2x\ne 2: the limit equals 4, finite, but u(2)u(2) does not exist: a HOLE (removable discontinuity). v(x)=1x−2v(x)=\frac{1}{x-2}: the one-sided limits are −∞-\infty and +∞+\infty: an INFINITE discontinuity (vertical asymptote), which cannot be removed. w(x)=∣x−2∣x−2w(x)=\frac{|x-2|}{x-2} equals −1-1 on the left and +1+1 on the right: a JUMP discontinuity, which cannot be removed either. Three expressions built on the same x−2x-2, three different pathologies: it is the NUMERATOR that decides which.

c)

No: p(2)p(2) does not even exist (division by zero), so the first condition fails. But the limit does exist and equals 4: so pp can be EXTENDED by continuity by setting p~(2)=4\tilde{p}(2)=4, which amounts to defining p~(x)=x+2\tilde{p}(x)=x+2 everywhere. Extending by continuity means plugging a hole with the only value that reconnects the curve: the limit.

d)

A polynomial is built from the identity function and constants by sums and products; these operations PRESERVE continuity, and lim⁡x→ax=a\lim_{x\to a}x=a trivially, so by induction on the degree every polynomial is continuous everywhere. A rational function is a quotient of two continuous polynomials: the quotient stays continuous as long as the denominator does not vanish. Major practical consequence: for all these functions, lim⁡x→af(x)=f(a)\lim_{x\to a}f(x)=f(a), that is, the limit is computed by simple SUBSTITUTION. That is precisely why the only interesting exercises in the chapter are about the points where substitution fails, giving 00\frac{0}{0}: everywhere else, there is nothing to compute.

Exercise 7: The Intermediate Value Theorem

The figure shows f(x)=x3−x−1f(x)=x^{3}-x-1 on [1,2][1,2]: the curve starts below the axis and ends above it, so it must cross it. The Intermediate Value Theorem turns this visual evidence into a proof.

11.52-2-1123456(1, −1)(2, 5)xy
  • a) State the Intermediate Value Theorem precisely, with all its hypotheses.
  • b) Prove that the equation x3−x−1=0x^{3}-x-1=0 has at least one solution in [1,2][1,2].
  • c) Trap this root in an interval of width 0.1250.125 by the BISECTION method, showing each step.
  • d) The function g(x)=1xg(x)=\frac{1}{x} satisfies g(−1)=−1g(-1)=-1 and g(1)=1g(1)=1, yet it never takes the value 0. Is the theorem contradicted? Explain, then show that cos⁡x=x\cos x=x has a solution.
  • e) Show that the equation ln⁡x=x−4\ln x=x-4 has at least one solution in [0,8][0, 8]. Why can the theorem not be applied on [0,8][0, 8] as it stands? Then show that it has a second solution, smaller than 1.

Type your answers, the page tells you right or wrong 0/10

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) ff continuous on [a,b][a,b], kk between f(a)f(a) and f(b)f(b)
  • b) f(1)=−1<0<5=f(2)f(1)=-1<0<5=f(2)
  • c) [1.25,1.375][1.25, 1.375]
  • d) gg not continuous at 00; h(0)>0>h(π2)h(0)>0>h\left(\frac{\pi}{2}\right)
  • e) h(x)=ln⁡x−x+4h(x)=\ln x-x+4 continuous on [1,8][1, 8], h(1)=3>0>h(8)h(1)=3>0>h(8); not on [0,8][0, 8], since ln⁡0\ln 0 does not exist; second root in (0.01,1)(0.01, 1).
a)

If ff is CONTINUOUS on the CLOSED interval [a,b][a,b] and kk is a value between f(a)f(a) and f(b)f(b), then there exists at least one c∈[a,b]c\in[a,b] such that f(c)=kf(c)=k. Two crucial points: continuity on the whole interval is essential, and the theorem asserts the EXISTENCE of such a cc, without saying how many there are or how to find them.

b)

f(x)=x3−x−1f(x)=x^{3}-x-1 is a polynomial, hence continuous on [1,2][1,2]: the hypothesis holds. Values at the endpoints: f(1)=1−1−1=−1<0f(1)=1-1-1=-1<0 and f(2)=8−2−1=5>0f(2)=8-2-1=5>0, the two points marked in the figure. The value k=0k=0 does lie between −1-1 and 55: the theorem guarantees the existence of c∈[1,2]c\in[1,2] with f(c)=0f(c)=0. The equation therefore has at least one root in this interval, and that WITHOUT computing it.

c)

Bisection: cut the interval in half and keep the half where the sign changes. f(1.5)=3.375−1.5−1=0.875>0f(1.5)=3.375-1.5-1=0.875>0: the root lies in [1,1.5][1, 1.5]. f(1.25)=1.953125−1.25−1=−0.296875<0f(1.25)=1.953125-1.25-1=-0.296875<0: the root lies in [1.25,1.5][1.25, 1.5]. f(1.375)=2.599609−1.375−1=0.224609>0f(1.375)=2.599609-1.375-1=0.224609>0: the root lies in [1.25,1.375][1.25, 1.375], an interval of width 0.1250.125 ✓. Three steps divided the uncertainty by 8: each bisection gains a factor of 2, about three steps per decimal digit. The true root is 1.3247…1.3247\ldots, where the curve crosses the axis in the figure.

d)

No contradiction: gg is NOT continuous on [−1,1][-1,1], since it is not even defined at 0, where it has a vertical asymptote. The central hypothesis of the theorem collapses, so the conclusion no longer has to hold: this is precisely the counterexample showing that continuity is not a mere formality. For cos⁡x=x\cos x=x: let h(x)=cos⁡x−xh(x)=\cos x-x, continuous everywhere (a difference of continuous functions). h(0)=1−0=1>0h(0)=1-0=1>0 and h(π2)=0−π2≈−1.571<0h\left(\frac{\pi}{2}\right)=0-\frac{\pi}{2}\approx-1.571<0. By the Intermediate Value Theorem, there exists c∈[0,π2]c\in\left[0,\frac{\pi}{2}\right] such that h(c)=0h(c)=0, that is, cos⁡c=c\cos c=c: the equation has a solution (the famous fixed point 0.739…0.739\ldots), proved in three lines although no formula gives it.

e)

Turn the equation into a root problem: ln⁡x=x−4\ln x=x-4 is equivalent to h(x)=0h(x)=0 with h(x)=ln⁡x−x+4h(x)=\ln x-x+4. The theorem cannot be applied on [0,8][0, 8] as it stands: ln⁡0\ln 0 does not exist, so hh is neither defined nor continuous at 0, and the first hypothesis fails. Writing “hh is continuous on [0,8][0, 8]” is false and costs the justification mark, even if the conclusion is right. So choose a closed interval CONTAINED in the domain (0,+∞)(0, +\infty), for example [1,8][1, 8]: hh is continuous there, as the sum of a logarithm and a polynomial, both continuous on (0,+∞)(0, +\infty). We have h(1)=0−1+4=3>0h(1)=0-1+4=3>0 and h(8)=ln⁡8−4≈2.08−4=−1.92<0h(8)=\ln 8-4\approx 2.08-4=-1.92<0. Since 00 lies between h(8)h(8) and h(1)h(1), there exists c∈ (1,8)c\in\,(1, 8) such that h(c)=0h(c)=0, and this cc is indeed a solution in [0,8][0, 8]. Second solution: near 0, ln⁡x→−∞\ln x\to-\infty, so hh becomes negative again; concretely h(0.01)≈−4.61−0.01+4=−0.62<0h(0.01)\approx -4.61-0.01+4=-0.62<0 and h(1)=3>0h(1)=3>0, and the theorem on [0.01,1][0.01, 1] gives a second root in (0.01,1)(0.01, 1). The two roots are approximately 0.0190.019 and 5.755.75. The choice of endpoints is the part that earns the marks: one endpoint where the value is exact, like h(1)h(1), and one where the sign is certain without a calculator, like ln⁡8<3\ln 8<3 since 8<e3≈208<e^{3}\approx 20.

Exercise 8: Trigonometric limits and the Squeeze Theorem

The figure shows y=sin⁡xxy=\frac{\sin x}{x} around 0: the function is not defined at 0 (open circle), but it tends to 1 there, the limit on which all the trigonometry of differential calculus is built.

-10-8-6-4-2246810-0.50.511.5xy
  • a) State the fundamental limit illustrated by the figure and specify the angle unit it requires. What is f(0)f(0)?
  • b) Compute lim⁡x→0sin⁡5x3x\lim_{x\to 0}\frac{\sin 5x}{3x} and lim⁡x→0tan⁡xx\lim_{x\to 0}\frac{\tan x}{x}.
  • c) Compute lim⁡x→01−cos⁡xx\lim_{x\to 0}\frac{1-\cos x}{x}, then lim⁡x→01−cos⁡xx2\lim_{x\to 0}\frac{1-\cos x}{x^{2}} (multiply by the conjugate). Why are the two results so different?
  • d) State the Squeeze Theorem and use it to compute lim⁡x→0x2sin⁡1x\lim_{x\to 0}x^{2}\sin\frac{1}{x}, a limit that none of the previous techniques can reach.

Type your answers, the page tells you right or wrong 0/7

a)
b)
c)
d)
Show the solution

Answers

  • a) lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1 in radians; f(0)f(0) does not exist
  • b) 53\frac{5}{3} and 11
  • c) 00 and 12\frac{1}{2}
  • d) 00 by the Squeeze Theorem
a)

lim⁡x→0sin⁡xx=1\lim_{x\to 0}\frac{\sin x}{x}=1, on the STRICT condition that xx is in RADIANS (in degrees, the limit would be π180\frac{\pi}{180}: that is the real reason why all of differential calculus works in radians). As for f(0)f(0): it does not exist, since the quotient gives 00\frac{0}{0}, hence the open circle in the figure. One more limit that exists where the function is absent.

b)

Force the pattern sin⁡uu\frac{\sin u}{u} to appear: sin⁡5x3x=53⋅sin⁡5x5x→53⋅1=53\frac{\sin 5x}{3x}=\frac{5}{3}\cdot\frac{\sin 5x}{5x}\to\frac{5}{3}\cdot 1=\frac{5}{3} (with u=5x→0u=5x\to 0). For the tangent: tan⁡xx=sin⁡xx⋅1cos⁡x→1⋅11=1\frac{\tan x}{x}=\frac{\sin x}{x}\cdot\frac{1}{\cos x}\to 1\cdot\frac{1}{1}=1. Reflex: the argument of the sine must be IDENTICAL to the denominator; adjust with a constant, never by changing the argument.

c)

Conjugate 1+cos⁡x1+\cos x: 1−cos⁡xx⋅1+cos⁡x1+cos⁡x=1−cos⁡2xx(1+cos⁡x)=sin⁡2xx(1+cos⁡x)=sin⁡xx⋅sin⁡x1+cos⁡x→1⋅02=0\frac{1-\cos x}{x}\cdot\frac{1+\cos x}{1+\cos x}=\frac{1-\cos^{2}x}{x(1+\cos x)}=\frac{\sin^{2}x}{x(1+\cos x)}=\frac{\sin x}{x}\cdot\frac{\sin x}{1+\cos x}\to 1\cdot\frac{0}{2}=0. With x2x^{2} in the denominator, the same calculation gives sin⁡xx⋅sin⁡xx⋅11+cos⁡x→1⋅1⋅12=12\frac{\sin x}{x}\cdot\frac{\sin x}{x}\cdot\frac{1}{1+\cos x}\to 1\cdot 1\cdot\frac{1}{2}=\frac{1}{2}. The difference is one of SPEED: 1−cos⁡x1-\cos x vanishes like x2x^{2}, not like xx. Divided by xx, a factor xx remains and kills everything; divided by x2x^{2}, the balance is exact and leaves 12\frac{1}{2}. This hierarchy (sin⁡x∼x\sin x\sim x but 1−cos⁡x∼x221-\cos x\sim\frac{x^{2}}{2}) will come back intact with Taylor series.

d)

Squeeze Theorem: if g(x)≤f(x)≤h(x)g(x)\le f(x)\le h(x) near aa and gg and hh tend to the SAME limit LL at aa, then ff also tends to LL. Here, sin⁡1x\sin\frac{1}{x} oscillates wildly and has no limit at 0, so no product law applies. But it stays bounded: −1≤sin⁡1x≤1-1\le\sin\frac{1}{x}\le 1, hence, multiplying by x2≥0x^{2}\ge 0: −x2≤x2sin⁡1x≤x2-x^{2}\le x^{2}\sin\frac{1}{x}\le x^{2}. Both bounds tend to 0: the function is crushed between them, so lim⁡x→0x2sin⁡1x=0\lim_{x\to 0}x^{2}\sin\frac{1}{x}=0. The Squeeze Theorem is the tool for oscillating functions: you do not try to follow the oscillations, you TRAP them.

Exercise 9: The formal definition: epsilon and delta

This is where the CEGEP course goes further than high school: the limit stops being an intuition of getting closer and becomes a quantified, checkable statement.

  • a) State the formal definition of lim⁡x→af(x)=L\lim_{x\to a}f(x)=L with the quantifiers, then translate it into plain English.
  • b) Prove that lim⁡x→3(2x−1)=5\lim_{x\to 3}(2x-1)=5 by exhibiting an explicit δ\delta in terms of ε\varepsilon.
  • c) Prove that lim⁡x→2x2=4\lim_{x\to 2}x^{2}=4. Why do you need to BOUND δ\delta at the start here, unlike in part b)?
  • d) Why does the definition require 0<∣x−a∣0<|x-a| and not simply ∣x−a∣<δ|x-a|<\delta? Which example from the chapter would be destroyed by leaving it out?

Type your answers, the page tells you right or wrong 0/5

a)
b)
c)
d)
Show the solution

Answers

  • a) ∀ε>0,∃δ>0\forall\varepsilon>0,\exists\delta>0: 0<∣x−a∣<δ⇒∣f(x)−L∣<ε0<|x-a|<\delta\Rightarrow|f(x)-L|<\varepsilon
  • b) δ=ε2\delta=\frac{\varepsilon}{2}
  • c) δ=min⁡(1,ε5)\delta=\min\left(1,\frac{\varepsilon}{5}\right)
  • d) The limit ignores the value at aa
a)

Definition: lim⁡x→af(x)=L\lim_{x\to a}f(x)=L means that for every ε>0\varepsilon>0, there exists δ>0\delta>0 such that, for all xx, 0<∣x−a∣<δ  ⇒  ∣f(x)−L∣<ε0<|x-a|<\delta\;\Rightarrow\;|f(x)-L|<\varepsilon. In plain English: however narrow the horizontal band of half-width ε\varepsilon drawn around LL, you can always find a vertical band of half-width δ\delta around aa such that the curve, over that vertical band (the point aa excepted), stays entirely inside the horizontal band. The order of the quantifiers is essential: the opponent chooses ε\varepsilon FIRST, and you must supply a δ\delta that depends on it.

b)

Let ε>0\varepsilon>0 be given. Start from the quantity to control: ∣f(x)−L∣=∣(2x−1)−5∣=∣2x−6∣=2∣x−3∣|f(x)-L|=|(2x-1)-5|=|2x-6|=2|x-3|. We want 2∣x−3∣<ε2|x-3|<\varepsilon, which is equivalent to ∣x−3∣<ε2|x-3|<\frac{\varepsilon}{2}. So it suffices to take δ=ε2\delta=\frac{\varepsilon}{2}. Check: if 0<∣x−3∣<δ=ε20<|x-3|<\delta=\frac{\varepsilon}{2}, then ∣f(x)−5∣=2∣x−3∣<2⋅ε2=ε|f(x)-5|=2|x-3|<2\cdot\frac{\varepsilon}{2}=\varepsilon ✓. The proof is complete for every ε>0\varepsilon>0. A concrete example: for ε=0.01\varepsilon=0.01, take δ=0.005\delta=0.005. The general method for a linear function is always this one: factor out ∣x−a∣|x-a| and read off the coefficient.

c)

Let ε>0\varepsilon>0. Factor: ∣x2−4∣=∣x−2∣⋅∣x+2∣\left|x^{2}-4\right|=|x-2|\cdot|x+2|. The factor ∣x−2∣|x-2| is the one we control, but ∣x+2∣|x+2| still depends on xx: it must be BOUNDED by a constant. To do so, first require δ≤1\delta\leq 1, which guarantees ∣x−2∣<1|x-2|<1, so 1<x<31<x<3, so 3<x+2<53<x+2<5 and ∣x+2∣<5|x+2|<5. Then ∣x2−4∣<5∣x−2∣\left|x^{2}-4\right|<5|x-2|, and it suffices to have 5∣x−2∣<ε5|x-2|<\varepsilon, that is, ∣x−2∣<ε5|x-2|<\frac{\varepsilon}{5}. So take δ=min⁡(1,ε5)\delta=\min\left(1,\frac{\varepsilon}{5}\right) ✓. You must bound δ\delta at the start, unlike in part b), because the function is no longer linear: the “coefficient” ∣x+2∣|x+2| varies with xx, and without a prior constraint it could be arbitrarily large, making any uniform bound impossible. Example: for ε=0.1\varepsilon=0.1, take δ=min⁡(1,0.02)=0.02\delta=\min(1, 0.02)=0.02, and check that ∣x−2∣<0.02|x-2|<0.02 implies ∣x2−4∣<0.02×4.02=0.0804<0.1\left|x^{2}-4\right|<0.02\times 4.02=0.0804<0.1 ✓.

d)

The condition 0<∣x−a∣0<|x-a| explicitly excludes the point x=ax=a itself: it says that the limit depends ONLY on the behaviour of ff near aa, never on its value AT aa. Without this exclusion, the definition would require ∣f(a)−L∣<ε|f(a)-L|<\varepsilon for every ε\varepsilon, hence f(a)=Lf(a)=L, and “having a limit” would become a synonym of “being continuous”. The whole chapter would collapse. The first example destroyed would be lim⁡x→2x2−4x−2=4\lim_{x\to 2}\frac{x^{2}-4}{x-2}=4 from exercise 2: the function is not even DEFINED at 2, and yet its limit exists. With the wrong definition, no function with a hole would have a limit, the derivative itself could not be defined (the difference quotient f(x)−f(a)x−a\frac{f(x)-f(a)}{x-a} is never defined at x=ax=a), and there would be no differential calculus. That little 0<0< holds up the whole building.

Exercise 10: Continuity on an interval and the Extreme Value Theorem

Continuity at a single point gives nothing on its own. It is continuity on a CLOSED and BOUNDED interval that produces the great theorems, and that will justify the whole optimization method.

  • a) What does “ff is continuous on [a,b][a,b]” mean? Why do the two endpoints receive special treatment?
  • b) State the Extreme Value Theorem with all its hypotheses.
  • c) Show with three examples that the conclusion fails if one of the hypotheses is removed: an unbounded interval, an interval that is not closed, a discontinuous function.
  • d) Explain why this theorem justifies the optimization method on a closed interval, and what must be done instead when the domain is open.

Type your answers, the page tells you right or wrong 0/4

a)
b)
c)
d)
Show the solution

Answers

  • a) Continuous from the right at aa, from the left at bb
  • b) Continuous on [a,b][a,b], closed and bounded: the bounds are attained
  • c) xx on [0,+∞)[0,+\infty), xx on (0,1)(0,1), 1x\frac{1}{x} extended by 00
  • d) Existence guaranteed; on an open interval, sign of f′f'
a)

ff is continuous on [a,b][a,b] if it is continuous at every INTERIOR point c∈(a,b)c\in\left(a,b\right) in the usual sense (lim⁡x→cf(x)=f(c)\lim_{x\to c}f(x)=f(c)), and if it is continuous FROM THE RIGHT at aa (lim⁡x→a+f(x)=f(a)\lim_{x\to a^{+}}f(x)=f(a)) and FROM THE LEFT at bb (lim⁡x→b−f(x)=f(b)\lim_{x\to b^{-}}f(x)=f(b)). The endpoints receive special treatment because the two-sided limit makes no sense there: the function is not defined on the other side. Requiring lim⁡x→af(x)=f(a)\lim_{x\to a}f(x)=f(a) in the full sense would be a condition impossible to meet, so we settle for the one-sided limit on the side where the function exists.

b)

EXTREME VALUE THEOREM: if ff is continuous on a CLOSED and BOUNDED interval [a,b][a,b], then ff is bounded there and it ATTAINS its bounds, that is, there exist cc and dd in [a,b][a,b] such that f(c)≤f(x)≤f(d)f(c)\leq f(x)\leq f(d) for all x∈[a,b]x\in[a,b]. Three hypotheses are therefore at stake: continuity, the interval being closed (the endpoints belong to it) and the interval being bounded. The theorem is an EXISTENCE theorem: it asserts that the maximum and the minimum exist, without saying where they are.

c)

UNBOUNDED interval: f(x)=xf(x)=x on [0,+∞)\left[0,+\infty\right) is continuous, but has no maximum, since it grows without bound. Interval NOT CLOSED: f(x)=xf(x)=x on (0,1)\left(0,1\right) is continuous and bounded, but attains neither a maximum nor a minimum, since the values 0 and 1 it approaches are never taken; worse, f(x)=1xf(x)=\frac{1}{x} on (0,1]\left(0,1\right] is continuous and not even bounded. DISCONTINUOUS function: on [0,1][0,1], let f(x)=1xf(x)=\frac{1}{x} for x≠0x\neq 0 and f(0)=0f(0)=0; the interval is indeed closed and bounded, but the function is not continuous at 0 and it is not bounded. The three hypotheses are therefore INDEPENDENT and all necessary: none of them is decorative.

d)

The optimization method on [a,b][a,b] consists of evaluating ff at the critical numbers and at the two endpoints, then keeping the largest and the smallest value. This method is valid only because the theorem GUARANTEES that the maximum and the minimum exist: without it, you would be comparing a list of candidates without knowing whether the winner is really an absolute extremum, or even whether one exists. The theorem provides existence, and the analysis with the derivative provides location, since an extremum on a closed interval is attained either at a critical number or at an endpoint. When the domain is OPEN or unbounded, the theorem no longer applies and you must justify differently: by the sign of f′f' on the whole interval (increasing then decreasing around a single critical number), by concavity through f′′f'', or by showing that ff tends to infinity (or to a worse value) at the ends of the domain. That is exactly the situation of the open-top box in the applied optimization set, whose domain (0,+∞)\left(0,+\infty\right) rules out any use of the endpoints.

Part C: the classics (/50)

Exercise 11: Finding the parameters that make a function continuous

Consider the following functions, where aa, bb, cc, dd and mm are real constants.

f(x)=x+4−2xf(x)=\frac{\sqrt{x+4}-2}{x} if x>0x>0; f(0)=af(0)=a; f(x)=sin⁡(bx)xf(x)=\frac{\sin(bx)}{x} if x<0x<0, with b≠0b\neq 0.

g(x)=x2+cx−6x−2g(x)=\frac{x^{2}+cx-6}{x-2} if x≠2x\neq 2; g(2)=dg(2)=d.

  • a) Find aa and bb so that ff is continuous at 00.
  • b) Find cc so that lim⁡x→2g(x)\lim_{x\to 2}g(x) is finite, then dd so that gg is continuous at 22.
  • c) Find mm so that h(x)=x2−mh(x)=x^{2}-m if x≤1x\le 1, h(x)=mx+2h(x)=mx+2 if x>1x>1, is continuous on R\mathbb{R}.
  • d) Can a value p(0)p(0) be chosen that makes the function p(x)=1xp(x)=\frac{1}{x} continuous at 00? Justify.

Type your answers, the page tells you right or wrong 0/6

a)
b)
c)
d)
Show the solution

Answers

  • a) a=b=14a=b=\frac{1}{4}
  • b) c=1c=1, d=5d=5
  • c) m=−12m=-\frac{1}{2}
  • d) No: infinite discontinuity
a)

Continuity at 00 requires the two one-sided limits to exist, to be equal, and to equal f(0)=af(0)=a. On the right, a form 00\frac{0}{0} resolved by the conjugate: x+4−2x=(x+4)−4x(x+4+2)=1x+4+2→14\frac{\sqrt{x+4}-2}{x}=\frac{(x+4)-4}{x\left(\sqrt{x+4}+2\right)}=\frac{1}{\sqrt{x+4}+2}\to\frac{1}{4}. On the left, bring out the pattern sin⁡uu\frac{\sin u}{u}: sin⁡(bx)x=b⋅sin⁡(bx)bx→b\frac{\sin(bx)}{x}=b\cdot\frac{\sin(bx)}{bx}\to b. So b=14b=\frac{1}{4} and a=14a=\frac{1}{4}. The three conditions bear on three different objects, two limits and one value, and each gives an equation.

b)

The denominator tends to 00. If the numerator tended to a nonzero number, the limit would be infinite: for a FINITE limit, the numerator must therefore vanish at 22, that is, 4+2c−6=04+2c-6=0 and c=1c=1. Then x2+x−6=(x−2)(x+3)x^{2}+x-6=(x-2)(x+3) and g(x)=x+3g(x)=x+3 for x≠2x\neq 2, with limit 55 at 22. For continuity, d=5d=5. This argument, “the numerator must vanish where the denominator vanishes”, is a NECESSARY condition: you must then check, by factoring, that the limit is indeed finite.

c)

Each piece is a polynomial, continuous on its interval: only the junction at 11 matters. h(1)=1−mh(1)=1-m and lim⁡x→1−h(x)=1−m\lim_{x\to 1^{-}}h(x)=1-m; lim⁡x→1+h(x)=m+2\lim_{x\to 1^{+}}h(x)=m+2. Setting 1−m=m+21-m=m+2 gives m=−12m=-\frac{1}{2}. Check: 1+12=321+\frac{1}{2}=\frac{3}{2} and −12+2=32-\frac{1}{2}+2=\frac{3}{2} ✓.

d)

No. lim⁡x→0+1x=+∞\lim_{x\to 0^{+}}\frac{1}{x}=+\infty and lim⁡x→0−1x=−∞\lim_{x\to 0^{-}}\frac{1}{x}=-\infty: no finite limit exists at 00, and no value p(0)p(0) can equal a limit that does not exist. The discontinuity is INFINITE, hence not removable. Only a hole, where the limit exists and is finite, can be removed by redefining one point.

Exercise 12: The floor function: one-sided limits, continuity and squeezing

⌊x⌋\lfloor x\rfloor denotes the floor of xx (its integer part), the greatest integer less than or equal to xx: ⌊2.7⌋=2\lfloor 2.7\rfloor=2 and ⌊−1.3⌋=−2\lfloor -1.3\rfloor=-2. The figure shows its graph: solid dots are included, open circles excluded.

-3-2-11234-4-3-2-11234y = ⌊x⌋
  • a) Compute lim⁡x→2−⌊x⌋\lim_{x\to 2^{-}}\lfloor x\rfloor, lim⁡x→2+⌊x⌋\lim_{x\to 2^{+}}\lfloor x\rfloor and ⌊2⌋\lfloor 2\rfloor. Is the function continuous at 22?
  • b) At an integer nn, is the floor function continuous from the left, from the right, or neither?
  • c) Let u(x)=⌊x⌋+⌊−x⌋u(x)=\lfloor x\rfloor+\lfloor -x\rfloor. Compute u(2.5)u(2.5), u(2)u(2) and lim⁡x→2u(x)\lim_{x\to 2}u(x). Name the discontinuity.
  • d) Let v(x)=(x−1)⌊x⌋v(x)=(x-1)\lfloor x\rfloor. Show that vv is continuous at 11, while ⌊x⌋\lfloor x\rfloor is not.
  • e) Bound ⌊x⌋x\frac{\lfloor x\rfloor}{x} for x>1x>1 and compute lim⁡x→+∞⌊x⌋x\lim_{x\to+\infty}\frac{\lfloor x\rfloor}{x}.

Type your answers, the page tells you right or wrong 0/11

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) 11 and 22; ⌊2⌋=2\lfloor 2\rfloor=2: discontinuous
  • b) Continuous from the right only
  • c) −1-1; 00; limit −1-1: hole
  • d) Limits and value all zero: continuous
  • e) 1−1x<⌊x⌋x≤11-\frac{1}{x}<\frac{\lfloor x\rfloor}{x}\le 1: limit 11
a)

Just to the left of 22, for example at 1.991.99, the floor equals 11: lim⁡x→2−⌊x⌋=1\lim_{x\to 2^{-}}\lfloor x\rfloor=1. Just to the right, it equals 22: lim⁡x→2+⌊x⌋=2\lim_{x\to 2^{+}}\lfloor x\rfloor=2, and ⌊2⌋=2\lfloor 2\rfloor=2. The one-sided limits differ: the limit does not exist and the function is discontinuous at 22, with a jump of height 11.

b)

At nn, the right-hand limit equals n=⌊n⌋n=\lfloor n\rfloor, the left-hand limit equals n−1n-1. The floor function is therefore continuous FROM THE RIGHT at every integer, never from the left: that is what the solid dot at the start of each step says. Between two integers it is constant, hence continuous.

c)

u(2.5)=2+⌊−2.5⌋=2+(−3)=−1u(2.5)=2+\lfloor -2.5\rfloor=2+(-3)=-1. u(2)=2+(−2)=0u(2)=2+(-2)=0. For non-integer xx, ⌊−x⌋=−⌊x⌋−1\lfloor -x\rfloor=-\lfloor x\rfloor-1, so u(x)=−1u(x)=-1: this holds on both sides of 22, and lim⁡x→2u(x)=−1\lim_{x\to 2}u(x)=-1. The limit exists, the value exists, they differ: a HOLE discontinuity, removable by setting u(2)=−1u(2)=-1. Two step functions have added up to an almost constant function, whose jumps cancel exactly.

d)

v(1)=0×1=0v(1)=0\times 1=0. On the left, ⌊x⌋=0\lfloor x\rfloor=0 and v(x)=0v(x)=0: limit 00. On the right, ⌊x⌋=1\lfloor x\rfloor=1 and v(x)=x−1→0v(x)=x-1\to 0. All three numbers are 00: vv is continuous at 11. The factor x−1x-1, which vanishes exactly at the point of the jump, flattens the discontinuity of the second factor. The “product of continuous functions” rule does not apply, and yet the conclusion is true: the rules give sufficient conditions, not necessary ones.

e)

By definition, x−1<⌊x⌋≤xx-1<\lfloor x\rfloor\le x. For x>1x>1, divide by x>0x>0 without reversing the inequalities: 1−1x<⌊x⌋x≤11-\frac{1}{x}<\frac{\lfloor x\rfloor}{x}\le 1. Both bounds tend to 11 as x→+∞x\to+\infty: by the Squeeze Theorem, lim⁡x→+∞⌊x⌋x=1\lim_{x\to+\infty}\frac{\lfloor x\rfloor}{x}=1. The function itself never simplifies, it oscillates below 11 in a sawtooth, but there is no need to follow it: you trap it.

Exercise 13: Limits of exponential, logarithmic and arctangent functions

None of these limits requires L'Hôpital's rule: each one is read off the behaviour of a basic function, provided you know from which side you are coming.

  • a) Compute lim⁡x→0−e1x\lim_{x\to 0^{-}}e^{\frac{1}{x}} and lim⁡x→0+e1x\lim_{x\to 0^{+}}e^{\frac{1}{x}}.
  • b) Compute lim⁡x→0−arctan⁡(1x)\lim_{x\to 0^{-}}\arctan\left(\frac{1}{x}\right) and lim⁡x→0+arctan⁡(1x)\lim_{x\to 0^{+}}\arctan\left(\frac{1}{x}\right). What type of discontinuity do you get?
  • c) Compute lim⁡x→+∞3⋅2x−5x5x+4\lim_{x\to+\infty}\frac{3\cdot 2^{x}-5^{x}}{5^{x}+4} and lim⁡x→−∞3⋅2x−5x5x+4\lim_{x\to-\infty}\frac{3\cdot 2^{x}-5^{x}}{5^{x}+4}.
  • d) Compute lim⁡x→+∞[ln⁡(2x+1)−ln⁡(x+3)]\lim_{x\to+\infty}\left[\ln(2x+1)-\ln(x+3)\right].
  • e) Give the asymptotes of k(x)=2ex+1ex−1k(x)=\frac{2e^{x}+1}{e^{x}-1}, with the sign of the limits on either side of the vertical asymptote.

Type your answers, the page tells you right or wrong 0/11

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) 00 and +∞+\infty
  • b) −π2-\frac{\pi}{2} and π2\frac{\pi}{2}: jump
  • c) −1-1 and 00
  • d) ln⁡2≈0.693\ln 2\approx 0.693
  • e) y=2y=2, y=−1y=-1, x=0x=0; −∞-\infty on the left, +∞+\infty on the right
a)

As x→0−x\to 0^{-}, 1x→−∞\frac{1}{x}\to-\infty, and et→0e^{t}\to 0 as t→−∞t\to-\infty: lim⁡x→0−e1x=0\lim_{x\to 0^{-}}e^{\frac{1}{x}}=0. As x→0+x\to 0^{+}, 1x→+∞\frac{1}{x}\to+\infty and e1x→+∞e^{\frac{1}{x}}\to+\infty. Same expression, two sides, two opposite behaviours: here a limit at 00 without specifying the side means nothing.

b)

On the left, 1x→−∞\frac{1}{x}\to-\infty and arctan⁡t→−π2\arctan t\to-\frac{\pi}{2}: limit −π2-\frac{\pi}{2}. On the right, +π2+\frac{\pi}{2}. The two limits are FINITE and different: this is a jump discontinuity, of height π\pi, and no value at 00 can remove it.

c)

At +∞+\infty, the dominant term is 5x5^{x}, in both the numerator and the denominator. Divide everything by 5x5^{x}: 3(25)x−11+4⋅5−x\frac{3\left(\frac{2}{5}\right)^{x}-1}{1+4\cdot 5^{-x}}. Now (25)x→0\left(\frac{2}{5}\right)^{x}\to 0 and 5−x→05^{-x}\to 0: the limit is −1-1. At −∞-\infty, it is the reverse: 2x→02^{x}\to 0 and 5x→05^{x}\to 0, the numerator tends to 00 and the denominator to 44, limit 00. The largest base dominates at +∞+\infty, the constant dominates at −∞-\infty: you must sort the terms again at each end.

d)

Each logarithm tends to +∞+\infty: a form ∞−∞\infty-\infty. Combine them before taking the limit: ln⁡(2x+1x+3)\ln\left(\frac{2x+1}{x+3}\right). The quotient tends to 22, and the logarithm is continuous at 22: the limit is ln⁡2≈0.693\ln 2\approx 0.693.

e)

At +∞+\infty, divide by exe^{x}: 2+e−x1−e−x→2\frac{2+e^{-x}}{1-e^{-x}}\to 2, asymptote y=2y=2. At −∞-\infty, ex→0e^{x}\to 0: k(x)→0+10−1=−1k(x)\to\frac{0+1}{0-1}=-1, asymptote y=−1y=-1. The denominator vanishes at x=0x=0, where the numerator equals 33: vertical asymptote x=0x=0. As x→0+x\to 0^{+}, ex>1e^{x}>1, the denominator is positive and small: +∞+\infty. As x→0−x\to 0^{-}, it is negative: −∞-\infty. Two DIFFERENT horizontal asymptotes, as for functions with a square root, but for another reason: the exponential behaves completely differently at the two ends.

Exercise 14: Problem: an operator's learning curve

An operator is starting on a new machine. Their output rate, in parts per hour, is modelled by P(t)=40−30e−0.25tP(t)=40-30e^{-0.25t}, where tt is the number of days worked since the start of their training.

After 2020 days worked, they go on two weeks of leave. On their return, their output rate is modelled by Q(t)=40−6.2e−0.5(t−20)Q(t)=40-6.2e^{-0.5(t-20)} for t≥20t\ge 20, where tt still counts the days worked.

  • a) Compute P(0)P(0) and lim⁡t→+∞P(t)\lim_{t\to+\infty}P(t). Interpret these results.
  • b) Compute P(5)P(5) to one decimal place.
  • c) Use the Intermediate Value Theorem to show that the output rate reaches 3535 parts per hour between day 55 and day 1010, then find that time exactly.
  • d) Compute lim⁡t→20−P(t)\lim_{t\to 20^{-}}P(t) and Q(20)Q(20). Is the output rate, described by PP and then by QQ, continuous at t=20t=20? Quantify the gap.
  • e) After how many days worked since the start does the operator get back to a rate of 3939 parts per hour?

Type your answers, the page tells you right or wrong 0/8

a)
b)
c)
d)
e)
Show the solution

Answers

  • a) 1010 parts per hour; ceiling of 4040
  • b) 31.431.4
  • c) t=4ln⁡6≈7.17t=4\ln 6\approx 7.17 days
  • d) 39.8039.80 against 33.833.8: a jump of 6.06.0
  • e) t≈23.65t\approx 23.65
a)

P(0)=40−30=10P(0)=40-30=10 parts per hour on the first day. As t→+∞t\to+\infty, e−0.25t→0e^{-0.25t}\to 0 and P(t)→40P(t)\to 40: the output rate levels off at 4040 parts per hour. The line y=40y=40 is a horizontal asymptote that the model never reaches: it gets ever closer, which is a good description of learning.

b)

P(5)=40−30e−1.25≈40−30×0.2865≈31.4P(5)=40-30e^{-1.25}\approx 40-30\times 0.2865\approx 31.4 parts per hour.

c)

PP is continuous on [5,10]\left[5,10\right], like any combination of exponentials. P(5)≈31.4<35P(5)\approx 31.4<35 and P(10)=40−30e−2.5≈37.5>35P(10)=40-30e^{-2.5}\approx 37.5>35: by the Intermediate Value Theorem, there exists c∈[5,10]c\in\left[5,10\right] such that P(c)=35P(c)=35. To find it: 30e−0.25t=530e^{-0.25t}=5, so e−0.25t=16e^{-0.25t}=\frac{1}{6} and t=4ln⁡6≈7.17t=4\ln 6\approx 7.17 days. The theorem guaranteed existence; the logarithm gives the value.

d)

lim⁡t→20−P(t)=40−30e−5≈39.80\lim_{t\to 20^{-}}P(t)=40-30e^{-5}\approx 39.80, since PP is continuous. Q(20)=40−6.2=33.8Q(20)=40-6.2=33.8. The two differ by 6.06.0 parts per hour: the output rate has a JUMP at t=20t=20; the leave cost six parts per hour. The right-hand limit exists and equals Q(20)Q(20), the left-hand limit also exists, but they do not agree.

e)

On return, Q(t)=39Q(t)=39 gives 6.2e−0.5(t−20)=16.2e^{-0.5(t-20)}=1, so e−0.5(t−20)=16.2e^{-0.5(t-20)}=\frac{1}{6.2} and t−20=2ln⁡6.2≈3.65t-20=2\ln 6.2\approx 3.65. The operator gets back to 3939 parts per hour around t≈23.65t\approx 23.65, that is, during the 24th day worked. Before the leave, they had reached that level when 30e−0.25t=130e^{-0.25t}=1, that is, t=4ln⁡30≈13.6t=4\ln 30\approx 13.6 days: relearning is much faster than learning, which is what the coefficient 0.50.5 against 0.250.25 expresses.

Exercise 15: Problem: the cost of pollution removal and the vertical asymptote

A plant must remove part of a pollutant from its discharge. The cost, in thousands of dollars, of removing pp percent of it is modelled by C(p)=120p100−pC(p)=\frac{120p}{100-p}.

  • a) Give the domain of CC in context and compute C(0)C(0).
  • b) Compute C(50)C(50) and C(90)C(90).
  • c) Compute lim⁡p→100−C(p)\lim_{p\to 100^{-}}C(p). Why does only one one-sided limit make sense, and what does this result say?
  • d) The budget is 600600 thousand dollars. What percentage can be removed?
  • e) Compare the cost of going from 00 to 9090 percent with the cost of going from 9090 to 9999 percent.

Type your answers, the page tells you right or wrong 0/7

a)
Domain ,
b)
c)
d)
e)
Show the solution

Answers

  • a) [0,100)[0,100); C(0)=0C(0)=0
  • b) 120120 and 10801080 thousand dollars
  • c) +∞+\infty: removing everything is impossible
  • d) 83.383.3 percent
  • e) 10801080 against 10 80010\,800 thousand dollars
a)

A percentage removed ranges from 00 to 100100, and p=100p=100 makes the denominator zero: domain [0,100)\left[0,100\right). C(0)=0C(0)=0: removing nothing costs nothing.

b)

C(50)=600050=120C(50)=\frac{6000}{50}=120 thousand dollars. C(90)=1080010=1080C(90)=\frac{10800}{10}=1080 thousand dollars. Going from half to nine tenths multiplies the cost by nine.

c)

As p→100−p\to 100^{-}, the numerator tends to 1200012000 and the denominator to 00 through POSITIVE values: C(p)→+∞C(p)\to+\infty. The right-hand limit makes no sense, since you cannot remove more than 100100 percent, and the formula would give a negative cost there anyway. The vertical asymptote p=100p=100 expresses an economic reality: removing ALL of the pollutant is impossible at a finite cost, each extra point costing more than the previous one.

d)

120p100−p=600\frac{120p}{100-p}=600 gives 120p=60000−600p120p=60000-600p, so 720p=60000720p=60000 and p≈83.3p\approx 83.3 percent. Check that 83.383.3 is in the domain. Since CC is continuous and increasing on [0,100)\left[0,100\right), every positive budget corresponds to one and only one percentage: that is the Intermediate Value Theorem, together with monotonicity.

e)

From 00 to 9090: 10801080 thousand dollars. C(99)=118801=11880C(99)=\frac{11880}{1}=11880, so from 9090 to 9999: 11880−1080=1080011880-1080=10800 thousand dollars, ten times as much for nine percentage points. Near the asymptote, the marginal cost explodes: the last percent, from 9999 to 100100, has no price.

Something missing from this set? A type of exercise your teacher gives, a problem you are stuck on, a mistake you spotted: tell me, I read every request.

Sending goes through your free space: that is how I can answer you and tell you when the exercise is added. An email is enough, no password. Create your space. Rather not create an account? Write to me directly.

What is it about?
I read every request myself, nobody else sees it. No need to write your name or your school.
When your request is dealt with, you hear about it by email and in your space.

By sending, you agree that I read your request to answer it. It is kept with your account, erased with it, and never published: privacy policy.

Previous chapter Functions, domains and operations, 201-SN2-RE Next chapter The derivative and its rules, 201-SN2-RE

© Ahmed Squalli Houssaini. Exercise set published at www.letuteurscientifique.ca/en/exercices/cegep-calc1-limits-continuity. Free for personal and classroom use; republishing it elsewhere requires written permission (legal notice).

See also

Looking for a differential calculus tutor in Montreal?

Get in touch for a first session. We work through 201-SN2-RE at the level of real CEGEP tests, from reading a limit off a graph all the way to the Intermediate Value Theorem.

Site by Studio Squalli