Namespaces
Variants
Actions

Difference between revisions of "Fermat theorem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
 
Line 1: Line 1:
A necessary condition for a local extremum of a real-valued function. Suppose that a real-valued function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038430/f0384301.png" /> is defined in a neighbourhood of a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038430/f0384302.png" /> and is differentiable at that point. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038430/f0384303.png" /> has a local extremum at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038430/f0384304.png" />, then its derivative at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038430/f0384305.png" /> is equal to zero: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038430/f0384306.png" />. Geometrically this means that the tangent to the graph of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038430/f0384307.png" /> at the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f038/f038430/f0384308.png" /> is horizontal. A condition equivalent to this for extrema of polynomials was first obtained by P. Fermat in 1629, but it was not published until 1679.
+
{{TEX|done}}
 +
A necessary condition for a local extremum of a real-valued function. Suppose that a real-valued function $f$ is defined in a neighbourhood of a point $x_0\in\mathbf R$ and is differentiable at that point. If $f$ has a local extremum at $x_0$, then its derivative at $x_0$ is equal to zero: $f'(x_0)=0$. Geometrically this means that the tangent to the graph of $f$ at the point $(x_0,f(x_0))$ is horizontal. A condition equivalent to this for extrema of polynomials was first obtained by P. Fermat in 1629, but it was not published until 1679.
  
  

Latest revision as of 13:01, 19 April 2014

A necessary condition for a local extremum of a real-valued function. Suppose that a real-valued function $f$ is defined in a neighbourhood of a point $x_0\in\mathbf R$ and is differentiable at that point. If $f$ has a local extremum at $x_0$, then its derivative at $x_0$ is equal to zero: $f'(x_0)=0$. Geometrically this means that the tangent to the graph of $f$ at the point $(x_0,f(x_0))$ is horizontal. A condition equivalent to this for extrema of polynomials was first obtained by P. Fermat in 1629, but it was not published until 1679.


Comments

For Fermat's theorems in number theory see Fermat great theorem; Fermat little theorem.

How to Cite This Entry:
Fermat theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Fermat_theorem&oldid=31853
This article was adapted from an original article by L.D. Kudryavtsev (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article