Asymptote: Difference between revisions
Content deleted Content added
m Various citation cleanup (identifiers mostly), replaced: {{MathSciNet | id = 0114163}} → {{MR|0114163}} (3), | id={{MR|0114163}} → | mr=0114163 (3) using AWB |
←Replaced content with '{{Other uses}}' Tag: blanking |
||
| Line 1: | Line 1: | ||
{{Other uses}} |
{{Other uses}} |
||
[[File:1-over-x-plus-x abs.svg|right|thumb|200px|The graph of a function with a horizontal, vertical, and oblique asymptote.]] |
|||
[[File:Asymptote02.png|right|thumb|200px|A curve intersecting an asymptote infinitely many times.]] |
|||
In [[analytic geometry]], an '''asymptote''' ({{IPAc-en|icon|ˈ|æ|s|ɪ|m|p|t|oʊ|t}}) of a [[curve]] is a line such that the distance between the curve and the line approaches zero as they tend to infinity. Some sources include the requirement that the curve may not cross the line infinitely often, but this is unusual for modern authors.<ref>[http://rowdy.mscd.edu/~talmanl/PDFs/APCalculus/OnAsymptotes.pdf "Asymptotes" by Louis A. Talman]</ref> In some contexts, such as [[algebraic geometry]], an asymptote is defined as a line which is [[tangent]] to a curve at infinity.<ref>{{citation|title=An elementary treatise on the differential calculus|chapter=Asymptotes|first=Benjamin|last=Williamson|url=http://books.google.com/?id=znsXAAAAYAAJ&pg=241|year=1899}}</ref><ref>{{citation|first=Jeffrey|last=Nunemacher|title=Asymptotes, Cubic Curves, and the Projective Plane|journal=Mathematics Magazine|volume=72|issue=3|year=1999|pages=183–192|jstor=2690881|doi=10.2307/2690881}}</ref> |
|||
The word asymptote is derived from the [[Greek language|Greek]] ''asymptotos'' which means "not falling together," from ἀ [[abessive case|priv.]] + σύν "together" + πτωτ-ός "fallen."<ref>''Oxford English Dictionary'', second edition, 1989.</ref> The term was introduced by [[Apollonius of Perga]] in his work on [[conic sections]], but in contrast to its modern meaning, he used it to mean any line that does not intersect the given curve.<ref>D.E. Smith, ''History of Mathematics, vol 2'' Dover (1958) p. 318</ref> |
|||
There are potentially three kinds of asymptotes: ''horizontal'', ''vertical'' and ''oblique'' asymptotes. For curves given by the graph of a function {{nowrap|1=''y'' = ''ƒ''(''x'')}}, horizontal asymptotes are horizontal lines that the graph of the function approaches as ''x'' tends to {{nowrap|+∞ or −∞.}} Vertical asymptotes are vertical lines near which the function grows without bound. |
|||
More generally, one curve is a ''curvilinear asymptote'' of another (as opposed to a ''linear asymptote'') if the distance between the two curves tends to zero as they tend to infinity, although usually the term ''asymptote'' by itself is reserved for linear asymptotes. |
|||
Asymptotes convey information about the behavior of curves ''in the large'', and determining the asymptotes of a function is an important step in sketching its graph.<ref>{{Citation | last1=Apostol | first1=Tom M. | author1-link=Tom M. Apostol | title=Calculus, Vol. 1: One-Variable Calculus with an Introduction to Linear Algebra | publisher=[[John Wiley & Sons]] | location=New York | edition=2nd | isbn=978-0-471-00005-1 | year=1967}}, §4.18.</ref> The study of asymptotes of functions, construed in a broad sense, forms a part of the subject of [[asymptotic analysis]]. |
|||
==A simple example== |
|||
[[File:Hyperbola one over x.svg|right|thumb|300px|<math>f(x)=\tfrac{1}{x}</math> graphed on [[Cartesian coordinates]]. The ''x'' and ''y''-axes are the asymptotes.]] |
|||
The idea that a curve may come arbitrarily close to a line without actually becoming the same may seem counter to everyday experience. The representations of a line and a curve as marks on a piece of paper or as pixels on a computer screen have a positive width. So if they were to be extended far enough they would seem to merge together, at least as far as the eye could discern. But these are physical representations of the corresponding mathematical entities; the line and the curve are idealized concepts whose width is 0 (see [[Line (geometry)|Line]]). Therefore the understanding of the idea of an asymptote requires an effort of reason rather than experience. |
|||
Consider the graph of the equation ''y''=1/''x'' shown to the right. The coordinates of the points on the curve are of the form (''x'', 1/''x'') where ''x'' is a number other than 0. For example, the graph contains the points (1, 1), (2, 0.5), (5, 0.2), (10, 0.1), ... As the values of ''x'' become larger and larger, say 100, 1000, 10,000 ..., putting them far to the right of the illustration, the corresponding values of ''y'', .01, .001, .0001, ..., become infinitesimal relative to the scale shown. But no matter how large ''x'' becomes, its reciprocal 1/''x'' is never 0, so the curve never actually touches the ''x''-axis. Similarly, as the values of ''x'' become smaller and smaller, say .01, .001, .0001, ..., making them infinitesimal relative to the scale shown, the corresponding values of ''y'', 100, 1000, 10,000 ..., become larger and larger. So the curve extends farther and farther upward as it comes closer and closer to the ''y''-axis. Thus, both the ''x'' and ''y''-axes are asymptotes of the curve. These ideas are part of the basis of concept of a [[Limit of a function|limit]] in mathematics, and this connection is explained more fully below.<ref>Reference for section: [http://books.google.com/books?id=HTwi2M37rQAC&pg=PA541 "Asymptote"] [[Penny Cyclopædia|''The Penny Cyclopædia'']] vol. 2, The Society for the Diffusion of Useful Knowledge (1841) Charles Knight and Co., London p. 541</ref> |
|||
==Asymptotes of functions== |
|||
The asymptotes most commonly encountered in the study of [[calculus]] are of curves of the form {{nowrap|1=''y'' = ''ƒ''(''x'')}}. These can be computed using [[limit (mathematics)|limits]] and classified into ''horizontal'', ''vertical'' and ''oblique'' asymptotes depending on its orientation. Horizontal asymptotes are horizontal lines that the graph of the function approaches as ''x'' tends to +∞ or −∞. As the name indicate they are parallel to the ''x''-axis. Vertical asymptotes are vertical lines (perpendicular to the ''x''-axis) near which the function grows without bound. Oblique asymptotes are diagonal lines so that the difference between the curve and the line approaches 0 as ''x'' tends to +∞ or −∞. More general type of asymptotes can be defined in this case. |
|||
===Vertical asymptotes=== |
|||
The line ''x'' = ''a'' is a ''vertical asymptote'' of the graph of the function {{nowrap|1=''y'' = ''ƒ''(''x'')}} <!-- Some confusion as to notation, commenting out for now |
|||
if : <math>\lim_{x \to a} f(x)=\infty,</math> or more generally, --> if at least one of the following statements is true: |
|||
# <math>\lim_{x \to a^{-}} f(x)=\pm\infty</math> |
|||
# <math>\lim_{x \to a^{+}} f(x)=\pm\infty.</math> |
|||
<!-- |
|||
For example, if ƒ(''x'') = ''x''/(''x''-1), the numerator approaches 1 and the denominator approaches 0 as ''x'' approaches 1. So |
|||
:<math>\lim_{x\to 1}\frac{x}{x-1}=\infty</math> |
|||
and the curve has a vertical asymptote of ''x''=1. --> |
|||
The function ''ƒ''(''x'') may or may not be defined at ''a'', and its precise value at the point ''x'' = ''a'' does not affect the asymptote. For example, for the function |
|||
:<math>f(x) = \begin{cases} \frac{1}{x} & \mbox{if } x > 0, \\ 5 & \mbox{if } x \le 0. \end{cases}</math> |
|||
has a limit of +∞ as {{nowrap|''x'' → 0<sup>+</sup>}}, ''ƒ''(''x'') has the vertical asymptote {{nowrap|1=''x'' = 0}}, even though ''ƒ''(0) = 5. The graph of this function does intersect the vertical asymptote once, at (0,5). It is impossible for the graph of a function to intersect a vertical asymptote (or a vertical line in general) in more than one point. |
|||
===Horizontal asymptotes=== |
|||
[[File:Asymptote03.png|right|frame|The graph of a function can have two horizontal asymptotes. An example of such a function would be <math>y=\arctan(x).</math>]] |
|||
''Horizontal asymptotes'' are horizontal lines that the graph of the function approaches as {{nowrap|''x'' → ±∞}}. The horizontal line ''y'' = ''c'' is a horizontal asymptote of the function ''y'' = ''ƒ''(''x'') if |
|||
:<math>\lim_{x\rightarrow -\infty}f(x)=c</math> or <math>\lim_{x \to +\infty} f(x) = c.</math> |
|||
In the first case, ''ƒ''(''x'') has ''y'' = ''c'' as asymptote when ''x'' tends to −∞, and in the second that ''ƒ''(''x'') has ''y'' = ''c'' as an asymptote as ''x'' tends to +∞ |
|||
For example the arctangent function satisfies |
|||
:<math>\lim_{x\rightarrow -\infty}\arctan(x)=-\pi/2</math> and <math>\lim_{x\rightarrow+\infty}\arctan(x)=\pi/2.</math> |
|||
So the line {{nowrap|1=''y'' = −π/2}} is a horizontal tangent for the arctangent when ''x'' tends to −∞, and {{nowrap|1=''y'' = π/2}} is a horizontal tangent for the arctangent when ''x'' tends to +∞. |
|||
Functions may lack horizontal asymptotes on either or both sides, or may have one horizontal asymptote that is the same in both directions. For example, the function {{nowrap|1=ƒ(''x'') = 1/(''x''<sup>2</sup>+1)}} has a horizontal asymptote at ''y'' = 0 when ''x'' tends both to −∞ and +∞ because, respectively, |
|||
:<math>\lim_{x\to -\infty}\frac{1}{x^2+1}=\lim_{x\to +\infty}\frac{1}{x^2+1}=0.</math> |
|||
===Oblique asymptotes=== |
|||
[[File:1-over-x-plus-x.svg|right|thumb|220px|In the graph of <math>f(x)=x+\tfrac{1}{x}</math>, the ''y''-axis (''x'' = 0) and the line ''y''= ''x'' are both asymptotes.]] |
|||
When a linear asymptote is not parallel to the ''x''- or ''y''-axis, it is called an ''oblique asymptote'' or ''slant asymptote''. A function ''f''(''x'') is asymptotic to the straight line {{nowrap|1=''y'' = ''mx'' + ''n''}} (''m'' ≠ 0) if |
|||
<math>\lim_{x \to +\infty}\left[ f(x)-(mx+n)\right] = 0 \, \mbox{ or } \lim_{x \to -\infty}\left[ f(x)-(mx+n)\right] = 0.</math> |
|||
In the first case the line {{nowrap|1=''y'' = ''mx'' + ''n''}} is an oblique asymptote of ''ƒ''(''x'') when ''x'' tends to +∞, and in the second case the line {{nowrap|1=''y'' = ''mx'' + ''n''}} is an oblique asymptote of ''ƒ(x)'' when ''x'' tends to −∞ |
|||
An example is ƒ(''x'') = ''x''−1/''x'', which has the oblique asymptote ''y'' = ''x'' (''m'' = 1, ''n'' = 0) as seen in the limits |
|||
:<math>\lim_{x\to\pm\infty}\left[f(x)-x\right]</math> |
|||
:<math>=\lim_{x\to\pm\infty}\left[\frac{x^2-1}{x}-x\right]</math> |
|||
:<math>=\lim_{x\to\pm\infty}\left[(x-\frac{1}{x})-x\right]</math> |
|||
:<math>=\lim_{x\to\pm\infty}-\frac{1}{x}=0.</math> |
|||
== Elementary methods for identifying asymptotes == |
|||
Asymptotes of many elementary functions can be found without the explicit use of limits (although the derivations of such methods typically use limits). |
|||
===General computation of oblique asymptotes for functions=== |
|||
The oblique asymptote, for the function ''f''(''x''), will be given by the equation ''y''=''mx''+''n''. The value for ''m'' is computed first and is given by |
|||
:<math>m\stackrel{\text{def}}{=}\lim_{x\rightarrow a}f(x)/x</math> |
|||
where ''a'' is either <math>-\infty</math> or <math>=\infty</math> depending on the case being studied. It is good practice to treat the two cases separately. If this limit doesn't exist then there is no oblique asymptote in that direction. |
|||
Having ''m'' then the value for ''n'' can be computed by |
|||
:<math>n\stackrel{\text{def}}{=}\lim_{x\rightarrow a}(f(x)-mx)</math> |
|||
where ''a'' should be the same value used before. If this limit fails to exist then there is no oblique asymptote in that direction, even should limit defining ''m'' exist. Otherwise {{nowrap|1=''y'' = ''mx'' + ''n''}} is the oblique asymptote of ''ƒ''(''x'') as ''x'' tends to ''a''. |
|||
For example, the function {{nowrap|1=''ƒ''(''x'') = (2''x''<sup>2</sup> + 3''x'' + 1)/''x''}} has |
|||
:<math>m=\lim_{x\rightarrow+\infty}f(x)/x=\lim_{x\rightarrow+\infty}\frac{2x^2+3x+1}{x^2}=2</math> and then |
|||
:<math>n=\lim_{x\rightarrow+\infty}(f(x)-mx)=\lim_{x\rightarrow+\infty}\left(\frac{2x^2+3x+1}{x}-2x\right)=3</math> |
|||
so that {{nowrap|1=''y'' = 2''x'' + 3}} is the asymptote of ''ƒ''(''x'') when ''x'' tends to +∞. The function {{nowrap|1=''ƒ''(''x'') = ln ''x''}} has |
|||
:<math>m=\lim_{x\rightarrow+\infty}f(x)/x=\lim_{x\rightarrow+\infty}\frac{\ln x}{x}=0</math> and then |
|||
:<math>n=\lim_{x\rightarrow+\infty}(f(x)-mx)=\lim_{x\rightarrow+\infty}\ln x</math>, which does not exist. |
|||
So {{nowrap|1=''y'' = ln ''x''}} does not have an asymptote when ''x'' tends to +∞. |
|||
=== Asymptotes for rational functions === |
|||
A [[rational function]] has at most one horizontal asymptote or oblique (slant) asymptote, and possibly many vertical asymptotes. |
|||
The [[Degree of a polynomial|degree]] of the numerator and degree of the denominator determine whether or not there are any horizontal or oblique asymptotes. The cases are tabulated below, where deg(numerator) is the degree of the numerator, and deg(denominator) is the degree of the denominator. |
|||
{| align=center class="wikitable" |
|||
|+ Table listing the cases of horizontal and oblique asymptotes for rational functions |
|||
|- |
|||
! deg(numerator) −<br/>deg(denominator) |
|||
! asymptotes |
|||
! example asymptote |
|||
|- |
|||
| < 0 |
|||
| ''y'' = 0 |
|||
| <math>\frac{1}{x^2+1}, y=0</math> |
|||
|- |
|||
| = 0 |
|||
| ''y'' = the ratio of leading coefficients |
|||
| <math>\frac{2x^2+7}{3x^2+x+12}, y=\frac{2}{3}</math> |
|||
|- |
|||
| = 1 |
|||
| ''y'' = the quotient, in the [[Polynomial long division|long division]] of the fraction |
|||
| <math>\frac{x^2+x+1}{x}, y=x+1</math> |
|||
|- |
|||
| > 1 |
|||
| none |
|||
| <math>\frac{2x^4}{3x^2+1}, \mbox{none}</math> |
|||
|} |
|||
The vertical asymptotes occur only when the denominator is zero (If both the numerator and denominator are zero, the multiplicities of the zero are compared). For example, the following function has vertical asymptotes at ''x'' = 0, and ''x'' = 1, but not at ''x'' = 2. |
|||
:<math>f(x)=\frac{x^2-5x+6}{x^3-3x^2+2x}=\frac{(x-2)(x-3)}{x(x-1)(x-2)}</math> |
|||
==== Oblique asymptotes of rational functions ==== |
|||
[[File:SlantAsymptoteError.svg|right|thumb|320px|Black: the graph of <math>f(x)=(x^2+x+1)/(x+1)</math>. Red: the asymptote <math>y=x</math>. Green: difference between the graph and its asymptote for <math>x=1,2,3,4,5,6</math>]] |
|||
When the numerator of a rational function has degree exactly one greater than the denominator, the function has an oblique (slant) asymptote. The asymptote is the polynomial term after [[Polynomial long division|dividing]] the numerator and denominator. This phenomenon occurs because when dividing the fraction, there will be a linear term, and a remainder. For example, consider the function |
|||
:<math>f(x)=\frac{x^2+x+1}{x+1}=x+\frac{1}{x+1}</math> |
|||
shown to the right. As the value of ''x'' increases, ''f'' approaches the asymptote ''y'' = ''x''. This is because the other term, ''y'' = 1/(''x''+1) becomes smaller. |
|||
If the degree of the numerator is more than 1 larger than the degree of the denominator, and the denominator does not divide the numerator, there will be a nonzero remainder that goes to zero as ''x'' increases, but the quotient will not be linear, and the function does not have an oblique asymptote. |
|||
=== Transformations of known functions === |
|||
If a known function has an asymptote (such as ''y''=0 for ''f''(x)=''e''<sup>''x''</sup>), then the translations of it also have an asymptote. |
|||
* If ''x''=''a'' is a vertical asymptote of ''f''(''x''), then ''x''=''a''+''h'' is a vertical asymptote of ''f''(''x''-''h'') |
|||
* If ''y''=''c'' is a horizontal asymptote of ''f''(''x''), then ''y''=''c''+''k'' is a horizontal asymptote of ''f''(''x'')+''k'' |
|||
If a known function has an asymptote, then the [[Homothetic transformation|scaling]] of the function also have an asymptote. |
|||
* If ''y''=''ax''+''b'' is an asymptote of ''f''(''x''), then ''y''=''cax''+''cb'' is an asymptote of ''cf''(''x'') |
|||
For example, ''f''(''x'')=''e''<sup>''x''-1</sup>+2 has horizontal asymptote ''y''=0+2=2, and no vertical or oblique asymptotes. |
|||
== General definition == |
|||
[[File:Graph of sect csct.svg|right|thumb|200px|(sec(t), cosec(t)), or x<sup>2</sup> + y<sup>2</sup> = (xy)<sup>2</sup>, with 2 horizontal and 2 vertical asymptotes.]] |
|||
Let {{nowrap|''A'' : (''a'',''b'') → '''R'''<sup>2</sup>}} be a [[parametric curve|parametric]] plane curve, in coordinates ''A''(''t'') = (''x''(''t''),''y''(''t'')). Suppose that the curve tends to infinity, that is: |
|||
:<math>\lim_{t\rightarrow b}(x^2(t)+y^2(t))=\infty.</math> |
|||
A line ℓ is an asymptote of ''A'' if the distance from the point ''A''(''t'') to ℓ tends to zero as ''t'' → ''b''.<ref>{{Citation | last1=Pogorelov | first1=A. V. | title=Differential geometry | publisher=P. Noordhoff N. V. | location=Groningen | series=Translated from the first Russian ed. by L. F. Boron | mr=0114163 | year=1959}}, §8.</ref> |
|||
For example, the upper right branch of the curve ''y'' = 1/''x'' can be defined parametrically as ''x'' = ''t'', ''y'' = 1/''t'' (where ''t''>0). First, ''x'' → ∞ as ''t'' → ∞ and the distance from the curve to the ''x''-axis is 1/''t'' which approaches 0 as ''t'' → ∞. Therefore the ''x''-axis is an asymptote of the curve. Also, ''y'' → ∞ as ''t'' → 0 from the right, and the distance between the curve and the ''y''-axis is ''t'' which approaches 0 as ''t'' → 0. So the ''y''-axis is also an asymptote. A similar argument shows that the lower left branch of the curve also has the same two lines as asymptotes. |
|||
Although the definition here uses a parameterization of the curve, the notion of asymptote does not depend on the parameterization. In fact, if the equation of the line is <math>ax+by+c=0</math> then the distance from the point ''A''(''t'') = (''x''(''t''),''y''(''t'')) to the line is given by |
|||
:<math>\frac{|ax(t)+by(t)+c|}{\sqrt{a^2+b^2}}</math> |
|||
if γ(''t'') is a change of parameterization then the distance becomes |
|||
:<math>\frac{|ax(\gamma(t))+by(\gamma(t))+c|}{\sqrt{a^2+b^2}}</math> |
|||
which tends to zero simultaneously as the previous expression. |
|||
An important case is when the curve is the [[Graph of a function|graph]] of a [[real function]] (a function of one real variable and returning real values). The graph of the function ''y'' = ''ƒ''(''x'') is the set of points of the plane with coordinates (''x'',''ƒ''(''x'')). For this, a parameterization is |
|||
:<math>t\mapsto (t,f(t)).</math> |
|||
This parameterization is to be considered over the open intervals (''a'',''b''), where ''a'' can be −∞ and ''b'' can be +∞. |
|||
An asymptote can be either vertical or non-vertical (oblique or horizontal). In the first case its equation is ''x'' = ''c'', for some real number ''c''. The non-vertical case has equation {{nowrap|1=''y'' = ''mx'' + ''n''}}, where ''m'' and <math>n</math> are real numbers. All three types of asymptotes can be present at the same time in specific examples. Unlike asymptotes for curves that are graphs of functions, a general curve may have more than two non-vertical asymptotes, and may cross its vertical asymptotes more than once. |
|||
==Curvilinear asymptotes== |
|||
[[File:nonlinear asymptote.svg|right|thumb|200px|''x''<sup>2</sup>+2''x''+3 is a parabolic asymptote to (''x''<sup>3</sup>+2''x''<sup>2</sup>+3''x''+4)/''x'']] |
|||
Let {{nowrap|''A'' : (''a'',''b'') → '''R'''<sup>2</sup>}} be a parametric plane curve, in coordinates ''A''(''t'') = (''x''(''t''),''y''(''t'')), and ''B'' be another (unparameterized) curve. Suppose, as before, that the curve ''A'' tends to infinity. The curve ''B'' is a curvilinear asymptote of ''A'' if the shortest of the distance from the point ''A''(''t'') to a point on ''B'' tends to zero as ''t'' → ''b''. Sometimes ''B'' is simply referred to as an asymptote of ''A'', when there is no risk of confusion with linear asymptotes.<ref>{{citation|last=Fowler|first=R. H.|title=The elementary differential geometry of plane curves|publisher=Cambridge, University Press|year=1920|url=http://www.archive.org/details/elementarydiffer00fowlrich|isbn=0486442772}}, p. 89ff.</ref> |
|||
For example, the function |
|||
:<math>y = \frac{x^3+2x^2+3x+4}{x}</math> |
|||
has a curvilinear asymptote {{nowrap|1=''y'' = ''x''<sup>2</sup> + 2''x'' + 3}}, which is known as a ''parabolic asymptote'' because it is a [[parabola]] rather than a straight line.<ref>William Nicholson, ''The British enciclopaedia, or dictionary of arts and sciences; comprising an accurate and popular view of the present improved state of human knowledge'', Vol. 5, 1809</ref> |
|||
==Asymptotes and curve sketching== |
|||
The notion of asymptote is related to procedures of [[curve sketching]]. An asymptote serves as a guide line that serves to show the behavior of the curve towards infinity.<ref>Frost, P. ''An elementary treatise on curve tracing'' (1918) [http://www.archive.org/details/elementarytreati00fros online]</ref> In order to get better approximations of the curve, asymptotes that are general curves have also been used <ref>Fowler, R. H. ''The elementary differential geometry of plane curves'' Cambridge, University Press, 1920, pp 89ff.([http://www.archive.org/details/elementarydiffer00fowlrich online at archive.org])</ref> although the term asymptotic curve seems to be preferred.<ref>Frost, P. ''An elementary treatise on curve tracing'', 1918, page 5</ref> |
|||
==Algebraic curves== |
|||
[[File:Folium Of Descartes.svg|thumb|right|A [[cubic curve]], [[Folium of descartes|the folium of Descartes]] (solid) with a single real asymptote (dashed).]] |
|||
The asymptotes of an [[algebraic curve]] in the [[affine space|affine plane]] are the lines that are tangent to the projectivized curve through a point at infinity. Asymptotes are often considered only for real curves,<ref>{{Citation | last1=Coolidge | first1=Julian Lowell | title=A treatise on algebraic plane curves | publisher=[[Dover Publications]] | location=New York | mr=0120551 | year=1959 | isbn=0486495760}}, pp. 40–44.</ref> although they also make sense when defined in this way for curves over an arbitrary [[field (mathematics)|field]].<ref>{{Citation | last1=Kunz | first1=Ernst | title=Introduction to plane algebraic curves | publisher=Birkhäuser Boston | location=Boston, MA | isbn=978-0-8176-4381-2; 978-0-8176-4381-2 | mr=2156630 | year=2005}}, p. 121.</ref> |
|||
A plane curve of degree ''n'' intersects its asymptote at most at ''n''−2 other points, by [[Bézout's theorem]], as the intersection at infinity is of multiplicity at least two. For a [[conic]], there are a pair of lines that do not intersect the conic at any complex point: these are the two asymptotes of the conic. |
|||
A plane algebraic curve is defined by an equation of the form ''P''(''x'',''y'') = 0 where ''P'' is a polynomial of degree ''n'' |
|||
:<math>P(x,y) = P_n(x,y) + P_{n-1}(x,y) + \cdots + P_1(x,y) + P_0</math> |
|||
where ''P''<sub>''k''</sub> is [[homogeneous polynomial|homogeneous]] of degree ''k''. Vanishing of the linear factors of the highest degree term ''P''<sub>''n''</sub> defines the asymptotes of the curve: if {{nowrap|1=''P''<sub>''n''</sub>(''x'',''y'') = (''ax'' − ''by'') ''Q''<sub>''n''−1</sub>(''x'',''y'')}}, then the line |
|||
:<math>ax-by = t_0</math> |
|||
is an asymptote, where ''t''<sub>0</sub> is chosen so that the curve and line meet at infinity. Over the complex numbers, ''P''<sub>''n''</sub> splits into linear factors, each of which defines an asymptote. However, over the reals, not only may ''P''<sub>''n''</sub> fail to split, but also if a linear factor has multiplicity greater than one, the resulting asymptote may be entirely spurious. For example, the curve {{nowrap|1=''x''<sup>4</sup> + ''y''<sup>2</sup> + 1 = 0}} has no real points in the finite plane, but its highest order term gives the asymptote ''x'' = 0 with multiplicity 4. |
|||
==Other uses of the term== |
|||
{{col-begin}} |
|||
{{col-2}} |
|||
The hyperbolas |
|||
:<math>\frac{x^2}{a^2}-\frac{y^2}{b^2}=\pm 1</math> |
|||
have asymptotes |
|||
:<math>y=\pm\frac{b}{a}x.</math> |
|||
The equation for the union of these two lines is |
|||
:<math>\frac{x^2}{a^2}-\frac{y^2}{b^2}=0.</math> |
|||
{{col-2}} |
|||
Similarly, the [[hyperboloid]]s |
|||
:<math>\frac{x^2}{a^2}-\frac{y^2}{b^2}-\frac{z^2}{c^2}=\pm 1</math> |
|||
are said to have the ''asymptotic cone''<ref>[http://books.google.com/books?id=YMU0AAAAMAAJ L.P. Siceloff, G. Wentworth, D.E. Smith ''Analytic geometry'' (1922) p. 271]</ref><ref>[http://books.google.com/books?id=fGg4AAAAMAAJ P. Frost ''Solid geometry'' (1875)] This has a more general treatment of asymptotic surfaces.</ref> |
|||
:<math>\frac{x^2}{a^2}-\frac{y^2}{b^2}-\frac{z^2}{c^2}=0.</math> |
|||
The distance between the hyperboloid and cone approaches 0 as the distance from the origin approaches infinity. |
|||
{{col-end}} |
|||
==See also== |
|||
* [[Asymptotic analysis]] |
|||
* [[Asymptotic curve]] |
|||
* [[Big O notation]] |
|||
==References== |
|||
General references: |
|||
* {{springer|id=A/a013610|title=Asymptote|first=L.P.|last=Kuptsov}} |
|||
Specific references: |
|||
{{reflist|2}} |
|||
==External links== |
|||
* {{planetmath reference|id=6100|title=Asymptote}} |
|||
* [http://www.sciencemuseum.org.uk/images/I046/10314748.aspx Hyperboloid and Asymptotic Cone, string surface model, 1872] from the [[Science Museum (London)|Science Museum]] |
|||
[[Category:Mathematical analysis]] |
|||
[[Category:Analytic geometry]] |
|||
[[ar:خط مقارب]] |
|||
[[an:Asímptota]] |
|||
[[bg:Асимптота]] |
|||
[[ca:Asímptota]] |
|||
[[cs:Asymptota]] |
|||
[[da:Asymptote]] |
|||
[[de:Asymptote]] |
|||
[[es:Asíntota]] |
|||
[[eo:Asimptoto]] |
|||
[[fr:Asymptote]] |
|||
[[ko:점근선]] |
|||
[[io:Asimptoto]] |
|||
[[is:Aðfella]] |
|||
[[it:Asintoto]] |
|||
[[he:אסימפטוטה]] |
|||
[[lv:Asimptota]] |
|||
[[lt:Asimptotė]] |
|||
[[hu:Aszimptota]] |
|||
[[mk:Асимптота]] |
|||
[[ml:അനന്തതാസ്പർശകം]] |
|||
[[nl:Asymptoot]] |
|||
[[ja:漸近線]] |
|||
[[no:Asymptote]] |
|||
[[pl:Asymptota]] |
|||
[[pt:Assimptota]] |
|||
[[ro:Asimptotă]] |
|||
[[ru:Асимптота]] |
|||
[[sk:Asymptota]] |
|||
[[sl:Asimptota]] |
|||
[[sr:Асимптота]] |
|||
[[fi:Asymptootti]] |
|||
[[sv:Asymptot]] |
|||
[[tr:Sonuşmaz]] |
|||
[[uk:Асимптота]] |
|||
[[zh:渐近线]] |
|||