В аналитической геометрии асимптота ( / ˈ æ s ɪ m p t oʊ t / ) кривой — это линия, такая, что расстояние между кривой и линией стремится к нулю, когда одна или обе координаты x или y стремятся к бесконечности . В проективной геометрии и связанных с ней контекстах асимптота кривой — это линия, которая касается кривой в точке, удаленной на бесконечность . [1] [2]
Слово асимптота происходит от греческого ἀσύμπτωτος ( asumptōtos ), что означает «не падающий вместе», от ἀ priv. + σύν «вместе» + πτωτ-ός «упавший». [3] Термин был введен Аполлонием Пергским в его работе о конических сечениях , но в отличие от его современного значения, он использовал его для обозначения любой линии, которая не пересекает заданную кривую. [4]
Существует три вида асимптот: горизонтальные , вертикальные и наклонные . Для кривых , заданных графиком функции y = ƒ ( x ) , горизонтальные асимптоты — это горизонтальные линии, к которым график функции приближается, когда x стремится к +∞ или −∞. Вертикальные асимптоты — это вертикальные линии, вблизи которых функция растет неограниченно. Наклон наклонной асимптоты не равен нулю, но конечен, так что график функции приближается к нему, когда x стремится к +∞ или −∞.
В более общем смысле, одна кривая является криволинейной асимптотой другой (в отличие от линейной асимптоты ), если расстояние между двумя кривыми стремится к нулю, когда они стремятся к бесконечности, хотя сам термин асимптота обычно применяется только к линейным асимптотам.
Асимптоты передают информацию о поведении кривых в целом , и определение асимптот функции является важным шагом в построении ее графика. [5] Изучение асимптот функций, понимаемых в широком смысле, составляет часть предмета асимптотического анализа .
Идея о том, что кривая может произвольно приближаться к линии, не становясь при этом такой же, может показаться противоречащей повседневному опыту. Представления линии и кривой в виде отметок на листе бумаги или пикселей на экране компьютера имеют положительную ширину. Поэтому, если бы их продлить достаточно далеко, они бы, казалось, слились, по крайней мере, насколько может различить глаз. Но это физические представления соответствующих математических сущностей; линия и кривая — идеализированные концепции, ширина которых равна 0 (см. Линия ). Поэтому понимание идеи асимптоты требует усилий разума, а не опыта.
Рассмотрим график функции, показанной в этом разделе. Координаты точек на кривой имеют вид , где x — число, отличное от 0. Например, график содержит точки (1, 1), (2, 0,5), (5, 0,2), (10, 0,1), ... Поскольку значения становятся все больше и больше, скажем, 100, 1000, 10000 ..., помещая их далеко вправо от иллюстрации, соответствующие значения , .01, .001, .0001, ..., становятся бесконечно малыми относительно показанного масштаба. Но независимо от того, насколько большими становятся, их обратная величина никогда не равна 0, поэтому кривая никогда фактически не касается оси x . Аналогично, по мере того, как значения становятся все меньше и меньше, скажем, .01, .001, .0001, ..., делая их бесконечно малыми относительно показанного масштаба, соответствующие значения , 100, 1000, 10000 ..., становятся все больше и больше. Таким образом, кривая простирается все дальше и дальше вверх по мере того, как она приближается все ближе и ближе к оси y . Таким образом, как ось x, так и ось y являются асимптотами кривой. Эти идеи являются частью основы концепции предела в математике, и эта связь более подробно объясняется ниже. [6]
Асимптоты, наиболее часто встречающиеся при изучении исчисления, представляют собой кривые вида y = ƒ ( x ) . Их можно вычислить с использованием пределов и классифицировать на горизонтальные , вертикальные и наклонные асимптоты в зависимости от их ориентации. Горизонтальные асимптоты — это горизонтальные линии, к которым график функции приближается, когда x стремится к +∞ или −∞. Как следует из названия, они параллельны оси x . Вертикальные асимптоты — это вертикальные линии (перпендикулярные оси x ), вблизи которых функция растет неограниченно. Наклонные асимптоты — это диагональные линии, такие, что разность между кривой и линией приближается к 0, когда x стремится к +∞ или −∞.
Линия x = a является вертикальной асимптотой графика функции y = ƒ ( x ), если верно хотя бы одно из следующих утверждений:
где — предел при приближении x к значению a слева (от меньших значений), а — предел при приближении x к a справа.
Например, если ƒ( x ) = x /( x –1), числитель стремится к 1, а знаменатель стремится к 0 по мере того, как x стремится к 1. Таким образом,
и кривая имеет вертикальную асимптоту x = 1.
Функция ƒ ( x ) может быть определена или не определена в точке a , и ее точное значение в точке x = a не влияет на асимптоту. Например, для функции
имеет предел +∞ при x → 0 + , ƒ ( x ) имеет вертикальную асимптоту x = 0 , хотя ƒ (0) = 5. График этой функции пересекает вертикальную асимптоту один раз, в точке (0, 5). График функции не может пересекать вертикальную асимптоту (или вертикальную линию вообще ) более чем в одной точке. Более того, если функция непрерывна в каждой точке, где она определена, то невозможно, чтобы ее график пересекал какую-либо вертикальную асимптоту.
Распространенным примером вертикальной асимптоты является случай рациональной функции в точке x, такой, что знаменатель равен нулю, а числитель отличен от нуля.
Если функция имеет вертикальную асимптоту, то не обязательно, что производная функции имеет вертикальную асимптоту в том же месте. Примером может служить
Эта функция имеет вертикальную асимптоту, поскольку
и
Производная — это функция
Для последовательности точек
, которая приближается как слева, так и справа, значения постоянно . Следовательно, оба односторонних предела при не могут быть ни , ни . Следовательно, не имеет вертикальной асимптоты при .
Горизонтальные асимптоты — это горизонтальные линии, к которым приближается график функции при x → ±∞ . Горизонтальная линия y = c является горизонтальной асимптотой функции y = ƒ ( x ), если
В первом случае ƒ ( x ) имеет y = c в качестве асимптоты, когда x стремится к −∞ , а во втором случае ƒ ( x ) имеет y = c в качестве асимптоты, когда x стремится к +∞ .
Например, функция арктангенса удовлетворяет
Таким образом, линия y = – π /2 является горизонтальной асимптотой для арктангенса, когда x стремится к –∞ , а y = π /2 является горизонтальной асимптотой для арктангенса, когда x стремится к +∞ .
Функции могут не иметь горизонтальных асимптот с одной или обеих сторон или могут иметь одну горизонтальную асимптоту, которая одинакова в обоих направлениях. Например, функция ƒ( x ) = 1/( x 2 +1) имеет горизонтальную асимптоту при y = 0, когда x стремится как к −∞, так и к +∞, потому что, соответственно,
Другие распространенные функции, которые имеют одну или две горизонтальные асимптоты, включают x ↦ 1/ x (которая имеет гиперболу в качестве графика), функцию Гаусса , функцию ошибок и логистическую функцию .
Когда линейная асимптота не параллельна оси x или y , она называется косой асимптотой или наклонной асимптотой . Функция ƒ ( x ) является асимптотической к прямой линии y = mx + n ( m ≠ 0), если
В первом случае линия y = mx + n является наклонной асимптотой ƒ ( x ), когда x стремится к +∞, а во втором случае линия y = mx + n является наклонной асимптотой ƒ ( x ), когда x стремится к −∞.
Примером может служить ƒ ( x ) = x + 1/ x , имеющая наклонную асимптоту y = x (то есть m = 1, n = 0), как видно из пределов
Асимптоты многих элементарных функций можно найти без явного использования пределов (хотя при выводе таких методов пределы обычно используются).
Наклонная асимптота для функции f ( x ) будет задана уравнением y = mx + n . Значение m вычисляется первым и задается как
где a — это либо или в зависимости от изучаемого случая. Хорошей практикой является рассмотрение двух случаев по отдельности. Если этот предел не существует, то в этом направлении нет наклонной асимптоты.
Имея m , значение n можно вычислить следующим образом:
где a должно быть тем же значением, которое использовалось ранее. Если этот предел не существует, то в этом направлении нет наклонной асимптоты, даже если предел, определяющий m, существует. В противном случае y = mx + n является наклонной асимптотой ƒ ( x ), когда x стремится к a .
Например, функция ƒ ( x ) = (2 x 2 + 3 x + 1)/ x имеет
так что y = 2 x + 3 является асимптотой ƒ ( x ), когда x стремится к +∞.
Функция ƒ ( x ) = ln x имеет
Таким образом, y = ln x не имеет асимптоты, когда x стремится к +∞.
Рациональная функция имеет максимум одну горизонтальную асимптоту или наклонную асимптоту и, возможно, несколько вертикальных асимптот.
Степень числителя и степень знаменателя определяют , есть ли горизонтальные или наклонные асимптоты. Случаи приведены в таблице ниже, где deg(числитель) — степень числителя, а deg(знаменатель) — степень знаменателя.
Вертикальные асимптоты возникают только тогда, когда знаменатель равен нулю (если и числитель, и знаменатель равны нулю, сравниваются кратности нуля). Например, следующая функция имеет вертикальные асимптоты при x = 0 и x = 1, но не при x = 2.
Когда числитель рациональной функции имеет степень ровно на единицу больше, чем знаменатель, функция имеет наклонную асимптоту. Асимптота — это полиномиальный член после деления числителя и знаменателя. Это явление происходит потому, что при делении дроби будет линейный член и остаток. Например, рассмотрим функцию
показано справа. По мере увеличения значения x f приближается к асимптоте y = x . Это происходит потому, что другой член, 1/( x +1), приближается к 0.
Если степень числителя больше степени знаменателя более чем на 1, а знаменатель не делит числитель, то будет ненулевой остаток, стремящийся к нулю при увеличении x , но частное не будет линейным, и функция не будет иметь наклонной асимптоты.
Если известная функция имеет асимптоту (например, y = 0 для f (x) = e x ), то ее трансляции также имеют асимптоту.
Если известная функция имеет асимптоту, то и масштабирование функции также имеет асимптоту.
Например, f ( x )= e x -1 +2 имеет горизонтальную асимптоту y =0+2=2 и не имеет вертикальных или наклонных асимптот.
Пусть A : ( a , b ) → R 2 — параметрическая плоская кривая в координатах A ( t ) = ( x ( t ), y ( t )). Предположим, что кривая стремится к бесконечности, то есть:
Прямая ℓ является асимптотой A , если расстояние от точки A ( t ) до ℓ стремится к нулю при t → b . [7] Из определения следует, что асимптоту могут иметь только открытые кривые, имеющие некоторую бесконечную ветвь. Ни одна замкнутая кривая не может иметь асимптоту.
Например, верхняя правая ветвь кривой y = 1/ x может быть определена параметрически как x = t , y = 1/ t (где t > 0). Во-первых, x → ∞ при t → ∞, а расстояние от кривой до оси x равно 1/ t , что стремится к 0 при t → ∞. Следовательно, ось x является асимптотой кривой. Кроме того, y → ∞ при t → 0 справа, а расстояние между кривой и осью y равно t , что стремится к 0 при t → 0. Следовательно, ось y также является асимптотой. Аналогичное рассуждение показывает, что нижняя левая ветвь кривой также имеет те же две линии в качестве асимптот.
Хотя определение здесь использует параметризацию кривой, понятие асимптоты не зависит от параметризации. Фактически, если уравнение прямой есть то расстояние от точки A ( t ) = ( x ( t ), y ( t )) до прямой определяется как
если γ( t ) является изменением параметризации, то расстояние становится
которое стремится к нулю одновременно с предыдущим выражением.
Важный случай — когда кривая является графиком действительной функции ( функции одной действительной переменной, возвращающей действительные значения). График функции y = ƒ ( x ) — это множество точек плоскости с координатами ( x , ƒ ( x )). Для этого параметризация
Эту параметризацию следует рассматривать на открытых интервалах ( a , b ), где a может быть −∞, а b может быть +∞.
Асимптота может быть как вертикальной, так и невертикальной (наклонной или горизонтальной). В первом случае ее уравнение x = c , для некоторого действительного числа c . Невертикальный случай имеет уравнение y = mx + n , где m и — действительные числа. Все три типа асимптот могут присутствовать одновременно в конкретных примерах. В отличие от асимптот для кривых, являющихся графиками функций, общая кривая может иметь более двух невертикальных асимптот и может пересекать свои вертикальные асимптоты более одного раза.
Пусть A : ( a , b ) → R 2 — параметрическая плоская кривая в координатах A ( t ) = ( x ( t ), y ( t )), а B — другая (непараметризованная) кривая. Предположим, как и прежде, что кривая A стремится к бесконечности. Кривая B является криволинейной асимптотой A , если кратчайшее расстояние от точки A ( t ) до точки на B стремится к нулю при t → b . Иногда B просто называют асимптотой A , когда нет риска путаницы с линейными асимптотами. [8]
Например, функция
имеет криволинейную асимптоту y = x 2 + 2 x + 3 , которая известна как параболическая асимптота , поскольку она представляет собой параболу, а не прямую линию. [9]
Асимптоты используются в процедурах построения кривых . Асимптота служит в качестве направляющей линии, показывающей поведение кривой по направлению к бесконечности. [10] Для того чтобы получить лучшие приближения кривой, также использовались криволинейные асимптоты [11], хотя термин асимптотическая кривая, по-видимому, более предпочтителен. [12]
Асимптоты алгебраической кривой в аффинной плоскости — это линии, которые касаются проективизированной кривой через точку на бесконечности . [13] Например, таким образом можно определить асимптоты к единичной гиперболе . Асимптоты часто рассматриваются только для действительных кривых, [14] хотя они также имеют смысл, если определены таким образом для кривых над произвольным полем . [15]
Плоская кривая степени n пересекает свою асимптоту не более чем в n −2 других точках, по теореме Безу , поскольку пересечение на бесконечности имеет кратность не менее двух. Для конического сечения существует пара прямых, которые не пересекают коническое сечение ни в одной комплексной точке: это две асимптоты конического сечения.
Плоская алгебраическая кривая определяется уравнением вида P ( x , y )=0, где P — многочлен степени n.
где P k является однородным степени k . Обращение в нуль линейных множителей члена наивысшей степени P n определяет асимптоты кривой: полагая Q = P n , если P n ( x , y ) = ( ax − by ) Q n −1 ( x , y ) , то линия
является асимптотой, если и не равны нулю. Если и , то асимптоты нет, но кривая имеет ветвь, похожую на ветвь параболы. Такая ветвь называетсяпараболическая ветвь , даже если она не имеет параболы, которая является криволинейной асимптотой. Есликривая имеет особую точку на бесконечности, которая может иметь несколько асимптот или параболических ветвей.
Над комплексными числами P n распадается на линейные множители, каждый из которых определяет асимптоту (или несколько для нескольких множителей). Над действительными числами P n распадается на множители, которые являются линейными или квадратичными множителями. Только линейные множители соответствуют бесконечным (действительным) ветвям кривой, но если линейный множитель имеет кратность больше единицы, кривая может иметь несколько асимптот или параболических ветвей. Может также случиться, что такой кратный линейный множитель соответствует двум комплексно сопряженным ветвям и не соответствует никакой бесконечной ветви действительной кривой. Например, кривая x 4 + y 2 - 1 = 0 не имеет действительных точек вне квадрата , но ее член высшего порядка дает линейный множитель x с кратностью 4, что приводит к единственной асимптоте x = 0.
Гипербола
имеет две асимптоты
Уравнение для объединения этих двух линий имеет вид
Аналогично гиперболоид
Говорят, что имеет асимптотический конус [16] [17]
Расстояние между гиперболоидом и конусом стремится к 0 по мере того, как расстояние от начала координат стремится к бесконечности.
В более общем случае рассмотрим поверхность, имеющую неявное уравнение , где являются однородными многочленами степени и . Тогда уравнение определяет конус с центром в начале координат. Он называется асимптотическим конусом , потому что расстояние до конуса точки поверхности стремится к нулю, когда точка на поверхности стремится к бесконечности.