## You are here

HomeFermat's theorem (stationary points)

## Primary tabs

# Fermat’s theorem (stationary points)

Let $f\colon(a,b)\to\mathbb{R}$ be a continuous function and suppose that $x_{0}\in(a,b)$ is a local extremum of $f$. If $f$ is differentiable in $x_{0}$ then $f^{{\prime}}(x_{0})=0$.

Moreover if $f$ has a local maximum at $a$ and $f$ is differentiable at $a$ (the right derivative exists) then $f^{{\prime}}(a)\leq 0$; if $f$ has a local minimum at $a$ then $f^{{\prime}}(a)\geq 0$. If $f$ is differentiable in $b$ and has a local maximum at $b$ then $f^{{\prime}}(b)\geq 0$ while if it has a local minimum at $b$ then $f^{{\prime}}(b)\leq 0$.

Related:

ProofOfLeastAndReatestValueOfFunction, LeastAndGreatestValueOfFunction

Type of Math Object:

Theorem

Major Section:

Reference

## Mathematics Subject Classification

26A06*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

Apr 22

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new question: Prove that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia