
книги из ГПНТБ / Сахарников Н.А. Высшая математика учебник
.pdfпромежутка |
(а, ß) |
и |
соответствующее приращение Ау = |
|
= фД-г-гДя) — ф (ж). Имеет место равенство |
|
|||
|
/(ж + Дж, |
у Л //)-/(ж , у) = 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х |
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 (Д*)2-г (Дy 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. |