Last updated
Tangent to a curve. The red line is tangential to the curve at the point marked by a red dot. Tangent to a curve.svg
Tangent to a curve. The red line is tangential to the curve at the point marked by a red dot.
Tangent plane to a sphere Image Tangent-plane.svg
Tangent plane to a sphere

In geometry, the tangent line (or simply tangent) to a plane curve at a given point is the straight line that "just touches" the curve at that point. Leibniz defined it as the line through a pair of infinitely close points on the curve. [1] More precisely, a straight line is said to be a tangent of a curve y = f (x) at a point x = c on the curve if the line passes through the point (c, f (c)) on the curve and has slope f'(c) where f' is the derivative of f. A similar definition applies to space curves and curves in n-dimensional Euclidean space.

Geometry branch of mathematics that measures the shape, size and position of objects

Geometry is a branch of mathematics concerned with questions of shape, size, relative position of figures, and the properties of space. A mathematician who works in the field of geometry is called a geometer.

Curve object similar to a line but which is not required to be straight

In mathematics, a curve is, generally speaking, an object similar to a line but that need not be straight. Thus, a curve is a generalization of a line, in that its curvature need not be zero.

Point (geometry) fundamental object of geometry: locus within which we can distinguish no other locus than itself

In modern mathematics, a point refers usually to an element of some set called a space.


As it passes through the point where the tangent line and the curve meet, called the point of tangency, the tangent line is "going in the same direction" as the curve, and is thus the best straight-line approximation to the curve at that point.

Similarly, the tangent plane to a surface at a given point is the plane that "just touches" the surface at that point. The concept of a tangent is one of the most fundamental notions in differential geometry and has been extensively generalized; see Tangent space.

Surface (topology) two-dimensional manifold, and, as such, may be an "abstract surface" not embedded in any Euclidean space

In topology, a surface is a two-dimensional manifold. Some surfaces arise as the boundaries of three-dimensional solids; for example, the sphere is the boundary of the solid ball. Other surfaces arise as graphs of functions of two variables; see the figure at right. However, surfaces can also be defined abstractly, without reference to any ambient space. For example, the Klein bottle is a surface that cannot be embedded in three-dimensional Euclidean space.

Differential geometry branch of mathematics

Differential geometry is a mathematical discipline that uses the techniques of differential calculus, integral calculus, linear algebra and multilinear algebra to study problems in geometry. The theory of plane and space curves and surfaces in the three-dimensional Euclidean space formed the basis for development of differential geometry during the 18th century and the 19th century.

In mathematics, the tangent space of a manifold facilitates the generalization of vectors from affine spaces to general manifolds, since in the latter case one cannot simply subtract two points to obtain a vector that gives the displacement of the one point from the other.

The word "tangent" comes from the Latin tangere , 'to touch'.

Latin Indo-European language of the Italic family

Latin is a classical language belonging to the Italic branch of the Indo-European languages. The Latin alphabet is derived from the Etruscan and Greek alphabets, and ultimately from the Phoenician alphabet.


Euclid makes several references to the tangent (ἐφαπτομένηephaptoménē) to a circle in book III of the Elements (c. 300 BC). [2] In Apollonius work Conics (c. 225 BC) he defines a tangent as being a line such that no other straight line could fall between it and the curve. [3]

Euclid Greek mathematician, inventor of axiomatic geometry

Euclid, sometimes given the name Euclid of Alexandria to distinguish him from Euclides of Megara, was a Greek mathematician, often referred to as the "founder of geometry" or the "father of geometry". He was active in Alexandria during the reign of Ptolemy I. His Elements is one of the most influential works in the history of mathematics, serving as the main textbook for teaching mathematics from the time of its publication until the late 19th or early 20th century. In the Elements, Euclid deduced the theorems of what is now called Euclidean geometry from a small set of axioms. Euclid also wrote works on perspective, conic sections, spherical geometry, number theory, and rigor.

Euclids <i>Elements</i> mathematical treatise by Euclid

The Elements is a mathematical treatise consisting of 13 books attributed to the ancient Greek mathematician Euclid in Alexandria, Ptolemaic Egypt c. 300 BC. It is a collection of definitions, postulates, propositions, and mathematical proofs of the propositions. The books cover plane and solid Euclidean geometry, elementary number theory, and incommensurable lines. Elements is the oldest extant large-scale deductive treatment of mathematics. It has proven instrumental in the development of logic and modern science, and its logical rigor was not surpassed until the 19th century.

Apollonius of Perga Ancient Greek geometer and astronomer noted for his writings on conic sections

Apollonius of Perga was a Greek geometer and astronomer known for his theories on the topic of conic sections. Beginning from the theories of Euclid and Archimedes on the topic, he brought them to the state they were in just before the invention of analytic geometry. His definitions of the terms ellipse, parabola, and hyperbola are the ones in use today.

Archimedes (c.  287 – c.  212 BC) found the tangent to an Archimedean spiral by considering the path of a point moving along the curve. [3]

Archimedes Greek mathematician, physicist, engineer, inventor, and astronomer

Archimedes of Syracuse was a Greek mathematician, physicist, engineer, inventor, and astronomer. Although few details of his life are known, he is regarded as one of the leading scientists in classical antiquity. Generally considered the greatest mathematician of antiquity and one of the greatest of all time, Archimedes anticipated modern calculus and analysis by applying concepts of infinitesimals and the method of exhaustion to derive and rigorously prove a range of geometrical theorems, including the area of a circle, the surface area and volume of a sphere, and the area under a parabola.

Archimedean spiral type of spiral

The Archimedean spiral is a spiral named after the 3rd-century BC Greek mathematician Archimedes. It is the locus of points corresponding to the locations over time of a point moving away from a fixed point with a constant speed along a line that rotates with constant angular velocity. Equivalently, in polar coordinates it can be described by the equation

In the 1630s Fermat developed the technique of adequality to calculate tangents and other problems in analysis and used this to calculate tangents to the parabola. The technique of adeqality is similar to taking the difference between and and dividing by a power of . Independently Descartes used his method of normals based on the observation that the radius of a circle is always normal to the circle itself. [4]

Adequality is a technique developed by Pierre de Fermat in his treatise Methodus ad disquirendam maximam et minimam to calculate maxima and minima of functions, tangents to curves, area, center of mass, least action, and other problems in calculus. According to André Weil, Fermat "introduces the technical term adaequalitas, adaequare, etc., which he says he has borrowed from Diophantus. As Diophantus V.11 shows, it means an approximate equality, and this is indeed how Fermat explains the word in one of his later writings.". Diophantus coined the word παρισότης (parisotēs) to refer to an approximate equality. Claude Gaspard Bachet de Méziriac translated Diophantus's Greek word into Latin as adaequalitas. Paul Tannery's French translation of Fermat’s Latin treatises on maxima and minima used the words adéquation and adégaler.

In calculus, the method of normals was a technique invented by Descartes for finding normal and tangent lines to curves. It represented one of the earliest methods for constructing tangents to curves. The method hinges on the observation that the radius of a circle is always normal to the circle itself. With this in mind Descartes would construct a circle that was tangent to a given curve. He could then use the radius at the point of intersection to find the slope of a normal line, and from this one can easily find the slope of a tangent line.

These methods led to the development of differential calculus in the 17th century. Many people contributed. Roberval discovered a general method of drawing tangents, by considering a curve as described by a moving point whose motion is the resultant of several simpler motions. [5] René-François de Sluse and Johannes Hudde found algebraic algorithms for finding tangents. [6] Further developments included those of John Wallis and Isaac Barrow, leading to the theory of Isaac Newton and Gottfried Leibniz.

An 1828 definition of a tangent was "a right line which touches a curve, but which when produced, does not cut it". [7] This old definition prevents inflection points from having any tangent. It has been dismissed and the modern definitions are equivalent to those of Leibniz who defined the tangent line as the line through a pair of infinitely close points on the curve.

Tangent line to a curve

A tangent, a chord, and a secant to a circle CIRCLE LINES.svg
A tangent, a chord, and a secant to a circle

The intuitive notion that a tangent line "touches" a curve can be made more explicit by considering the sequence of straight lines (secant lines) passing through two points, A and B, those that lie on the function curve. The tangent at A is the limit when point B approximates or tends to A. The existence and uniqueness of the tangent line depends on a certain type of mathematical smoothness, known as "differentiability." For example, if two circular arcs meet at a sharp point (a vertex) then there is no uniquely defined tangent at the vertex because the limit of the progression of secant lines depends on the direction in which "point B" approaches the vertex.

At most points, the tangent touches the curve without crossing it (though it may, when continued, cross the curve at other places away from the point of tangent). A point where the tangent (at this point) crosses the curve is called an inflection point . Circles, parabolas, hyperbolas and ellipses do not have any inflection point, but more complicated curves do have, like the graph of a cubic function, which has exactly one inflection point, or a sinusoid, which has two inflection points per each period of the sine.

Conversely, it may happen that the curve lies entirely on one side of a straight line passing through a point on it, and yet this straight line is not a tangent line. This is the case, for example, for a line passing through the vertex of a triangle and not intersecting it otherwise—where the tangent line does not exist for the reasons explained above. In convex geometry, such lines are called supporting lines.

At each point, the moving line is always tangent to the curve. Its slope is the derivative; green marks positive derivative, red marks negative derivative and black marks zero derivative. The point (x,y) = (0,1) where the tangent intersects the curve, is not a max, or a min, but is a point of inflection. Graph of sliding derivative line.gif
At each point, the moving line is always tangent to the curve. Its slope is the derivative; green marks positive derivative, red marks negative derivative and black marks zero derivative. The point (x,y) = (0,1) where the tangent intersects the curve, is not a max, or a min, but is a point of inflection.

Analytical approach

The geometrical idea of the tangent line as the limit of secant lines serves as the motivation for analytical methods that are used to find tangent lines explicitly. The question of finding the tangent line to a graph, or the tangent line problem, was one of the central questions leading to the development of calculus in the 17th century. In the second book of his Geometry , René Descartes [8] said of the problem of constructing the tangent to a curve, "And I dare say that this is not only the most useful and most general problem in geometry that I know, but even that I have ever desired to know". [9]

Intuitive description

Suppose that a curve is given as the graph of a function, y = f(x). To find the tangent line at the point p = (a, f(a)), consider another nearby point q = (a + h, f(a + h)) on the curve. The slope of the secant line passing through p and q is equal to the difference quotient

As the point q approaches p, which corresponds to making h smaller and smaller, the difference quotient should approach a certain limiting value k, which is the slope of the tangent line at the point p. If k is known, the equation of the tangent line can be found in the point-slope form:

More rigorous description

To make the preceding reasoning rigorous, one has to explain what is meant by the difference quotient approaching a certain limiting value k. The precise mathematical formulation was given by Cauchy in the 19th century and is based on the notion of limit. Suppose that the graph does not have a break or a sharp edge at p and it is neither plumb nor too wiggly near p. Then there is a unique value of k such that, as h approaches 0, the difference quotient gets closer and closer to k, and the distance between them becomes negligible compared with the size of h, if h is small enough. This leads to the definition of the slope of the tangent line to the graph as the limit of the difference quotients for the function f. This limit is the derivative of the function f at x = a, denoted f ′(a). Using derivatives, the equation of the tangent line can be stated as follows:

Calculus provides rules for computing the derivatives of functions that are given by formulas, such as the power function, trigonometric functions, exponential function, logarithm, and their various combinations. Thus, equations of the tangents to graphs of all these functions, as well as many others, can be found by the methods of calculus.

How the method can fail

Calculus also demonstrates that there are functions and points on their graphs for which the limit determining the slope of the tangent line does not exist. For these points the function f is non-differentiable. There are two possible reasons for the method of finding the tangents based on the limits and derivatives to fail: either the geometric tangent exists, but it is a vertical line, which cannot be given in the point-slope form since it does not have a slope, or the graph exhibits one of three behaviors that precludes a geometric tangent.

The graph y = x1/3 illustrates the first possibility: here the difference quotient at a = 0 is equal to h1/3/h = h−2/3, which becomes very large as h approaches 0. This curve has a tangent line at the origin that is vertical.

The graph y = x2/3 illustrates another possibility: this graph has a cusp at the origin. This means that, when h approaches 0, the difference quotient at a = 0 approaches plus or minus infinity depending on the sign of x. Thus both branches of the curve are near to the half vertical line for which y=0, but none is near to the negative part of this line. Basically, there is no tangent at the origin in this case, but in some context one may consider this line as a tangent, and even, in algebraic geometry, as a double tangent.

The graph y = |x| of the absolute value function consists of two straight lines with different slopes joined at the origin. As a point q approaches the origin from the right, the secant line always has slope 1. As a point q approaches the origin from the left, the secant line always has slope −1. Therefore, there is no unique tangent to the graph at the origin. Having two different (but finite) slopes is called a corner.

Finally, since differentiability implies continuity, the contrapositive states discontinuity implies non-differentiability. Any such jump or point discontinuity will have no tangent line. This includes cases where one slope approaches positive infinity while the other approaches negative infinity, leading to an infinite jump discontinuity


When the curve is given by y = f(x) then the slope of the tangent is so by the point–slope formula the equation of the tangent line at (X, Y) is

where (x, y) are the coordinates of any point on the tangent line, and where the derivative is evaluated at . [10]

When the curve is given by y = f(x), the tangent line's equation can also be found [11] by using polynomial division to divide by ; if the remainder is denoted by , then the equation of the tangent line is given by

When the equation of the curve is given in the form f(x, y) = 0 then the value of the slope can be found by implicit differentiation, giving

The equation of the tangent line at a point (X,Y) such that f(X,Y) = 0 is then [10]

This equation remains true if but (in this case the slope of the tangent is infinite). If the tangent line is not defined and the point (X,Y) is said singular.

For algebraic curves, computations may be simplified somewhat by converting to homogeneous coordinates. Specifically, let the homogeneous equation of the curve be g(x, y, z) = 0 where g is a homogeneous function of degree n. Then, if (X, Y, Z) lies on the curve, Euler's theorem implies

It follows that the homogeneous equation of the tangent line is

The equation of the tangent line in Cartesian coordinates can be found by setting z=1 in this equation. [12]

To apply this to algebraic curves, write f(x, y) as

where each ur is the sum of all terms of degree r. The homogeneous equation of the curve is then

Applying the equation above and setting z=1 produces

as the equation of the tangent line. [13] The equation in this form is often simpler to use in practice since no further simplification is needed after it is applied. [12]

If the curve is given parametrically by

then the slope of the tangent is

giving the equation for the tangent line at as [14]

If the tangent line is not defined. However, it may occur that the tangent line exists and may be computed from an implicit equation of the curve.

Normal line to a curve

The line perpendicular to the tangent line to a curve at the point of tangency is called the normal line to the curve at that point. The slopes of perpendicular lines have product −1, so if the equation of the curve is y = f(x) then slope of the normal line is

and it follows that the equation of the normal line at (X, Y) is

Similarly, if the equation of the curve has the form f(x, y) = 0 then the equation of the normal line is given by [15]

If the curve is given parametrically by

then the equation of the normal line is [14]

Angle between curves

The angle between two curves at a point where they intersect is defined as the angle between their tangent lines at that point. More specifically, two curves are said to be tangent at a point if they have the same tangent at a point, and orthogonal if their tangent lines are orthogonal. [16]

Multiple tangents at a point

The limacon trisectrix: a curve with two tangents at the origin. LimaconTrisectrix.svg
The limaçon trisectrix: a curve with two tangents at the origin.

The formulas above fail when the point is a singular point. In this case there may be two or more branches of the curve that pass through the point, each branch having its own tangent line. When the point is the origin, the equations of these lines can be found for algebraic curves by factoring the equation formed by eliminating all but the lowest degree terms from the original equation. Since any point can be made the origin by a change of variables, this gives a method for finding the tangent lines at any singular point.

For example, the equation of the limaçon trisectrix shown to the right is

Expanding this and eliminating all but terms of degree 2 gives

which, when factored, becomes

So these are the equations of the two tangent lines through the origin. [17]

When the curve is not self-crossing, the tangent at a reference point may still not be uniquely defined because the curve is not differentiable at that point although it is differentiable elsewhere. In this case the left and right derivatives are defined as the limits of the derivative as the point at which it is evaluated approaches the reference point from respectively the left (lower values) or the right (higher values). For example, the curve y = |x | is not differentiable at x = 0: its left and right derivatives have respective slopes –1 and 1; the tangents at that point with those slopes are called the left and right tangents. [18]

Sometimes the slopes of the left and right tangent lines are equal, so the tangent lines coincide. This is true, for example, for the curve y = x2/3, for which both the left and right derivatives at x = 0 are infinite; both the left and right tangent lines have equation x = 0.

Tangent circles

Two pairs of tangent circles. Above internally and below externally tangent Tangent circles.svg
Two pairs of tangent circles. Above internally and below externally tangent

Two circles of non-equal radius, both in the same plane, are said to be tangent to each other if they meet at only one point. Equivalently, two circles, with radii of ri and centers at (xi, yi), for i = 1, 2 are said to be tangent to each other if

Surfaces and higher-dimensional manifolds

The tangent plane to a surface at a given point p is defined in an analogous way to the tangent line in the case of curves. It is the best approximation of the surface by a plane at p, and can be obtained as the limiting position of the planes passing through 3 distinct points on the surface close to p as these points converge to p. More generally, there is a k-dimensional tangent space at each point of a k-dimensional manifold in the n-dimensional Euclidean space.

See also

Related Research Articles

In calculus, the chain rule is a formula for computing the derivative of the composition of two or more functions. That is, if f and g are functions, then the chain rule expresses the derivative of their composition fg in terms of the derivatives of f and g and the product of functions as follows:

Derivative operation in calculus

The derivative of a function of a real variable measures the sensitivity to change of the function value with respect to a change in its argument. Derivatives are a fundamental tool of calculus. For example, the derivative of the position of a moving object with respect to time is the object's velocity: this measures how quickly the position of the object changes when time advances.

Mean value theorem theorem

In mathematics, the mean value theorem states, roughly, that for a given planar arc between two endpoints, there is at least one point at which the tangent to the arc is parallel to the secant through its endpoints.

Polar coordinate system two-dimensional coordinate system in which each point on a plane is determined by a distance from a reference point and an angle from a reference direction

In mathematics, the polar coordinate system is a two-dimensional coordinate system in which each point on a plane is determined by a distance from a reference point and an angle from a reference direction.

Slope In mathematics, the slope or gradient of a line describes its steepness, incline, or grade; number that describes both the direction and the steepness of the line

In mathematics, the slope or gradient of a line is a number that describes both the direction and the steepness of the line. Slope is often denoted by the letter m; there is no clear answer to the question why the letter m is used for slope, but it might be from the "m for multiple" in the equation of a straight line "y = mx + b" or "y = mx + c".

Inverse functions and differentiation

In mathematics, the inverse of a function is a function that, in some fashion, "undoes" the effect of . The inverse of is denoted . The statements y = f(x) and x = f −1(y) are equivalent.

In mathematics, Green's theorem gives the relationship between a line integral around a simple closed curve C and a double integral over the plane region D bounded by C. It is named after George Green, though its first proof is due to Bernhard Riemann and is the two-dimensional special case of the more general Kelvin–Stokes theorem.

In mathematics, an implicit equation is a relation of the form , where is a function of several variables. For example, the implicit equation of the unit circle is .

Legendre transformation

In mathematics and physics, the Legendre transformation, named after Adrien-Marie Legendre, is an involutive transformation on the real-valued convex functions of one real variable. It is commonly used in classical mechanics to derive the Hamiltonian formalism out of the Lagrangian formalism and in thermodynamics to derive the thermodynamic potentials, as well as in the solution of differential equations of several variables.

In economics, the marginal rate of substitution (MRS) is the rate at which a consumer can give up some amount of one good in exchange for another good while maintaining the same level of utility. At equilibrium consumption levels, marginal rates of substitution are identical.

Cardioid type of curve

A cardioid is a plane curve traced by a point on the perimeter of a circle that is rolling around a fixed circle of the same radius. It can also be defined as an epicycloid having a single cusp. It is also a type of sinusoidal spiral, and an inverse curve of the parabola with the focus as the center of inversion.

In mathematics, the method of characteristics is a technique for solving partial differential equations. Typically, it applies to first-order equations, although more generally the method of characteristics is valid for any hyperbolic partial differential equation. The method is to reduce a partial differential equation to a family of ordinary differential equations along which the solution can be integrated from some initial data given on a suitable hypersurface.

Envelope (mathematics) family of curves in geometry

In geometry, an envelope of a family of curves in the plane is a curve that is tangent to each member of the family at some point, and these points of tangency together form the whole envelope. Classically, a point on the envelope can be thought of as the intersection of two "infinitesimally adjacent" curves, meaning the limit of intersections of nearby curves. This idea can be generalized to an envelope of surfaces in space, and so on to higher dimensions.

In mathematical analysis, and applications in geometry, applied mathematics, engineering, and natural sciences, a function of a real variable is a function whose domain is the real numbers , or a subset of that contains an interval of positive length. Most real functions that are considered and studied are differentiable in some interval. The most widely considered such functions are the real functions, which are the real-valued functions of a real variable, that is, the functions of a real variable whose codomain is the set of real numbers.

Slope field

The solutions of a first-order differential equation of a scalar function y(x) can be drawn in a 2-dimensional space with the x in horizontal and y in vertical direction. Possible solutions are functions y(x) drawn as solid curves. Sometimes it is too cumbersome solving the differential equation analytically. Then one can still draw the tangents of the function curves e.g. on a regular grid. The tangents are touching the functions at the grid points. However, the direction field is rather agnostic about chaotic aspects of the differential equation.

Dual curve

In projective geometry, a dual curve of a given plane curve C is a curve in the dual projective plane consisting of the set of lines tangent to C. There is a map from a curve to its dual, sending each point to the point dual to its tangent line. If C is algebraic then so is its dual and the degree of the dual is known as the class of the original curve. The equation of the dual of C, given in line coordinates, is known as the tangential equation of C.

The triple product rule, known variously as the cyclic chain rule, cyclic relation, cyclical rule or Euler's chain rule, is a formula which relates partial derivatives of three interdependent variables. The rule finds application in thermodynamics, where frequently three variables can be related by a function of the form f(x, y, z) = 0, so each variable is given as an implicit function of the other two variables. For example, an equation of state for a fluid relates temperature, pressure, and volume in this manner. The triple product rule for such interrelated variables x, y, and z comes from using a reciprocity relation on the result of the implicit function theorem and is given by

In differential calculus, there is no single uniform notation for differentiation. Instead, several different notations for the derivative of a function or variable have been proposed by different mathematicians. The usefulness of each notation varies with the context, and it is sometimes advantageous to use more than one notation in a given context. The most common notations for differentiation are listed below.

This is a summary of differentiation rules, that is, rules for computing the derivative of a function in calculus.

In the mathematical theory of partial differential equations (PDE), the Monge cone is a geometrical object associated with a first-order equation. It is named for Gaspard Monge. In two dimensions, let


  1. Leibniz, G., "Nova Methodus pro Maximis et Minimis", Acta Eruditorum , Oct. 1684.
  2. Euclid. "Euclid's Elements" . Retrieved 1 June 2015.
  3. 1 2 Shenk, Al. "e-CALCULUS Section 2.8" (PDF). p. 2.8. Retrieved 1 June 2015.
  4. Katz, Victor J. (2008). A History of Mathematics (3rd ed.). Addison Wesley. p. 510. ISBN   978-0321387004.
  5. Wolfson, Paul R. (2001). "The Crooked Made Straight: Roberval and Newton on Tangents". The American Mathematical Monthly. 108 (3): 206–216. doi:10.2307/2695381.
  6. Katz, Victor J. (2008). A History of Mathematics (3rd ed.). Addison Wesley. pp. 512–514. ISBN   978-0321387004.
  7. Noah Webster, American Dictionary of the English Language (New York: S. Converse, 1828), vol. 2, p. 733,
  8. Descartes, René (1954). The geometry of René Descartes. Courier Dover. p. 95. ISBN   0-486-60068-8.External link in |publisher= (help)
  9. R. E. Langer (October 1937). "Rene Descartes". American Mathematical Monthly . Mathematical Association of America. 44 (8): 495–512. doi:10.2307/2301226. JSTOR   2301226.
  10. 1 2 Edwards Art. 191
  11. Strickland-Constable, Charles, "A simple method for finding tangents to polynomial graphs", Mathematical Gazette , November 2005, 466–467.
  12. 1 2 Edwards Art. 192
  13. Edwards Art. 193
  14. 1 2 Edwards Art. 196
  15. Edwards Art. 194
  16. Edwards Art. 195
  17. Edwards Art. 197
  18. Thomas, George B. Jr., and Finney, Ross L. (1979), Calculus and Analytic Geometry, Addison Wesley Publ. Co.: p. 140.
  19. Circles For Leaving Certificate Honours Mathematics by Thomas O’Sullivan 1997