Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Сахарников Н.А. Высшая математика учебник

.pdf
Скачиваний:
79
Добавлен:
27.10.2023
Размер:
24.22 Mб
Скачать

промежутка

(а, ß)

и

соответствующее приращение Ау =

= фД-г-гДя) — ф (ж). Имеет место равенство

 

 

/(ж + Дж,

у Л //)-/(ж , у) = 0,

(16)

потому что

согласно

(14) / (ж, у) — 0 и / (ж + Ах,

у ф Ду) = 0.

Левую часть равенства (16) преобразуем по обобщенной формуле конечных приращений. Получим

/*(ж-|-ѲДж, y + Ay)Ax + fy {x, у г Ѳх Ay) Ay = 0,

(17)

где fÿ (х, у 0tAy) ф 0, что следует из первого и третьего усло­ вий теоремы 1. Найдем из (17) отношение ^ и, перейдя к пределу

при Ах -к 0, получим формулу (15). Вместе с тем доказано суще­ ствование упомянутого предела.

Заметим, что формула (15) может быть выведена из тождества (14) короче, но при этом не доказывается факт существования производной. Именно, если в уравнении (13) под у понимать ф(ж),

то получим тождество (14) относительно х.

Дифференцируя его

по X согласно правилу дифференцирования сложной функции,

получим

і'х (х,

у)

+ fy (х, у) у'х =

0, где у =

ф (х).

Отсюда непо­

средственно следует формула (15).

 

 

 

 

П р им е р 2.

Производная неявной функции, определяемой уравне­

нием

ехУ X у = 0, в окрестности точки хд = 0,

согласно формуле (15),

Равна

,

1 уе*У

 

 

 

 

 

 

 

 

 

 

 

 

 

П р и м е р

3. Неявная функция

задана

равенством

х2 +

у2 — П2.

Дифференцируя

его

по х при условии у = у

(х), получим

2уу'х = 0.

Следовательно,

у' =

X

 

 

 

 

 

------ .

 

 

 

 

 

 

 

 

 

У

 

 

 

 

 

Б.

Случай неявной функции

н е с к о л ь к и х

независимых

переменных. Рассмотрим уравнение, например, с тремя перемен­ ными

/(я, У, z) = 0

(18)

и предположим, что оно определяет в некоторой области А пло­ скости Оху неявную функцию

2 = ф(х, у),

(19)

так что имеет место тождество f (х, у, ф (ж, у)) =

0.

Не останавливаясь на рассмотрении условий

существования

неявной функции и ее частных производных по ж и у, дифферен­ цируем последнее тождество по ж; получим равенство

fx(x, у, z) + f2{ж,

у ,

z)zx = 0,

(20)

из которого следует формула

 

 

 

Іх(х,

у,

г)

 

Ѵг (х > У> О

Аналогично получим

г

f'y ( х , У,

z)

(22)

t'z(х>У,

z)

 

 

Конечно, здесь предполагается, что f'z Ф 0, это одно из условий существования неявной функции.

П р и м е р 4- Из курса термодинамики известно, что физическое со­ стояние однородной жидкости, находящейся в равновесии, определяется за­ данием двух из трех параметров: давления р, объема ѵ, температуры Т. Между этими величинами существует зависимость / (р , ѵ, Т) — 0, называемая урав­ нением состояния. Установим формулу

 

 

др

дѵ

дТ

 

 

 

 

(23)

 

 

дѵ

дТ

др

 

 

 

 

 

 

 

 

 

 

 

Согласно (21) и (22)

имеем

 

дѵ

=

— 1і-

й1

 

 

дѵ

I f

 

tv

dp

f'T

Перемножив эти равенства, получим (23).

 

 

 

 

 

В. С и с т е м а

неявных функций,

Пусть

дана система,

на-

пример,

двух уравнений

 

 

 

 

 

 

 

 

 

 

f(z, у ,

z) = 0,

 

g(z, у,

z) = 0,

 

(24)

которая

определяет две неявные

функции у =

<р (х) и

z = ф (х)

одной независимой переменной х, так что имеют место тождества

f(z, ф(ж), ф(х)) = 0, ,g(x, ф(ж), ф(ж)) = 0.

(25)

Для того чтобы найти у'х и z'x, дифференцируем тождества (25); получим систему линейных уравнений относительно у'х и zx:

fx -L ГуУх / А - 0, gx + gÿy’x + gzZx = 0.

(26)

Коэффициентами при неизвестных ух и z'x служат частные произ­ водные fy, Д, gy, g'z. Если определитель системы (26) не равен нулю, то система имеет единственное решение. Этим определителем служит функциональный определитель

 

 

 

fy

fz

_

D (/, g)

 

 

(27)

 

 

 

gy

g'z

 

D Ü’ z)

 

 

 

 

 

 

 

называемый также

определителем Якоби *,

или якобианом.

128.

Теорема

Эйлера

об

однородных

функциях.

Функция

/ ! , . . . ,

хп) от п аргументов называется однородной функцией

степени т, если при умножении всех ее аргументов на множитель

t функция приобретает этот же множитель в степени т, т. е. если

имеет место тождество

относительно t,

х і, . . ., хп

 

 

/(te l5

. . .,

te„) =

im/(;r1,

. . .,

хп).

(28)

Карл Густав Якоб Якоби (1804—1851) — немецкий математик.

П р и м е р 1. Функция и = лг2 h есть однородная функция третьей степени относительно г и h.

Для упрощения письма ограничимся рассмотрением случая функции двух аргументов. Предположим, что однородная степени т функция / (X, у) имеет непрерывные частные производные по обоим аргументам. Имеет место тождество / (tx, ty) = tmf (х, у). Дифференцируем его по переменной t. Временно обозначив tx = = а, ty = ß, получим

/а (а, ß) at + f'ß(а і ß) ßj =- mtm~xî (x, у).

При t — і получим

xfx (x, ij)i-yfy(x, y) = mf(x, y).

(29)

Таким образом, доказано утверждение: сумма произведений частных производных однородной функции степени т на соответ­ ствующие независимые переменные равна произведению этой функ­ ции на т.

П р и м е р

2. Если и = х2+ у2, то

хи'х yuÿ — 2и.

129.

Частные производные

высших порядков. Частные

производные функции нескольких переменных сами являются функциями тех же переменных, и мы можем определить их частные производные. Таким образом, мы получим частные производные второго порядка исходной функции, которые будут функциями тех же переменных, и их дифференцирование приведет к частным производным третьего и высших порядков.

Так, для функции и — f (х, у) двух независимых переменных можно определить (предполагается, что все производные суще­ ствуют) две частные производные первого порядка и'х и ии и че­

тыре частные

производные

второго порядка. Последние обозна­

чаются символами

д I

ди \

 

д-и

д (

ди ^

д^и

 

Uxx

дх2

дх

\

дх

) ’

Uxy

дх ду ^

ду \

дх ) ’

у,

<92и

д

 

(■ ди

\

д2и

д (

ди \

Uyx

дудх

дх \

ду

) ’

Uyy

diß

ду V ду ) '

Производные и'хУ и uÿx,

отличающиеся порядком

дифференци­

рования, называются смешанными производными второго порядка.

Аналогичным образом

определяются производные 3-го, 4-го

и старших порядков.

производные

второго

порядка равны,

Теорема. Смешанные

если они непрерывны:

 

 

 

fxy{x, y ) = fyx(x,

У).

(30)

Для доказательства преобразуем двумя путями следующую функцию:

w = f( z + Ax, y+ Ay) —f(x, y + Ay) —f(x + Ах, y)+ f(x, у).

1. Если

обозначить

 

 

 

 

 

ф(я,

2/) = /(я + Ля, y ) —f(x, У),

(31)

то IV = ер {х, у +

Ау)

— ф (X, у). Эта разность по формуле конеч­

ных приращений может быть записана в виде произведения

 

 

 

 

и>--=ц'у(х,

у + ѲAy) Ay.

 

В силу

(31)

имеем w = [/ ÿ (х + Ах, у -f 0 Ау) fÿ (х, у -f-

-г ѲДу)] Ау. Применяя еще раз формулу конечных приращений,

получим

 

w = fyx(x + Q1 Ах,

у + ѲАу)АхАу.

(32)

 

 

2. Если обозначить ф (х, у) =

/ (х, у + Ау) — / (х, у), то,

сле­

дуя той же схеме рассуждений, последовательно получим

 

w = ф -т- Аж,

у) — ф(ж,

у) = фі (ж + Ѳ2Аж, у) Ах =

 

 

 

= fxy(x -rQ2Ax,

у + % Ay) Ах Ay.

(33)

Приравняем правые части равенств (32) и (33) и после деления на Ах Ау получим fÿx (х + Ѳ! Ах, у + Ѳу) = fxy (х + Ѳ2Ах, у + Ѳ3Ау).

Перейдем в этом равенстве к пределу при

Ах -»-0,

Ду ->■ О,

согласно непрерывности f"xy и f"yx в

точке (х,

у) получим равен­

ство (30). Теорема доказана.

 

высших

порядков

С л е д с т в и е . Смешанные производные

равны, если они н е п р е р ы в н ы

и получены в результате диф­

ференцирования по одним и тем же переменным одинаковое число раз, но может быть в разной последовательности. Покажем это

на

примере.

ихху

\(Цх)х)у =—■ЕІЦх) у\х — Еіру )л4л:і т. с. 1ххху ==

=

u'xyif Uyxx-

Здесь мы дважды пользовались теоремой: первый

раз применительно к функции их (мы изменили порядок ее диф­

ференцирования), второй раз

положили

и"ху — и"ух.

В

общем

случае

схема рассуждения

аналогична.

 

 

 

130.

Полное приращение и полный дифференциал функции.

Пусть функция и — f (х, у) независимых переменных х н у

опре­

делена и непрерывно дифференцируема в области А.

 

 

О п р е д е л е н и е .

Частным дифференциалом функции и ==

= / (х,

у) называется произведение соответствующих частной про­

изводной и приращения независимой переменной:

 

 

 

dxu = /* (х,

у) dx,

dyu = fy(x,

y)dy,

 

 

где dx Ах и dy = Ду суть приращения

независимых перемен­

ных х н у .

 

функции нескольких

переменных

Полным дифференциалом

называется сумма его частных дифференциалов:

В случае функции любого числа независимых переменных полный дифференциал по определению также равен сумме его частных дифференциалов.

Полное приращение функции и / (х, у) при переходе от точки М (X, у) к точке N (х +Дх, у + Ду) по обобщенной формуле конечных приращений может быть представлено в виде

Ди - /і + ѲДа:, у Ду) Ax + fy(x, у f Q1 Ay) Ay.

В силу непрерывности частных производных первого порядка имеем

/х(ж + ѳ Ах, у

p d v

V

р

Рис. 93.

Ах) f'x (x, у) -ja,

fÿ(x, у

0, ,Ѵ/)

jUx.

у)

ß,

 

где а и

 

 

 

 

(35)

 

ß — бесконечно

малые

при

d p d v

стремлении к нулю величины

 

 

 

 

 

 

 

 

vdp

р = d{M, N) = V *)2y f .

(36)

Поэтому

полное

приращение функции,

 

 

имеющей

непрерывные частные

произ­

 

водные,

можно

представить

в

виде

 

суммы

 

 

 

 

 

 

 

Au = df(x, у) YPi

 

(37)

где у = а — + ß — . При р ->■0 переменная у->-0, потому что ве-

P Р

личины Дж/р и Ау/р ограничены. Формула (37) связывает полное приращение и полный дифференциал функции.

П р и м е р . Уравнение состояния идеального газа рѵ =

RT

опре­

деляет величину RT как функцию независимых переменных ри

ѵ, которую

можно трактовать геометрически как площадь прямоугольника

со

сторо­

нами р и и. Если р и г; получат приращения dp и dv, то полный дифференциал d (RT) vdp + pdv связан с полным приращением равенством Д (RT) =

= d (RT) + d p - d v .

Все слагаемые нашего дифференциала и полного приращения предста­ влены на рис. 93 площадями соответствующих прямоугольников.

С о д е р ж а н и е понятия полного дифференциала функции заключается в следующем: если f x2 + fx2 > 0, то полный диф­ ференциал есть главная частъ полного приращения функции, линейная относительно приращений независимых переменных.

Термин «главная часть» означает, что при стремлении р к нулю 1) разность Au ■— du есть величина бесконечно малая, т. е.

 

lim (Au — du) = lim ур = 0,

 

 

(38)

 

p-i- 0

 

 

 

p->o

 

 

 

 

2) разность Ди — du есть бесконечно малая высшего порядка

по сравнению с du, т. е.

 

 

 

 

 

 

 

 

 

lim

Ди du

= lim

 

= lim

 

Дж

Ду

0.

(39)

С-.0

du

Р - о

d u

P

-

о

и

 

 

 

 

 

* --------Г и у

Р

 

 

Следовательно, du я Au — эквивалентные бесконечно малые (см. п. 19):

1Ш1—-- = І1ІН

1 -:

VP

(40)

1 .

LAU'

1 .

 

 

 

Р-о du

Р-0

 

du

 

Из формулы (37) следует важная формула

Au ^ d u ,

(41)

которая показывает, что полное приращение функции приближенно равно ее полному дифференциалу, причем равенство (41) тем точнее, чем меньше р. С уменьшением р уменьшается не только абсолют­ ная погрешность формулы (41), т. е. величина Au du, но и от­

носительная погрешность, т. е. величина ^ ^•

Теорема (об инвариантности формы первого дифференциала).

Предположим, что I) функция и = f (х, у) непрерывно дифферен­ цируема в области А плоскости Оху, 2) функции х ■-■=х (t, ѵ) и у = у (t, ѵ) непрерывно дифференцируемы в области В незави­

симых переменных tu

ѵ,Ъ) функции х (t,

ѵ) и у ft, ѵ) принимают

значения в области А

при всех t, ѵ, принадлежащих В.

Перемен­

ную и будем рассматривать как сложную функцию t

и ѵ в В.

По определению дифференциала функции имеем

 

 

du = щ dt f u'vdv.

(42)

По правилу дифференцирования сложной функции получим

du ^=~- (uxxt —уuyyt) dt —t- (uxx-Ll

uyyf) dv

 

-= Ux (x't dt xv dv) -r u'y (y't dt -f y'v dv).

(43)

Величины, содержащиеся справа в скобках, являются полными дифференциалами соответственно функций х ft, ѵ) и у (t, ѵ). Поэтому

 

du=^ux d xJr u'ydy.

 

(44)

Итак, доказано утверждение: формула

f44j имеет место как

в том случае, когда х

и у независимые

переменные

(тогда àx

и dy суть приращения этих переменных),

так и в случае, когда

X и у сами являются

функциями других

переменных

(тогда dx

иdy представляют полные дифференциалы этих функций).

131.Элементы теории приближенных вычислений. Ограни­ чимся рассмотрением двух задач.

З а д а ч а

1.

Вычислить значение функции

и — f (х , у)

в точке N (х +

Ах, у

+

Ау), если известно ее значение в близкой

точке М (х, у).

 

 

 

 

Приближенное решение задачи дает формула (41), которую

можно записать

в виде

 

 

f(x + Ах,

y + A y )œ f(x , y) fd f( x , у).

(45)

В частности, при х = у = 0, обозначив Ах =

х, Ау =

у, получим

 

 

f(x, y ) ^ f ( о, 0) + d/(0, 0).

(46)

Таким образом, значения функции в близких точках отли­

чаются приближенно на величину df (х , у).

 

 

П р и м е р

1. Требуется вычислить значение

функции

и — хеу при

ж = 2,03, у =

0,1. Для этого рассмотрим точку М (2,0). Вычислим / (М) =

= 2е° = 2 и

dj

(М) = е^Дх + хеУ&.у. Здесь

2, Удо=

0, Ах = 0,03,

Ау = 0,1 и d f (М) = 0,23. Следовательно, / (N ) я» 2,23.

Введем несколько понятий. Верхней границей числового множе­ ства {х} называется число М такое, что все х удовлетворяют соотношению х ^ М. Например, множество правильных дробей ограничено сверху числом единица или любым числом, большим единицы.

Пусть х0 — точное значение рассматриваемой величины, х — одно из ее приближенных значений. Абсолютной погрешностью приближенного числа х называется число х0\. Предельной абсолютной погрешностью Ах приближенного числа х называется верхняя граница множества {\х — х0|}. Поэтому имеет место неравенство

\х —х0\ ^ А х.

(47)

Предельной относительной погрешностью величины х назы­ вается число

З а д а ч а 2. Найти предельную абсолютную погрешность результата вычисления величины и по формуле и = / (х, у), если известны приближенные значения х и у и их предельные аб­ солютные погрешности Ах и Ау.

Р е ш е н и е .

Если принять

приближенное равенство

(41)

за точное и положить Au =

и'хАх +

иу Ау, то легко найти верхнюю

границу величины | Au | с

помощью неравенства

 

I Au I

I и'х I

I Ах I + 1и’у ! I Ay I sc I их I Д*+ I и'у \ Ау.

 

Поэтому за

Аи можно

принять

 

 

 

 

Аи = \их \Ах+ \и у \Ау.

(49)

Формула

(49)

обобщается на случай функции любого числа

независимых

переменных.

 

 

 

Из основной формулы (49) вытекает, в частности, следующее утверждение.

Теорема. При сложении и вычитании предельные абсолютные

погрешности слагаемых с к л а д ы в а ю т с я :

 

Ах±у = А*+ Ау.

(50)

При умножении и делении предельные относительные погреш­ ности с к л а д ы в а ю т с я :

 

 

&ху— б*+ 8У,

 

 

(51)

 

 

 

у

 

 

 

Действительно, если и = х + у,

то

и'х ----- и'у = 1; если и =

= X у,

то и ’х =

1, и у’ = —1. В обоих

случаях

| и( | = | ы^| = 1

и согласно (49) получаем (50).

имеем Аи =

| у \ Ах + | х j Ау.

Если

и = ху,

то

согласно (49)

Поэтому

при ху ф 0 имеем

 

 

 

 

 

Jxy

Аи

 

■8Г Jy

(52)

 

и = —,

\ху\

\У\

Если

то

по формулам

(49)

и (48)

последовательно

находим А

А* ,

ІМ

 

П р и м е р 2-

Дано

Вычислить Ç и A Q .

Р е ш е н и е .

Здесь

I XI

и Ö«

=

=

б ,+ 6,.

 

 

 

Уг

 

 

 

 

 

 

 

 

 

 

 

 

Q == 0,24і2/-і,

г =

5 ±

0,5,

г =

10 ± 1,

t =

1.

Ç = 0,24-52-10 =

60,

А,-

=

0,5,

А ,—1,

At =

0

иAQ = 18. Следовательно, Q — 60 ± 18.

132.Касательная к пространственной кривой. Пусть кри­ вая I задана параметрически уравнениями

x = x(t), y = y(t), z = z(t) ( a c t c ß ) .

(53)

Предположим, что эта кривая гладкая, т. е. существуют и непре­ рывные производные xt, y't, zt.

Касательной к линии I в точке М 0 называется предельное поло­ жение секущей, проведенной через точку М 0и точку М этой линии,

когда точка

М

стремится

вдоль

по

I

к

М 0.

Пусть

точке

М о (жо,

у о,

z 0)

соответствует

значение параметра

t0, а

точке

М 0 +

Ах,

у 0

+ Ау,

z 0 +

Az) — значение параметра t. Предпо­

лагается,

что точка

М 0 неособенная,

т. е. х" 2 (t0) + у'2 (t0) +

+ z' 2 (t0) Д>0. Составим уравнения

секущей

М 0М

 

 

 

 

 

X

__

Y

Уо _

Z

ZQ

 

 

 

/г /\

 

 

 

Ах

 

Ay

 

Az

 

 

'

где X, Y и Z — ее текущие координаты. Разделим знаменатели равенства (54) на At н, перейдя к пределу при At -+■ 0, получим уравнение касательной к кривой, заданной уравнениями (53) в точке М 0:

Х — х0

Y у0

Z —zu

/гг г\

x'(to)

/ (h)

*'(to) •

К *

Направляющие косинусы этой касательной такие:

cos а =

х'

1

п

у'

Vx’2+ y’2+z’Z

К / ж '

2 - ) - ÿ '2 - ! - Z '-2

 

_______________

COS и = _______-_______

 

cos Y: /* '* + /

 

(56)

 

2+*'2

 

где все производные берутся при значении t = t0. Если кривая гладкая, то направляющие косинусы суть непрерывные функции параметра t.

 

П р и м е р .

Составим

уравнение

касательной к

винтовой линии,

за­

данной

уравнениями х —

а cos m г,

у

=

a sin <вг,

z =

kt

в точке,

где

t =

= t 0— jt/2(o

(рис. 94).

 

х'

=

аа

sin

at,

у' — асо

cos

иг,

г'

к.

При

г =

Р е ш е н и е .

Имеем

г0 получим хп = 0 , у 0

a,

z0

— кп/2ш, х'й = —аш,

у'0 =

0 ,

z'0 =

к.

Подставив эти величины в соотношения (55), получим уравнение касатель­

ной

Х_ Y - a

Z —ZQ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

аи

 

0

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

133.

Касательная плоскость и нор­

 

 

 

 

 

 

 

 

маль к поверхности. Пусть поверхность

 

 

 

 

 

 

 

 

S

задана уравнением

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф(х,

у,

z) —0,

 

 

(57)

 

 

 

 

 

 

 

 

в котором функция

ф (X, у,

z)

предпо­

 

 

 

 

 

 

 

 

лагается

непрерывно

дифференцируе­

 

 

 

 

 

 

 

 

мой,

причём

ф(? + фу2 +

фг2 ]> 0 на S.

 

 

 

 

 

 

 

 

Рассмотрим

на

поверхности S

точку

 

 

 

 

 

 

 

 

М 0 (х оі Уо> zo) и произвольную гладкую

 

 

 

 

 

 

 

 

кривую I, проходящую через М 0. Пусть

 

 

 

 

 

 

 

 

х

= х (t),

у

= у (t),

z

= z (t) — пара­

 

 

 

 

 

 

 

 

метрические уравнения линии I, кото­

 

 

 

 

 

 

 

 

рые при

t =

t0 дают

X = х 0,

у

=

у 0,

 

 

 

 

 

 

 

 

z = z 0. Линия I принадлежит поверхности

S, поэтому имеет место тождество ф (х (t), у (t), z (t))

~ 0 . Дифферен­

цируя

это тождество по переменной t, получим

 

 

 

 

 

 

 

 

 

 

 

4>х (Щ Х' -I- фУ(М) у'

г фг (M)z’ ~ 0 .

 

 

 

 

 

 

 

При

=

t0 имеем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ФІ (М 0) xf (t0) +

Фy(M0) y' (t0) +

ф; (M O) Z' (t0) = 0.

 

 

(58)

 

Рассмотрим векторы N (ф*0, Фггю

фго) и s (•rô> Уоі zo)• Эти век­

торы

ортогональны,

потому

что

 

согласно (58)

 

их

скалярное

произведение равно нулю. Заметим, что вектор N не зависит от

выбора линии I на поверхности, а вектор s согласно (55) направлен

по

касательной

к I

в

точке

М 0. Отсюда

следует утверждение:

касательные в точке М 0 ко всем принадлежащим поверхности

&

гладким линиям вида I лежат в одной плоскости, которая перпен­

дикулярна

вектору

N.

 

 

через

точку

М 0 перпендикулярно

 

Плоскость,

проходящая

вектору

N,

называется

касательной плоскостью

 

к поверхности

S в точке М 0. Нормалью к поверхности S в точке М 0 называется

прямая, перпендикулярная к касательной плоскости в точке

М 0.

Выведем уравнение касательной плоскости. В уравнении пло­

скости

 

А (х х0) t- В (у уо) + С (z Zo) = 0,

(59)

как известно (см. п.102), коэффициенты А, В и С суть проекций вектора, нормального к этой плоскости. Поэтому, положив в (59)

А <'х (М0), В = (pÿ (М0), С =срг(М0), получим уравнение каса­ тельной плоскости к поверхности, заданной уравнением (57)

Ц>'х {Мо) х0) + еру(М0){у —у0) 4- фг (М0) (z —z0) -==0.

(60)

В канонических уравнениях прямой

X— х0

у i / o

z — z о

( 61)

т

п

р

 

величины т, п и р, как известно, суть проекции направляющего вектора s прямой. Поэтому и в соответствии с определением нормали к поверхности, если положить т = ц>'х (М0), п = (pÿ (М 0),

р — фг (Л/о), получим уравнения нормали к поверхности, задан­ ной уравнением (57)

 

ххо

УУо

2

zo

 

 

(Р>2)

 

ФІ Шо) ~

ф у (ЛГо)

ф; (Л?о) ‘

 

Ѵ '

П р и м е р .

Составить уравнение

касательной

плоскости

и нормали

к поверхности, заданной уравнением z = х2 4у 2 в точке М 0 (1 , 1 , 2).

Р е ш е н и е .

Здесь

ф =

хг +

у2 — z,

(pÿ =

2х,

(pÿ = 2у,

фг= —1-

В точке М 0 имеем ф* =

Фу =

2, (р'г

= —1. Поэтому в соответствии с равен­

ствами (60) и (62) получим уравнение касательной плоскости 2ж +

2у — z —

 

 

 

■у — I

у_I

2_2

 

- 2 = 0 и уравнения нормали — -— =

Л—— =.■-----— .

 

Поверхность называется гладкой, если в каждой ее точке суще­ ствует касательная плоскость и при переходе от точки к точке положение этой касательной плоскости меняется непрерывно. Если поверхность задана уравнением ф (х, у, z) = 0, то гладкость поверхности означает, что функция ф (х, у, z) имеет непрерывные производные (pÿ, фу, фг и что <'х2 + фу24фг2 > 0 . Действительно, в этом случае направляющие косинусы нормали к поверхности будут непрерывными функциями точки касания:

cos а = _____ фі______

COS ß

%

Ѵф^т-фуН-фг*

/ф і 24-ф;2 + Фг 2 ’

V(p’x2 + (pÿ2 + <pÿ2 '

В математике и ее приложениях встречаются поверхности, состоящие из конечного числа гладких частей, которые соединены

непрерывно;

такие

поверхности

называются

кусочно-гладкими.

О

г е о м е т р и ч е с к о м с м ы с л е п о л н о г о д и ф ­

ф е р е н ц и а л а .

Если

поверхность задана

уравнением z =

= / (х >У,) то

уравнение

касательной плоскости

будет получено

как

частный

случай

уравнения (60) при ф =

/ (х, у)

— z. Тогда

Ч>Х =

Гх,

фу =

/у, Фг = — 1 и уравнение (60)

примет

вид

 

 

fx(xо, Уо)(х — хо)+Гу(хо,

Уо)(у —Уо) — (z— 2о) = 0.

Соседние файлы в папке книги из ГПНТБ