# Difference between revisions of "First derivative test"

(→What the test says: one-sided sign versions) |
(→What the test says: one-sided sign versions) |
||

(54 intermediate revisions by the same user not shown) | |||

Line 1: | Line 1: | ||

+ | {{maxmin test}} | ||

==Statement== | ==Statement== | ||

Line 4: | Line 5: | ||

The '''first derivative test''' is a partial (i.e., not always conclusive) test used to determine whether a particular [[critical point]] in the [[domain]] of a [[function]] is a point where the function attains a [[local maximum value]], [[local minimum value]], or neither. There are cases where the test is ''inconclusive'', which means that we cannot draw any conclusion. | The '''first derivative test''' is a partial (i.e., not always conclusive) test used to determine whether a particular [[critical point]] in the [[domain]] of a [[function]] is a point where the function attains a [[local maximum value]], [[local minimum value]], or neither. There are cases where the test is ''inconclusive'', which means that we cannot draw any conclusion. | ||

+ | |||

+ | The one-sided version of this test is also used to determine whether an endpoint of the domain of a function gives an endpoint extremum, and if so, whether it is an endpoint maximum or endpoint minimum. | ||

===What the test says: one-sided sign versions=== | ===What the test says: one-sided sign versions=== | ||

− | Suppose <math>f</math> is a [[function]] defined | + | Suppose <math>f</math> is a [[function]] defined at a point <math>c</math>. |

Then, we have the following: | Then, we have the following: | ||

{| class="sortable" border="1" | {| class="sortable" border="1" | ||

− | ! Hypothesis !! Conclusion | + | ! Continuity and differentiability assumption !!Hypothesis on sign of derivative!! Conclusion !! Prototypical pictures (the dotted point corresponds to <math>(c,f(c))</math>, and the dashed line is the one-sided tangent line at the point) |

|- | |- | ||

− | | <math>\! f'(x)</math> is positive (respectively, nonnegative) for <math>x</math> to the immediate left of <math>c</math> (i.e., for <math>x \in (c - \delta, c)</math> for sufficiently small <math>\delta > 0</math>)|| <math>f</math> has a strict local maximum from the left at <math>c</math>, i.e., <math>f(c) > f(x)</math> (respectively, <math>f</math> has a local maximum from the left at <math>c</math>, i.e., <math>f(c) \ge f(x)</math>) for <math>x</math> to the immediate left of <math>c</math>. | + | | <math>f</math> is left continuous ''at'' <math>c</math> and differentiable on the immediate left of <math>c</math> || <math>\! f'(x)</math> is positive (respectively, nonnegative) for <math>x</math> to the immediate left of <math>c</math> (i.e., for <math>x \in (c - \delta, c)</math> for sufficiently small <math>\delta > 0</math>)|| <math>f</math> has a strict local maximum from the left at <math>c</math>, i.e., <math>f(c) > f(x)</math> (respectively, <math>f</math> has a local maximum from the left at <math>c</math>, i.e., <math>f(c) \ge f(x)</math>) for <math>x</math> to the immediate left of <math>c</math>. || [[File:Leftincreasingconcaveup.png|100px]][[File:Leftincreasingconcavedownflat.png|80px]] |

|- | |- | ||

− | | <math>\! f'(x)</math> is negative (respectively, nonpositive) for <math>x</math> to the immediate left of <math>c</math> (i.e., for <math>x \in (c - \delta, c)</math> for sufficiently small <math>\delta > 0</math>)|| <math>f</math> has a strict local minimum from the left at <math>c</math>, i.e., <math>f(c) < f(x)</math> (respectively, <math>f</math> has a local minimum from the left at <math>c</math>, i.e., <math>f(c) \le f(x)</math>) for <math>x</math> to the immediate left of <math>c</math>. | + | |<math>f</math> is left continuous ''at'' <math>c</math> and differentiable on the immediate left of <math>c</math> ||<math>\! f'(x)</math> is negative (respectively, nonpositive) for <math>x</math> to the immediate left of <math>c</math> (i.e., for <math>x \in (c - \delta, c)</math> for sufficiently small <math>\delta > 0</math>)|| <math>f</math> has a strict local minimum from the left at <math>c</math>, i.e., <math>f(c) < f(x)</math> (respectively, <math>f</math> has a local minimum from the left at <math>c</math>, i.e., <math>f(c) \le f(x)</math>) for <math>x</math> to the immediate left of <math>c</math>. || [[File:Leftdecreasingconcaveupflat.png|80px]][[File:Leftdecreasingconcavedown.png|100px]] |

|- | |- | ||

− | | <math>\! f'(x)</math> is positive (respectively, nonnegative) for <math>x</math> to the immediate right of <math>c</math> (i.e., for <math>x \in (c,c + \delta)</math> for sufficiently small <math>\delta > 0</math>)|| <math>f</math> has a strict local minimum from the right at <math>c</math>, i.e., <math>f(c) < f(x)</math> (respectively, <math>f</math> has a local minimum from the right at <math>c</math>, i.e., <math>f(c) \le f(x)</math>) for <math>x</math> to the immediate right of <math>c</math>. | + | | <math>f</math> is right continuous ''at'' <math>c</math> and differentiable on the immediate right of <math>c</math> ||<math>\! f'(x)</math> is positive (respectively, nonnegative) for <math>x</math> to the immediate right of <math>c</math> (i.e., for <math>x \in (c,c + \delta)</math> for sufficiently small <math>\delta > 0</math>)|| <math>f</math> has a strict local minimum from the right at <math>c</math>, i.e., <math>f(c) < f(x)</math> (respectively, <math>f</math> has a local minimum from the right at <math>c</math>, i.e., <math>f(c) \le f(x)</math>) for <math>x</math> to the immediate right of <math>c</math>. || [[File:Rightincreasingconcaveupnotflat.png|100px]][[File:Rightincreasingconcavedown.png|80px]] |

|- | |- | ||

− | | <math>\! f'(x)</math> is negative (respectively, nonpositive) for <math>x</math> to the immediate right of <math>c</math> (i.e., for <math>x \in (c,c + \delta)</math> for sufficiently small <math>\delta > 0</math>)|| <math>f</math> has a strict local maximum from the right at <math>c</math>, i.e., <math>f(c) > f(x)</math> (respectively, <math>f</math> has a local maximum from the right at <math>c</math>, i.e., <math>f(c) \ge f(x)</math>) for <math>x</math> to the immediate right of <math>c</math>. | + | | <math>f</math> is right continuous ''at'' <math>c</math> and differentiable on the immediate right of <math>c</math> ||<math>\! f'(x)</math> is negative (respectively, nonpositive) for <math>x</math> to the immediate right of <math>c</math> (i.e., for <math>x \in (c,c + \delta)</math> for sufficiently small <math>\delta > 0</math>)|| <math>f</math> has a strict local maximum from the right at <math>c</math>, i.e., <math>f(c) > f(x)</math> (respectively, <math>f</math> has a local maximum from the right at <math>c</math>, i.e., <math>f(c) \ge f(x)</math>) for <math>x</math> to the immediate right of <math>c</math>. || [[File:Rightdecreasingconcavedownnotflat.png|100px]][[File:Rightdecreasingconcaveup.png|80px]] |

|} | |} | ||

+ | |||

+ | <center>{{#widget:YouTube|id=HZHe9AJAN5s}}</center> | ||

===What the test says: combined sign versions=== | ===What the test says: combined sign versions=== | ||

− | Suppose <math>f</math> is a [[function]] defined around a point <math>c</math> (i.e., <math>f</math> is defined in an [[open interval]] containing <math>c</math>) and is continuous at <math>c</math> | + | Suppose <math>f</math> is a [[function]] defined around a point <math>c</math> (i.e., <math>f</math> is defined in an [[open interval]] containing <math>c</math>) and is continuous at <math>c</math>. We do not care whether <math>f</math> is differentiable at <math>c</math>; however, the test makes sense only if <math>f</math> is differentiable on the immediate left and immediate right of <math>c</math>. |

Then, we have the following (we list only the ''strict'' cases in the table below): | Then, we have the following (we list only the ''strict'' cases in the table below): | ||

{| class="sortable" border="1" | {| class="sortable" border="1" | ||

− | ! Sign of <math>f'</math> on immediate left of <math>c</math> !! Sign of <math>f'</math> on immediate right of <math>c</math> !! Conclusion | + | ! Continuity and differentiability assumption !! Sign of the derivative <math>f'</math> on immediate left of <math>c</math> !! Sign of <math>f'</math> on immediate right of <math>c</math> !! Conclusion for <math>f</math> at <math>c</math>: local minimum, local maximum, or neither? !! Prototypical pictures (the dotted point is <math>(c,f(c))</math>) |

|- | |- | ||

− | | positive || negative || strict local maximum | + | | <math>f</math> is continuous at <math>c</math> and differentiable on the immediate left and immediate right of <math>c</math> || positive || negative || strict local maximum (two-sided) || [[File:Strictlocalmaxwithderivativezero.png|100px]] [[File:Strictlocalmaxwithundefinedderivative.png|100px]] |

|- | |- | ||

− | | | + | | <math>f</math> is continuous at <math>c</math> and differentiable on the immediate left and immediate right of <math>c</math> || negative || positive || strict local minimum (two-sided) || [[File:Strictlocalminwithderivativezero.png|100px]] [[File:Strictlocalminwithundefinedderivative.png|100px]] |

|- | |- | ||

− | | | + | | <math>f</math> is continuous at <math>c</math> and differentiable on the immediate left and immediate right of <math>c</math> || positive || positive || neither local maximum nor local minimum, because <math>f</math> is increasing through the point || [[File:Cubefunctionbasic.png|100px]][[File:Onethirdpower.png|100px]] |

|- | |- | ||

− | | negative || | + | | <math>f</math> is continuous at <math>c</math> and differentiable on the immediate left and immediate right of <math>c</math> || negative || negative || neither local maximum nor local minimum, because <math>f</math> is decreasing through the point || [[File:Negativecube.png|100px]] |

|} | |} | ||

If we replace ''positive'' by ''nonnegative'' and ''negative'' by ''nonpositive'' in the rows corresponding to strict local maximum and strict local minimum, we could potentially lose the ''strictness''. | If we replace ''positive'' by ''nonnegative'' and ''negative'' by ''nonpositive'' in the rows corresponding to strict local maximum and strict local minimum, we could potentially lose the ''strictness''. | ||

− | === | + | Note that if <math>f'</math> has ambiguous sign on the immediate left or on the immediate right of <math>c</math>, the first derivative test is inconclusive. |

+ | |||

+ | <center>{{#widget:YouTube|id=5vlHJudKKPY}}</center> | ||

+ | |||

+ | ===Relation with critical points=== | ||

+ | |||

+ | The typical goal of the first derivative test is to determine whether a [[critical point]] is a point of local maximum or minimum. Hence, the test is typically applied to critical points. ''However, when applying the first derivative test, we do not need to check whether the point in question is a critical point. In other words, if the condition for being a point of local maximum or minimum is satisfied, then the point in question is automatically a critical point and this condition need not be checked separately.'' | ||

+ | |||

+ | ===Short version=== | ||

+ | |||

+ | At a critical point in the interior of the domain of a function where the function is continuous: | ||

+ | |||

+ | * If the derivative of the function changes sign from positive (on the immediate left) to negative (on the immediate right), then the point is a point of strict local maximum. | ||

+ | * If the derivative of the function changes sign from negative (on the immediate left) to positive (on the immediate right), then the point is a point of strict local minimum. | ||

+ | * In general, if the derivative changes sign as we move from the immediate left of the point to the immediate right of the point, then there is a local extremum at the point. If the derivative has the same sign on the immediate left and immediate right, we ''do not'' get a local extremum at the point. | ||

+ | |||

+ | <center>{{#widget:YouTube|id=8KqUt4wUtYY}}</center> | ||

+ | |||

+ | ==Facts used== | ||

+ | |||

+ | # [[uses::Positive derivative implies increasing]] | ||

+ | # [[uses::Increasing on open interval and continuous at endpoint implies increasing up to and including endpoint]] | ||

+ | |||

+ | ==Proof== | ||

+ | |||

+ | ===Example proof of one-sided version: positive derivative on left=== | ||

+ | |||

+ | All the one-sided versions have analogous proofs, so we provide a proof only for one of them. | ||

+ | |||

+ | '''Given''': A function <math>f</math> and a point <math>c</math> in the domain. <math>f</math> is left continuous ''at'' <math>c</math> and differentiable on the immediate left of <math>c</math>. Further, <math>f'(x) > 0</math> on the immediate left of <math>c</math>. Explicitly, there exists <math>\delta > 0</math> such that <math>f'(x) > 0</math> for <math>x \in (c - \delta, c)</math>. | ||

+ | |||

+ | '''To prove''': <math>f</math> has a strict local maximum from the left at <math>c</math>. More explicitly, we have <math>f(x) < f(c)</math> for <math>x \in (c - \delta, c)</math>. | ||

+ | |||

+ | '''Proof''': | ||

+ | |||

+ | {| class="sortable" border="1" | ||

+ | ! Step no. !! Assertion/construction !! Facts used !! Given data used !! Previous steps used !! Explanation | ||

+ | |- | ||

+ | | 1 || <math>f</math> is increasing on the immediate left of <math>c</math>, i.e., <math>f</math> is increasing on the interval <math>(c - \delta, c)</math>. || Fact (1) || <math>f'(x) > 0</math> for <math>x \in (c - \delta, c)</math> || || given-fact direct | ||

+ | |- | ||

+ | | 2 || <math>f</math> is increasing from the left up to and including <math>c</math>, i.e., <math>f</math> is increasing on <math>(c - \delta,c]</math>. || Fact (2) || <math>f</math> is left continuous at <math>c</math> || Step (1) || step-given-fact direct | ||

+ | |- | ||

+ | | 3 || <math>f(x) < f(c)</math> for <math>x \in (c - \delta, c)</math> || || || Step (2) || Follows directly from Step (2). | ||

+ | |} | ||

+ | |||

+ | '''Alternate version of proof''': Instead of using Facts (1) and (2) in separate steps, we can use the version of Fact (1) for the one-sided closed interval <math>(c - \delta, c]</math>, using continuity at <math>c</math> and the positive sign of the derivative both together. Conceptually, this is the same proof, but the presentation differs somewhat. | ||

+ | |||

+ | ===Example proof of combined sign version: strict local maximum=== | ||

+ | |||

+ | We give the proof for the strict local maximum case. Other cases are analogous. | ||

+ | |||

+ | '''Given''': A function <math>f</math> and a point <math>c</math> in the domain. <math>f</math> is continuous ''at'' <math>c</math> and differentiable on the immediate left and immediate right of <math>c</math>. Further, <math>f'(x) > 0</math> on the immediate left of <math>c</math> and <math>f'(x) < 0</math> on the immediate right of <math>c</math>. | ||

+ | |||

+ | '''To prove''': <math>f</math> has a two-sided strict local maximum at <math>c</math>, i.e., <math>f(x) < f(c)</math> for <math>x</math> on the immediate left or the immediate right of <math>c</math>. | ||

+ | |||

+ | '''Proof''': | ||

+ | |||

+ | {| class="sortable" border="1" | ||

+ | ! Step no. !! Assertion/construction !! Facts used !! Given data used !! Previous steps used !! Explanation | ||

+ | |- | ||

+ | | 1 || <math>f</math> has a strict local maximum from the left at <math>c</math> || one-sided version for strict local max from the left || <math>f</math> is continuous at <math>c</math> and <math>f'(x) > 0</math> on the immediate left of <math>c</math> || || Since <math>f</math> is continuous at <math>c</math>, it is in particular ''left'' continuous at <math>c</math>. Combining this with <math>f'(x) > 0</math> (on the immediate left) and the one-sided sign version of the first derivative test, we obtain the result. | ||

+ | |- | ||

+ | | 2 || <math>f</math> has a strict local maximum from the right at <math>c</math> || one-sided version for strict local max from the right || <math>f</math> is continuous at <math>c</math> and <math>f'(x) < 0</math> on the immediate right of <math>c</math> || || Since <math>f</math> is continuous at <math>c</math>, it is in particular ''right'' continuous at <math>c</math>. Combining this with <math>f'(x) < 0</math> (on the ''right'' of <math>c</math>) and the one-sided sign version of the first derivative test, we obtain the result. | ||

+ | |- | ||

+ | | 3 || <math>f</math> has a two-sided strict local maximum at <math>c</math> || || || Steps (1), (2) || Step-combination direct | ||

+ | |} | ||

+ | |||

+ | ==Relation with other tests== | ||

+ | |||

+ | ===Other tests to determine whether critical points give local extreme values=== | ||

+ | |||

+ | {| class="sortable" border="1" | ||

+ | ! Test !! Quick description of how it differs from the first derivative test !! Relation with first derivative test | ||

+ | |- | ||

+ | | [[second derivative test]] || Instead of evaluating the sign of the first derivative on the immediate left and immediate right, we evaluate the sign of the second derivative ''at'' the point. || [[second derivative test operates via first derivative test]] (so in any situation where the second derivative test is applicable and conclusive, so is the first derivative test)<br>[[second derivative test is not stronger than first derivative test]]: There are situations where the second derivative test does not apply, or is inconclusive, but the first derivative test is conclusive. | ||

+ | |- | ||

+ | | [[higher derivative test]]s || Instead of evaluating the sign of the first derivative on the immediate left and immediate right, we evaluate the sign of the second derivative, and if necessary, higher derivatives, ''at'' the point. || Similar to second derivative test, details need to be filled in | ||

+ | |- | ||

+ | | [[one-sided derivative test]] || Instead of evaluating signs of derivatives on the immediate left and immediate right of the point, we evaluate the signs of the one-sided derivatives ''at'' the point. || [[first derivative test and one-sided derivative test are incomparable]] | ||

+ | |} | ||

+ | |||

+ | ===Similar tests for functions of multiple variables=== | ||

+ | |||

+ | * [[First derivative test for function of multiple variables]] | ||

+ | |||

+ | ==No requirement of differentiability at the point== | ||

+ | |||

+ | To apply the two-sided combined sign version of the first derivative test, we need ''continuity'' at the point and differentiability on the immediate left and immediate right of the point. However, we do not require differentiability ''at'' the point. | ||

+ | |||

+ | Thus, for instance, the first derivative test can be used to study the behavior of a function with a piecewise definition by interval, such that the function is changing definition at the point. Explicitly, it can be used to study functions of the form: | ||

+ | |||

+ | <math>f(x) := \lbrace \begin{array}{rl} f_1(x), & x < c \\ f_2(x), & c < x \\ v, & x = c \\\end{array}</math> | ||

− | + | Assume that <math>f</math> is continuous at <math>c</math>, i.e., <math>\lim_{x \to c^-} f_1(x) = \lim_{x \to c^+} f_2(x) = v</math>. In that case, we can try to determine whether <math>c</math> is a point of local maximum, minimum, or neither by studying the sign of <math>f_1'</math> to the immediate left of <math>c</math> and the sign of <math>f_2'</math> to the immediate right of <math>c</math>. It is not necessary that <math>f</math> be differentiable at <math>c</math> (for more on how to differentiate piecewise functions, see [[differentiation rule for piecewise definition by interval]]). | |

− | + | In particular, we ''may'' be able to apply the first derivative test in these two types of situations: | |

− | + | {| class="sortable" border="1" | |

− | + | ! Case !! Examples where the first derivative test works !! Pictures | |

+ | |- | ||

+ | | <math>f</math> has one-sided derivatives at <math>c</math>, but these are not equal to each other || <math>f(x) := |x|</math> and <math>c = 0</math> (get local minimum) <br><math>f(x) := \left\lbrace \begin{array}{rl} x, & x < 0 \\x^2, & x \ge 0 \\\end{array}\right.</math>, <math>c = 0</math> (get neither, as the function increases through the point) || [[File:Absolutevalue.png|100px]] | ||

+ | |- | ||

+ | | <math>f</math> does not have well defined one-sided derivatives at <math>c</math>, but the derivative is defined on the immediate left and immediate right || <math>f(x) := x^{2/3}</math>, <math>c = 0</math> (get local minimum)<br><math>f(x) := x^{1/3}</math>, <math>c = 0</math> (get neither, as the function increases through the point) || [[File:Twothirdspower.png|100px]][[File:Onethirdpower.png|100px]] | ||

+ | |} | ||

− | = | + | <center>{{#widget:YouTube|id=6PJplELQB1g}}</center> |

− | == | + | ==Inconclusive and conclusive cases== |

− | === | + | ===Inconclusive cases=== |

+ | |||

+ | Note that we consider the first derivative test to be conclusive if we can definitely conclude whether we have a local maximum, local minimum, or neither. In particular, the first derivative test is conclusive for a function that's continuous at the point, differentiable on the immediate left and immediate right of the point, and whose derivative takes constant sign (possibly allowing zero values) on the immediate left and constant sign (possibly allowing zero values) on the immediate right. | ||

The following problems could occur when applying this test: | The following problems could occur when applying this test: | ||

− | + | {| class="sortable" border="1" | |

− | + | ! What problem do we run into? !! What kind of trouble can we have? !! Link to example !! Remedy that may work !! Picture | |

+ | |- | ||

+ | | The function is not continuous at the critical point || We may be able to do sign analysis of the derivative on the immediate left and immediate right, but draw incorrect conclusions by applying the one-sided or combined sign version of the first derivative test. A priori, all the possibilities (local maximum, local minimum, neither) remain open. || [[first derivative test fails for function that is discontinuous at the critical point]] || If the function has one-sided limits at the critical point: [[variation of first derivative test for discontinuous function with one-sided limits]] || | ||

+ | |- | ||

+ | | The function is not differentiable at points on the immediate left and/or immediate right of the point || We will not be able to make a meaningful statement about the sign of the derivative on the immediate left and/or immediate right. Thus, it will not be possible to apply the first derivative test. All the possibilities (local maximum, local minimum, neither) remain open. || [[first derivative test fails for function that is not differentiable near critical point]] || Not directly. We have to use other methods. || | ||

+ | |- | ||

+ | | The derivative of the function has oscillatory (ambiguous) sign on the immediate left and/or immediate right of the point || We cannot do sign analysis on the derivative on the immediate left and/or immediate right. Thus, it will not be possible to apply the first derivative test. All the possibilities (local maximum, local minimum, neither) remain open. || [[First derivative test is inconclusive for function whose derivative has ambiguous sign around the point]] || || [[File:Firstderivativetestfails.png|200px]] | ||

+ | |} | ||

+ | |||

+ | <center>{{#widget:YouTube|id=h-pgA5s_CEY}}</center> | ||

− | + | ===Conclusive cases=== | |

− | [[ | + | * [[First derivative test is conclusive for differentiable function at isolated critical point]]: If <math>f</math> is continuous at <math>c</math> and differentiable on the immediate left and immediate right of a [[critical point]] <math>c</math>, ''and'' <math>c</math> is an isolated critical point (i.e., there is an open interval containing it that contains no other critical points), then the first derivative test must be conclusive at <math>c</math>. In other words, we can use the first derivative test to definitively determine whether <math>c</math> is a point of local maximum, local minimum, or neither, for <math>f</math>. |

+ | * [[First derivative test is conclusive for function with algebraic derivative]]: This includes polynomials and rational functions. | ||

+ | * [[First derivative test is conclusive for locally analytic function]] |

## Latest revision as of 21:14, 7 March 2013

This article describes a test that can be used to determine whether a point in the domain of a function gives a point of local, endpoint, or absolute (global) maximum or minimum of the function, and/or to narrow down the possibilities for points where such maxima or minima occur.

View a complete list of such tests

## Contents

## Statement

### What the test is for

The **first derivative test** is a partial (i.e., not always conclusive) test used to determine whether a particular critical point in the domain of a function is a point where the function attains a local maximum value, local minimum value, or neither. There are cases where the test is *inconclusive*, which means that we cannot draw any conclusion.

The one-sided version of this test is also used to determine whether an endpoint of the domain of a function gives an endpoint extremum, and if so, whether it is an endpoint maximum or endpoint minimum.

### What the test says: one-sided sign versions

Suppose is a function defined at a point .

Then, we have the following:

### What the test says: combined sign versions

Suppose is a function defined around a point (i.e., is defined in an open interval containing ) and is continuous at . We do not care whether is differentiable at ; however, the test makes sense only if is differentiable on the immediate left and immediate right of .

Then, we have the following (we list only the *strict* cases in the table below):

If we replace *positive* by *nonnegative* and *negative* by *nonpositive* in the rows corresponding to strict local maximum and strict local minimum, we could potentially lose the *strictness*.

Note that if has ambiguous sign on the immediate left or on the immediate right of , the first derivative test is inconclusive.

### Relation with critical points

The typical goal of the first derivative test is to determine whether a critical point is a point of local maximum or minimum. Hence, the test is typically applied to critical points. *However, when applying the first derivative test, we do not need to check whether the point in question is a critical point. In other words, if the condition for being a point of local maximum or minimum is satisfied, then the point in question is automatically a critical point and this condition need not be checked separately.*

### Short version

At a critical point in the interior of the domain of a function where the function is continuous:

- If the derivative of the function changes sign from positive (on the immediate left) to negative (on the immediate right), then the point is a point of strict local maximum.
- If the derivative of the function changes sign from negative (on the immediate left) to positive (on the immediate right), then the point is a point of strict local minimum.
- In general, if the derivative changes sign as we move from the immediate left of the point to the immediate right of the point, then there is a local extremum at the point. If the derivative has the same sign on the immediate left and immediate right, we
*do not*get a local extremum at the point.

## Facts used

- Positive derivative implies increasing
- Increasing on open interval and continuous at endpoint implies increasing up to and including endpoint

## Proof

### Example proof of one-sided version: positive derivative on left

All the one-sided versions have analogous proofs, so we provide a proof only for one of them.

**Given**: A function and a point in the domain. is left continuous *at* and differentiable on the immediate left of . Further, on the immediate left of . Explicitly, there exists such that for .

**To prove**: has a strict local maximum from the left at . More explicitly, we have for .

**Proof**:

Step no. | Assertion/construction | Facts used | Given data used | Previous steps used | Explanation |
---|---|---|---|---|---|

1 | is increasing on the immediate left of , i.e., is increasing on the interval . | Fact (1) | for | given-fact direct | |

2 | is increasing from the left up to and including , i.e., is increasing on . | Fact (2) | is left continuous at | Step (1) | step-given-fact direct |

3 | for | Step (2) | Follows directly from Step (2). |

**Alternate version of proof**: Instead of using Facts (1) and (2) in separate steps, we can use the version of Fact (1) for the one-sided closed interval , using continuity at and the positive sign of the derivative both together. Conceptually, this is the same proof, but the presentation differs somewhat.

### Example proof of combined sign version: strict local maximum

We give the proof for the strict local maximum case. Other cases are analogous.

**Given**: A function and a point in the domain. is continuous *at* and differentiable on the immediate left and immediate right of . Further, on the immediate left of and on the immediate right of .

**To prove**: has a two-sided strict local maximum at , i.e., for on the immediate left or the immediate right of .

**Proof**:

Step no. | Assertion/construction | Facts used | Given data used | Previous steps used | Explanation |
---|---|---|---|---|---|

1 | has a strict local maximum from the left at | one-sided version for strict local max from the left | is continuous at and on the immediate left of | Since is continuous at , it is in particular left continuous at . Combining this with (on the immediate left) and the one-sided sign version of the first derivative test, we obtain the result.
| |

2 | has a strict local maximum from the right at | one-sided version for strict local max from the right | is continuous at and on the immediate right of | Since is continuous at , it is in particular right continuous at . Combining this with (on the right of ) and the one-sided sign version of the first derivative test, we obtain the result.
| |

3 | has a two-sided strict local maximum at | Steps (1), (2) | Step-combination direct |

## Relation with other tests

### Other tests to determine whether critical points give local extreme values

Test | Quick description of how it differs from the first derivative test | Relation with first derivative test |
---|---|---|

second derivative test | Instead of evaluating the sign of the first derivative on the immediate left and immediate right, we evaluate the sign of the second derivative at the point. |
second derivative test operates via first derivative test (so in any situation where the second derivative test is applicable and conclusive, so is the first derivative test) second derivative test is not stronger than first derivative test: There are situations where the second derivative test does not apply, or is inconclusive, but the first derivative test is conclusive. |

higher derivative tests | Instead of evaluating the sign of the first derivative on the immediate left and immediate right, we evaluate the sign of the second derivative, and if necessary, higher derivatives, at the point. |
Similar to second derivative test, details need to be filled in |

one-sided derivative test | Instead of evaluating signs of derivatives on the immediate left and immediate right of the point, we evaluate the signs of the one-sided derivatives at the point. |
first derivative test and one-sided derivative test are incomparable |

### Similar tests for functions of multiple variables

## No requirement of differentiability at the point

To apply the two-sided combined sign version of the first derivative test, we need *continuity* at the point and differentiability on the immediate left and immediate right of the point. However, we do not require differentiability *at* the point.

Thus, for instance, the first derivative test can be used to study the behavior of a function with a piecewise definition by interval, such that the function is changing definition at the point. Explicitly, it can be used to study functions of the form:

Assume that is continuous at , i.e., . In that case, we can try to determine whether is a point of local maximum, minimum, or neither by studying the sign of to the immediate left of and the sign of to the immediate right of . It is not necessary that be differentiable at (for more on how to differentiate piecewise functions, see differentiation rule for piecewise definition by interval).

In particular, we *may* be able to apply the first derivative test in these two types of situations:

## Inconclusive and conclusive cases

### Inconclusive cases

Note that we consider the first derivative test to be conclusive if we can definitely conclude whether we have a local maximum, local minimum, or neither. In particular, the first derivative test is conclusive for a function that's continuous at the point, differentiable on the immediate left and immediate right of the point, and whose derivative takes constant sign (possibly allowing zero values) on the immediate left and constant sign (possibly allowing zero values) on the immediate right.

The following problems could occur when applying this test:

What problem do we run into? | What kind of trouble can we have? | Link to example | Remedy that may work | Picture |
---|---|---|---|---|

The function is not continuous at the critical point | We may be able to do sign analysis of the derivative on the immediate left and immediate right, but draw incorrect conclusions by applying the one-sided or combined sign version of the first derivative test. A priori, all the possibilities (local maximum, local minimum, neither) remain open. | first derivative test fails for function that is discontinuous at the critical point | If the function has one-sided limits at the critical point: variation of first derivative test for discontinuous function with one-sided limits | |

The function is not differentiable at points on the immediate left and/or immediate right of the point | We will not be able to make a meaningful statement about the sign of the derivative on the immediate left and/or immediate right. Thus, it will not be possible to apply the first derivative test. All the possibilities (local maximum, local minimum, neither) remain open. | first derivative test fails for function that is not differentiable near critical point | Not directly. We have to use other methods. | |

The derivative of the function has oscillatory (ambiguous) sign on the immediate left and/or immediate right of the point | We cannot do sign analysis on the derivative on the immediate left and/or immediate right. Thus, it will not be possible to apply the first derivative test. All the possibilities (local maximum, local minimum, neither) remain open. | First derivative test is inconclusive for function whose derivative has ambiguous sign around the point |

### Conclusive cases

- First derivative test is conclusive for differentiable function at isolated critical point: If is continuous at and differentiable on the immediate left and immediate right of a critical point ,
*and*is an isolated critical point (i.e., there is an open interval containing it that contains no other critical points), then the first derivative test must be conclusive at . In other words, we can use the first derivative test to definitively determine whether is a point of local maximum, local minimum, or neither, for . - First derivative test is conclusive for function with algebraic derivative: This includes polynomials and rational functions.
- First derivative test is conclusive for locally analytic function