MATH 140 Calculus 1 • McGill University, Montreal

Revision sheet: maximum and minimum values (MATH 140)

This sheet is not a summary of section 4.1 of Stewart: you already have the course notes. It answers one question only, what makes students lose marks on maximum and minimum values in MATH 140 at McGill University, and which precise gesture avoids each loss.

The chapter looks mechanical, differentiate, set to zero, plug in, and that is exactly where the marks go: in the candidates that the equation f′(x)=0f'(x) = 0 never produces, in the endpoints, and in the hypotheses that are never written. Every value below is exact and done by hand, as on the exam.

Mark this sheet as read or add it to your favourites: a free account, no password, keeps your read sheets and favourites from one visit to the next and tells you which chapter to tackle next. Create your space, an email is enough.

The thread of the chapter

Fermat NOMINATES, the table DECIDES: a critical number, where f′(c)=0f'(c) = 0 or f′(c)f'(c) does not exist with cc in the domain, is only a candidate, and the absolute extrema of a function continuous on [a,b][a, b] are found by comparing the values at the critical numbers INSIDE the interval AND at the two endpoints.

This chapter is part of MATH 140, Calculus 1 (McGill)

The essentials

Absolute or local: two questions, two definitions

  • • Absolute maximum on DD: f(c)≥f(x)f(c) \ge f(x) for ALL xx in DD. It depends on the domain: change the interval, and the answer can change.
  • • Local maximum: f(c)≥f(x)f(c) \ge f(x) for all xx in some OPEN interval around cc. With Stewart's definition, an endpoint is never a local extremum.
  • • An absolute extremum reached at an INTERIOR point is also a local one. The converse is false: a local maximum can be lower than a local minimum (x+1xx + \frac{1}{x}: local max −2-2, local min 22).
  • • Every answer has two parts, the VALUE f(c)f(c) and the PLACE cc, and a value reached twice is reported at both places.
123456246810local max 5, not absoluteabsolute max 9 (endpoint)local min 4absolute min 0 at x = 0x
The local maximum 55 at x=2x = 2 is beaten by the endpoint value 99 at x=6x = 6, which is absolute but not local; the absolute minimum 00 is also at an endpoint.

Markers read the words: absolute maximum VALUE 99, attained AT x=6x = 6. Writing max at 99 when 99 is the value costs the location mark.

Candidates: critical numbers, and what Fermat does not say

  • • Fermat's theorem: if ff has a local extremum at cc AND f′(c)f'(c) exists, then f′(c)=0f'(c) = 0.
  • • Critical number: cc in the DOMAIN of ff with f′(c)=0f'(c) = 0 or f′(c)f'(c) undefined. Corners (∣x∣|x|) and cusps (x2/3x^{2/3}) are critical; an asymptote (1x−2\frac{1}{x - 2} at 22) is not.
  • • The converse is false: f′(0)=0f'(0) = 0 for x3x^3, with no extremum. A critical number is a CANDIDATE, never a verdict.
  • • Contrapositive, the useful direction: if f′(c)f'(c) exists and f′(c)≠0f'(c) \ne 0, there is no local extremum at cc.
  • • Extreme Value Theorem: ff continuous on a CLOSED interval [a,b][a, b] attains an absolute maximum and an absolute minimum there. Sufficient, not necessary.
max, f' = 0min, no f'f' = 0, no extremum
Left, an extremum with f′=0f' = 0; middle, an extremum where f′f' does not exist; right, f′=0f' = 0 with no extremum. Only the first is what students expect.

Write f′f' as ONE factored fraction before reading it: zeros of the numerator give f′=0f' = 0, zeros of the denominator give f′f' undefined, and the domain of ff filters both.

The rules in table form

Each row reads from left to right: the assumptions, then the result. A red cell is not an answer, it is the finding that the form settles nothing and the instruction to rewrite it. Every case is followed by a worked example.

Does the Extreme Value Theorem guarantee the extrema?

Read a line as: this function on this interval, and what the EVT promises. A red cell is not a no: it means the theorem is silent, and the extrema must be studied by hand.

FunctionIntervalEVT verdict
x2x^2 [−1,2][-1, 2] max and min exist

Example: Candidates f(−1)=1f(-1) = 1, f(0)=0f(0) = 0, f(2)=4f(2) = 4: max 44 at x=2x = 2, min 00 at x=0x = 0.

1x\frac{1}{x} [1,3][1, 3] max and min exist

Example: 0∉[1,3]0 \notin [1, 3], so continuous; no critical number, max 11 at x=1x = 1, min 13\frac{1}{3} at x=3x = 3.

x2x^2 (−1,2)(-1, 2) not closed no guarantee

Example: Values fill [0,4)[0, 4): min 00 at x=0x = 0, NO max, since 44 is approached and never reached.

Same form, other result: cos⁡x\cos x on (−π,3π)(-\pi, 3\pi) is also on an open interval, yet has max 11 at x=0x = 0 and min −1-1 at x=πx = \pi.

What to do: Study the values near the open end: is the limit there reached inside the interval, or only approached?

x+4xx + \frac{4}{x} [−1,4][-1, 4] not continuous no guarantee

Example: 0∈[−1,4]0 \in [-1, 4]: r(0.1)=40.1r(0.1) = 40.1 and r(−0.1)=−40.1r(-0.1) = -40.1, no max and no min at all.

Same form, other result: 00 on [0,1)[0, 1) and 11 on [1,2][1, 2] jumps at 11, yet has max 11 and min 00.

What to do: Find the discontinuity inside [a,b][a, b] and study the values on each side of it before quoting any candidate.

The two rows in blue are the only ones where the closed interval method may be used as a recipe. Everywhere else, the first line of the answer is the hypothesis that fails.

The mistakes that cost marks

These are the errors I correct most often in session. Each one costs marks on a paper, even when the reasoning behind it is right.

1. Calling an endpoint a local extremum

1 mark per endpoint misclassified

What not to write

“f(0)=7f(0) = 7 is a local maximum of ff on [0,10][0, 10], since ff decreases right after 00.”

What to write

“f(0)=7f(0) = 7 is the absolute maximum of ff on [0,10][0, 10]. It is not a local maximum: no open interval around 00 lies in the domain.”

Why: Stewart's local extremum needs f(c)f(c) compared with values on BOTH sides of cc. The endpoints are handled by the absolute question, which is why the closed interval method lists them separately.

2. Solving only f'(x) = 0 and missing a cusp

the whole question when the cusp carries the answer

What not to write

“k(x)=x−3x2/3k(x) = x - 3x^{2/3} on [−8,8][-8, 8]: k′(x)=0k'(x) = 0 gives x=8x = 8, so the candidates are −8-8 and 88, and the maximum is k(8)=−4k(8) = -4.”

What to write

“k′(x)=x1/3−2x1/3k'(x) = \frac{x^{1/3} - 2}{x^{1/3}} is undefined at 00, where k(0)=0k(0) = 0 exists, so 00 is critical. Values −20-20, 00, −4-4: the maximum is 00 at x=0x = 0.”

Why: The equation f′(x)=0f'(x) = 0 only sees the numerator. The denominator of f′f' gives the other half of the critical numbers, the ones where the graph has a corner, a cusp or a vertical tangent.

3. Counting a point outside the domain as a critical number

1 mark, and a wrong candidate carried into every later question

What not to write

“f(x)=1x−2f(x) = \frac{1}{x - 2}: f′(2)f'(2) does not exist, so 22 is a critical number.”

What to write

“f′(x)=−1(x−2)2f'(x) = -\frac{1}{(x - 2)^2} is never 00, and 22 is not in the domain of ff: ff has no critical number.”

Why: A critical number is a place where the function has a VALUE to compare. At a vertical asymptote there is none. Check the domain of ff before listing anything.

4. Keeping a critical number that lies outside the interval

2 marks, the wrong maximum

What not to write

“g(x)=x3−12xg(x) = x^3 - 12x on [0,3][0, 3]: g′(x)=0g'(x) = 0 at x=±2x = \pm 2, g(−2)=16g(-2) = 16, so the absolute maximum is 1616.”

What to write

“g′(x)=3(x−2)(x+2)g'(x) = 3(x - 2)(x + 2); −2∉(0,3)-2 \notin (0, 3), rejected. Values g(0)=0g(0) = 0, g(2)=−16g(2) = -16, g(3)=−9g(3) = -9: max 00 at x=0x = 0, min −16-16 at x=2x = 2.”

-3-2-11234-25-20-15-10-55101520x = -2: outsidemax 0 at x = 0min -16 at x = 2
The peak at x=−2x = -2 is real but lies outside [0,3][0, 3] (dashed part); on the solid part the highest point is the endpoint (0,0)(0, 0).

Why: The method ranks the values TAKEN on [a,b][a, b]. A value taken outside the interval is not a value of the restricted function, however large it is.

5. Forgetting the endpoints

half the question

What not to write

“f(x)=x2f(x) = x^2 on [−1,3][-1, 3]: the only critical number is 00, so the absolute maximum and minimum are both at x=0x = 0.”

What to write

“Candidates: f(−1)=1f(-1) = 1, f(0)=0f(0) = 0, f(3)=9f(3) = 9. Absolute maximum 99 at x=3x = 3, absolute minimum 00 at x=0x = 0.”

Why: Fermat's theorem only speaks about interior points. At an endpoint the derivative need not vanish, f′(3)=6f'(3) = 6 here, and the EVT's extremum is very often there.

6. Taking a horizontal tangent for an extremum

1 to 2 marks

What not to write

“u(x)=x4−4x3u(x) = x^4 - 4x^3, u′(0)=0u'(0) = 0, so uu has a local extremum at 00.”

What to write

“u(x)=x3(x−4)u(x) = x^3(x - 4) is positive just left of 00 and negative just right of 00, while u(0)=0u(0) = 0: no local extremum at 00.”

Why: f′(c)=0f'(c) = 0 is the converse of Fermat, and it is false. In this chapter, decide with values: by the definition, as here, or with the closed interval method on a small interval around cc.

7. Applying the method across a discontinuity

the whole question

What not to write

“r(x)=x+4xr(x) = x + \frac{4}{x} on [−1,4][-1, 4]: r(−1)=−5r(-1) = -5, r(2)=4r(2) = 4, r(4)=5r(4) = 5, so the minimum is −5-5 and the maximum is 55.”

What to write

“rr is not continuous at 0∈[−1,4]0 \in [-1, 4], so the EVT does not apply. Near 00 the values are unbounded both ways: no absolute maximum, no absolute minimum.”

Why: The list of candidates is complete ONLY because the EVT guarantees that the extrema exist. Without continuity on [a,b][a, b] that guarantee is gone, and so is the method.

8. Answering a maximum that is approached but never reached

1 to 2 marks

What not to write

“f(x)=x2f(x) = x^2 on (−1,2)(-1, 2) has absolute maximum 44, at x=2x = 2.”

What to write

“For −1<x<2-1 < x < 2, 0≤x2<40 \le x^2 < 4: the values approach 44 but never reach it. No absolute maximum; absolute minimum 00 at x=0x = 0.”

Why: A maximum is a value TAKEN at a point of the domain. On an open interval the endpoint is not in the domain, so its value is only a limit, and a limit is not an extremum.

Which method to choose

Which tool, by what the question asks

Read the verb and the interval of the question before differentiating anything

  • If find the absolute extrema of ff on [a,b][a, b], with ff continuous → closed interval method: critical numbers inside, endpoints, compare the values

    Example: x3−6x2+9x+2x^3 - 6x^2 + 9x + 2 on [0,4][0, 4]: max 66 at x=1x = 1 and x=4x = 4, min 22 at x=0x = 0 and x=3x = 3

  • If show that ff HAS a maximum and a minimum → Extreme Value Theorem: state continuity on [a,b][a, b] with its reason

    Example: 1x\frac{1}{x} on [1,3][1, 3] is continuous since 0∉[1,3]0 \notin [1, 3]

  • If show that ff has NO local extremum → contrapositive of Fermat: f′f' exists everywhere and is never 00

    Example: x5+x3+2x−7x^5 + x^3 + 2x - 7: f′(x)≥2>0f'(x) \ge 2 > 0

  • If is there an extremum at a given critical number cc? → compare values near cc by an inequality, or apply the method on a small [c−h,c+h][c - h, c + h]

    Example: x+1xx + \frac{1}{x} on [12,2]\left[\frac{1}{2}, 2\right]: min 22 at the interior point 11, so a local min

  • If the interval is open, or the whole real line → the EVT is silent: study the ends, or trap ff outside a closed interval

    Example: x4−4x≥8x^4 - 4x \ge 8 for x≥2x \ge 2 and >0> 0 for x≤−2x \le -2, so min −3-3 at x=1x = 1 on R\mathbb{R}

  • If ff is piecewise or contains ∣⋅∣|\cdot| → split into cases; the junction points are candidates where f′f' may not exist

    Example: ∣x2−2x−3∣|x^2 - 2x - 3| on [0,4][0, 4]: the corner x=3x = 3 is the minimum 00

The first derivative test and the second derivative test belong to section 4.3: in a question on 4.1, decide with values. When no branch applies, go back to the definitions of absolute and local extremum.

How the answer is expected to be written

A marker ticks steps. Here they are in order, with the concluding sentence expected word for word.

The closed interval method, written for full marks

When to use it: Any question asking for the absolute maximum and minimum values of ff on [a,b][a, b]

  1. 1 State the hypothesis with its reason: ff is continuous on [a,b][a, b] (polynomial, or quotient whose denominator does not vanish on [a,b][a, b], or composition of continuous functions).
  2. 2 Compute f′f' and write it as one factored fraction. List where f′=0f' = 0 and where f′f' is undefined while ff is defined.
  3. 3 Keep only the critical numbers in the OPEN interval (a,b)(a, b), writing rejected next to each one outside, with its reason.
  4. 4 Evaluate ff exactly at every kept critical number and at aa and bb, in a small table.
  5. 5 Compare with justified inequalities, then give each extremum as a value AND every place where it is attained.

Concluding sentence

“ff is continuous on the closed interval [0,4][0, 4], so by the Extreme Value Theorem it attains an absolute maximum and minimum. Comparing f(0)=2f(0) = 2, f(1)=6f(1) = 6, f(3)=2f(3) = 2 and f(4)=6f(4) = 6: the absolute maximum value is 66, attained at x=1x = 1 and x=4x = 4, and the absolute minimum value is 22, attained at x=0x = 0 and x=3x = 3.”

The trap: Skipping the continuity sentence: without it the method is a recipe applied on faith, and on [−1,4][-1, 4] with x+4xx + \frac{4}{x} it produces a false answer.

Marking: Typically 1 mark for continuity, 3 for the critical numbers (including the undefined ones and the rejections), 3 for the exact values at every candidate, 3 for the comparison and the conclusion with locations.

Check before you hand in

Five minutes of checking recover more marks than one more problem started in a hurry.

The typical problem, taken apart

A trigonometric function, five candidates, a tie and an endpoint

Find the absolute maximum and minimum values of f(x)=2sin⁡x+cos⁡2xf(x) = 2\sin x + \cos 2x on [0,3π2]\left[0, \frac{3\pi}{2}\right], and where they are attained.

No calculator. Every step must be justified as on a MATH 140 final.

12345-3-2-112y = 2 sin x + cos 2x
Two equal humps inside the interval and a deep drop at the right endpoint: the maximum is attained twice, the minimum at an endpoint.

Step 1

ff is a sum of compositions of continuous functions, so it is continuous on the closed interval [0,3π2]\left[0, \frac{3\pi}{2}\right]. By the Extreme Value Theorem, the absolute maximum and minimum exist.

Why

This sentence is what makes the finite list of candidates COMPLETE. It is short, and it is a mark.

Step 2

By the chain rule (inner function 2x2x): f′(x)=2cos⁡x−2sin⁡2x=2cos⁡x−4sin⁡xcos⁡x=2cos⁡x(1−2sin⁡x)f'(x) = 2\cos x - 2\sin 2x = 2\cos x - 4\sin x\cos x = 2\cos x(1 - 2\sin x). It exists everywhere.

Why

The identity sin⁡2x=2sin⁡xcos⁡x\sin 2x = 2\sin x\cos x turns f′f' into a PRODUCT, and only a product can be read factor by factor. Leaving 2cos⁡x−2sin⁡2x=02\cos x - 2\sin 2x = 0 unfactored is where solutions get lost.

Step 3

cos⁡x=0\cos x = 0 in (0,3π2)\left(0, \frac{3\pi}{2}\right): x=π2x = \frac{\pi}{2} only (3π2\frac{3\pi}{2} is an endpoint). sin⁡x=12\sin x = \frac{1}{2}: x=π6x = \frac{\pi}{6} and x=5π6x = \frac{5\pi}{6}. Critical numbers: π6\frac{\pi}{6}, π2\frac{\pi}{2}, 5π6\frac{5\pi}{6}.

Why

Each factor is solved on the OPEN interval, and each equation for the sine has two solutions per period. Missing 5π6\frac{5\pi}{6} here would lose one of the two locations of the maximum.

Step 4

Values: f(0)=0+1=1f(0) = 0 + 1 = 1; f(π6)=1+cos⁡π3=32f\left(\frac{\pi}{6}\right) = 1 + \cos\frac{\pi}{3} = \frac{3}{2}; f(π2)=2+cos⁡π=1f\left(\frac{\pi}{2}\right) = 2 + \cos\pi = 1; f(5π6)=1+cos⁡5π3=32f\left(\frac{5\pi}{6}\right) = 1 + \cos\frac{5\pi}{3} = \frac{3}{2}; f(3π2)=−2+cos⁡3π=−3f\left(\frac{3\pi}{2}\right) = -2 + \cos 3\pi = -3.

Why

Five exact values, no decimals: the unit circle gives each one. The endpoint 3π2\frac{3\pi}{2} is evaluated although f′f' vanishes there too, because endpoints are ALWAYS on the list.

Step 5

Maximum 32\frac{3}{2}, at x=π6x = \frac{\pi}{6} and x=5π6x = \frac{5\pi}{6}. Minimum −3-3, at x=3π2x = \frac{3\pi}{2}. Check: with s=sin⁡xs = \sin x, f=2s+1−2s2=32−2(s−12)2≤32f = 2s + 1 - 2s^2 = \frac{3}{2} - 2\left(s - \frac{1}{2}\right)^2 \le \frac{3}{2}, with equality exactly when sin⁡x=12\sin x = \frac{1}{2}.

Why

The algebraic rewriting confirms the maximum independently of the derivative. The critical number π2\frac{\pi}{2} turned out to be neither the max nor the min on the interval: a candidate, dismissed by the table.

The conclusion, written out

“ff is continuous on [0,3π2]\left[0, \frac{3\pi}{2}\right]. Comparing its values at the critical numbers π6\frac{\pi}{6}, π2\frac{\pi}{2}, 5π6\frac{5\pi}{6} and at the endpoints, the absolute maximum value is 32\frac{3}{2}, attained at x=π6x = \frac{\pi}{6} and x=5π6x = \frac{5\pi}{6}, and the absolute minimum value is −3-3, attained at x=3π2x = \frac{3\pi}{2}.”

The classic mistake on this problem: Solving only cos⁡x=0\cos x = 0 or only sin⁡x=12\sin x = \frac{1}{2}; or dropping the endpoint 3π2\frac{3\pi}{2} because it is a zero of cos⁡x\cos x, and answering min 11.

Learn by heart

  • • Absolute: compared with the whole domain. Local: compared with an open interval around cc, never at an endpoint.
  • • EVT: continuous on a CLOSED interval [a,b][a, b] implies an absolute max and min exist. Not the converse.
  • • Fermat: local extremum and f′(c)f'(c) exists imply f′(c)=0f'(c) = 0. Not the converse: x3x^3.
  • • Critical number: cc in the domain, f′(c)=0f'(c) = 0 OR f′(c)f'(c) undefined.
  • • Closed interval method: continuity, critical numbers in (a,b)(a, b), endpoints, compare exact values.
  • • Report every extremum as a value AND all its locations; write rejected next to any candidate outside (a,b)(a, b).

Frequently asked questions

What is the difference between an absolute and a local maximum?

An absolute maximum is the largest value the function takes on its whole domain or on the interval in the question. A local maximum is only the largest value compared with nearby points, on some small open interval around it. So a local maximum can be beaten elsewhere, and in the textbook used at McGill an endpoint is never a local extremum, even when it is the absolute one.

Is every critical number a maximum or a minimum?

No. A critical number is only a candidate. The function x cubed has a horizontal tangent at zero and keeps increasing through it, so there is no maximum or minimum there. Fermat's theorem says that an extremum inside the domain happens at a critical number, never the reverse. To decide, compare values: on a closed interval, the closed interval method does it for you.

Why do I have to check the endpoints in the closed interval method?

Because Fermat's theorem only speaks about points inside the interval. At an endpoint the derivative does not have to be zero, and the largest or smallest value is very often there. For x squared on the interval from minus one to three, the only critical number is zero, yet the absolute maximum, nine, is at the endpoint three.

Can a function have no maximum on an interval?

Yes, when a hypothesis of the Extreme Value Theorem fails. On an open interval, x squared between minus one and two gets as close to four as you like without reaching it, so it has no maximum. A jump or an asymptote inside a closed interval can have the same effect. When the function is continuous on a closed interval, both extrema always exist.

Practise it

Corrected exercises: Maximum and minimum values, MATH 140 at McGill

A method is proved on a paper, not on a sheet. The set for the same chapter takes each of these traps into a problem, with the solution written out step by step.

  • 10 corrected exercises
  • 100 points
  • 150 minutes
Do the exercises
Previous sheet Linear approximation and differentials Next sheet The Mean Value Theorem

© Ahmed Squalli Houssaini. Revision sheet published at www.letuteurscientifique.ca/en/fiches/math140-extreme-values. Free for personal and classroom use; republishing it elsewhere requires written permission (legal notice).

See also

Looking for a MATH 140 tutor in Montreal?

Get in touch for a first session. The closed interval method comes back in every optimization problem of the course, and on the final: get the list of candidates right once, and it stays right.

Site by Studio Squalli