MATH 203 Calculus I • Concordia University, Montreal

Corrected exercises: one-sided limits (MATH 203)

This is the corrected exercise set for one-sided limits in MATH 203, Differential and Integral Calculus I, at Concordia University, section 2.4 of Thomas' Calculus. It covers left-hand and right-hand limits, the endpoint of a domain, absolute values, the floor and ceiling functions, and the two trigonometric limits Thomas proves in this section, lim⁡θ→0sin⁡θθ=1\lim_{\theta\to 0} \frac{\sin \theta}{\theta} = 1 and lim⁡h→0cos⁡h−1h=0\lim_{h\to 0} \frac{\cos h - 1}{h} = 0. The department's scientific calculator is allowed, but it computes no limit: every answer is argued, and the exact value is the expected form.

The thread running through the whole set: where the formula CHANGES, at a number where the inside of an absolute value vanishes, at an integer for a floor, at a junction or at an endpoint, the two sides are two different functions, and each side is computed with ITS formula. The marks are lost in the algebra that picks that formula: ∣u∣|u| opened with the sign of uu on that side, u2=∣u∣\sqrt{u^2} = |u|, ⌊2x⌋\lfloor 2x \rfloor read on 2x2x, and the trigonometric identity that makes an angle and a denominator match.

The traps named in the solutions: giving the value f(a)f(a) as the limit, writing ∣x−3∣=x−3|x - 3| = x - 3 on the left of 33, splitting where the inside of the absolute value does not vanish, ⌊x2⌋=⌊x⌋2\lfloor x^2 \rfloor = \lfloor x \rfloor^2 and ⌊2x⌋=2⌊x⌋\lfloor 2x \rfloor = 2\lfloor x \rfloor, tan⁡3x=3tan⁡x\tan 3x = 3\tan x, a half angle not halved, sin⁡2x=sin⁡x\sqrt{\sin^2 x} = \sin x, 8x=8x\sqrt{8x} = 8\sqrt x, quoting sin⁡θθ→1\frac{\sin \theta}{\theta} \to 1 when the angle does not tend to 00, and inventing a 00\frac{0}{0} on a side where the denominator tends to 11.

10 corrected exercises • 100 points • 150 minutes

Revision sheet for this chapter → Every MATH 203 chapter →

Self-checking set Type your answers under each 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.

Course recap

  • • lim⁡x→af(x)=L\lim_{x\to a} f(x) = L if and only if lim⁡x→a−f(x)=L\lim_{x\to a^-} f(x) = L and lim⁡x→a+f(x)=L\lim_{x\to a^+} f(x) = L. The value f(a)f(a) plays no part.
  • • At an endpoint of the domain only one side exists: lim⁡x→0+x=0\lim_{x\to 0^+} \sqrt x = 0, and the two-sided limit does not exist there.
  • • ∣u∣=u|u| = u if u≥0u \ge 0, ∣u∣=−u|u| = -u if u<0u < 0. Split at aa only if u(a)=0u(a) = 0. And u2=∣u∣\sqrt{u^2} = |u|.
  • • ⌊u⌋\lfloor u \rfloor and ⌈u⌉\lceil u \rceil are constant between integers: read the interval of the ARGUMENT uu on each side.
  • • lim⁡θ→0sin⁡θθ=1\lim_{\theta\to 0} \frac{\sin \theta}{\theta} = 1 and lim⁡h→0cos⁡h−1h=0\lim_{h\to 0} \frac{\cos h - 1}{h} = 0, in radians, the angle tending to 00.
  • • sin⁡2u=2sin⁡ucos⁡u\sin 2u = 2\sin u \cos u, 1−cos⁡2u=2sin⁡2u1 - \cos 2u = 2\sin^2 u, sin⁡2u=(1−cos⁡u)(1+cos⁡u)\sin^2 u = (1 - \cos u)(1 + \cos u), tan⁡u=sin⁡ucos⁡u\tan u = \frac{\sin u}{\cos u}.

Part A: the basics (/50)

Exercise 1: Reading one-sided limits on a graph, endpoints included

The figure shows the graph of a function gg whose domain is [−3,5][-3, 5] with the number 33 removed. A full dot is a point of the graph, an empty dot is NOT on the graph. Read every answer from the figure and say which piece of the graph you read it on.

Recall (Thomas 2.4): lim⁡x→ag(x)=L\lim_{x\to a} g(x) = L if and only if lim⁡x→a−g(x)=L\lim_{x\to a^-} g(x) = L and lim⁡x→a+g(x)=L\lim_{x\to a^+} g(x) = L. At an endpoint of the domain only one side can be asked, and the two-sided limit does not exist there.

-4-3-2-1123456-2-11234y = g(x)x
  • a) Find lim⁡x→−1−g(x)\lim_{x\to -1^-} g(x), lim⁡x→−1+g(x)\lim_{x\to -1^+} g(x), lim⁡x→−1g(x)\lim_{x\to -1} g(x) and g(−1)g(-1).
  • b) Find lim⁡x→1−g(x)\lim_{x\to 1^-} g(x), lim⁡x→1+g(x)\lim_{x\to 1^+} g(x), lim⁡x→1g(x)\lim_{x\to 1} g(x) and g(1)g(1).
  • c) Find lim⁡x→3−g(x)\lim_{x\to 3^-} g(x) and lim⁡x→3+g(x)\lim_{x\to 3^+} g(x). Does lim⁡x→3g(x)\lim_{x\to 3} g(x) exist? Is g(3)g(3) defined?
  • d) Find lim⁡x→−3+g(x)\lim_{x\to -3^+} g(x) and lim⁡x→5−g(x)\lim_{x\to 5^-} g(x). Does lim⁡x→5g(x)\lim_{x\to 5} g(x) exist?
  • e) List the numbers aa in (−3,5)(-3, 5) at which lim⁡x→ag(x)\lim_{x\to a} g(x) does not exist, and the numbers at which it exists but differs from g(a)g(a).

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

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

Answers

  • a) 22, 00, does not exist, and g(−1)=0g(-1) = 0
  • b) 11, 11, 11, and g(1)=3g(1) = 3
  • c) 33 and 11; no limit at 33; g(3)g(3) is not defined.
  • d) 00 and −1-1; no two-sided limit at the endpoint 55.
  • e) No limit at a=−1a = -1 and a=3a = 3; limit different from the value at a=1a = 1 only.

a) To the left of −1-1 the graph is the rising parabola piece, which climbs to the EMPTY dot at height 22: lim⁡x→−1−g(x)=2\lim_{x\to -1^-} g(x) = 2. To the right of −1-1 the graph is the straight piece that starts at the FULL dot (−1,0)(-1, 0): lim⁡x→−1+g(x)=0\lim_{x\to -1^+} g(x) = 0. The one-sided limits exist and differ, so lim⁡x→−1g(x)\lim_{x\to -1} g(x) does not exist. The full dot gives g(−1)=0g(-1) = 0, which equals the right-hand limit; that does not rescue the two-sided limit, which needs the LEFT side to agree too.

b) From the left, the straight piece runs up to the empty dot at height 11; from the right, the second parabola piece leaves from that same empty dot. So lim⁡x→1−g(x)=1=lim⁡x→1+g(x)\lim_{x\to 1^-} g(x) = 1 = \lim_{x\to 1^+} g(x), and therefore lim⁡x→1g(x)=1\lim_{x\to 1} g(x) = 1. The isolated full dot at height 33 gives the value g(1)=3g(1) = 3, a different question. Answering 33 for the limit because that dot is full is the most common reading error of the chapter: a limit reads the curve AROUND 11, never the dot AT 11.

c) From the left the parabola piece ends at the empty dot (3,3)(3, 3), so lim⁡x→3−g(x)=3\lim_{x\to 3^-} g(x) = 3; from the right the line y=4−xy = 4 - x leaves from the empty dot (3,1)(3, 1), so lim⁡x→3+g(x)=1\lim_{x\to 3^+} g(x) = 1. The sides differ: lim⁡x→3g(x)\lim_{x\to 3} g(x) does not exist. Both dots are empty, so g(3)g(3) is not defined. Two separate facts: a limit may fail where the function is defined (a=−1a = -1), and exist where it is not defined (a hole); here both happen to fail.

d) At −3-3 the graph only lives to the RIGHT: starting at the full dot (−3,0)(-3, 0), lim⁡x→−3+g(x)=0\lim_{x\to -3^+} g(x) = 0. At 55 it only lives to the LEFT: the line comes down to the full dot (5,−1)(5, -1), so lim⁡x→5−g(x)=−1\lim_{x\to 5^-} g(x) = -1. Since gg is not defined to the right of 55, there is no right-hand limit there, and in Thomas's convention the two-sided limit lim⁡x→5g(x)\lim_{x\to 5} g(x) does not exist; the one-sided limit lim⁡x→5−g(x)=−1\lim_{x\to 5^-} g(x) = -1 is the complete answer at that endpoint. Writing lim⁡x→5+g(x)=−1\lim_{x\to 5^+} g(x) = -1 is a limit on a side where gg has no values.

e) Inside (−3,5)(-3, 5) the graph is unbroken except at −1-1, 11 and 33. At a=−1a = -1 and a=3a = 3 the one-sided limits differ, so the limit does not exist. At a=1a = 1 the limit exists, equal to 11, but differs from g(1)=3g(1) = 3. Everywhere else the limit exists and equals g(a)g(a).

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

Exercise 2: Absolute values: open |u| with the sign of u on each side

The algebraic gesture of the chapter: ∣u∣=u|u| = u where u≥0u \ge 0 and ∣u∣=−u|u| = -u where u<0u < 0. Near aa, if the inside uu VANISHES at aa, it has one sign on the left and the other on the right, so the two sides use two different formulas. If u(a)≠0u(a) \ne 0, the sign of uu is the same on both sides and there is nothing to split.

For each limit, find both one-sided limits, then decide whether the two-sided limit exists.

  • a) lim⁡x→3x2−9∣x−3∣\lim_{x\to 3} \frac{x^2 - 9}{|x - 3|}.
  • b) lim⁡x→1∣x−1∣+x−1x−1\lim_{x\to 1} \frac{|x - 1| + x - 1}{x - 1}.
  • c) lim⁡x→0∣x∣x2+∣x∣\lim_{x\to 0} \frac{|x|}{x^2 + |x|}.
  • d) lim⁡x→5/22x2−5x∣2x−5∣\lim_{x\to 5/2} \frac{2x^2 - 5x}{|2x - 5|}.
  • e) lim⁡x→−3∣x∣−3x+3\lim_{x\to -3} \frac{|x| - 3}{x + 3}. Where does the inside of this absolute value vanish?

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

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

Answers

  • a) Left −6-6, right 66: the limit does not exist.
  • b) Left 00, right 22: the limit does not exist.
  • c) Both sides 11: the limit is 11.
  • d) Left −52-\frac{5}{2}, right 52\frac{5}{2}: the limit does not exist.
  • e) −1-1 on both sides, so the limit is −1-1; the inside xx vanishes at 00, far from −3-3.

a) The inside x−3x - 3 vanishes at 33: split. Factor first, x2−9=(x−3)(x+3)x^2 - 9 = (x - 3)(x + 3). For x>3x > 3, ∣x−3∣=x−3|x - 3| = x - 3 and the quotient is x+3→6x + 3 \to 6. For x<3x < 3, x−3<0x - 3 < 0, so ∣x−3∣=−(x−3)|x - 3| = -(x - 3) and the quotient is −(x+3)→−6-(x + 3) \to -6. The sides differ, so lim⁡x→3x2−9∣x−3∣\lim_{x\to 3} \frac{x^2 - 9}{|x - 3|} does not exist. The lost marks are on the left: writing ∣x−3∣=3−x|x - 3| = 3 - x is right, writing ∣x−3∣=x−3|x - 3| = x - 3 “because absolute values remove the minus” is not.

b) For x>1x > 1: ∣x−1∣=x−1|x - 1| = x - 1, the numerator is 2(x−1)2(x - 1) and the quotient is 22. For x<1x < 1: ∣x−1∣=−(x−1)|x - 1| = -(x - 1), the numerator is −(x−1)+(x−1)=0-(x - 1) + (x - 1) = 0, and the quotient is 00 for every x<1x < 1. So lim⁡x→1−=0\lim_{x\to 1^-} = 0 and lim⁡x→1+=2\lim_{x\to 1^+} = 2: no two-sided limit. On the left the numerator is identically 00; a student who does not simplify first sees 00\frac{0}{0} and panics.

c) The inside xx vanishes at 00, so check both sides, but first use x2=∣x∣2x^2 = |x|^2: for x≠0x \ne 0, ∣x∣∣x∣2+∣x∣=1∣x∣+1\frac{|x|}{|x|^2 + |x|} = \frac{1}{|x| + 1}, which tends to 11 from either side. The limit is 11. Splitting also works: xx2+x=1x+1→1\frac{x}{x^2 + x} = \frac{1}{x + 1} \to 1 for x>0x > 0 and −xx2−x=−1x−1→1\frac{-x}{x^2 - x} = \frac{-1}{x - 1} \to 1 for x<0x < 0. An absolute value is a reason to CHECK both sides, never a proof that they differ.

d) Factor the numerator: 2x2−5x=x(2x−5)2x^2 - 5x = x(2x - 5). The inside 2x−52x - 5 vanishes at 52\frac{5}{2}. For x>52x > \frac{5}{2} the quotient is x→52x \to \frac{5}{2}; for x<52x < \frac{5}{2} it is −x→−52-x \to -\frac{5}{2}. The limit does not exist. The common factor xx is where the algebra goes wrong: 2x2−5x2x^2 - 5x is x(2x−5)x(2x - 5), not 2x(x−5)2x(x - 5), and only the correct factorization shows the factor 2x−52x - 5 that cancels with the absolute value.

e) The inside of ∣x∣|x| is xx, which vanishes at 00, not at −3-3. Near −3-3, x<0x < 0 on BOTH sides, so ∣x∣=−x|x| = -x throughout and the quotient is −x−3x+3=−1\frac{-x - 3}{x + 3} = -1 for x≠−3x \ne -3 near −3-3. Both one-sided limits equal −1-1, and so does the limit. Splitting at −3-3 with ∣x∣=x|x| = x on the right would give x−3x+3→−60\frac{x - 3}{x + 3} \to \frac{-6}{0}, nonsense: the side decides nothing, the sign of the inside decides everything.

Exercise 3: Floor and ceiling functions: read the formula on the right argument

The greatest integer function ⌊u⌋\lfloor u \rfloor is the largest integer ≤u\le u, the least integer function ⌈u⌉\lceil u \rceil the smallest integer ≥u\ge u. Both are constant between two integers and jump AT the integers, so a one-sided limit is decided by the integer interval that uu, the ARGUMENT, lies in on that side.

The figure shows y=x−⌊x⌋y = x - \lfloor x \rfloor, the fractional part of xx, for −2≤x<3-2 \le x < 3.

-3-2-11234-0.50.511.5y = x - ⌊x⌋x
  • a) Find lim⁡x→2−(x−⌊x⌋)\lim_{x\to 2^-} (x - \lfloor x \rfloor), lim⁡x→2+(x−⌊x⌋)\lim_{x\to 2^+} (x - \lfloor x \rfloor) and the value at x=2x = 2. Does the two-sided limit exist?
  • b) Find lim⁡x→3−(⌊x⌋2−⌊x2⌋)\lim_{x\to 3^-} \left(\lfloor x \rfloor^2 - \lfloor x^2 \rfloor\right) and lim⁡x→3+(⌊x⌋2−⌊x2⌋)\lim_{x\to 3^+} \left(\lfloor x \rfloor^2 - \lfloor x^2 \rfloor\right).
  • c) Find lim⁡x→1−(⌈x⌉−x)\lim_{x\to 1^-} (\lceil x \rceil - x) and lim⁡x→1+(⌈x⌉−x)\lim_{x\to 1^+} (\lceil x \rceil - x).
  • d) Find lim⁡x→−1/2−⌊2x⌋\lim_{x\to -1/2^-} \lfloor 2x \rfloor and lim⁡x→−1/2+⌊2x⌋\lim_{x\to -1/2^+} \lfloor 2x \rfloor. Then find lim⁡x→−1/22⌊x⌋\lim_{x\to -1/2} 2\lfloor x \rfloor. Are ⌊2x⌋\lfloor 2x \rfloor and 2⌊x⌋2\lfloor x \rfloor the same function?
  • e) Find lim⁡x→2−⌊x⌋(x−⌊x⌋)\lim_{x\to 2^-} \lfloor x \rfloor (x - \lfloor x \rfloor) and lim⁡x→2+⌊x⌋(x−⌊x⌋)\lim_{x\to 2^+} \lfloor x \rfloor (x - \lfloor x \rfloor).

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

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

Answers

  • a) 11 and 00; value 00 at 22; no two-sided limit.
  • b) Left 4−8=−44 - 8 = -4, right 9−9=09 - 9 = 0.
  • c) Left 00, right 11.
  • d) −2-2 and −1-1; lim⁡x→−1/22⌊x⌋=−2\lim_{x\to -1/2} 2\lfloor x \rfloor = -2; no, ⌊2x⌋≠2⌊x⌋\lfloor 2x \rfloor \ne 2\lfloor x \rfloor in general.
  • e) Left 11, right 00.

a) For 1≤x<21 \le x < 2, ⌊x⌋=1\lfloor x \rfloor = 1 and x−⌊x⌋=x−1→1x - \lfloor x \rfloor = x - 1 \to 1: on the figure, the tooth climbs to the empty dot at height 11. For 2≤x<32 \le x < 3, ⌊x⌋=2\lfloor x \rfloor = 2 and x−2→0x - 2 \to 0: the next tooth starts at the full dot (2,0)(2, 0). So the left limit is 11, the right limit is 00, the value is 2−2=02 - 2 = 0, and the two-sided limit does not exist. The same happens at every integer.

b) Left of 33, say 2.9<x<32.9 < x < 3: ⌊x⌋=2\lfloor x \rfloor = 2, and x2x^2 is just BELOW 99, above 8.418.41, so ⌊x2⌋=8\lfloor x^2 \rfloor = 8. The expression is 4−8=−44 - 8 = -4 on that whole interval, so the left limit is −4-4. Right of 33, 3<x<3.13 < x < 3.1: ⌊x⌋=3\lfloor x \rfloor = 3 and 9<x2<9.619 < x^2 < 9.61, so ⌊x2⌋=9\lfloor x^2 \rfloor = 9 and the expression is 00. The trap is to write ⌊x2⌋=⌊x⌋2=4\lfloor x^2 \rfloor = \lfloor x \rfloor^2 = 4 on the left: the floor is read on its own argument x2x^2, which lies in [8,9)[8, 9), not on xx.

c) For 0<x≤10 < x \le 1, ⌈x⌉=1\lceil x \rceil = 1, so ⌈x⌉−x=1−x→0\lceil x \rceil - x = 1 - x \to 0 as x→1−x \to 1^-. For 1<x≤21 < x \le 2, ⌈x⌉=2\lceil x \rceil = 2, so the expression is 2−x→12 - x \to 1 as x→1+x \to 1^+. The ceiling jumps just AFTER each integer, the floor AT each integer; in both cases the answer comes from the interval, not from a memorized picture.

d) The argument is 2x2x. As x→−12−x \to -\frac{1}{2}^-, 2x→−1−2x \to -1^-, so 2x2x lies in [−2,−1)[-2, -1) and ⌊2x⌋=−2\lfloor 2x \rfloor = -2. As x→−12+x \to -\frac{1}{2}^+, 2x2x lies in [−1,0)[-1, 0) and ⌊2x⌋=−1\lfloor 2x \rfloor = -1. For 2⌊x⌋2\lfloor x \rfloor the argument is xx, which stays in (−1,0)(-1, 0) on both sides of −12-\frac{1}{2}: ⌊x⌋=−1\lfloor x \rfloor = -1 and 2⌊x⌋=−22\lfloor x \rfloor = -2, so the limit exists and equals −2-2. The two functions differ: at x=−14x = -\frac{1}{4}, ⌊2x⌋=⌊−12⌋=−1\lfloor 2x \rfloor = \lfloor -\frac{1}{2} \rfloor = -1 while 2⌊x⌋=−22\lfloor x \rfloor = -2. A constant does not move out of a floor.

e) For 1≤x<21 \le x < 2 the product is 1⋅(x−1)→11 \cdot (x - 1) \to 1. For 2≤x<32 \le x < 3 it is 2(x−2)→02(x - 2) \to 0. Left 11, right 00: the limit at 22 does not exist. Each factor is replaced by its formula ON THAT SIDE before any limit is taken; a student who uses ⌊2⌋=2\lfloor 2 \rfloor = 2 on the left gets 2⋅1=22 \cdot 1 = 2.

Exercise 4: The limit of sin(θ)/θ: make the angle and the denominator match

Thomas 2.4 proves two limits, θ\theta and hh in RADIANS: lim⁡θ→0sin⁡θθ=1\lim_{\theta\to 0} \frac{\sin \theta}{\theta} = 1 and lim⁡h→0cos⁡h−1h=0\lim_{h\to 0} \frac{\cos h - 1}{h} = 0. Admit them here (the second is proved in Exercise 5). They are used by REWRITING: the angle inside the sine and the quantity in the denominator must be the same, and it must tend to 00. Every factor you introduce is multiplied and divided at once, so the expression does not change.

Give each answer as an exact number, and name the limit law used on the line where you use it.

  • a) lim⁡x→0sin⁡(3x4)5x\lim_{x\to 0} \frac{\sin\left(\frac{3x}{4}\right)}{5x}.
  • b) lim⁡t→06tsin⁡2t\lim_{t\to 0} \frac{6t}{\sin 2t}.
  • c) lim⁡x→0tan⁡3xsin⁡8x\lim_{x\to 0} \frac{\tan 3x}{\sin 8x}.
  • d) lim⁡x→0x2sin⁡x sin⁡4x\lim_{x\to 0} \frac{x^2}{\sin x \, \sin 4x}.
  • e) lim⁡h→0cos⁡5h−1sin⁡2h\lim_{h\to 0} \frac{\cos 5h - 1}{\sin 2h}.

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

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

Answers

  • a) 320\frac{3}{20}
  • b) 33
  • c) 38\frac{3}{8}
  • d) 14\frac{1}{4}
  • e) 00

a) The angle is 3x4\frac{3x}{4}, so the denominator must become 3x4\frac{3x}{4}. Write 5x=203⋅3x45x = \frac{20}{3} \cdot \frac{3x}{4}: sin⁡(3x/4)5x=320⋅sin⁡(3x/4)3x/4\frac{\sin(3x/4)}{5x} = \frac{3}{20} \cdot \frac{\sin(3x/4)}{3x/4}. As x→0x \to 0, θ=3x4→0\theta = \frac{3x}{4} \to 0, so the quotient tends to 11 and the limit is 320\frac{3}{20} by the constant multiple rule. The algebra that costs marks is the compound fraction: dividing by 3x4\frac{3x}{4} is multiplying by 43x\frac{4}{3x}, and 15⋅34=320\frac{1}{5} \cdot \frac{3}{4} = \frac{3}{20}, not 154\frac{15}{4}.

b) This is the RECIPROCAL of the theorem. Write 6tsin⁡2t=3⋅2tsin⁡2t=3sin⁡2t2t\frac{6t}{\sin 2t} = 3 \cdot \frac{2t}{\sin 2t} = \frac{3}{\frac{\sin 2t}{2t}}. The denominator tends to 1≠01 \ne 0, so the quotient rule applies and the limit is 31=3\frac{3}{1} = 3. The theorem is about sin⁡θθ\frac{\sin \theta}{\theta}; its reciprocal also tends to 11, but only because the quotient rule has its permit, a sentence worth writing.

c) First the identity tan⁡3x=sin⁡3xcos⁡3x\tan 3x = \frac{\sin 3x}{\cos 3x}. Then match each sine with its own angle: tan⁡3xsin⁡8x=38⋅sin⁡3x3x⋅8xsin⁡8x⋅1cos⁡3x\frac{\tan 3x}{\sin 8x} = \frac{3}{8} \cdot \frac{\sin 3x}{3x} \cdot \frac{8x}{\sin 8x} \cdot \frac{1}{\cos 3x}. The three factors tend to 11, 11 and 1cos⁡0=1\frac{1}{\cos 0} = 1, so the limit is 38\frac{3}{8} by the product rule. Writing tan⁡3x=3tan⁡x\tan 3x = 3\tan x is the classic algebra slip: a constant does not come out of a trigonometric function.

d) Split the x2x^2 between the two sines: x2sin⁡xsin⁡4x=xsin⁡x⋅xsin⁡4x=xsin⁡x⋅14⋅4xsin⁡4x\frac{x^2}{\sin x \sin 4x} = \frac{x}{\sin x} \cdot \frac{x}{\sin 4x} = \frac{x}{\sin x} \cdot \frac{1}{4} \cdot \frac{4x}{\sin 4x}. Each reciprocal quotient tends to 11, so the limit is 14\frac{1}{4}. The missing 44 is the whole question: xsin⁡4x\frac{x}{\sin 4x} does not tend to 11, since its angle is 4x4x and its numerator only xx.

e) Substitution gives 00\frac{0}{0}. Put the cosine quotient in the form of the theorem: cos⁡5h−1sin⁡2h=cos⁡5h−15h⋅5h2h⋅2hsin⁡2h\frac{\cos 5h - 1}{\sin 2h} = \frac{\cos 5h - 1}{5h} \cdot \frac{5h}{2h} \cdot \frac{2h}{\sin 2h}. As h→0h \to 0: the first factor tends to 00 (angle 5h→05h \to 0), the second is the constant 52\frac{5}{2}, the third tends to 11. The limit is 0⋅52⋅1=00 \cdot \frac{5}{2} \cdot 1 = 0. Answering 52\frac{5}{2} treats cos⁡5h−15h\frac{\cos 5h - 1}{5h} as if it tended to 11: the cosine limit is 00, not 11.

Exercise 5: The identities that open trigonometric limits: half angle, double angle, Pythagoras

In this chapter most trigonometric limits are lost in the algebra, not in the limit. Three identities do the work: sin⁡2u+cos⁡2u=1\sin^2 u + \cos^2 u = 1, so sin⁡2u=(1−cos⁡u)(1+cos⁡u)\sin^2 u = (1 - \cos u)(1 + \cos u); the double angle sin⁡2u=2sin⁡ucos⁡u\sin 2u = 2\sin u \cos u; and the half angle 1−cos⁡2u=2sin⁡2u1 - \cos 2u = 2\sin^2 u, equivalently 1−cos⁡h=2sin⁡2h21 - \cos h = 2\sin^2\frac{h}{2}.

Recall also that u2=∣u∣\sqrt{u^2} = |u|, never uu.

  • a) Using cos⁡h−1=−2sin⁡2h2\cos h - 1 = -2\sin^2\frac{h}{2} and lim⁡θ→0sin⁡θθ=1\lim_{\theta\to 0} \frac{\sin \theta}{\theta} = 1, prove that lim⁡h→0cos⁡h−1h=0\lim_{h\to 0} \frac{\cos h - 1}{h} = 0.
  • b) Evaluate lim⁡x→01−cos⁡6xxsin⁡3x\lim_{x\to 0} \frac{1 - \cos 6x}{x \sin 3x}.
  • c) Evaluate lim⁡x→01−cos⁡xsin⁡2x\lim_{x\to 0} \frac{1 - \cos x}{\sin^2 x}.
  • d) Find lim⁡x→0+1−cos⁡2xx\lim_{x\to 0^+} \frac{\sqrt{1 - \cos 2x}}{x} and lim⁡x→0−1−cos⁡2xx\lim_{x\to 0^-} \frac{\sqrt{1 - \cos 2x}}{x}. Does the two-sided limit exist?
  • e) Evaluate lim⁡x→0x+sin⁡xx−3sin⁡x\lim_{x\to 0} \frac{x + \sin x}{x - 3\sin x}.

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

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

Answers

  • a) cos⁡h−1h=−sin⁡h2⋅sin⁡(h/2)h/2→−0⋅1=0\frac{\cos h - 1}{h} = -\sin\frac{h}{2} \cdot \frac{\sin(h/2)}{h/2} \to -0 \cdot 1 = 0
  • b) 66
  • c) 12\frac{1}{2}
  • d) Right 2\sqrt 2, left −2-\sqrt 2: the limit does not exist.
  • e) −1-1

a) The identity turns the cosine into a square of sines: cos⁡h−1h=−2sin⁡2(h/2)h\frac{\cos h - 1}{h} = \frac{-2\sin^2(h/2)}{h}. Write h=2⋅h2h = 2 \cdot \frac{h}{2} to match one sine with its angle: −2sin⁡2(h/2)2⋅(h/2)=−sin⁡h2⋅sin⁡(h/2)h/2\frac{-2\sin^2(h/2)}{2 \cdot (h/2)} = -\sin\frac{h}{2} \cdot \frac{\sin(h/2)}{h/2}. As h→0h \to 0, θ=h2→0\theta = \frac{h}{2} \to 0, so the second factor tends to 11, and the first tends to −sin⁡0=0-\sin 0 = 0. By the product rule, the limit is 0⋅1=00 \cdot 1 = 0. This is Thomas's own proof; the step that goes wrong on paper is 2h=1h/2\frac{2}{h} = \frac{1}{h/2}, a compound fraction.

b) Half angle with u=3xu = 3x: 1−cos⁡6x=2sin⁡23x1 - \cos 6x = 2\sin^2 3x. So for xx near 00, x≠0x \ne 0, 1−cos⁡6xxsin⁡3x=2sin⁡23xxsin⁡3x=2sin⁡3xx=6⋅sin⁡3x3x→6\frac{1 - \cos 6x}{x \sin 3x} = \frac{2\sin^2 3x}{x \sin 3x} = \frac{2\sin 3x}{x} = 6 \cdot \frac{\sin 3x}{3x} \to 6. The cancellation of one sin⁡3x\sin 3x is legal because sin⁡3x≠0\sin 3x \ne 0 for xx near 00, x≠0x \ne 0. Writing 1−cos⁡6x=2sin⁡26x1 - \cos 6x = 2\sin^2 6x (the angle not halved) gives 2sin⁡26xxsin⁡3x\frac{2\sin^2 6x}{x \sin 3x}, which leads nowhere.

c) Pythagoras: sin⁡2x=1−cos⁡2x=(1−cos⁡x)(1+cos⁡x)\sin^2 x = 1 - \cos^2 x = (1 - \cos x)(1 + \cos x). For xx near 00, x≠0x \ne 0, cos⁡x≠1\cos x \ne 1, so 1−cos⁡x(1−cos⁡x)(1+cos⁡x)=11+cos⁡x→12\frac{1 - \cos x}{(1 - \cos x)(1 + \cos x)} = \frac{1}{1 + \cos x} \to \frac{1}{2}. No sin⁡θθ\frac{\sin \theta}{\theta} is needed at all: the identity alone removes the 00\frac{0}{0}. Recognizing a difference of squares hidden in sin⁡2x\sin^2 x is exactly the algebra the course's tutorials drill.

d) Half angle: 1−cos⁡2x=2sin⁡2x1 - \cos 2x = 2\sin^2 x, so 1−cos⁡2x=2sin⁡2x=2 ∣sin⁡x∣\sqrt{1 - \cos 2x} = \sqrt 2 \sqrt{\sin^2 x} = \sqrt 2\,|\sin x|. For 0<x<π0 < x < \pi, sin⁡x>0\sin x > 0 and the quotient is 2sin⁡xx→2\sqrt 2 \frac{\sin x}{x} \to \sqrt 2. For −π<x<0-\pi < x < 0, sin⁡x<0\sin x < 0, so ∣sin⁡x∣=−sin⁡x|\sin x| = -\sin x and the quotient is −2sin⁡xx→−2-\sqrt 2 \frac{\sin x}{x} \to -\sqrt 2. The one-sided limits differ: no two-sided limit. The student who writes sin⁡2x=sin⁡x\sqrt{\sin^2 x} = \sin x finds 2\sqrt 2 on both sides and loses the question.

e) Divide numerator and denominator by xx: 1+sin⁡xx1−3sin⁡xx\frac{1 + \frac{\sin x}{x}}{1 - 3\frac{\sin x}{x}}. The numerator tends to 22, the denominator to 1−3=−2≠01 - 3 = -2 \ne 0, so the quotient rule gives 2−2=−1\frac{2}{-2} = -1. Replacing sin⁡x\sin x by xx “because they are close” gives 2x−2x=−1\frac{2x}{-2x} = -1 here by luck, and earns nothing: the division by xx followed by the theorem is the justification.

Part B: problems and reasoning (/50)

Exercise 6: Two junctions, two constants: one-sided limits that must agree

Let aa and bb be constants, and let g(x)=sin⁡(ax)3xg(x) = \frac{\sin(ax)}{3x} for x<0x < 0, g(x)=x2+bg(x) = x^2 + b for 0≤x≤20 \le x \le 2, and g(x)=x2−x−2∣x−2∣g(x) = \frac{x^2 - x - 2}{|x - 2|} for x>2x > 2.

At a junction the formula changes, so each side is computed with the formula valid on THAT side. The question is about limits only: the values g(0)g(0) and g(2)g(2) play no part.

  • a) Find lim⁡x→2+g(x)\lim_{x\to 2^+} g(x).
  • b) Find lim⁡x→2−g(x)\lim_{x\to 2^-} g(x) in terms of bb, and the value of bb for which lim⁡x→2g(x)\lim_{x\to 2} g(x) exists.
  • c) Find lim⁡x→0−g(x)\lim_{x\to 0^-} g(x) in terms of aa, and its value when a=6a = 6. Find lim⁡x→0+g(x)\lim_{x\to 0^+} g(x) in terms of bb.
  • d) Find the value of aa for which lim⁡x→0g(x)\lim_{x\to 0} g(x) also exists, with bb as in b).
  • e) With these values of aa and bb, give lim⁡x→0g(x)\lim_{x\to 0} g(x) and lim⁡x→2g(x)\lim_{x\to 2} g(x).

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

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

Answers

  • a) 33
  • b) 4+b4 + b; b=−1b = -1
  • c) a3\frac{a}{3}, which is 22 for a=6a = 6; lim⁡x→0+g(x)=b\lim_{x\to 0^+} g(x) = b
  • d) a=−3a = -3
  • e) lim⁡x→0g(x)=−1\lim_{x\to 0} g(x) = -1 and lim⁡x→2g(x)=3\lim_{x\to 2} g(x) = 3

a) For x>2x > 2, x−2>0x - 2 > 0, so ∣x−2∣=x−2|x - 2| = x - 2. Factor: x2−x−2=(x−2)(x+1)x^2 - x - 2 = (x - 2)(x + 1). So g(x)=(x−2)(x+1)x−2=x+1g(x) = \frac{(x - 2)(x + 1)}{x - 2} = x + 1 for x>2x > 2, and lim⁡x→2+g(x)=3\lim_{x\to 2^+} g(x) = 3. Opening the absolute value with the wrong sign, ∣x−2∣=−(x−2)|x - 2| = -(x - 2), gives −3-3; on the right of 22 the inside is POSITIVE, and the sentence saying so is the justification.

b) For 0≤x≤20 \le x \le 2, g(x)=x2+bg(x) = x^2 + b, a polynomial, so lim⁡x→2−g(x)=4+b\lim_{x\to 2^-} g(x) = 4 + b. The two-sided limit at 22 exists exactly when the one-sided limits are equal: 4+b=34 + b = 3, so b=−1b = -1.

c) For x<0x < 0 and a≠0a \ne 0, sin⁡(ax)3x=a3⋅sin⁡(ax)ax\frac{\sin(ax)}{3x} = \frac{a}{3} \cdot \frac{\sin(ax)}{ax}, and ax→0ax \to 0, so lim⁡x→0−g(x)=a3\lim_{x\to 0^-} g(x) = \frac{a}{3}; if a=0a = 0 the piece is identically 00, which is again a3\frac{a}{3}. For a=6a = 6 the left-hand limit is 22. For x≥0x \ge 0 near 00, g(x)=x2+b→bg(x) = x^2 + b \to b. Note that the theorem is used on the LEFT side only: nothing requires x>0x > 0 in sin⁡θθ→1\frac{\sin \theta}{\theta} \to 1, the limit is two-sided and so holds from the left.

d) The limit at 00 exists when a3=b=−1\frac{a}{3} = b = -1, so a=−3a = -3. The tempting answer a=3a = 3 comes from wanting sin⁡(ax)3x\frac{\sin(ax)}{3x} to look like sin⁡θθ\frac{\sin \theta}{\theta}; with a=3a = 3 the left-hand limit is 11, which does not match the right-hand limit −1-1. The constants are chosen to make the SIDES agree, not to make a formula look familiar.

e) With a=−3a = -3 and b=−1b = -1: from the left, sin⁡(−3x)3x=−sin⁡3x3x→−1\frac{\sin(-3x)}{3x} = -\frac{\sin 3x}{3x} \to -1; from the right, x2−1→−1x^2 - 1 \to -1. So lim⁡x→0g(x)=−1\lim_{x\to 0} g(x) = -1. At 22: from the left x2−1→3x^2 - 1 \to 3, from the right x+1→3x + 1 \to 3, so lim⁡x→2g(x)=3\lim_{x\to 2} g(x) = 3. The solution figure shows the three pieces meeting at (0,−1)(0, -1) and (2,3)(2, 3).

-3-2-11234-2-1123456sin(-3x)/(3x)x² - 1x + 1x

Exercise 7: sin(θ)/θ when θ is a root, a polynomial or a shift

The theorem lim⁡θ→0sin⁡θθ=1\lim_{\theta\to 0} \frac{\sin \theta}{\theta} = 1 holds whatever θ\theta is, provided θ→0\theta \to 0 and θ≠0\theta \ne 0 near the point: θ\theta may be x\sqrt x, x−1x - 1, x2−5xx^2 - 5x. The work is to make the denominator EQUAL to that θ\theta, by factoring or by rewriting a root.

Where θ\theta is only defined on one side, or changes sign in an absolute value, the one-sided limits are the answer.

  • a) Find lim⁡x→0+sin⁡xx\lim_{x\to 0^+} \frac{\sin\sqrt x}{\sqrt x}. Why is only the right-hand limit asked?
  • b) Find lim⁡x→0+sin⁡2x8x\lim_{x\to 0^+} \frac{\sin\sqrt{2x}}{\sqrt{8x}}.
  • c) Find lim⁡x→1sin⁡(x−1)x2−1\lim_{x\to 1} \frac{\sin(x - 1)}{x^2 - 1}.
  • d) Find lim⁡x→0sin⁡(x2−5x)2x\lim_{x\to 0} \frac{\sin(x^2 - 5x)}{2x}.
  • e) Find lim⁡x→−2+sin⁡(x+2)∣x+2∣\lim_{x\to -2^+} \frac{\sin(x + 2)}{|x + 2|} and lim⁡x→−2−sin⁡(x+2)∣x+2∣\lim_{x\to -2^-} \frac{\sin(x + 2)}{|x + 2|}. Does the two-sided limit exist?

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

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

Answers

  • a) 11; x\sqrt x is not defined for x<0x < 0, so 00 is an endpoint of the domain.
  • b) 12\frac{1}{2}
  • c) 12\frac{1}{2}
  • d) −52-\frac{5}{2}
  • e) Right 11, left −1-1: the limit does not exist.

a) Put θ=x\theta = \sqrt x. As x→0+x \to 0^+, θ→0+\theta \to 0^+ and θ>0\theta > 0, so sin⁡θθ→1\frac{\sin \theta}{\theta} \to 1: the limit is 11. Only the right-hand limit makes sense because the domain of x\sqrt x is [0,∞)[0, \infty): to the left of 00 the function has no values, 00 is an endpoint, and as in Exercise 1 d) the right-hand limit is the complete answer there.

b) The angle is 2x\sqrt{2x}. Rewrite the denominator in terms of it: 8x=4⋅2x=22x\sqrt{8x} = \sqrt{4 \cdot 2x} = 2\sqrt{2x}. So sin⁡2x8x=12⋅sin⁡2x2x\frac{\sin\sqrt{2x}}{\sqrt{8x}} = \frac{1}{2} \cdot \frac{\sin\sqrt{2x}}{\sqrt{2x}} and, since θ=2x→0+\theta = \sqrt{2x} \to 0^+, the limit is 12\frac{1}{2}. The radical algebra is the point: 8=22\sqrt 8 = 2\sqrt 2, and 8x\sqrt{8x} is not 8x8\sqrt x, nor 42x4\sqrt{2x}.

c) The angle is x−1x - 1, which tends to 00 as x→1x \to 1. Factor the denominator to make it appear: x2−1=(x−1)(x+1)x^2 - 1 = (x - 1)(x + 1). For xx near 11, x≠1x \ne 1: sin⁡(x−1)x2−1=sin⁡(x−1)x−1⋅1x+1→1⋅12=12\frac{\sin(x - 1)}{x^2 - 1} = \frac{\sin(x - 1)}{x - 1} \cdot \frac{1}{x + 1} \to 1 \cdot \frac{1}{2} = \frac{1}{2} by the product rule. The theorem does not need x→0x \to 0; it needs the ANGLE to tend to 00.

d) The angle is θ=x2−5x=x(x−5)\theta = x^2 - 5x = x(x - 5), which tends to 00. Supply the missing factor: sin⁡(x2−5x)2x=sin⁡(x2−5x)x2−5x⋅x−52\frac{\sin(x^2 - 5x)}{2x} = \frac{\sin(x^2 - 5x)}{x^2 - 5x} \cdot \frac{x - 5}{2} for xx near 00 with x2−5x≠0x^2 - 5x \ne 0, which holds for 0<∣x∣<50 < |x| < 5. The first factor tends to 11, the second to −52\frac{-5}{2}: the limit is −52-\frac{5}{2}. The factorization x2−5x=x(x−5)x^2 - 5x = x(x - 5) is the whole trick, and the sign goes with it: the missing factor is x−5x - 5, not x+5x + 5, so the answer is negative. Dividing sin⁡(x2−5x)\sin(x^2 - 5x) by 2x2x “term by term” is not an operation.

e) The angle x+2x + 2 tends to 00; the absolute value's inside, x+2x + 2, vanishes at −2-2: split. For x>−2x > -2, ∣x+2∣=x+2|x + 2| = x + 2 and the quotient is sin⁡(x+2)x+2→1\frac{\sin(x + 2)}{x + 2} \to 1. For x<−2x < -2, ∣x+2∣=−(x+2)|x + 2| = -(x + 2) and the quotient is −sin⁡(x+2)x+2→−1-\frac{\sin(x + 2)}{x + 2} \to -1. The one-sided limits differ, so the limit does not exist. The theorem is two-sided, the absolute value is not.

Exercise 8: Five statements to correct

Each statement below was written by a student on a MATH 203 assignment, and each is false. Say what is wrong, give a counterexample or the correct value, and write the correct statement.

  • a) If lim⁡x→a−f(x)=lim⁡x→a+f(x)=L\lim_{x\to a^-} f(x) = \lim_{x\to a^+} f(x) = L, then f(a)=Lf(a) = L.
  • b) Since lim⁡θ→0sin⁡θθ=1\lim_{\theta\to 0} \frac{\sin \theta}{\theta} = 1, we have lim⁡x→πsin⁡xx=1\lim_{x\to \pi} \frac{\sin x}{x} = 1.
  • c) At an integer nn, lim⁡x→n+⌊x⌋\lim_{x\to n^+} \lfloor x \rfloor does not exist, because the graph jumps there.
  • d) x\sqrt x is not defined for x<0x < 0, so nothing can be said about the limit of x\sqrt x at 00.
  • e) x2=x\sqrt{x^2} = x, so lim⁡x→0−x2x=1\lim_{x\to 0^-} \frac{\sqrt{x^2}}{x} = 1.

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

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

Answers

  • a) False: gg of Exercise 1 at 11 has both sides 11 and g(1)=3g(1) = 3. Correct: then lim⁡x→af(x)=L\lim_{x\to a} f(x) = L.
  • b) False: the angle xx tends to π\pi, not 00; the limit is sin⁡ππ=0\frac{\sin \pi}{\pi} = 0.
  • c) False: lim⁡x→n+⌊x⌋=n\lim_{x\to n^+} \lfloor x \rfloor = n and lim⁡x→n−⌊x⌋=n−1\lim_{x\to n^-} \lfloor x \rfloor = n - 1; only the two-sided limit fails.
  • d) False: lim⁡x→0+x=0\lim_{x\to 0^+} \sqrt x = 0, the complete answer at an endpoint.
  • e) False: x2=∣x∣=−x\sqrt{x^2} = |x| = -x for x<0x < 0, so the limit is −1-1.

a) FALSE. Equal one-sided limits say that the two-sided limit exists and equals LL; they say nothing about f(a)f(a), which may be undefined or equal to anything else. The function gg of Exercise 1 has lim⁡x→1−g(x)=lim⁡x→1+g(x)=1\lim_{x\to 1^-} g(x) = \lim_{x\to 1^+} g(x) = 1 and g(1)=3g(1) = 3. Correct statement: if lim⁡x→a−f(x)=lim⁡x→a+f(x)=L\lim_{x\to a^-} f(x) = \lim_{x\to a^+} f(x) = L, then lim⁡x→af(x)=L\lim_{x\to a} f(x) = L.

b) FALSE. The theorem is about an angle that tends to 00; here x→πx \to \pi. Nothing is indeterminate: sin⁡x→sin⁡π=0\sin x \to \sin \pi = 0 and x→π≠0x \to \pi \ne 0, so the quotient rule gives lim⁡x→πsin⁡xx=0π=0\lim_{x\to \pi} \frac{\sin x}{x} = \frac{0}{\pi} = 0. Correct statement: lim⁡x→asin⁡θ(x)θ(x)=1\lim_{x\to a} \frac{\sin \theta(x)}{\theta(x)} = 1 when θ(x)→0\theta(x) \to 0 as x→ax \to a (with θ(x)≠0\theta(x) \ne 0 near aa). Before quoting the theorem, substitute: if there is no 00\frac{0}{0}, there is nothing to rewrite.

c) FALSE. For n≤x<n+1n \le x < n + 1, ⌊x⌋=n\lfloor x \rfloor = n, a constant, so lim⁡x→n+⌊x⌋=n\lim_{x\to n^+} \lfloor x \rfloor = n. For n−1≤x<nn - 1 \le x < n, ⌊x⌋=n−1\lfloor x \rfloor = n - 1, so lim⁡x→n−⌊x⌋=n−1\lim_{x\to n^-} \lfloor x \rfloor = n - 1. Both one-sided limits exist; they differ, which is why the two-sided limit fails. Correct statement: at an integer nn, both one-sided limits of ⌊x⌋\lfloor x \rfloor exist, they are n−1n - 1 and nn, and lim⁡x→n⌊x⌋\lim_{x\to n} \lfloor x \rfloor does not exist. For example lim⁡x→3+⌊x⌋=3\lim_{x\to 3^+} \lfloor x \rfloor = 3.

d) FALSE. At 00, an endpoint of the domain [0,∞)[0, \infty), the right-hand limit is exactly the question to ask, and lim⁡x→0+x=0\lim_{x\to 0^+} \sqrt x = 0: the values x\sqrt x get as small as we like as xx decreases to 00. Correct statement (Thomas 2.4): at the left endpoint of its domain, x\sqrt x has a right-hand limit, lim⁡x→0+x=0\lim_{x\to 0^+} \sqrt x = 0, and no left-hand limit; the two-sided limit does not exist there.

e) FALSE. A square root is never negative, so x2=∣x∣\sqrt{x^2} = |x|. For x<0x < 0, ∣x∣=−x|x| = -x and x2x=−xx=−1\frac{\sqrt{x^2}}{x} = \frac{-x}{x} = -1: lim⁡x→0−x2x=−1\lim_{x\to 0^-} \frac{\sqrt{x^2}}{x} = -1, while the right-hand limit is 11. Correct statement: x2=∣x∣\sqrt{x^2} = |x|, so x2x\frac{\sqrt{x^2}}{x} is −1-1 for x<0x < 0 and 11 for x>0x > 0.

Exercise 9: A parking tariff by the hour or part hour: the jumps are the price

A parking lot charges 44 dollars for the first hour or part of an hour, then 33 dollars for each additional hour or part of an hour, with a maximum of 2020 dollars per day. Let P(t)P(t) be the price, in dollars, for a stay of tt hours, 0<t≤240 < t \le 24. The figure shows PP for the first eight hours.

Recall that the ceiling ⌈t⌉\lceil t \rceil is the least integer ≥t\ge t: a stay of 2.52.5 hours is billed as 33 started hours.

12345678246810121416182022t (hours)P (dollars)
  • a) Explain why P(t)=3⌈t⌉+1P(t) = 3\lceil t \rceil + 1 for 0<t≤60 < t \le 6, and compute P(2.5)P(2.5), P(3)P(3) and P(3.01)P(3.01).
  • b) Find lim⁡t→3−P(t)\lim_{t\to 3^-} P(t), lim⁡t→3+P(t)\lim_{t\to 3^+} P(t) and lim⁡t→3P(t)\lim_{t\to 3} P(t). Say in words what the difference between the two one-sided limits means for a driver.
  • c) Find lim⁡t→6−P(t)\lim_{t\to 6^-} P(t) and lim⁡t→6+P(t)\lim_{t\to 6^+} P(t). Why is the jump at t=6t = 6 smaller than the others?
  • d) Find lim⁡t→0+P(t)\lim_{t\to 0^+} P(t) and lim⁡t→24−P(t)\lim_{t\to 24^-} P(t). Why is only one side asked at 00 and at 2424?
  • e) How many numbers aa in (0,24)(0, 24) are there at which lim⁡t→aP(t)\lim_{t\to a} P(t) does not exist? Does lim⁡t→7P(t)\lim_{t\to 7} P(t) exist?

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

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

Answers

  • a) 4+3(⌈t⌉−1)=3⌈t⌉+14 + 3(\lceil t \rceil - 1) = 3\lceil t \rceil + 1; P(2.5)=10P(2.5) = 10, P(3)=10P(3) = 10, P(3.01)=13P(3.01) = 13.
  • b) 1010 and 1313; no two-sided limit: one second past 33 hours costs 33 dollars more.
  • c) 1919 and 2020: the daily maximum caps the seventh started hour at 11 dollar.
  • d) 44 and 2020; 00 and 2424 are endpoints of the domain.
  • e) Six numbers, a=1,2,3,4,5,6a = 1, 2, 3, 4, 5, 6; yes, lim⁡t→7P(t)=20\lim_{t\to 7} P(t) = 20.

a) A stay of tt hours is billed as ⌈t⌉\lceil t \rceil started hours: the first costs 44 dollars and each of the other ⌈t⌉−1\lceil t \rceil - 1 costs 33, so P(t)=4+3(⌈t⌉−1)=3⌈t⌉+1P(t) = 4 + 3(\lceil t \rceil - 1) = 3\lceil t \rceil + 1, as long as this stays below the cap: at t=6t = 6 it gives 19≤2019 \le 20, at ⌈t⌉=7\lceil t \rceil = 7 it would give 22>2022 > 20. So P(2.5)=3⋅3+1=10P(2.5) = 3 \cdot 3 + 1 = 10, P(3)=3⋅3+1=10P(3) = 3 \cdot 3 + 1 = 10 (⌈3⌉=3\lceil 3 \rceil = 3: three full hours are three started hours), and P(3.01)=3⋅4+1=13P(3.01) = 3 \cdot 4 + 1 = 13. The expansion 4+3(⌈t⌉−1)4 + 3(\lceil t \rceil - 1) is where the algebra goes wrong: 4+3⌈t⌉−34 + 3\lceil t \rceil - 3, not 4+3⌈t⌉−14 + 3\lceil t \rceil - 1.

b) For 2<t≤32 < t \le 3, ⌈t⌉=3\lceil t \rceil = 3 and P(t)=10P(t) = 10, so lim⁡t→3−P(t)=10\lim_{t\to 3^-} P(t) = 10. For 3<t≤43 < t \le 4, ⌈t⌉=4\lceil t \rceil = 4 and P(t)=13P(t) = 13, so lim⁡t→3+P(t)=13\lim_{t\to 3^+} P(t) = 13. The sides differ: lim⁡t→3P(t)\lim_{t\to 3} P(t) does not exist. On the figure, the step at height 1010 ends with a full dot at t=3t = 3 and the next one starts with an empty dot. For a driver: leaving just before the third hour ends costs 1010 dollars, leaving just after costs 1313; the price does not settle near a single amount at t=3t = 3. Note that P(3)=10P(3) = 10 equals the left-hand limit: with a ceiling the value sits on the LEFT step, the opposite of the floor function.

c) For 5<t≤65 < t \le 6, P(t)=3⋅6+1=19P(t) = 3 \cdot 6 + 1 = 19, so lim⁡t→6−P(t)=19\lim_{t\to 6^-} P(t) = 19. For t>6t > 6 the formula would give 2222, above the cap, so P(t)=20P(t) = 20 and lim⁡t→6+P(t)=20\lim_{t\to 6^+} P(t) = 20. The jump is 11 dollar instead of 33 because the daily maximum cuts the seventh started hour short. The one-sided limit on the right is read on the formula valid on the right, here the constant 2020, not on 3⌈t⌉+13\lceil t \rceil + 1.

d) For 0<t≤10 < t \le 1, P(t)=4P(t) = 4, so lim⁡t→0+P(t)=4\lim_{t\to 0^+} P(t) = 4: a stay of a few seconds already costs the first hour. For 6<t≤246 < t \le 24, P(t)=20P(t) = 20, so lim⁡t→24−P(t)=20\lim_{t\to 24^-} P(t) = 20. The model is only defined for 0<t≤240 < t \le 24, so 00 and 2424 are endpoints of the domain and only the side inside the domain is asked, as in Exercise 1 d). P(0)P(0) is not defined at all, and the limit does not need it.

e) On each interval (n−1,n](n - 1, n] with 1≤n≤61 \le n \le 6, PP is constant, and so it is on (6,24](6, 24]. Inside (0,24)(0, 24) the one-sided limits differ exactly at t=1,2,3,4,5t = 1, 2, 3, 4, 5 (jumps of 33 dollars) and t=6t = 6 (a jump of 11 dollar): six numbers. At t=7t = 7, P(t)=20P(t) = 20 on both sides, so lim⁡t→7P(t)=20\lim_{t\to 7} P(t) = 20: the cap has removed all the later jumps.

Exercise 10: A final exam problem: the sine over the fractional part

Let F(x)=sin⁡(πx)x−⌊x⌋F(x) = \frac{\sin(\pi x)}{x - \lfloor x \rfloor}, defined for every real xx that is not an integer. This is the shape of a last question on a MATH 203 final: one function, a floor inside it, and the limit sin⁡θθ→1\frac{\sin \theta}{\theta} \to 1 hidden behind a shift. A calculator does not settle it; each one-sided limit must be argued.

  • a) Why is FF undefined at every integer? Simplify F(x)F(x) on (0,1)(0, 1) and on (1,2)(1, 2), then compute F(12)F\left(\frac{1}{2}\right) and F(32)F\left(\frac{3}{2}\right).
  • b) Find lim⁡x→1−F(x)\lim_{x\to 1^-} F(x). Is it a form 00\frac{0}{0}?
  • c) Find lim⁡x→1+F(x)\lim_{x\to 1^+} F(x), with the substitution t=x−1t = x - 1.
  • d) For an integer nn, find lim⁡x→n+F(x)\lim_{x\to n^+} F(x) and lim⁡x→n−F(x)\lim_{x\to n^-} F(x), using sin⁡(πn+πt)=(−1)nsin⁡(πt)\sin(\pi n + \pi t) = (-1)^n \sin(\pi t). Give lim⁡x→2+F(x)\lim_{x\to 2^+} F(x) and lim⁡x→2−F(x)\lim_{x\to 2^-} F(x).
  • e) At which numbers does lim⁡x→aF(x)\lim_{x\to a} F(x) fail to exist? Find lim⁡x→−1+F(x)\lim_{x\to -1^+} F(x).

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

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

Answers

  • a) x−⌊x⌋=0x - \lfloor x \rfloor = 0 at integers; F(x)=sin⁡πxxF(x) = \frac{\sin \pi x}{x} on (0,1)(0, 1), sin⁡πxx−1\frac{\sin \pi x}{x - 1} on (1,2)(1, 2); F(12)=2F\left(\frac{1}{2}\right) = 2, F(32)=−2F\left(\frac{3}{2}\right) = -2.
  • b) 00; no, the denominator tends to 11.
  • c) −π-\pi
  • d) lim⁡x→n+F(x)=(−1)nπ\lim_{x\to n^+} F(x) = (-1)^n \pi and lim⁡x→n−F(x)=0\lim_{x\to n^-} F(x) = 0; at 22: π\pi and 00.
  • e) At every integer, and nowhere else; lim⁡x→−1+F(x)=−π\lim_{x\to -1^+} F(x) = -\pi.

a) At an integer nn, ⌊n⌋=n\lfloor n \rfloor = n, so the denominator n−⌊n⌋n - \lfloor n \rfloor is 00. On (0,1)(0, 1), ⌊x⌋=0\lfloor x \rfloor = 0 and F(x)=sin⁡πxxF(x) = \frac{\sin \pi x}{x}; on (1,2)(1, 2), ⌊x⌋=1\lfloor x \rfloor = 1 and F(x)=sin⁡πxx−1F(x) = \frac{\sin \pi x}{x - 1}. So F(12)=sin⁡(π/2)1/2=2F\left(\frac{1}{2}\right) = \frac{\sin(\pi/2)}{1/2} = 2 and F(32)=sin⁡(3π/2)1/2=−11/2=−2F\left(\frac{3}{2}\right) = \frac{\sin(3\pi/2)}{1/2} = \frac{-1}{1/2} = -2.

b) As x→1−x \to 1^-, xx lies in (0,1)(0, 1) and F(x)=sin⁡πxxF(x) = \frac{\sin \pi x}{x}. The numerator tends to sin⁡π=0\sin \pi = 0 and the denominator to 1≠01 \ne 0: the quotient rule applies and the limit is 01=0\frac{0}{1} = 0. There is NO form 00\frac{0}{0} on this side, because the denominator is x−⌊x⌋=xx - \lfloor x \rfloor = x, not x−1x - 1; the student who plugs x=1x = 1 into x−⌊x⌋x - \lfloor x \rfloor gets 00 and invents an indeterminate form that the left side never has.

c) As x→1+x \to 1^+, F(x)=sin⁡πxx−1F(x) = \frac{\sin \pi x}{x - 1}. Put t=x−1t = x - 1, so t→0+t \to 0^+ and sin⁡πx=sin⁡(π+πt)=−sin⁡(πt)\sin \pi x = \sin(\pi + \pi t) = -\sin(\pi t) by the addition formula. Then F(x)=−sin⁡πtt=−π⋅sin⁡πtπtF(x) = -\frac{\sin \pi t}{t} = -\pi \cdot \frac{\sin \pi t}{\pi t}, and since πt→0\pi t \to 0, the limit is −π-\pi. The factor π\pi comes from matching the angle πt\pi t with the denominator tt; forgetting it gives −1-1.

d) Right of nn: x=n+tx = n + t with 0<t<10 < t < 1, ⌊x⌋=n\lfloor x \rfloor = n and x−⌊x⌋=tx - \lfloor x \rfloor = t. Since sin⁡(πn+πt)=sin⁡(πn)cos⁡(πt)+cos⁡(πn)sin⁡(πt)=(−1)nsin⁡(πt)\sin(\pi n + \pi t) = \sin(\pi n)\cos(\pi t) + \cos(\pi n)\sin(\pi t) = (-1)^n \sin(\pi t), F(x)=(−1)nπ⋅sin⁡πtπt→(−1)nπF(x) = (-1)^n \pi \cdot \frac{\sin \pi t}{\pi t} \to (-1)^n \pi. Left of nn: ⌊x⌋=n−1\lfloor x \rfloor = n - 1, the denominator x−n+1→1x - n + 1 \to 1 and the numerator →sin⁡(πn)=0\to \sin(\pi n) = 0, so the limit is 00, as in b). At n=2n = 2: lim⁡x→2+F(x)=π\lim_{x\to 2^+} F(x) = \pi and lim⁡x→2−F(x)=0\lim_{x\to 2^-} F(x) = 0. The solution figure shows each arch starting at ±π\pm\pi just right of an integer and falling to 00 just left of the next one.

e) Between two integers FF is a quotient of functions with a nonzero denominator, and its limit at such a number aa is F(a)F(a). At an integer nn the right-hand limit is ±π≠0\pm\pi \ne 0 and the left-hand limit is 00: the sides never agree, so the limit fails at every integer and only there. At n=−1n = -1: lim⁡x→−1+F(x)=(−1)−1π=−π\lim_{x\to -1^+} F(x) = (-1)^{-1} \pi = -\pi. A calculator at x=−0.99x = -0.99 gives about −3.1411-3.1411, consistent with −π≈−3.1416-\pi \approx -3.1416.

-1.5-1-0.50.511.522.533.5-4-3-2-11234π-πx

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

See also

Struggling with MATH 203?

I tutor first-year calculus at Concordia and McGill, in English or in French, in Montreal or online. Get in touch for a first session.

Site by Studio Squalli