Definition:Tangent/Analytic Geometry

From ProofWiki
Jump to navigation Jump to search

Definition

Let $f: \R \to \R$ be a real function.

Let the graph of $f$ be depicted on a Cartesian plane.


DerivativeOfCurve.png


Let $A = \left({x, f \left({x}\right)}\right)$ be a point on $G$.


The tangent to $f$ at $A$ is defined as:

$\displaystyle \lim_{h \mathop \to 0} \frac {f \left({x + h}\right) - f \left({x}\right)} h$


Thus tangent to $f$ at $x$ can be considered as the secant $AB$ to $G$ where:

$B = \left({x + h, f \left({x + h}\right)}\right)$

as $B$ gets closed and closer to $A$.

By taking $h$ smaller and smaller, the secant approaches more and more closely the tangent to $G$ at $A$.


Hence the tangent to $f$ is a straight line which intersects the graph of $f$ locally at a single point.


TangentToCurve.png


In the above diagram, the tangent is the straight line passing through $A$.


Historical Note

The definition of the tangent to a curve as the limit of a sequence of secants was made by Pierre de Fermat.

It first appeared in his Introduction to Plane and Solid Loci, but the idea most probably dates from considerably earlier.

This definition anticipates the invention of differential calculus.

In fact, Isaac Newton, in a letter that was discovered as late as $1934$, specifically states that it was the work of Fermat which inspired his own ideas about calculus.


Sources