(in red) and its asymptote (in blue). Asymptotes can also be defined for
space curves in
R3.
Curvilinear asymptotes Let 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 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. For example, the function :y = \frac{x^3+2x^2+3x+4}{x} has a curvilinear asymptote , which is known as a
parabolic asymptote because it is a
parabola rather than a straight line.
Asymptotes and curve sketching Asymptotes are used in procedures of
curve sketching. An asymptote serves as a guide line to show the behavior of the curve towards infinity. In order to get better approximations of the curve, curvilinear asymptotes have also been used although the term
asymptotic curve seems to be preferred.
Algebraic curves ,
the folium of Descartes (solid) with a single real asymptote (dashed) The asymptotes of an
algebraic curve in the
affine plane are the lines that are tangent to the
projectivized curve through a
point at infinity. For example, one may identify the
asymptotes to the unit hyperbola in this manner. Asymptotes are often considered only for real curves, although they also make sense when defined in this way for curves over an arbitrary
field. 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 :P(x,y) = P_n(x,y) + P_{n-1}(x,y) + \cdots + P_1(x,y) + P_0 where
Pk is
homogeneous of degree
k. Vanishing of the linear factors of the highest degree term
Pn defines the asymptotes of the curve: setting , if , then the line :Q'_x(b,a)x+Q'_y(b,a)y + P_{n-1}(b,a)=0 is an asymptote if Q'_x(b,a) and Q'_y(b,a) are not both zero. If Q'_x(b,a)=Q'_y(b,a)=0 and P_{n-1}(b,a)\neq 0, there is no asymptote, but the curve has a branch that looks like a branch of parabola. Such a branch is called a '''''', even when it does not have any parabola that is a curvilinear asymptote. If Q'_x(b,a)=Q'_y(b,a)=P_{n-1}(b,a)=0, the curve has a singular point at infinity which may have several asymptotes or parabolic branches. Over the complex numbers,
Pn splits into linear factors, each of which defines an asymptote (or several for multiple factors). Over the reals,
Pn splits in factors that are linear or quadratic factors. Only the linear factors correspond to infinite (real) branches of the curve, but if a linear factor has multiplicity greater than one, the curve may have several asymptotes or parabolic branches. It may also occur that such a multiple linear factor corresponds to two
complex conjugate branches, and does not corresponds to any infinite branch of the real curve. For example, the curve has no real points outside the square |x|\leq 1, |y|\leq 1, but its highest order term gives the linear factor
x with multiplicity 4, leading to the unique asymptote
x=0.
Asymptotic cone The
hyperbola :\frac{x^2}{a^2}-\frac{y^2}{b^2}= 1 has the two asymptotes :y=\pm\frac{b}{a}x. The equation for the union of these two lines is :\frac{x^2}{a^2}-\frac{y^2}{b^2}=0. Similarly, the
hyperboloid :\frac{x^2}{a^2}-\frac{y^2}{b^2}-\frac{z^2}{c^2}=1 is said to have the
asymptotic cone :\frac{x^2}{a^2}-\frac{y^2}{b^2}-\frac{z^2}{c^2}=0. The distance between the hyperboloid and cone approaches 0 as the distance from the origin approaches infinity. More generally, consider a surface that has an implicit equation P_d(x,y,z)+P_{d-2}(x,y,z) + \cdots P_0=0, where the P_i are
homogeneous polynomials of degree i and P_{d-1}=0. Then the equation P_d(x,y,z)=0 defines a
cone which is centered at the origin. It is called an
asymptotic cone, because the distance to the cone of a point of the surface tends to zero when the point on the surface tends to infinity. ==See also==