Фихтенгольц, Курс дифференциального и интегрального исчисления, т.1 (947422), страница 102
Текст из файла (страница 102)
Приступая к рассмотрению огибающей семейства кривых, остановимся сначала на самом понятии семейства кривых. Нам уже не раз приходилось встречаться с уравнениями кривых, в которые, кроме текущих координат х и у переменной точки, входит еще один или несколько параметров. В случае одного параметра, скажем а, уравнение имеет вид Г(х, у, а) = О.
(1) Левая часть является функцией трех переменных, из которых переменную а мы иначе называем лишь потому, что она играет особую роль: для получения конкретной кривой значение параметра а должно быть фиксировано. При изменении этого значения, обычно в пределах некоторого промежутка, будут получаться, вообще говоря, различные (по форме или расположению) кривые. Совокупность всех этих кривых и называют семейством кривых с одним параметром, а уравнение (1) — уравнением с е м е й с т в а. 1 к кАсАние кРЯВых между СОБОЙ ззз1 543 Иногда случается, что для подобного семейства кривых существует кривая, которая касается каждой кривой селмйства в одной или нескольких точках и притом вся состоит из этих точек касания (рис. 140).
Такая кривая носит название огибающей данного семейства. Мы покажем сейчас, как установить, существует ли огибающая, и как найти ее в случае существования. С этой целью допустим сначала, что огибающая существует. / с у у / к ~Фв/ к к !Щ /'гщ \ ! 1 Рис. 140. Для простоты предположим, что речь идет об огибающей (точнее — ветви огибающей), которая каждой кривой семейства касается в одной точке. Тогда координаты этой точки касания однозначно определяются указанием кривой семейства, т. е. значением параметра а: с(<у(а), чр(а), а) =О.
(3) Продифференцировав его полным образом по а, получим [181, 185)*) Р» йх+ лоу йу 4 Г' йа = О, (4) причем производные вычислены при указанных в (3) значениях аргументов, а йх и йу означают дифференциалы функций (2). Теперь постараемся аналитически выразить тот факт, что огибающая касается в точке (2) кривой (1). Касательная к кривой (1) [см. 230, (5)) Р„'(Х-х)+ Р;,(У-у) =О (5) и к кривой (2) [230 (7)) Х-х У-у Ы» йу (б) ") Здесь, между прочим, мы используем н непрерывность частных производных функции Г.
х=у(а), у=гав(а). (2) Поскольку огибающая вся состоит из точек касания, эти уравнения и дают параметрическое представление огибающей. Мы предполагаем существование и непрерывность частных производных функции с" и производных функций ~р и чр. Точка (2) лежит па кривой (1), определяемой тем же значением параметра а, так что имеет место такое тождество относительно а: 544 гл. чп, пвиложкния диеенгкнцикльного исчислиния 1258 должны совпасть. Условие совпадения этих прямых можно написать в виде г„' ~хек" Иу=О.
(7) При этом, как и выше, под х и у мы разумеем их значения (2), а под ах и 1у — дифференциалы функций (2). Заметим, что уравнения (5) и (6) действительно выражают касательные к кривым лишь в предположении, что рассматриваемая точка не будет для них особой. Тем не менее, равенство (7) имеет место даже в том случае, если эта точка будет особой для той или другой кривой. Сопоставляя (7) с (4) и учитывая, что с(а — произвольное число, найдем, что Р;=О или в развернутом виде: Г,'((в(а), у(а), а) =О. (8) Тождества (3) и (8) показывают, что функции (2), нам неизвестные, должны тождественно относительно а удовлетворять системе уравнений (9) Г(х, у, а) = О, Г,(х, у, а) = О. Итак, е сл и огибающая существует, ее параметрические уравнения (2) получаются как решения относительно х и у системы (9).
В том случае, когда эта система при переменном а вообще не допускает решений в виде функций от а, положение вещей ясно; о г иб ающей вовсе нет, Предюложим же теперь, что в результате решения системы (9) получены уравнения (2), выражающие кривую без особых точек"). Будет ли эта кривая огибающей нашего семейства кривых? Так как функции (2) удовлетворяют уравнениям (9), то выполняются тождества (3) и (8).
Дифференцируя первое из них, получим (4), а сопоставляя это с (8), придем к равенству (7). Если точка (2) (ни при одном а) не будет особой на соответствующей кривой (1), так что уравнение (5) действительно выражает касательную к названной кривой, то равенство (7) обусловливает совпадение этой касательной с касательной (6) к кривой (2). В этом случае кривая (2) на самом деле будет огибающей семейства.
В частности, это можно гарантировать, если, например, кривые данного семейства вовсе лишены особых точек. Наоборот, если такие особые точки имеются и при изменении а геометрическое место их образует кривую (2), то соответствующие ей функпии у и зр необходимо удовлетворяют системе (9) е*), хотя в этом случае кривая может не быть огибающей. ') При наличны отдельных особых точек ограничимся промежутком изменения параметра, не содержапшм критических его значения. ее) Для нвх выполняется (3), значит и (4).
Затем, имеет место (7) как выше упоминалось в тексте; сопоставляя с (4), приходим к (3). 545 1 3. КАСАИИБ КРИВЫХ МЕЖДУ СОБОЙ 2391 Итак, при наличии особых точек кривая (2), полученная в результате решения системы (9), подлежит еще проверке: она может быть огибающей, может быть геометрическим местом особых точек на кривых семейства или, наконец, частью — огибающей, частью же — таким геометрическим местом. Обыкновенно при разыскании огибающей не останавливаются на системе уравнений (9), но идут дальше — исключают из них а. Иными словами, получают соотношение вида (10) гр(х, у) = О, уже не содержащее а и представляющее собой условие, необходимое и достаточное для того, чтобы для пары значений х, у нашлось такое значение а, которое совместно с ними удовлетворяло обоим уравнениям (9). Все точки кривой (2), полученной решением системы (9), должны удовлетворять уравнению (10).
Поэтому, если зто последнее уравнение не выражает никакой кривой, то сразу ясно, что огибающей нет. Если же уравнение (10) выражает кривую (ее называют д и с к р иминантной кривой семейства), то она как выше подлежит проверке. В ее составе должна оказаться огибающая (если она существует), но должно быть и геометрическое место особых точек (если таковые налицо).
Кроме того, здесь есть еще одна неприятная возможность, которую следует исключить проверкой: именно, в состав дискриминантной кривой может попросту входить одна или несколько частных кривых семейства. Так будет в том случае, когда б е с к оне ч н о му ми о же от в у точек дискрнминантной кривой отвечает о д н о и то же значение а, совместно с ними удовлетворяющее уравнениям (9) *). Все сказанное всего лучше выяснится на примерах. 239. Примеры.
1) Найти огвбающую для семейства окружностей (х — а)'+у'= г' (г=сопзф (рис. 141). диффереяднруем по а: -2(х — а)-О. Исключая а, получим у'-г'-О или у= я г: д в е и р я м ы е, параллельные осн х, которые, очевидно, составляют огибающую '"). ") Ясли оперировать непосредственно уравнениями (9), то такая возможность исключается, потому что уравнения пытаются решить при заведомо переменном а. *в) Если ураввевие семейства взять в виде х-ай У~-~=О, то РезУльтат дифференцирования по а будет -1=0; из невозможности этого равенства, казалось бы, вьпеквет заключение об отсутствии огибающей. Такое заключение, однако, было бы неверно, так как вся изложенная теория предполщвст существование н непрерывность чвствык производных от левой части уравнения семейства, в здесь (ямсвио при у т г) конечной вроизводной по у нет.
35 Г. М. Ф мгвп вь», т. ! 2) Найти огибающую различных положений прямой, скользящей двумя точками, находяшимвся друг от друга на постоянном расстоянии а, по осям координат (рис. 142). х Ряс. 142. Рис. 141. Взяв за параметр угол В, составленный перпендикуляром к движущейся прямой с осью х, уравнение прямой можно написать в виде х,у =а. зш 6 сов В Дифференцируем по 9 х у вли а|Ее В созе В х У вЂ” соей-~- зш В=О зшз 6 СОИ В Иначе это можно нависать тшс х,у + зш В соя 9 — =а, ив' 9-~-соУ 9 х у ип 9 сов В з 6 6 откуда х=азшз6, у=асоз'В. Читатель узнает в этих уравнениях параметрическое представление а с т р о ид ы [224, 4): г- — -6~, которая в данном случае и является огибающей. 2 С этвм свойспюм астронды мы уже однажды сталкивалясь (231, 3)).
3) Во многих случаях о г и б а ю щ а я как бы огравичввает (вогибаетф часть плоскости, занятую кривыми семейства. Что это не всегда так, показывает пример; у=(х-а)з (рис. 143). Здесь огибающей служит ось х, и ер е се к аю щах все кривые семейства. Аналогичное обстоятельсгио проявляется и в следующем, более сложном првмере.
4) Найти огибающую семейства у-~Р(х-а)з (и а р а б о л ы). Сопоставляя это уравнение с уравнением 2а(х — а)' — 2аз(х — а) = 2а(х — а) (х — 2а) О, получим либо х-а (у=О), либо х 2а (у а), так что дискримвнантная правая состоит из прямой у О и кривой 1бу хе. Первая касается всех парабол в верши- 546 ГЛ. ЧИ ПРИЛОЖЕНИЯ ДИФФЕРЕНЦИАЛЬНОГО ИСЧИСЛЕНИЯ [239 3 3. кАсАние кРиВых между СОБОЙ 239[ 547 нах. Вторая имеет с кавщой параболой три общие точки: касается ее при х = 2а и и е р е с е к а е т при х -2ах 2а[(Х Я Рассмотрим эллипс хз у' — +- 1.