Математика С MATHCAD

7 21 2 444
А. М. ВЛАСОВА
МАТЕМАТИКА
С MATHCAD
Учебно-методическое пособие
ВЛАСОВА АЛИСА МИХАЙЛОВНА

Кандидат физико-математических наук, доцент кафедры «Высшая математика» ИнФО УрФУ,
старший научный сотрудник Института физики металлов им. М. Н. Михеева Уральского
отделения Российской академии наук.
Область научных интересов – физика прочности и пластичности, пластическая деформация
металлов и сплавов.
Автор более 20 статей в реферируемых и рецензируемых научных изданиях, индексируемых
в базах Web of Science, Scopus, РИНЦ.
Министерство образования и науки Российской Федерации
Уральский федеральный университет
имени первого Президента России Б. Н. Ельцина
А. М. Власова
Математика
с MathCad
Учебно-методическое пособие
Рекомендовано методическим советом

Уральского федерального университета
для студентов вуза, обучающихся по направлениям подготовки
08.03.01 — Строительство, 02.03.01 — Математика
и компьютерные науки, 01.03.03 — Механика
и математическое моделирование
Екатеринбург
УрФУ
2017
УДК 51:004.4(075.8)
ББК 22.1я73
В58
Рецензенты: канд. физ.-мат. наук, ст. науч. сотр. Института физи-

ки металлов УрО РАН А. Г.  Кесарев; завлабораторией физики высо-
ких давлений Института физики металлов УрО РАН канд. физ.-мат.
наук В. П.  Пилюгин
Научный редактор — канд. физ.-мат. наук, доц. С. И. Цыранов
На обложке используется изображение с сайта https://goo.gl/kbBy3D
Власова, А. М.
В58 Математика с MathCad : уч.-метод. пособие / А. М. Власова. —
Екатеринбург : УрФУ, 2017. — 139, [1] с.
ISBN 978-5-321-02544-4
Целью данного учебно-методического пособия является формирование у сту-
дентов, уже знакомых с системой MathCad, навыков его применения для ре-
шения простейших задач вычислительной математики. Описаны средства
программирования в пакете MathCad, в приложении рассмотрено построе-
ние графиков.
УДК 51:004.4(075.8)
ББК 22.1я73
ISBN 978-5-321-02544-4 © Уральский федеральный

университет, 2017
© Власова А. М., 2017
Введение
Д анное пособие кратко, сжато, конспективно, доступным

языком с иллюстрациями-наглядными примерами, взятыми
из файлов, выполненных в вычислительной системе MathCad, осве-
щает некоторые разделы курса математики, а именно: взятие произ-
водных и интегралов, решение уравнений, а также систем линейных
и нелинейных уравнений, построение графиков функций и поверхно-
стей второго порядка. Читатель знакомится с принципами численных
методов, программированием в системе MathCad, а также с примене-
нием стохастических методов в решении некоторых задач. В пособии
приводится минимум теоретического материала, при этом расставля-
ются акценты, связанные с сопоставлением традиционных аналитиче-
ских решений, выкладки которых студент (вслед за преподавателем)
обычно осуществляет на бумаге при помощи карандаша, и решений
в вычислительной системе MathCad (формулировкой задачи с после-
дующим получением готового ответа).
Автор считает полезным изучение математики с помощью MathCad
в качестве «рабочей тетради». При этом рутинные арифметические
действия остаются «за кадром», и все внимание устремлено к непо-
средственному пониманию математики: закономерностей, алгорит-
мов, логических выкладок.
Даются основы работы в MathCad, рисунки (листинги) иллюстри-
руют последовательность команд, требуемых для успешной реализа-
ции рассматриваемых задач.
Все листинги и рисунки иллюстрируют фрагменты файлов русифи-
цированной программы MathСad 15.0.
3
Введение
Данное учебно-методическое пособие окажет неоценимую помощь

студентам инженерных специальностей при подготовке к экзаменам,
зачетам и в текущей работе. Студент приобретет навыки, которые по-
могут ему выполнять различные инженерные расчеты при дальнейшем
обучении на старших курсах, а также в инженерной практике. Пред-
полагается, что студент обладает начальными знаниями и навыками
работы в вычислительной системе MathCad.
Для подробного и детального изучения вышеупомянутых разделов
математики необходимо обращаться к классическим курсам.
4
1. Функции и способы их задания. Уравнения
поверхностей второго порядка
У же в курсе элементарной математики рассматриваются про-

стейшие элементарные функции одного переменного: вза-
имосвязь между аналитическим представлением функции и видом
графика этой функции. В курсе линейной алгебры и аналитической
геометрии вводится понятие поверхности второго порядка. Для успеш-
ного освоения курса математики необходимо знать функции и поверх-
ности в пространстве, уметь их строить.
1.1. Основные элементарные функции, задаваемые явно
К основным классам элементарных функций, рассматриваемых

в курсе математического анализа, можно отнести:
1) степенные y = x a при a О , , ;
2) показательные y = a x при a > 1, 0 < a < 1 ;
3) логарифмические y = loga x, y = ln x при a > 1, 0 < a < 1 ;
4) тригонометрические y = sin x, y = cos x, y = tg x, y = ctg x;
5) обратные тригонометрические y = arcsin x, y = arccos x, y = arctg x, y = arcctg
y = arctg x, y = arcctg x .
Для построения графиков функции одной переменной y = f ( x )
в MathCad необходимо:
• Поставить крестообразный курсор в файле туда, где нужно постро‑

ить график;
5
1. Функции и способы их задания. Уравнения поверхностей второго порядка
• Щелкнуть мышью инструмент «График X‑Y» на панели инструментов;

• В открывшемся окне появится система координат с двумя местоза‑
полнителями, куда необходимо ввести с клавиатуры по оси абсцисс —
аргумент х, по оси ординат — требуемую функцию y(x);
Щелкнуть мышью пустое поле вне графика. График готов!
Возможен вариант построения графика, когда по оси ординат от-
кладывается общий вид функции, например g (x), а в теле файла для
этой функции присваивается конкретный вид g (x):=.
В MathCad есть следующие встроенные элементарные функции:
y = log( x,b) , y = ln( x ) , y = sin( x ) , y = cos( x ) , y = tan( x ) , y = cot( x ) ,
y = a sin( x ) , y = a cos( x ) , y = a tan( x ) , y = a cot( x ) , где x — переменная,
b — основание логарифма. По умолчанию b = 10, и y = log( x ) задает
функцию десятичного логарифма.
При построении графиков необходимо помнить, что чтение и вы-
полнение файла происходит сверху вниз и слева направо. Сначала
необходимо задать функцию, а потом ссылаться на нее.
Для построения нескольких функций на одном графике необходи-
мо ставить запятую между функциями, после этого курсор будет авто-
матически перемещаться на строку ниже, в которой необходимо вво-
дить следующий график.
Напомним, что если y = f ( x ) и каждому значению x из области опре-
деления x О X ставится в соответствие y из области значений y ОY ,
то обратной функцией называется x = g ( y ) , в которой каждому значе-
нию y ОY ставится в соответствие x О X . Графически это выявляется
тем, что пары взаимно обратных функций симметричны относитель-
но оси симметрии y = x .
Графики основных элементарных функций и обратных к ним, по-
строенные в MathCad, представлены в прил. 1. Графики основных три-
гонометрических и обратных к ним функций представлены в прил. 2.
В отдельную группу можно выделить играющие важную роль в ана-
лизе и его приложениях гиперболические функции, не являющиеся ос-
новными элементарными.
Функция гиперболического косинуса описывает линию, форму ко-
торой принимает гибкая однородная нерастяжимая тяжелая нить или
цепь с закрепленными концами в однородном гравитационном поле.
Через гиперболические функции возможно представить, например,
м x = ch t ,
уравнение гиперболы в параметрическом виде x 2 - y 2 = 1, где н
о y = sh t ,
6
1.1. Основные элементарные функции, задаваемые явно
что можно рассматривать как основное гиперболическое тождество:

ch2x – sh2x = 1.
В MathCad существуют встроенные гиперболические функции
y( x ) = sinh( x ), y( x ) = cosh( x ), y( x ) = tanh( x ), y( x ) = coth( x ).
exp( x ) - exp( - x ) exp( x ) + exp( - x )
sh x = , ch x = ,
2 2
exp( x ) - exp( - x ) exp( x ) + exp( - x )
th x = , сth x = .
exp( x ) + exp( - x ) exp( x ) - exp( - x )
Гиперболические функции используют в гиперболических заменах
при взятии интегралов.
Обратные гиперболические функции можно вывести как сложные
функции из определения обратной функции.
1. Ареасинус y ( x ) = Arsh x – функция обратного гиперболического
синуса y = sh( x ) .
exp( x ) - exp( - x )
sh x = y = ,exp( x ) - exp( - x ) = 2 y,exp(2 x ) - 2 y exp( x ) - 1 = 0,
2
2y ± 4y 2 + 4
exp( x )1,2 = ,exp( x ) > 0,exp( x ) = y + y 2 + 1, x = ln( y + y 2 + 1) Ю
2
· Arsh x = ln( x + x 2 + 1).
2. Ареакосинус y ( x ) = Arсh x — функция обратного гиперболиче-
ского косинуса y = сh( x ).
exp( x ) + exp( - x )
ch x = y = ,exp( x ) + exp( - x ) = 2 y,exp(2 x ) - 2 y exp( x ) + 1 = 0,
2
2y ± 4y 2 - 4
exp( x )1,2 = ,exp( x ) > 0, y > 0,
2
exp( x ) = y + y 2 - 1,exp( x ) = y - y 2 - 1, x = ln( y + y 2 - 1) Ю
· Arch x = ln( x + x 2 - 1).
Покажем, что y = ln( x - x 2 - 1) = - ln( x + x 2 - 1) < 0 :

1
- ln( x + x 2 - 1) = ln( x + x 2 - 1)-1 = ln =
x + x2 -1
= ln
(x - x2 -1 ) = ln( x - x 2 - 1).
(x + )(
x -1 x - x -1
2 2
)
7
3. Ареатангенс y ( x ) = Arthx — функция обратного гиперболического

тангенса y = th( x ) .
exp( x ) - exp( - x )
th x = y = ,exp( x ) - exp( - x ) = (exp( x ) + exp( - x )) y,
exp( x ) + exp( - x )
exp( x )(1 - y ) = exp( - x )(1 + y ) = 0,
1+ y 1 ж1+ y ц
exp(2 x ) = , x = ln з чЮ
1- y 2 и1- y ш
1 ж1+ x ц
· Arth x = ln .
2 зи 1 - x чш
4. Ареакотангенс y ( x ) = Arсth x функция обратного гиперболиче-
ского котангенса y = сth( x ).
exp( x ) + exp( - x )
сth x = y = ,exp( x ) + exp( - x ) = (exp( x ) - exp( - x )) y,
exp( x ) - exp( - x )
y +1 1 ж y +1 ц
e x ( y - 1) = exp( - x )( y + 1) = 0,exp(2 x ) = , x = ln з чЮ
y -1 2 и y -1 ш
1 ж x +1 ц
· Arсth x = ln .
2 зи x - 1 чш
В MathCad существуют встроенные обратные гиперболические функции

y( x ) = a sinh( x ), y( x ) = a cosh( x ), y( x ) = a tanh( x ), y( x ) = a coth( x ).
Графики гиперболических функций и обратных к ним пред-
ставлены в прил. 3.
1.2. Функции, задаваемые параметрически
Алгоритм для построения графиков функций, заданных в параме-

м x = j(t ),
трическом виде y = н
о y = y(t ).
• Необходимо поставить крестообразный курсор в файле туда, где
нужно построить график;
8
1.3. Кривые в полярной системе координат
• щелкнуть мышью инструмент «График X‑Y» на панели инструментов;

• в открывшемся окне появится система координат с двумя местоза‑
полнителями, куда необходимо ввести с клавиатуры по оси абсцисс —
j(t ) , по оси ординат – y(t ) ;
• щелкнуть мышью пустое поле вне графика. График готов!
Помимо явного и параметрического задания функций одной пере-

менной y = f ( x ) возможно задание функций и построение графиков
в полярных координатах. Одной и той же точке на плоскости в декар-
товой системе координат ставится в соответствие пара чисел (x, y),
в полярной системе координат — пара чисел (ρ, φ).
Для построения графиков функции, заданных в полярных коорди-
натах r = r(j) :
• поставить крестообразный курсор в файле туда, где нужно постро‑
• щелкнуть мышью инструмент «Полярный график» на панели ин‑
струментов;
• в открывшемся окне появится полярная сетка с четырьмя местоза‑
полнителями, куда необходимо ввести с клавиатуры выражение угла
φ для графика и выражение радиуса ρ для графика, остальные 2 ме‑
стозаполнителя, отвечающие за верхнюю и нижнюю границу ради‑
альных данных, можно оставить пустыми — они заполнятся авто‑
матически;
• Щелкнуть мышью пустое поле вне графика. График готов!
Если задать функцию r(j) = 0 , то можно увидеть полярную сетку,
представляющую собой несколько концентрических окружностей, от-
вечающих за геометрическое место точек равных полярных радиусов
ρ (ρ = 1, 2, 3, 4), и прямых, выходящих из центра, отвечающих за ге-
ометрическое место точек равных полярных углов φ (φ = 0, 30, 60,
…, 360).
9
Полярная сетка
В полярной системе координат окружность, проходящая через на-

чало координат задается как r = const . В случае окружности, которая
проходит через O (0,0), но центр которой смещен, имеем дело со сле-
дующими функциями:
2 2
ay ж aц жaц
r = a sin j, x2 + y2 = , ay = x 2 + y 2 , x 2 + з y - ч = з ч .
x +y
2 2
и 2ш и2ш
ж aц a
Это окружность с центром з 0, ч радиусом r = .
и 2ш 2
2 2
ax ж aц жaц
r = a cos j, x +y =
2 2
, ax = x + y , з x - ч + y 2 = з ч .
2 2
x +y
2 2
и 2ш и2ш
жa ц a
Это окружность с центром з , 0 ч радиусом r = .
и2 ш 2
10
Таблица 1
Некоторые уравнения в явном, неявном, параметрическом виде
Уравнение в параме-
Уравнение в неявном
трическом виде (или Название Примечания
(явном) виде
в полярной СК)
м x = a + r Ч cos t , С центром O (a, b) и ради-

( x - a)2 + ( y - a)2 = r 2 н Окружность
о y = b + r Ч sin t усом r
м x = a + r1 Ч cos t , С центром O (a, b), боль-

2 2
( x - a) ( y - b) н Эллипс шой полуосью r1 и малой
+ =1 о y = b + r2 Ч sin t
r12 r22 полуосью r2
11
2
пм x = a + d sin t ,
y = kx + b н 2
оп y = c cos t Прямая –
d
k = ,b = a + d . м x = t,
c н
о y = kt + b
м x = a(t - sin t ), Периодическая кривая
н (T = 2pa ), описывающая
о y = a(1 - cos t )
траекторию фиксирован-
a-y Циклоида ной точки производящей
x = a Ч arccos - 2ay - y 2
a окружности радиуса a ,
катящейся без скольже-
ния по прямой
Продолжение табл. 1
2 2 2 3
x 3 + y 3 = a3 пм x = a cos t ,
н 3 Астроида –
оп y = a sin t
м 3at
x 3 + y 3 - 3axy = 0 (a > 0) пп x = 1 + t 3 ,
н 2 Декартов лист –
п y = 3at
12
по 1+ t3
2
2 м x = a(2 cos t - cos 2t ), Плоская линия, которая
(x + y 2 + 2ax ) - 4a 2 x 2 + y 2 = 0
( ) н описывается фиксирован-
о y = a(2 sin t - sin 2t )
ной точкой окружности,
r = 2a (1 - cos j) Кардиоида
катящейся по неподвиж-
ной окружности с та-

ким же радиусом
2
2 м p + p3
(x + y2 ) = 2c 2 x 2 - y 2
( ) x = c 2 ,
п
п 1 + p4
y=± c 4 + 4 x 2c 2 - x 2 - c 2 н 3
пy = c 2 p - p
по 1 + p4 Лемниската
–
-Ґ < p < Ґ Бернулли
жp ц
p 2 = tg з - j ч
и4 ш
13
r2 = 2c 2 cos 2j
– мп x = ae bt cos t ,
н bt Логарифмиче-
по y = ae sin t . –
ская спираль
r = ae bj
y 2 (2R - x ) = x 3 r = 2R Ч tg j sin j
м 2a Ч tg 2 j
п x = ,
п 1 + tg 2 j Циссоида –
н 3
п y = 2a Ч tg j
по 1 + tg 2 j
Окончание табл. 1
2 a
x 2 ( x + a) + y 2 = a2 y 2
( ) r= ± a Ч tg j
cos j
м ж tg 2 j - 1 ц
п x = a з 2 ч Строфоида –
п и tg j + 1 ш
н 2
п y = a Ч tg j ж tg j - 1 ц
п з 2 ч
о и tg j + 1 ш
14
x 2 y 2 + ( x + a)2 ( x 2 - b 2 ) = 0 a
r= ±b Конхоида Полюс в точке ( -a,0 )
cos j
3
2 r = a sin 2j Четырехлепест-
(x + y2 ) = 4a 2 x 2 y 2 –
ковая роза
Некоторые из этих кривых в виде графиков можно найти в прил. 4 и 5 к данному пособию.
1.4. Прямолинейные и криволинейные координаты. Преобразования
1.4. Прямолинейные и криволинейные координаты.

Преобразования
В математическом анализе помимо изучаемых уже в школе прямо-

угольных декартовых координат (на плоскости и в пространстве) ис-
пользуются цилиндрические и два варианта сферических координат.
При рассмотрении точек на плоскости также имеет место полярная
система координат. Отдельной подзадачей, без которой невозмож-
но решение более сложных задач, является взаимное преобразование
прямолинейных и криволинейных координат одной и той же точки
плоскости или трехмерного пространства.
Декартова прямоугольная система координат характеризуется тем, что
каждой точке M ставится в соответствие (на плоскости) пара чисел ( x, y )
либо (в пространстве) тройка чисел ( x, y, z ) , которые являются проекция-
ми данной точки на координатные ортогональные оси координат. Обычно
рассматривается правая координатная система, основанная на трех вза-
имноортогональных базисных векторах, составляющих правую тройку.
Полярная система координат ставит в соответствие точке на пло-
скости пару чисел (r , j) , называемых соответственно полярный ра-
диус и полярный угол.
Для перевода криволинейных полярных координат в прямолиней-
ные декартовы (r , j) Ю ( x, y ) справедливы следующие равенства
м x = r Ч cos j,
н r > 0, 0 Ј j < 2p.
о y = r Ч sin j.
мr = x 2 + y 2 ,
п
Из прямолинейных в криволинейные ( x, y ) Ю ( r , j) : н y
пj = arctg .
о x
Полярная система координат представляет параметрическое зада-
ние кривой второго порядка — окружности x 2 + y 2 = r 2 , с центром в на-
чале координат, где верхней полуокружности удовлетворяет уравне-
ние y = r 2 - x 2 , y і 0 , нижней — y = - r 2 - x 2 , y < 0 . Если необходимо
параметрически задать окружность с центром ( x0 , y0 ) , то вид знако-
мой системы параметрических уравнений незначительно меняется:
м x = x0 + r Ч cos j,
н r > 0, 0 Ј j Ј 2p.
о y = y0 + r Ч sin j,
15
Сферическая система координат представляет собой упорядочен-

ную тройку чисел (r, j, q) , называемых соответственно сферическим
радиусом, широтой и долготой. Возможны два типа сферических ко-
ординат, которые различаются границами изменения широт и долгот.
Для перевода криволинейных сферических координат в прямоли-
нейные декартовы (r , j, q) Ю ( x, y, z ) справедливы следующие равенства:
м x = r Ч cos j Ч sin q,
п
н y = r Ч sin j Ч sin q , 0 Ј j < 2p, 0 Ј q Ј p.
пz = r Ч cos q
о
Для перевода из прямолинейных в криволинейные сферические
( x, y, z ) Ю (r , j,q) :
м
пr = x 2 + y 2 + z 2 ,
п
пп y
нj = arctg ,
п x
п z
пq = arccos 2 .
по x + y2 + z2
Также для перевода криволинейных сферических координат в пря-
молинейные декартовы справедлива вторая сферическая система ко-
ординат (r , g,q ) Ю ( x, y, z ) :
м x = r Ч cos j Ч cos q,
п p p
н y = r Ч sin j Ч cos q , 0 Ј j < 2p, - Ј q Ј .
пz = r Ч sin q. 2 2
о
Для перевода из прямолинейных декартовых координат в криволи-
нейные сферические, согласно второй системе координат
( x, y, z ) Ю (r , j,q) :
м
пr = x 2 + y 2 + z 2 ,
п
пп y
нj = arctg ,
п x
п z
пq = arcsin ,
по x + y2 + z2
2
16
1.4. Прямолинейные и криволинейные координаты. Преобразования
Обе сферических системы могут применяться при решении задач;

как одна, так и другая рассматриваются в учебниках.
Сферическая система координат является, с другой стороны, пара-
метрическим заданием поверхности второго порядка — сферы с цен-
тром в начале координат. Неявно такая сфера задается уравнением
x 2 + y 2 + z 2 = r 2 , где одной полусфере удовлетворяет уравнение
z = r 2 - x 2 - y 2 , z і 0 , другой — z = - r 2 - x 2 - y 2 , z < 0 .
Если необходимо параметрически задать сферу с центром ( x0 , y0 , z 0 ) ,
то вид систем параметрических уравнений изменится так
м x = x0 + r Ч cos j Ч sin q, м x = x0 + r Ч cos j Ч cos q,
п п
н y = y0 + r Ч sin j Ч sin q , н y = y0 + r Ч sin j Ч cos q,
пz = z + r Ч cos q. пz = z + r Ч sin q.
о 0 о 0
Цилиндрическая система координат представляет собой наложение

полярной системы и прямоугольной декартовой, из которой берется
третья координата. Для перевода из цилиндрической в прямоугольную:
(r , g, z ) Ю ( x, y, z ):
м x = r Ч cos j,
п
н y = r Ч sin j, r > 0, 0 Ј j Ј 2p,
пz = z .
о
мr = x 2 + y 2 ,
п
п y
Из прямоугольной в цилиндрическую ( x, y, z ) Ю (r , j, z ): нj = arctg ,
п x
пz = z .
о
Цилиндрическая система координат является, с другой стороны, па-
раметрическим заданием поверхности второго порядка — цилиндра
x2 y2
+ = 1, конечного для z О [a0 ,b0 ] или бесконечного для z О [–∞; + ∞].
a2 b2
В MathCad есть встроенные функции, позволяющие переводить ко-
ординаты точек из одной системы координат в другую:
• xy2pol (x, y) преобразует прямоугольные координаты точки (x, y)
в полярные координаты (r, theta);
• pol2xy (r, theta) преобразует полярные координаты точки (r, theta)
в прямоугольные координаты (x, y);
17
• xyz2cyl (x, y, z) преобразует прямоугольные координаты точки (x, y,

z) в цилиндрические координаты (r, theta, z);
• xyz2sph (x, y, z) преобразует прямоугольные координаты точки (x, y,
z) в сферические координаты (r, theta, phi);
• cyl2xyz (r, theta, z) преобразует цилиндрические координаты точки
(r, theta, z) в прямоугольные координаты (x, y, z);
• sph2xyz (r, theta, phi) преобразует сферические координаты точки
(r, theta, phi) в прямоугольные координаты (x, y, z).
Взаимное преобразование прямолинейных и криволинейных координат

с использованием встроенных функций
Преобразование координат необходимо при вычислении объемов

и кратных интегралов в криволинейных координатах.
18
1.5. Поверхности второго порядка
Поверхность второго порядка — это геометрическое место точек

трехмерного пространства, прямоугольные координаты которых удов-
летворяют уравнению вида
a11 x 2 + a22 y 2 + a33 z 2 + 2a12 xy + 2a23 yz + 2a13 xz + 2a14 x + 2a24 x + 2a34 x + a44 = 0 ,
в котором, по крайне мере, один из коэффициентов a11 ,a22 ,a33 ,a12 ,a23 ,a13
отличен от нуля.
Рассмотрим все типы поверхностей второго порядка в канониче-
ском виде и в параметрической форме (табл. 2). Примеры их постро-
ения даются в прил. 6.
Таблица 2
Поверхности второго порядка в каноническом и параметрическом виде
Параметрическая
Название Канонический вид
форма
( x - x0 ) + ( y - y0 ) + ( z - z 0 ) = r 2 м x = x0 + r sin j Ч cos q
2 2 2
п
н y = x0 + r sin j Ч sin q
пz = z + r cos q
о 0
Сфера
м x = x0 + r cos j Ч cos q
п
н y = x0 + r cos j Ч sin q
пz = z + r sin q
о 0
( x - x0 ) ( y - y0 ) ( z - z0 ) м x = x0 + a cos j Ч cos q
2 2 2
+ + =1 п
a2 b2 c2 н y = x0 + b cos j Ч sin q
пz = z + c sin q
о 0
Эллипсоид
м x = x0 + a sin j Ч cos q
п
н y = x0 + b sin j Ч sin q
пz = z + c cos q
о 0
Эллиптиче- x2 y2 –
ский парабо- + = pz
a 2 b2
лоид
19
форма
Гиперболиче- x2 y2 –
ский парабо- - = pz
a 2 b2
лоид
( x - x0 ) ( y - y0 ) ( z - z0 ) м x = x0 + a ch j Ч cos q
2 2 2
Гиперболоид + - =1 п
однополост- a2 b2 c2 н y = x0 + b ch j Ч sin q
ный пz = z + c sh ¸
о 0
( x - x0 ) ( y - y0 ) ( z - z0 ) м x = x0 + a sh j Ч cos q
2 2 2
+ - = -1 п
a2 b2 c2 н y = x0 + b sh j Ч sin q
Гиперболоид пz = z + c ch q
о 0
двуполост-
ный м x = x0 + a sh j Ч cos q
п
н y = x0 + b sh j Ч sin q
пz = z - c ch q
о 0
–
( x - x0 ) ( y - y0 ) ( z - z0 )
2 2 2
Конус + - =0
a2 b2 c2
( x - x0 ) ( y - y0 ) м x = x0 + a cos j
2 2
Цилиндр эл- + =1 п
a2 b2 н y = y0 + b sin j
липтический пz = z
о
y 2 = 2 px м u2
п x =
пп 2
Цилиндр па- y = u
н
раболический пz = z
п
по
( x - x0 ) ( y - y0 ) м x = x0 + a ch j
2 2
- =1 п
Цилиндр ги- a 2
b 2
н y = y0 + b sh j
перболичес- пz = z
о
кий
20
Окончание табл. 2
форма
– – м x = x0 - a ch j
п
н y = y0 + b sh j
пz = z
о
x2 y2 –
Пара пере- - =0
a 2 b2
секающихся
плоскостей
Пара парал- y 2 - b2 = 0 –
лельных пло-
скостей
Пара совпа- y2 = 0 –
дающих пло-
скостей
–
( x - x0 ) ( y - y0 )
2 2
Мнимый эл-
+ = -1
липтический a2 b2
цилиндр
–
( x - x0 ) ( y - y0 ) ( z - z0 )
2 2 2
Мнимый
+ + = -1
эллипсоид a2 b2 c2
–
( x - x0 ) ( y - y0 ) ( z - z0 )
2 2 2
Мнимый + + =0
конус a2 b2 c2
Пара мнимых y 2 + b2 = 0 –
параллельных
плоскостей
Пара мнимых x2 y2 –
пересекаю- + =0
a 2 b2
щихся пло-
скостей
21
Для построения поверхностей второго порядка необходимо:

• Задать в файле зависимость в явном виде z = z ( x, y ) ;
• Щелкнуть мышью инструмент «График поверхности» на панели ин‑
• В открывшемся окне появится заготовка графика с одним местоза‑
полнителем, куда необходимо ввести с клавиатуры ссылку на назва‑
ние поверхности z = z ( x, y ) ;
Если сделать двойной щелчок левой кнопкой мыши по графику,
то в появившемся меню Формат 3D-графика можно задать дополни-
тельные параметры для него, такие как цвет осей, подсветка, поворот,
наклон и других. Удерживая левую кнопку мыши на графике, можно
вращать поверхность.
В большинстве случаев зависимость в явном виде выразить невоз-
можно, тогда для построения поверхности необходимо:
• Задать в файле зависимость в параметрическом виде в качестве мас‑
м x = x (t ),
п
сива S = н y = y (t ),
пz = z (t ).
о
• Задать параметры функции S1:=CreateMesh (function (S), [s0, s1, t0,
t1], [sgrid, tgrid], [fmap]), которая возвращает вложенный массив
из трех матриц, представляющих координаты x, y и z параметриче‑
ской поверхности, определенной функцией (функциями) с двумя пе‑
ременными в первом аргументе (аргументах);
• Щелкнуть мышью инструмент График поверхности на панели ин‑
• В открывшемся окне появится заготовка графика с одним местоза‑
полнителем, куда необходимо ввести с клавиатуры ссылку на назва‑
ние поверхности S1;
22
2. Комплексные числа
M athcad поддерживает работу с комплексными числами в их

традиционной форме представления. Однако только в ал-
гебраической. При аналитическом и численном решении уравнений
определяются как действительные, так и мнимые корни. Функция
комплексного переменного интегрируется. Большинство встроенных
функций могут принимать как действительные, так и комплексные ар-
гументы. Многие встроенные функции сами могут возвращать ком-
плексные значения при определенных величинах аргументов.
Встроенными функциями являются
• arg (z) возвращает главное значение аргумента комплексного числа
z. Главное значение находится в интервале ( -p, p] ;
• csgn (z) возвращает комплексный знак z, заданный значением 0, если
z = 0, значением 1, если вещественная или мнимая часть z > 0, и зна‑
чением –1 в противном случае;
• Im (z) возвращает мнимую часть комплексного числа, вектора или
матрицы z;
• Re (z) возвращает вещественную часть комплексного числа z;
• signum (z, [x]) возвращает x, если z = 0, иначе возвращает z/|z|.
Далее приводятся простейшие действия с комплексными числами:
умножение, сложение (вычитание), умножение, деление. Также пока-
зано, как при помощи функции solve находятся комплексно-сопряжен-
ные корни квадратного уравнения x 2 + x + 1 = 0 . Вычисляются действи-
тельная, мнимая часть числа, аргумент, сигнум, комплексный знак.
Можно заметить, что автоматически вычисляется только одно зна-
чение корня из комплексного числа. Поэтому, для того чтобы вычис-
лить все n значений корня n‑й степени из комплексного числа, необ-
23
2. Комплексные числа
ходимо задать функцию для его вычисления. Приводится вычисление

корня четвертой степени a = 4 -1 .
Основные операции с комплексными числами

Действительные Re (a) и мнимые Im (a) части вычисленных корней
выводятся в качестве массива. Проверкой служит вычисление моду-
лей каждого из 4 полученных чисел z = Re2 (a) + Im 2 (a) . Все они ле-
жат на окружности радиусом r = 1 .
Извлечение корней из комплексных чисел
24
3. Предел последовательности и предел
функции одной переменной
3.1. Числовые последовательности и их пределы
Е сли каждому числу n натурального ряда чисел 1,2,.., n, … ста-

вится в соответствие по определенному закону некоторое веще-
ственное число xn , то множество занумерованных вещественных чи-
сел x1 , x2 ,..., xn ,... называется числовой последовательностью. Элементы
или члены последовательности будем обозначать символом {xn } .
Последовательность {xn } называется ограниченной сверху (сни-
зу), если существует такое вещественное число M (число m), что каж-
дый элемент xn последовательности {xn } удовлетворяет неравенству
x n Ј M ( x n і m) .
При этом число M (число m) называется верхней гранью (нижней
гранью) последовательности {xn } , а неравенство xn Ј M ( xn і m) назы-
вается условием ограниченности последовательности сверху (снизу).
Последовательность {xn } называется ограниченной с обеих сторон
или просто ограниченной, если она ограничена и сверху, и снизу, т. е.
если существуют числа m и M такие, что любой элемент xn этой по-
следовательности удовлетворяет неравенствам m Ј xn Ј M .
Если последовательность {xn } ограничена, а M и m — ее верхняя
и нижняя грани, то все элементы xn этой последовательности удовлет-
воряют неравенству xn Ј A , где A — максимальное из двух чисел M
и m . Так, если все элементы последовательности {xn } удовлетворя-
ют неравенству xn Ј A , то выполняются также неравенства - A Ј xn Ј A
и, следовательно, последовательность {xn } ограничена.
25
3. Предел последовательности и предел функции одной переменной
Последовательность {xn } называется неограниченной, если для лю-

бого положительного числа A найдется элемент xn этой последователь-
ности, удовлетворяющий неравенству xn > A .
Последовательность {xn } называется бесконечно большой, если
для любого положительного числа A можно указать номер N такой,
что при n і N все элементы xn этой последовательности удовлетво-
ряют неравенству xn > A .
Последовательность {an } называется бесконечно малой, если для
любого положительного числа e можно указать номер N такой, что
при n і N все элементы an этой последовательности удовлетворяют
неравенству an < e .
Определение. Последовательность {xn } называется сходящейся, если
существует такое число A, что последовательность {xn – A} является бес-
конечно малой. При этом число A называется пределом этой последо-
вательности {xn } .
Рассмотрим последовательность площадей правильных n‑угольников
{S n } , вписанных в окружность радиусом R. При бесконечном увеличе-
нии сторон площадь такого n‑угольника стремится к площади круга!
Значит, последовательность {S n } имеет конечный предел limn ®Ґ
S n = pR 2 .
Рассмотрим вычисление пределов некоторых числовых последова-
тельностей и прокомментируем их вычисление аналитически:
Вычисление пределов последовательностей
26
3.2. Предел функции
1 й1 щ
lim = = 0.
n ®Ґ n2 кл Ґ ъы
1
5+
5n2 + n й Ґ щ n = 5.
lim = к ъ = lim
n ®Ґ n2 л Ґ ы n®Ґ 1
1 10
5+ 2 + 3
5n3 + n + 10 й Ґ щ n n = Ґ.
lim = к ъ = lim
n ®Ґ n2 + 1 л Ґ ы n®Ґ 1 + 1
n n3
n
жnц
2pn з ч
n! й Ґ щ и e ш = 0.
lim n = к ъ = lim
лҐ ы
n®Ґ n n
n ®Ґ n
1
n n2 Ч
ж 1 ц ж 1 ц n 1
lim з1 + 2 ч = йл1Ґ щы = lim з1 + 2 ч = exp(lim ) = 1.
n ®Ґ
и n ш n ®Ґ
и n ш n ®Ґ n
( n +10 )
( n +10 ) ( 5n + 3)Ч
ж 1 ц ж 1 ц ( 5n +3) ж n + 10 ц ж1ц
lim з1 + ч = йл1 щы = lim з1 +
Ґ
ч = exp з lim ч = exp з 5 ч .
n ®Ґ
и 5n + 3 ш n ®Ґ
и 5n + 3 ш и n ®Ґ 5n + 3
ш и ш
( 5 n2 + 2 )
ж 1 ц
lim з 2 + 2 = йл2Ґ щы = Ґ.
n ®Ґ
и n + n + 3 чш
3.2. Предел функции
Определение 1. Число А называется пределом функции f (x) в точке

a, если f (x) определена в этой окрестности, за исключением, быть мо-
жет, самой точки a, если для всякого ε > 0 можно указать зависящее
от него δ>0 такое, что для всех x, для которых 0 < x - a < d имеет ме-
сто f ( x ) - A < e . Обозначается lim
x ®a
f (x) = A .
Определение 2. Число А называется пределом функции f (x) в точке
a, если она определена в этой окрестности, за исключением, быть мо-
жет, самой точки a и если предел последовательности f {xn } существу-
ет и равен A, какая бы ни была последовательность {xn } , сходящаяся
к a, и такая, что xn № a для всех n. xlim
®a
f ( xn ) = A .
n
27
3. Предел последовательности и предел функции одной переменной
Вычисление пределов функций в точке
Аналитический расчет дает те же результаты:

sin x
1. lim = 1.
x ®0 x
2. lim
(1 + x )
5
-1
= lim
(x 5
+ 5x 4 + 10 x 3 + 10 x 2 + 5x + 1 - 1 ) =
x ®0 x x ®0 x
(
= lim 5 + 10 x + 10 x 2 + 5x 3 + x 4 = 5.
x ®0
)
ж x2 - x - 2 ц ( x - 2)( x + 1)
3. lim з ч = lim = 3.
x ®2
и x -2 ш x ® 2 ( x - 2)
1
4. lim (1 + x ) x = 1.
x ®0
ж x7 -1 ц (
( x - 1) x 6 + x 5 + x 4 + x 3 + x 2 + x + 1 7 )
5. lim з 4 ч = lim = .
x ®1 x - 1
и ш x ®2 ( x - 1) x 3 + x 2 + x + 1( 4 )
( )
3 1
( ) ( )
Ч3
6. lim 1 + x + x 2 x2 +x = lim 1 + x + x 2 x2 +x = exp lim 3 = exp 3.
x ®0 x ®0 x ®0
28
4. Дифференцирование и интегрирование
В этой главе излагаются примеры вычисления производных пер-

вого порядка и n‑го порядка, исследование функции одного
переменного на экстремум, вычисление определенных, неопределен-
ных, несобственных, эллиптических интегралов. Рассматриваются ин-
тегралы, не берущиеся в элементарных функциях. Показано, как та-
булировать функцию одного переменного.
В курсе математического анализа рассматриваются кроме того двой-
ные, тройные, криволинейные интегралы первого и второго родов,
поверхностные интегралы первого и второго родов, которые здесь
не приводятся.
4.1. Дифференцирование
Определением производной функции является

f ( x + Dx ) - f ( x )
f ў( x ) = lim .
Dx ® 0 Dx
На панели инструментов Математический анализ два значка отно-
сятся к дифференцированию, это, непосредственно, взятие произво-
d dn
дной и взятие производной n‑го порядка n .
dx dx
Из данного выше определения аналитически можно вывести про-
изводные всех основных классов элементарных функций, то есть за-
писать таблицу производных. Сделаем это для всех основных классов
элементарных функций.
29
4.1.1. Производные основных элементарных функций

1) Производная степенной функции с целочисленным показателем
( x + Dx ) - x
n n
f ( x + Dx ) - f ( x )
f ў( x ) = lim = lim
Dx ® 0 Dx Dx ® 0 Dx
n 1 n -1
x + C n x Dx + ... + ( Dx ) - x n n
n!
= lim = C n1 x n -1 = Ч x n -1 = nx n -1
Dx ® 0 Dx (n - 1)!
2) Производная степенной функции с рациональным показате-

лем. Для доказательства необходимо использовать логарифмирование:
yў a ay ax a
y = x a ,ln y = a ln x, = , yў = = = ax a -1
y x x x
3) Производная логарифмической функции:
ж Dx ц ж Dx ц
loga з1 + ч loga з1 +
loga ( x + Dx ) - loga x и x ш и x чш
( loga x )ў = Dlim = lim = lim =
x ®0 Dx Dx ® 0 Dx Dx ® 0 Dx
x 1 x
Ч
ж Dx ц Dx x ж Dx ц Dx
1 ln з1 + ln з1 + ч
ж Dx ц Dx x чш x ш 1
= lim loga з1 + = lim и = lim и = .
Dx ® 0 и x чш Dx ® 0 ln a Dx ® 0 x Ч ln a x Ч ln a
4) Производные тригонометрических функций
sin ( x + Dx ) - sin x sin x cos Dx + cos x sin Dx - sin x
( sin x )ў = Dlim = lim =

x ®0 Dx Dx ® 0 Dx
sin x (cos Dx - 1) + cos x sin Dx sin Dx
= lim = lim cos x = cos x .
cos ( x + Dx ) - cos x cos x cos Dx - sin x sin Dx - cos x
( cos x )ў = Dlim = lim =
x ®0 Dx Dx ® 0 Dx

cos x (cos Dx - 1) - sin x sin Dx sin Dx
= lim = - lim sin x = - sin x .
tg x + tg Dx
- tg x
ў tg ( x + Dx ) - tg x 1 - tg x Ч tg Dx
( ) Dlim
tgx = = lim =
x ®0 Dx Dx ® 0 Dx
tg x + tg Dx - tg x + tg 2 x Ч tg Dx tg Dx 1
= lim
Dx ® 0 (1 - tg x Ч tg Dx ) Dx Dx ® 0
(
= lim 1 + tg 2 x
Dx
)
=
cos 2 x
.
30
ctg x Ч ctg Dx + 1
- ctg x
ў ctg ( x + Dx ) - ctg x ctg Dx - ctg x
( ctg x ) = Dlim = lim =
x ®0 Dx Dx ® 0 Dx
= lim
ctg x Ч ctg Dx + 1 - ctg x Ч ctg Dx + ctg 2 x
= lim
(
1 + ctg 2 x) =-
1
.
Dx ® 0 ( ctg Dx - ctg x ) Dx Dx ® 0 cos Dx Ч Dx
- ctg x Ч Dx sin 2
x
sin Dx
5) Производная показательной функции f ( x ) = a x будет выглядеть
как
a x + Dx - a x a Dx - 1 Dx Ч ln a
f ў( x ) = lim = a x Ч lim = a x Ч lim = a x Ч ln a.
Dx ® 0 Dx Dx ® 0 Dx Dx ® 0 Dx
6) Производные от обратных гиперболических функций. Для того
чтобы аналитически вывести производные от арксинуса, арккосинуса,
арктангенса и арккатангенса, необходимо рассмотреть теорему о про-
изводной обратной функции.
Теорема. Пусть функция y = f ( x ) в некоторой окрестности точки
x0 возрастает (или убывает), непрерывна, дифференцируема в точке
x0 и производная f ў( x0 ) отлична от нуля. Тогда существует обратная
функция x = f -1 ( x ) , которая определена в некоторой окрестности со-
ответствующей точки y0 = f ( x0 ) , дифференцируема в этой точке и име-
1
ет в этой точке производную, равную .
f ў( x0 )
Доказательство. Рассмотрим x = f -1 ( x ) , отношение приращения
Dx 1
функции к приращению аргумента равно = . При этом
Dy Dy / Dx
Dy № 0, Dx № 0 .
1 1 Dx 1 ў Dx = 1 .
lim = Ю lim = . Но ( f -1 ( y0 )) =
Dx ® 0 Dy / Dx f ў( x0 ) Dx ®0 Dy f ў( x0 ) Dy f ў( x0 )
Теорема доказана.
1 1 1
( arcsin x )ў = = = ; ( arccos x )ў = 1 = 1 = - 1 ;
( sin y )ў cos y 1- x ( cos y )ў - sin y
2
1- x2
1 1 1
( arctg x )ў = = cos 2 y = = ;
( tg y )ў 1 + tg y 1 + x 2
2
31
1 1 1
( arcctg x )ў = = - sin 2 y = - =- .
( ctg y )ў 1 + ctg y
2
1+ x2
1 1
Производная от показательной функции (a x )ў = =
1
= a x Ч ln a.
( loga y )ў
y Ч ln a
К основным правилам дифференцирования относят дифференци-
рование произведения, частного, суммы функций одного переменно-
го U ( x ),V ( x ) . При помощи символьного процессора MathCad можно
получить эти правила самостоятельно.
Далее приводится таблица производных основных классов дифферен-
цируемых функций, полученная символьным вычислением в MathCad.
4.1.2. Таблица производных
Вычисление в MathCad производных
32
Рассмотрим некоторые примеры взятия производных по вышеупо-

мянутым правилам, с использованием таблицы:
Дифференцирование некоторых сложных функций
Расчеты вручную дают следующие результаты:

ў 1
1. ( x 2 + 5x + tg x + 10 ) = 2 x + 5 + 2
= 2 x + tg 2 x + 6.
cos x
ж 1 цў 1 2 sin x
2. з 2 ч = cos -2 x ў = -2
( ) 3 ( - sin x ) = 3 .
и cos x ш cos x cos x
3.
=
(
ж x 2 + 5x цў ( 2 x + 5) Ч ( x + 23) - x + 5x
2
)
=
2 x 2 + 46 x + 5x + 115 - x 2 - 5x
=
з ч
и x + 23 ш ( x + 23) ( x + 23)
2 2
414
=1- .
( x + 23)
2
4. Функции типа y ( x ) = f ( x )g ( x ) относятся к показательно-степен-

ному типу. Основной принцип, который необходимо использовать при
решении, — это логарифмирование. Основное свойство логарифмов
logba x = b Ч loga x позволяет показатель степени превратить в множи-
тель, и нахождение производной от показательно-степенной функции
свести к нахождению производной от произведения двух функций.
yў
5. y = x x ,ln y = x ln x, = ln x + 1, y ў = x x ( ln x + 1) .
y
33
4.1.3. Производная n‑го порядка

В MathCad можно посчитать n‑ю производную от любой n раз диф-
ференцируемой функции. Рассмотрим, как можно записать одним
уравнением производную n‑го порядка от y = sin ax , y = cosax . Возь-
мем, например, производную 10‑го порядка от y = sin 4 x . Последова-
тельное взятие производной от производной четыре раза дает следу-
ющие функции:
y = sin 4 x, y ў = 4 cos 4 x, y ўў = -16 sin 4 x, y ўўў = -64 cos 4 x, y IV = 256 sin 4x .
Можно заметить: чередование y = sin 4 x и y = cos 4 x , чередование
знака такое, что два «плюса» сменяются двумя последующими «мину-
сами», абсолютная величина коэффициента перед функцией — 4n.
Тогда, используя формулы приведения, можно записать:
d n ( sin ax ) ж pn ц
= a n Ч sin з ax + .
dx n
и 2 чш
Вычисление производной 10‑го порядка от y = sin 4 x
34
Аналогичные рассуждения можно проделать относительно произ-

d n ( cos ax ) ж pn ц
водной n‑го порядка от y = cosax . = a n Ч cos з ax + .
dx n
и 2 чш
Вычисление производной 4‑го порядка от y = cos3x
4.1.4. Производная n‑го порядка от произведения двух функций.

Формула Лейбница
Пусть даны две n раз дифференцируемые функции f (x), g (x), будем
последовательно брать производные от произведения y = f ( x ) g ( x ) :
y ў = f ў( x ) Ч g ( x ) + f ( x ) Ч g ў( x ),
y ўў = f ўў( x ) Ч g ( x ) + 2 f ў( x ) Ч g ў( x ) + f ( x ) Ч g ўў( x ),
y ўўў = f ўўў( x ) Ч g ( x ) + 3 f ўў( x ) Ч g ў( x ) + 3 f ў( x ) Ч g ўў( x ) + f ( x ) Ч g ўўў( x ).
Легко заметить, что коэффициенты составляют число сочетаний
С , k = 0,..., n .
k
n
35
d n ( f ( x ) Ч g ( x )) n
d k f ( x ) d n -k g( x )
Тогда можно записать = еC nk Ч ,
dx n k =0 dx k dx n -k
и формула для n‑й производной произведения аналогична биному
Ньютона:
n
(a + b ) = C n0a 0b n + C n1a1b n -1 + C n2a 2b n - 2 + ... + C nk a k b n -k + ... + C nna nb 0 = еC nk a k Ч b n -k
n
k =0
Число сочетаний без повторений С вычисляется с использовани- k

n
ем встроенной функции Combin (n, k). Приводится пример вычисле-
ния производной 5‑го порядка y = x 2 sin 2 x . Каждый элемент суммы
выводится в массиве.
Формула Лейбница для вычисления производной 5‑го порядка функции

y = x 2 sin 2 x
4.1.5. Исследование функций и построение графиков
Исследование функций заключается в нахождении графических за-
кономерностей поведения кривой графика исходя из аналитическо-
го задания функции y = f ( x ) . Среди прочего необходимо определить
горизонтальные, вертикальные и наклонные асимптоты как уравне-
ния прямых. Точки разрыва, поведение функции вблизи точек разры-
ва, пределы на бесконечности, промежутки возрастания (убывания),
выпуклости (вогнутости). Покажем пример исследования функции,
36
которую не часто встретишь в вузовских учебниках, а именно, нетри-

виальную функцию y x - x y = 0 ( x > 0, y > 0) .
Соответствующее уравнение имеет две пары целочисленных решений
(2, 4),(4, 2) . Очевидно, что уравнению удовлетворяют точки, принадле-
жащие прямой y = x . Для отыскания других решений параметризуем
м 1
п x (t ) = t t -1
,
уравнение, положив y = tx . Тогда x tx = (tx ) и, окончательно, н
x
t
п y (t ) = t t -1 .
о
Определим предел функции при стремлении параметра t к нулю
(0+0), при помощи правила Лопиталя:
1 1
ln t
ln lim t t -1 = lim ln t t -1 = lim =
t ®0 t ®0 t ®0 t -1
1 t
= +Ґ,lim
t ®0
t t -1
= exp( +Ґ) = +Ґ,ln lim t t -1 =
t ®0
t t
t ln t
= lim ln t = lim
= 0,lim t = exp(0) = 1.
t -1 t -1
t ®0 t ®0 t - 1 t ®0
Определим предел функции при бесконечном стремлении параме-

тра t к бесконечности (+∞):
1
1 1 1
ln t й Ґ щ
ln lim t t -1
= lim ln t t -1
= lim = к ъ = lim t = 0,lim t t -1 = exp(0) = 1.
t ®Ґ t - 1
t ®Ґ t ®Ґ
л Ґ ы t ®Ґ 1 t ®Ґ
1
t t ln t - t t
t ln t й Ґ щ t = +Ґ,lim t 1-t = exp( +Ґ) = +Ґ.
ln lim t t -1 = lim ln t t -1 = lim = к ъ = lim
t ®Ґ t - 1
t ®Ґ t ®Ґ
л Ґ ы t ®Ґ 1 t ®Ґ
Значит, у функции две асимптоты x (t ) = 1, y (t ) = 1 . Для определения

интервалов монотонности вычислим первую производную неявной
yў
функции y xў = t , при этом производные ytў, xtў вычисляются как лога-
xtў
рифмические.
1
ж ln t цў ж t ln t цў xў (t - 1) - ln t
ў ў
( ln x(t )) = з ч , ( ln y(t )) = з t
ч, = ,
t
и t -1 ш и t -1 ш x (t - 1)
2
t
ytў ( ln t + 1) (t - 1) - t ln t - ln t + t - 1 t t -1 ( - ln t + t - 1) t ( ln t - t + 1)
2
= = , y ў = = .
(t - 1) (t - 1) 1
x
y 2 2 1
1 - - ln t t ln t - t + 1
t t -1
t
37
Числитель и знаменатель первой производной отрицателен при лю-

бом положительном t, следовательно, функция убывает на всей обла-
1 t
сти определения. Поскольку y x = x y , то t t -1 = t t -1 Ю t = 1 . Найдем точку

самопересечения A (x0, y0) как предел функций x (t ), y (t ) в точке t = 1.
1
1 1
ln t й 0 щ
ln lim t t -1
= lim = к ъ = lim t = 1,lim t t -1 = e,
x ®1 t - 1
x ®1
л 0 ы x ®1 1 x ®1
t t
t ln t й 0 щ ln t + 1
ln lim t t -1 = lim = к ъ = lim = 1,liim t t -1 = e.
x ®1 t - 1
x ®1
л 0 ы x ®1 1 x ®1
Приводятся те же вычисления, построен график неявной функции

y - x y = 0 ( x > 0, y > 0) .
x
График неявной функции y x - x y = 0 ( x > 0, y > 0)
38
4.2. Интегрирование
Интегрирование — это одна из важнейших операций, изучаемых

в курсе математического анализа. Читатель познакомится с основа-
ми численного интегрирования, а также основными алгоритмами,
заложенными в операции интегрирования в вычислительном паке-
те Mathcad.
4.2.1. Нахождение неопределенных интегралов
Найти неопределенный интеграл — значит вычислить функцию
по ее производной. т f ( x )dx = F ( x ) + C , где F (x) — первообразная. За-
дача нахождения неопределенного интеграла родилась из задачи опре-
деления закона движения по известным зависимостям проекций ско-
ростей от времени.
Есть не очень показательные примеры вычисления интегралов
в MathCad. В первом случае вычисления не упрощаются, во втором —
результаты являются неверными. Например:
Примеры неверного вычисления неопределенных интегралов
Аналитическое решение дает иные результаты:

dx
1.  т .
1 - sin x
39
й щ
( )
2
dx 1 - sin x = t ,cos x = 1 - 1 - t 2 = 2t 2 - t 4 ъ 2tdt
т =к =т =
1 - sin x к1 - sin x = t 2 , - cos xdx = 2tdt ъ -t 2 - t 2
2
л ы
й1 1 щ
= -2 т
dt к
=к
t
= u, - 2 dt = du = -u 2dt , ъ
t
ъ= 2
d 2u ( )
t 2-t 2 к 1 2u - 1 ъ
2 т 2u - 1
2
= 2 ln 2u + 2u 2 - 1 + C =
к 2-t = 2- 2 =
2
ъ
л u u ы
2 2 2 1 + sin x
= 2 ln + - 1 + C = 2 ln + +C .
1 - sin x 1 - sin x 1 - sin x 1 - sin x
2.  т 1 - sin xdx .

й1 - sin x = t , - cos xdx = dt , щ t dt
т 1 - sin xdx = ккcos x = 1 - (1 - t )2 = 2t - t 2 ъъ = т - 2t - t 2 =
л ы
d (2 - t )
=т = 2 2 - t + C = 2 1 + sin x + C .
2-t
a+x
3.  т dx .
a-x
й щ
к a + x = t , a + x = t 2 ,at 2 - xt 2 = a + x, ъ
к a-x a-x ъ
к ъ
a+x к 2 a(t 2 - 1) 2t t 2 + 1 - (t 2 - 1) Ч 2t ( ) ъ
т dx = кat - a = xt + x, x = 2 ,dx = a =ъ =
2
dt
a-x t +1 ( )
2
к t 2 +1 ъ
к ъ
к 4t ъ
к= a 2 dt ъ
( )
2
лк t + 1 ъы
4t t Чt 4 t ж 1 ц
= т ta dt =4a т dt = a т d t 2 + 1 = - 2a т td з 2 ( ч= )
(t ) ( ) ( )
и t +1 ш
2 2 2
2
+1 t +1
2 2 t +1
2
ж 1 ц dt ж 1 ц a+x 1
= -2at з 2 ч + 2a т 2 = - 2at з 2 ч + 2a Ч arctgt + C = -2a Ч +
и t +1 ш t +1 и t +1 ш a-x a + x
+1
a-x
a+x a+x
+2a Ч arctg
a-x
+C = - (a 2
)
- x 2 + 2a Ч arctg
a-x
+C .
Проверка.
40
ж a+x цў x 1 1 a + x +a - x
зз - ( )
a 2 - x 2 + 2a Ч arctg чч = + 2a Ч Ч =
a-x (a ) a+x ( )
2
и ш
2
-x 2
1+ a + x a - x
2
a-x a-x
x (a - x ) a-x a x a a+x
= + 2a Ч = + = .
(a ) a + x (a - x ) (a ) (a ) a-x
2
2
- x2 2a 2
- x2 2
- x2
Вышеприведенные примеры демонстрируют тот факт, что некри-

тичное использование вычислительного пакета MathCad может при-
водить к плохим результатам.
Первообразные вычисляются только при помощи символьного
процессора, константа С при этом не отображается. Если необходи-
мо вычислить неопределенный интеграл, необходимо на панели ин-
струментов Математический анализ щелкнуть на значок интеграла,
в образовавшемся поле заполнить два местозаполнителя — подынте-
гральную функцию и переменную, по которой производится дифферен-
цирование. Позволяется вычислять первообразные от элементарных
функций, рациональных дробей, иррациональностей, тригонометри-
ческих функций, показательно-степенных функций и др. Приводятся
примеры вычисления некоторых неопределенных интегралов:
Вычисление неопределенных интегралов
41
Здесь разберем все примеры 1–8, решив их аналитически.

x2
1. т xdx = + C (табличный интеграл от степенной функции
2
x n +1
т = + C ).
n
x dx
n +1
2. Есть несколько способов решения данного интеграла, разберем
два. Это интеграл от функции, которая задает верхнюю полуокруж-
ность с центром O (0, 0),R = 1.
2.1. Применяется возвратное интегрирование при помощи ин-
тегрирования по частям тUdV = UV - тVdU :
т 1 - x 2 dx = 1 - x 2 Ч x - т xd 1 - x 2 = 1 - x 2 Ч x + т x Ч 2 x dx =
2 1- x2
= 1- x Чx - т
(1 - x ) dx +
2
1 dx = 1 - x 2 Ч x - 1 - x 2 dx + arcsin x + C .
т т
2
1- x 2
1- x2
arcsin x 1- x2 Ч x
т 1 - x 2 dx =
2
+
2
+ C.
2.2. Используя тригонометрическую замену:
т 1 - x 2 dx = [ x = sin t ,dx = cos tdt ] = 1 - sin 2 t Ч cos tdt = т cos 2 tdt =

1 + cos 2t dt 1 t sin 2t
=т dt = т + т cos 2tdt = + +C
2 2 2 2 4
[t = arcsin x,cos x = 1 - x 2 , sin 2t = 2 sin t cos t = 2 x 1 - x 2 ].
arcsin x x 1 - x 2
т 1 - x 2 dx =
2
+
2
+C .
3. Используем разложение сложных дробей на элементарные дро-

би. Задача взятия интеграла сводится к нахождению коэффициентов
A и B.
1 A B
= + ,
( x - 3)( x + 3) ( x - 3) ( x + 3)

dx
т ( x - 3)( x + 3) = A ln x - 3 + B ln x + 3 = ln x - 3 x + 3 + C .
A B
MathCad позволяет производить данное разложение при помощи

Символьные операции-Переменная-Преобразовать к дробно-рациональ-
42
ному виду (Symbolics-Variable-Convert to Partial Fraction), предваритель-

но выделив переменную в записи дроби, которую требуется преобра-
зовать.
Разложение дробей на элементарные дроби
Под цифрой 1 (с. 43) приводится разложение интересующей нас

дроби на элементарные. Проведем разложение методом неопределен-
ных коэффициентов:
1 A B
= + ,
( x - 3)( x + 3) ( x - 3) ( x + 3)
1 = Ax + 3 A + Bx - 3B :

м 1
п A= ,
м1 = 3 A - 3B , п 6
н Ын
о0 = A + B . пB = - 1 .
по 6
1
dx 1 1 x -3 6 1 x -3
т ( x - 3)( x + 3) = 6 ln x - 3 - 6 ln x + 3 = ln 1
+ C = ln
6 x + 3
+С .
x +3 6
43
Поясним разложение под цифрой 2:

1 A B C
= + + .
( x - 3) ( x + 3) ( x - 3) ( x - 3) ( x + 3)
2 2
1 = Ax 2 - 9 A + Bx + 3B + Cx 2 - 6Cx + 9C .
1 = ( A + C )x 2 + (B - 6C )x + 9(C - A ) + 3B .
м 1
п A = -C = - 36 ,
м9(C - A ) + 3B = 1, п
п п 1
н A + C = 0, Ы нB = 6C = ,
пB - 6C = 0. п 6
о п 1
пC = 36 .
о
Остальные разложения читатель может выполнить самостоя-
тельно.
sin 3x 1 d cos 3x 1
4. т tg3xdx = т dx = - т = - ln cos 3x + C .
cos 3x 3 cos 3x 3
5.  т 2
xdx (
1 d x +3 1
2
)
x + 3 2 т x2 + 3
= = ln x 2 + 3 + C .
2
dx
6.  т = ln x + 1 + C .
x +1
1 1
7.  т 2
= tg 2 x + C .
cos 2 x 2
dx
dx dx 2 1 dtgx 1
8.1. т =т = т cos x = т = ln tgx + C .
sin 2 x 2 sin x cos x 2tgx 2 tgx 2
dx йcos 2 x = t , -2 sin 2 xdx = dt ,щ dt 1 dt
т sin 2x = ккsin 2x = 1 - cos 2 x
2
ъ=т
ъы -2 sin 2 x
2
=- т
2 1-t2
=
8.2. л
1 ж 1 + cos 2 x ц 1 ж 2 cos 2 x ц 1 1
ч = ln (tgx ) = ln tgx + C .
2
= - ln з ч = - ln з
4 и 1 - cos 2 x ш 2
4 и 2 sin x ш 4 2
Самостоятельный интерес представляют интегралы от класса эле-
ментарных функций — интегралы от обратных гиперболических функ-
ций. Они вычисляются по формуле интегрирования по частям:
тUdV = UV - тVdU .
44
x 1 d ( x 2 + 1)
1.т arshxdx = x Ч arshx - т xd ( arshx ) = x Ч arshx - т
2 т x2 +1
dx =x Ч arshx - =
x2 +1
= x Ч arshx - x 2 + 1 + C .
x 1 d ( x 2 - 1)
2.т archxdx = x Ч archx - т xd ( archx ) = x Ч archx - т
2 т x2 -1
dx =x Ч archx - =
x2 -1
= x Ч arshx - x 2 - 1 + C .
x 1 d ( x 2 - 1)
3.т arcthxdx = x Ч arcthx - т xd ( arcthx ) = x Ч arcthx - т
2 т x2 -1
dx =x Ч arcthx + =
1- x2
1
= x Ч arcthx + ln x 2 - 1 + C .
2
4.т arthxdx = т arthxdx = x Ч arthx - т xd ( arthx ) =
x 1 d ( x 2 - 1) 1
= x Ч arthx - т dx =x Ч arthx + т = x Ч arthx + ln x 2 - 1 + C .
1- x 2
2 x2 -1 2
В стандартной таблице интегралов можно увидеть следующие ин-
тегралы, называемые для удобства запоминания формулами «длинно-
го» и «высокого» логарифмов:
т
dx
x ±1
2
(
= ln x + x 2 ± 1 + С .)

dx 1 x +1
т x 2 - 1 = 2 ln x - 1 + C .
Заметим, что в правой части каждого из уравнений стоят обрат-
ные гиперболические функции. Эти выражения можно лучше понять
и проще запомнить после нахождения производных к выведенным
в первой главе обратным гиперболическим функциям.
( Arshx )ў = ( ln( x + )ў 1 ж 1 Ч 2x ц 1
x 2 + 1) = з 1+ ч= .
( )
x + x2 +1 и 2 x +1 ш
2
x2 +1
( Archx )ў = ( ln( x + )ў 1 ж 1 Ч 2x ц 1
x 2 - 1) = з 1+ ч= .
( )
x + x2 -1 и 2 x -1 ш
2
x2 -1
ж 1 ж 1 + x ц цў 1 (1 - x ) ж (1 - x ) - (1 + x ) ц 1
( Arthx )ў = з ln з ч ч = з ч= 2 .
и 2 и 1 - x ш ш 2 (1 + x ) зи (1 - x ) ч x -1
2
ш
45
ў ж 1 ж x + 1 ц цў 1 ( x - 1) ж ( x + 1) - ( x - 1) ц 1
( Arcthx ) з ln з
= ч ч = з ч= 2 .
и 2 и x - 1 ш ш 2 ( x + 1) из ( x - 1) ч x -1
2
ш
4.2.2. Нахождение определенных интегралов
Определенные интегралы вычисляются по формуле Ньютона-Лейб-
b
т f ( x )dx = F ( x )
b
ница: a
= F (b) - F (a).
a
Их можно вычислять в MathCad как при помощи символьного, так

при помощи численного процессоров. Для этого необходимо обра-
титься к значку интеграла с двумя дополнительными местозаполни-
телями на панели инструментов Математический анализ, соответству-
ющими верхнему и нижнему пределам интегрирования.
Вычисление определенных интегралов

с помощью символьного и численного процессоров
Для обращения к численному процессору необходимо вместо стрел-

ки ввести с клавиатуры (либо воспользовавшись кнопкой на панели
инструментов) знак равенства «=».
Некоторые примеры вычисления как при помощи символьного, так
и при помощи численного процессоров приведены в п. 4.2.2.
46
4.2.3. «Неберущиеся» в элементарных функциях интегралы

Помимо интегралов, сводящихся к табличным, существует боль-
шое количество, так называемых, «неберущихся» в элементарных
функциях интегралов. В отличие от процедуры взятия производных
процедура взятия интеграла в общем случае выводит из класса эле-
ментарных функций. То есть первообразная для некоторых функций
не может быть записана, исходя из набора основных классов элемен-
тарных функций и их суперпозиции. Для их вычислений требуются
численные методы. Основные функции, такие как интегральный си-
t Ґ
sin( x ) cos( x )
нус Si (t ) = т dx , интегральный косинус Ci (t ) = - т dx , ин-
0
x t
x
x
sh t
тегральный гиперболический синус Shi ( x ) = т dt , интегральный
0
t
x
Ch t - 1
гиперболический косинус Chi ( x ) = C + ln x + т dt , экспоненци-
0
t
t Ґ
exp( x ) ex
альный интеграл Ei (t ) = т x
-Ґ
dx , Ei ( -t ) = - тt x dx , функция оши-
t
1
бок erf(t ) = т exp(- x )dx и другие, являются типичными приме-
2
2p 0
рами неберущихся в элементарных функциях интегралов.

Эти функции являются встроенными функциями, входящими в ряд
специальных либо аналитических, либо статистических или некото-
рых других. Значения вышеупомянутых функций сведены в таблицы,
которые можно найти в справочных изданиях, но с применением вы-
числительных программ, таких как MathCad, использование таблиц
становится ненужным.
Постоянная Эйлера С, в MathCad имеет буквенное обозначение «γ»,
значение которого может быть возвращено при помощи символьного
процессора с заданной точностью (задается Float). Значение постоян-
ной Эйлера в расчете принимается равным С = 0,5772.
На листинге (с. 48) приводятся расчеты интегральных синуса, ко-
синуса, гиперболического косинуса и функции ошибок при значении
t = 1 при помощи встроенных функций, а также путем непосредствен-
ного расчета интегралов численным, либо символьным процессором
MathCad.
47
Неберущиеся интегралы, рассчитанные при помощи

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

t t
жp ц жp ц
разные функции, а именно: C (t ) = т cos з x 2 ч dx, S (t ) = т sin з x 2 ч dx ,
0 и2 ш 0 и2 ш
t t
2 2
а также C (t ) =
p0т ( )
cos x 2 dx, S (t ) =
p0т ( )
sin x 2 dx . Встроенные инте-
гралы Френеля в MathCad называются FrenelC (t) и FrenelS (t).

t t
жp ц жp ц
C (t ) = FrenelC (t ) = т cos з x 2 ч dx, S (t ) = Frenel S (t ) = т sin з x 2 ч dx .
0 и2 ш 0 и2 ш
48
Вызов встроенных функций Френеля, пример нахождения Ci (1)

и Si (1), а также расчет интегралов Fr_C (t), Fr_S (t):
Интегралы Френеля
м t
ж p Ч x2 ц
п
п
x (t ) = т0 зи 2 чш
cos
Функция в параметрическом виде н t
известна как
п y(t ) = sin ж p Ч x ц
2
п т0 зи 2 чш
о
спираль Корню и находит широкое применение в физике дифракци-
онных явлений:
Спираль Корню
49
Иногда необходимо для функции y (x), заданной аналитически,

определить ее дискретные значения в зависимости от изменяющего-
ся с определенным шагом h аргумента x, xi = x0 + h Ч i , то есть табули-
ровать функцию. Для того чтобы это сделать, необходимо ввести ран-
жированную переменную i, создать массив значений переменной xi
и вывести соответствующие им значения функции y (xi). ORIGIN за-
дает значение, начиная с которого идет нумерация, и может прини-
мать 0 (по умолчанию) либо 1.
Табулирование функции y ( x ) = x 3 + 2 на отрезке [1,2,3]

с шагом h = 0,2
В данном примере задана нумерация с единицы.

Собственный интерес представляет неберущийся интеграл
t
sin( x )
Si (t ) = т dx , который называют интегральным синусом. Если
0
x
50
t
sin( x )
рассматривать интегральный синус Si (t ) = т dx как функцию
0
x
от переменного верхнего предела t, то можно построить ее график.
Горизонтальные асимптоты по определению вычисляются как
x x
sin t sin t
lim т dt ,lim т dt :
x ®-Ґ
0
t x ®Ґ
0
t
Интегральный синус как функция переменного

верхнего предела
4.2.4. Несобственные интегралы

Напомним, что несобственный интеграл — это обобщение опре-
деленного интеграла при бесконечном промежутке интегрирования,
либо на неограниченную подынтегральную функцию. При вычисле-
ниях определенных интегралов подынтегральная функция ограниче-
на, а отрезок интегрирования конечен.
51
4.2.4.1. Несобственные интегралы с бесконечными пределами

(первого рода)
Ґ A
т f ( x )dx = lim т f ( x )dx.

a
A ®Ґ
a
Если предел в правой части конечен, то интеграл называют сходя-

щимся, если бесконечен или не существует, то — расходящимся.
Приводятся некоторые примеры вычисления несобственных инте-
гралов первого рода.
Расчет несобственных интегралов с бесконечными пределами
Ґ A
dx dx A p
1.  т = lim т = lim arctg = .
0
1+ x 2
A ®Ґ 0 1 + x
2
A ®Ґ 0 2
Ґ A
dx dx A
2.  т = lim т = lim ln = Ґ.
3
x A ®Ґ 3 x A ®Ґ 3
Ґ A
3.  т exp( -3x )sin 2 x dx = lim т exp( -3x )sin 2 x dx = lim I1 .

A ®Ґ A ®Ґ
0 0
52
A A
1
I 1 = т exp( -3x ) Ч sin 2 x dx = -
2 т0
exp( -3x ) d (cos 2 x ) =
0
1ж A A
ц
= - зз exp(-3x )Чcos 2 x - т cos 2 xd (exp( -3x )) чч =
2и 0
0 ш
1ж
A
ц
= - зз exp( -3 A ) Ч cos 2 A - 1 + 3т exp( -3x )cos 2 xdx чч =
2и 0 ш
1ж 3
A
ц
= - зз exp( -3 A ) Ч cos 2 A - 1 + т exp( -3x )d (sin 2 x ) чч =
2и 20 ш
1ж 3ж цц
A A
= - з exp( -3 A ) Ч cos 2 A - 1 + зз exp( -3x))Чsin 2 x - т sin 2 xd (exp( -3x )) чч ч =
2и з 2и ч
0
0 шш
1ж 3ж цц
A A
= - з exp( -3 A ) Ч cos 2 A - 1 + зз exp( -3x )Чsin 2 x + 3т exp( -3x ) Ч sin 2 xdx чч ч .
2 из 2и 0
0 шш
ч
1 1 3 9
I 1 = - exp( -3 A ) Ч cos 2 A + - exp( -3 A ) Ч sin 2 A - I 1 .
2 2 4 4
2ж 3 ц
I 1 = - з exp( -3 A ) Ч cos 2 A - 1 + exp( -3 A ) Ч sin 2 A ч .
13 и 2 ш
2ж 3 ц 2
lim I1 = lim - exp( -3 A )cos 2 A - 1 + exp( -3 A )sin 2 A ч =
A ®Ґ A ®Ґ 13 зи 2 ш 13
+Ґ 0 B
dx dx dx 0
4.  т = lim т + lim т
B
= lim arctg A + lim arctg 0 = p.
-Ґ
1+ x 2
A ®-Ґ A 1 + x
2
B ®+Ґ 0 1 + x
2
A ®-Ґ B ®+Ґ
Ґ A A
dx dx -1 ж -1 -1 ц
5.  т 2
= lim т 2 = lim = lim з - ч = 1.
1
x A ®Ґ
1
x A ®Ґ x 1 A ®Ґ и A 1 ш
Ґ A A
6.  т sin xdx = lim т sin xdx = lim ( - cos x ) — не имеет смысла.
A ®Ґ A ®Ґ 0
0 0
4.2.4.2. Несобственные интегралы от неограниченных функций

(второго рода)
b b-∙
т f ( x )dx = lim т
a
∙ ®0
a
f ( x )dx
Далее приведены примеры расчета несобственных интегралов вто-

рого рода. Далее в тексте приводятся аналитические решения разби-
раемых примеров.
53
Расчет несобственных интегралов от неограниченных функций
0 0
dx dx 0
p
1. т = lim т = lim arcsin x = lim ( - arccsin( -1 + ∙ )) = .
-1 1- x2 ∙ ®0
-1+ ∙ 1- x2 ∙ ®0 -1+ ∙ ∙ ®0 2
2. 
( ) = lim (- ln h Ч h - 1 + h) = -1.
1 ж 1 1 ц 1
xd ( ln x ) ч = lim ln x Ч x h - x
1
т0 ln xdx = lim
h® 0
з
з ln x Ч x
h
- т ч h
и h ш h®0 h® 0
2 2
dx d ln x 2
3.  т =т = ln ln x 1 = -Ґ.
1
x Ч ln x 1 ln x
2 8
8
dx 3x 3
3 9
4.  т = = ( 4 - 1) = .
-1
3
x 2 2 2
-1
5.  т
3
2 xdx
3
d x2 -1 ( 3 )
-3
2
= т
x - 1 -3 x - 1
2
= ln x 2 - 1 . Особые точки x = ±1 обращают пер-
-3
вообразную в бесконечность. Интеграл не существует.

1 1 1
arcsin xdx arcsin 2 x p2
6.  т = т arcsin xd (arcsin x ) = = .
0 1- x2 0 2 0 8
54
4.2.5. Эллиптические интегралы

С эллиптическим интегралом на практике можно столкнуться при
решении, например, задачи нахождения длины дуги эллипса. В кано-
ническом виде уравнение эллипса задается следующим образом:
x2 y2 м x (t ) = a cos(t ),
+ 2 = 1 , параметрически: н Тогда длина l дуги эллип-
о y (t ) = b sin(t ).
2
a b
са определяется как
p
2p 2p 2
l= т
0
a 2 sin 2 t + b 2 cos 2 tdt = a т 1 - e2 sin 2 tdt = 4a т 1 - e2 sin 2 tdt ,
0 0
a2 - b2
где µ= — эксцентриситет эллипса. Интеграл E(k ) не берется
a
в элементарных функциях и называется полным эллиптическим ин-
тегралом второго рода:
p
1
2
1 - k 2x2
E (k ) = т 1 - k 2 sin 2 xdx = т
dx .
0 1- x2 0
Эллиптическим интегралом второго рода E (j, k ) называется

j sin j
1 - k 2x2
E (j, k ) = т 1 - k 2 sin 2 xdx =
dx . т
0 1- x2 0
Эллиптическим интегралом первого рода F(j, k ) называется

j sin j
dx dx
E (j, k ) = т = т .
0 1 - k sin x
2 2
0 (1 - k x 2 )(1 - x 2 )
2
Функции E(k ) , E (j, k ) , F(j, k ) не берутся в элементарных функ-

циях и табулированы. В MathCad нет встроенных функций, которые
позволяли бы рассчитывать E(k ) , E (j, k ) , F(j, k ) , но можно прове-
сти их вычисления, опираясь на понимание определенного интегра-
ла как площади.
Например, необходимо найти полную длину дуги эллипса, полуо-
си которого a = 2, b = 1 . Для этого необходимо вычислить полный эл-
ж 3ц
липтический интеграл второго рода 4a Ч E (e) = 4a Ч E зз чч .
и 2 ш
55
К вычислению длины дуги эллипса с эксцентриситетом равным ε
График показывает значения полного эллиптического интеграла

второго рода E (k ) при k О ( 0,1) . Взятие интеграла численными мето-
дами дает значение полной длины дуги эллипса:
ж 3ц
l = 4a Ч E з
з 2 чч
= 9, 688 .
и ш
При k = 0 и k = 1 эллиптический интеграл вырождается в опреде-
ленный, берущийся в элементарных функциях:
p p p
p
2
p 2 2
E (0) = т dx = и E (1) = т 1 - sin 2 xdx = т cos xdx = sin x 2
= 1.
0
2 0 0
0
56
Приводятся вычисления эллиптического интеграла второго и пер-

3
вого родов при k = .
2
К вычислению эллиптического интеграла

3 p
второго рода при k = , j=
2 4
57
К вычислению эллиптического интеграла

3 p
первого рода при k = ,j =
2 4
4.2.6. Интегралы, зависящие от параметра
Интегралом, зависящим от параметра y, называют
b
I ( y ) = т f ( x, y )dx .
a
Полагают, что при каждом постоянном значении y функция f ( x, y )

интегрируема на отрезке [a, b] в собственном или несобственном
смысле.
Бэта-функция (эйлеров интеграл первого рода):
1
B (a,b) = т x a -1 (1 - x ) dx .
b -1

0
58
(a - 1) ! (b - 1) ! G(a) Ч G(b)
B (a,b) = B (b,a) = =
(a + b - 1) ! G(a + b)
Другим замечательным интегралом является интеграл, который

называют гамма-функцией (либо, реже, эйлеровым интегралом вто-
рого рода).
Ґ
G(a) = т x a -1 exp( - x )dx

0
График данной функции показан на с. 60.

Формула приведения:
Ґ Ґ Ґ
G(a + 1) = т x a exp( - x )dx = т x ad ( - exp( - x )) = - x a Ч exp( - x ) Ґ
0 ( )
+ т exp( - x )d x a =
0 0 0
Ґ
= a т exp( - x ) Ч x a -1dx = a Ч G(a).
0
G(1) = т exp( - x )dx = - exp( - x ) Ґ

0 = 1.
0
Теперь
G(2) = G(1 + 1) = 1Г(1) = 1.
Г(3) = Г(1 + 2) = 2 Ч Г(2) = 2 Ч Г(1 + 1) = 2 Ч1 = 2.

Г(4) = Г(1 + 3) = 3 Ч Г(3) = 3 Ч Г(2 + 1) = 3 Ч 2 Ч Г(2) = 3 Ч 2 Ч1 Ч Г(1) = 6.
Г(n + 1) = n Ч Г(n) = n Ч (n - 1) Ч Г(n - 1) = n(n - 1) ... 2 Ч1 Ч Г(1) = n !
G(n + 1) = n !
Значения гамма-функции от целочисленного аргумента Г (n+1) —

является n‑факториалом.
Ґ
1 Ґ
ж1ц - exp( -t 2 )
G з ч = т x 2 exp( - x )dx = й x = t 2 ,t = x ,dx = 2tdt щ = 2 т tdt =
и2ш 0 л ы t
0
Ґ Ґ +Ґ
exp( -t 2 )
= 2т tdt = 2 т exp( -t 2 )dt = т exp( -t 2 )dt .
0
t 0 -Ґ
Этот несобственный интеграл называется интегралом ошибок (или

интегралом Пуассона). Один из способов его вычисления (самый про-
59
стой) основан на нахождении квадрата этого интеграла при помощи

+Ґ +Ґ
полярной замены: J = т exp(- x )dx = т exp(- y )dy .

2 2
-Ґ -Ґ
+Ґ
J = т exp(- y
2
)dy = й x = r cos j, y = r sin j, r = x 2 + y 2 щ .
-Ґ
л ы
+Ґ +Ґ +Ґ +Ґ
J2 = т т exp(- x - y )dxdy = т т exp(-r )rdr =
2 2 2
-Ґ -Ґ -Ґ -Ґ
2p +Ґ +Ґ
т d j т exp(-r )rdr = p т exp( -r 2 )dr 2 =

2
0 0 0
+Ґ
= - p exp( -r 2 ) = p.
0
J = p.
ж1ц
G з ч = p.
и2ш
График гамма-функции
60
4.2.7. Взятие интегралов с использованием гамма-функции

p
2
Пусть необходимо взять интеграл т sin n x cosm xdx; n,m О n, m і 0
0
Перейдем к замене:
n n
sin 2 x = u,sin n x = sin 2 x ( ) 2 = u2.
m m m
cos x = cos x
m
( 2
) 2
(
= 1 - sin x 2
) 2 = (1 - u ) 2 .
1 1 1 1
du = 2 sin x cos xdx = 2 sin 2 x ( ) Ч (cos x )
2 2 2 dx = 2u 2 Ч (1 - u ) 2 dx .
1 -1 1
dx = u 2 Ч (1 - u ) 2 du.
-
2
p
x = 0 Ю u = 0, x = Ю u = 1.
2
p ж n +1 ц ж m +1 ц
p
Gз G
2
1 ж n +1 m +1 ц 1 и 2 чш зи 2 чш 2
т0 sin x cos xdx = 2B зи 2 , 2 чш, т0 sin x cos xdx = 2 ж m + n ц .

n m n m
Gз + 1ч
и 2 ш
Рассмотрим конкретный пример:
p ж3ц ж3ц
Gз ч Ч Gз ч
2
1 и2ш и2ш 1 p p p
т0 sin x cos xdx = 2 G (3) = 2 4 Ч 2 ! = 16 .
2 2
Очевидный способ решения задачи взятия определенного интегра-

ла от произведения тригонометрических функций следующий:
p p p
2
12 1 2 1 - cos 4 x 1p 1 p
p
т sin 2 x cos 2 xdx = т sin 2 2 xdx = т dx = - sin 4 x 02 = .
0
40 40 2 8 2 32 16
61
5. Численные методы
и приближенные вычисления
В Mathcad реализуются два варианта непосредственного вычис-

ления интегралов: при помощи символьного и численного про-
цессоров.
В этой главе рассматриваются алгоритмы, заложенные в нахожде-
нии определенных интегралов, которые позволяют вычислять инте-
гралы численными методами.
5.1. Приближенные методы вычисления

определенных интегралов
Существует множество методов их вычисления, основанных на том,

что отрезок интегрирования разбивается на N отрезков, на каждом
из них подынтегральная функция аппроксимируется функцией одного
типа, находится сумма площадей под графиками каждой из функций,
что понимается как значение интеграла, рассчитанного численно. Та-
кие методы нахождения интегралов необходимо применять, прежде
всего, в случае «неберущихся» интегралов. Аппроксимирующие функ-
ции могут быть константами, прямыми, параболами, а также, в более
сложном случае, иметь полиномиальную зависимость.
Ограничимся тремя основными методами вычисления — методом
треугольников (левых, правых и средних), методом трапеций и мето-
дом Симпсона (методом парабол) и рассмотрим каждый из них, на при-
62
5.1. Приближенные методы вычисления определенных интегралов
1
sin x
мере вычисления интегрального синуса Si(1) = т dx . Пусть необ-
0
x
1
sin x
ходимо взять определенный интеграл т
0
x
dx . Построим график
sin( x )
функции y = на отрезке [ 0,1], где y(x)>0 . Представим опреде-
x
1
sin x
ленный интеграл т0
x
dx как площадь фигуры, ограниченной сверху
sin( x )
графиком функции y = , снизу прямой y = 0, слева и справа пря-
x
мыми x = 0, x = 1. Тогда для вычисления площади данной фигуры ра-
зобъем ее на N сегментов, площади которых затем суммируем. Мето-
ды вычисления отличаются друг от друга характером сегментов.
b -a 1
Отрезок [0,1] разбивается на N частей, тогда Dx = = . Строится
N N
сетка из дискретных значений переменной X, так что i a + Dx Ч i .
x =
5.1.1. Метод прямоугольников
Площадь фигуры рассматривается как сумма N прямоугольников,
ширина которых равна Dx , высота — g ( xi ) либо g(xi -1 ) (значения функ-
ции в узлах сетки). Данная функция убывает на [0,1], и g ( xi ) < g(xi -1 ) .
Можно покрыть фигуру прямоугольниками так, что часть площади оста-
нется свободной либо, напротив, войдет часть избыточной площади.
В первом случае расчет будет производиться методом правых прямоу-
b -a
гольников, во втором — левых: h = , l = g (a + h(i - 1)) ,i = 1, 2 N —
N
ширина и высота прямоугольников для метода левых прямоугольни-
b -a
ков; h = , l = g (a + hi )) ,i = 1, 2 N — ширина и высота
N
прямоугольников для метода правых прямоугольников. Если значе-
ние функции y = g ( x ) находят в серединной точке интервала [ xi -1 , xi ] ,
ж hц
то есть находят g з xi -1 + ч, тогда метод называется методом средних
и 2ш
63
5. Численные методы и приближенные вычисления
b -a ж h ц
прямоугольников: h = , l = g з a + (2i - 1) ч,i = 1, 2 N — ширина
N и 2 ш
и высота прямоугольников для метода средних прямоугольников.
5.1.2. Метод трапеций
В данном методе площадь приближается суммой N трапеций, вы-
b -a
сота которых постоянна и h = .
N
Сумма оснований l1 + l2 = g (a + h(i - 1)) + g (a + hi ) ,i = 1, 2 N . Пло-
h
щадь трапеции S tr = (l1 + l2 ).
2
5.1.3. Метод Симпсона
Отрезок [a, b] разбивается на 2N отрезков, тогда ширина каждого
b -a
равна h = . Суть метода заключается в том, что на каждом отрез-
2N
ке [ x2i - 2 , x2i ], i = 1, 2, N подынтегральная функция аппроксимируется
параболой fi = ax 2i + bxi + ci , проходящей через три последовательных
точки сетки, значение функции в которых
f ( x2i - 2 ) = f ( 0 ) = ci , f ( x2i -1 ) = f ( h ) = ai h2 + bi h + ci , f ( x2i ) = f ( 2h ) =
= 4ai h + 2bi h + ci .
2
Тогда интеграл может быть вычислен следующим образом:

x2 i x2 i
b N N N
ж x3 x2 ц x 2i
т f ( x )dx = е т f ( x )dx » е т Ч + Ч + = е + + ci x ч =
2
(ai x bi x ci )dx a
з i bi
a i =1 x2 i -2 i =1 x2 i -2 i =1 и 3 2 ш x 2i - 2
N
ж x3 x2 ц 2h N ж 8h3ai ц h N
= е з ai
3
+ bi
2
+ ci x ч = ез + 2h2bi + 2ci h ч = е 8h2ai + 6hbi + 6cci = ( )
i =1 и ш0 i =1 и 3 ш 3 i =1
h N
= е ( f (2h) + 4 f (h) + f (0)).
3 i =1
Сведем расчетные формулы, которые были использованы в выше-
приведенных расчетов в табл. 3.
64
5.1. Приближенные методы вычисления определенных интегралов
Таблица 3
Расчетные формулы для взятия интегралов
численными методами
(b - a ) й N йй (b - a) щ щ щ
Средних Правых Левых
S := к е g к кa + (i - 1) ъ
N л i =1 л л N ъы ъы ы
Прямоугольников
(b - a) й N й (b - a ) щ щ
S := к е g кa + i ъъ
N кл i =1 л N ы ъы
(b - a) й N й й (b - a) щ щ щ
S := Ч к е g к кa + (2i - 1) ъ
N л i =1 л л 2N ъы ъы ы
Метод
(b - a) N й й (b - a) щ й (b - a) щ щ
S := е g кa + (i - 1)ъ + g кa + Чi ъъ
Трапеций
к
2N i =1 л л N N
ы л ыы
(b - a) й N -1
й й (b - a) щ щ щ
S :=
2N л
к g (a ) + g (b ) + 2 е g к кa +
N
i ъъъ
i =1 лл ыыы
й й (b - a) щ щ
к g кa + 2N (2i - 2)ъ + ъ
(b - a) к лN
ы
е ъ
Симпсона
S :=
6N i =1 к й (b - a) щ й (b - a) щ ъ
к +4 g кa + (2i - 1)ъ + g кa + 2i ъ ъ
л л 2N ы л 2N ыы
(b - a) й N й (b - a ) щ N -1 й (b - a) щ щ
S := к g (a) + 4е g кa + (2i - 1)ъ + 2 е g кa + 2i ъ + g (b)ъ
6N кл i =1 л 2N ы i =1 л 2N ы ъы
Здесь мы не будем приводить теорию вычисления погрешностей

при нахождении интегралов численными методами. Укажем лишь ре-
1
sin( x )
зультаты расчетов т dx , формулы для вычисления погрешно-
0
x
стей, а также вычисленные значения погрешностей (табл. 4).
65
Таблица 4
Результаты вычислений Si (1) различными способами
с учетом погрешности
Метод вычисления
Прямоугольников
Трапеций Симпсона
Левых Правых Средних
0.946083070368 0.946084 0.946082 0.946083070365 0.9460830703671953…
66
Расчет
f (x)(b - a)3 f (x)(b - a)2 f (x)(b - a)2 f (x)(b - a)3 f (x)(b - a)5
R= R= R= R= R=
24N 2 2N 2N 12N 2 2880N 4
ность
Погреш-
1, 4 Ч10 -12 1,5 Ч10 -6 1,5 Ч10 -6 2,8 Ч10 -12 6, 9 Ч10 -25
ность
Погреш-
5.2. Исследование функций на экстремум
5.2. Исследование функций на экстремум
Одной из классических задач теории функций одной переменной

является нахождение экстремума (глобального экстремума) либо на-
хождение условного экстремума функции.
Например, необходимо определить точки минимума и максимума
функции y ( x ) = x 3 - 7 x - 6 , а также значение функции в этих точках.
Нахождение минимума и максимума функции y ( x ) = x 3 - 7 x - 6
Встроенные функции для нахождения экстремума:

Minimize( f ( x1 ,..., xn ), x1 ,..., xn ) ,
Maximize( f ( x1 ,..., xn ), x1 ,..., xn ) .

Необходимо обязательно задавать начальное приближение аргу-
мента. Так, для функции y ( x ) = x 3 - 7 x - 6 максимальное значение
ymax = 1,128 при x max = -1,528 , минимальное значение ymin = -13,128
при x min = 1,528 . На графике (с. 67) отчетливо видно, что точки экс-
тремума являются нулями производной от исходной функции. Вме-
сте с экстремумом определены корни исходной функции, а также
корни ее производной с помощью блока Given-Find.
67
Аналитическое решение выглядит следующим образом:

21
y ( x ) = x 3 - 7 x - 6, y ў( x ) = 3x 2 - 7 = 0, x = ± .
3
21 21 21
При y ( x ) < - , y ў( x ) < 0 ; при - < y( x ) < , y ў( x ) > 0 ; при
3 3 3
21 21
y( x ) > , y ў( x ) < 0 . Тогда при y ( x ) < - функция монотонно убы-
3 3
21 21 21
вает, при - < y( x ) < — монотонно возрастает, при y ( x ) > —
3 3 3
21 21
монотонно убывает, и x = - — точка минимума, x = — точ-
3 3
ка максимума.
5.3. Поиск корней полиномов
Если функция y ( x ) является полиномом, то его корни можно опре-

делить, используя встроенную функцию polyroots (s), где s — вектор-
столбец коэффициентов полинома (от нулевой до старшей степени):
Поиск корней полиномов y ( x ) = x 3 - 2 x 2 - x + 2 и y ( x ) = 2 x 3 - 1x 2 - 2 x + 1
68
5.4. Приближенные методы нахождения корней алгебраических уравнений
5.4. Приближенные методы нахождения корней

алгебраических уравнений
В MathCad реализуется несколько алгоритмов приближенного вы-

числения корней уравнений. Это градиентный метод касательных
и метод хорд. Но изложение начнем с простейшего метода — метода
деления отрезка пополам.
5.4.1. Метод половинного деления
Рассмотрим алгоритм вычисления корня уравнения f ( x ) = 0 на ин-
тервале [a, b], при этом f (a), f (b) должны иметь разные знаки. Примем,
a +b
что c = , при этом данная точка c становится границей вложенного
2
отрезка, причем левой границей, если f (a), f (c ) имеют одинаковые зна-
ки, или правой, если f (a), f (c ) имеют разные знаки. Затем находится
точка середины полученного вложенного отрезка, которая, в свою оче-
редь, становится границей другого вложенного отрезка. Итерации про-
водятся до тех пор, пока длина отрезка не станет меньше удвоенной ве-
личины значения погрешности. Рассмотрим данный метод на примере
sin x
нахождения корня уравнения = 0 на отрезке [0,5] с точностью 10–3:
x
Метод половинного деления отрезка для вычисления корня уравнения
69
С точностью e = 10 -3 алгоритм находит корень x = 3,141 уравнения

sin x
= 0 на отрезке [0,5]. Для этого требуется 12 итераций. Для точно-
x
сти e = 10 -4 — 15 итераций.
Решая уравнение аналитически, имеем
sin x
= 0 Ю sin x = 0 Ю x = pk , k О  . На отрезке [0,5] корень x = p.
x
«+» Метод сходится в случае любых непрерывных функций (даже
недифференцируемых) для простых (не кратных) корней. Скорость
сходимости небольшая, поскольку за каждую итерацию точность уве-
личивается в два раза.
« — » В начале расчета нужно найти такой отрезок, на концах ко-
торого функция имеет разные знаки. В том случае, если на отрезке
несколько корней, то процесс сойдется только к одному из них (зара-
нее неизвестно к какому). Для корней четной кратности метод непри-
меним, нечетной — сходится, но менее точен. Применяется тогда, ког-
да скорость сходимости не важна и приоритет отдается надежности.
В случае, когда на отрезке несколько корней, можно проводить уда-
ление корней для нахождения всех корней на искомом отрезке. Для
f (x)
этого вводится функция g ( x ) = , где x — найденный простой
( x - x )
корень. Функция точно не имеет простого корня x = x . Но если этот
корень кратный, то функция g ( x ) будет иметь корень x = x кратно-
стью на единицу меньше.
sin x
Найдем корни уравнения = 0 на отрезке [0,10] с точностью 10–3.
x
Для этого, вышеприведенный алгоритм применяется 3 раза
f (x)
(по количеству корней) для введенных функций g ( x ) = ,
( x - x1 )
f (x)
h( x ) = . По алгоритму находятся корни x1 = 3,141,
( x - x1 )( x - x2 )
x1 = 3,141, x2 = 6, 284, x3 = 9, 424 .
Действительно, аналитическое решение sin x = 0, x = pk Ю x1 = p, x2 = 2p, x
= pk Ю x1 = p, x2 = 2p, x3 = 3p доказывает, что x = 0 не является корнем.
70
Удаление корней для метода деления отрезка пополам
5.4.2. Метод простых итераций

Если необходимо решить уравнение f ( x ) = 0 , то в случае приведе-
ния его к виду x = d ( x ) используется метод простых итераций. При за-
данном начальном приближении x = x0 принимается, что x1 = d ( x0 ) ,
строится последовательность
{xn } : xn +1 = d ( xn ) , тогда lim {xn } = x .
n ®Ґ
71
Например, нужно решить уравнение x = sin x - 1 . Аналитически его

решить невозможно, в то время как метод простых итераций дает от-
вет x = –1.935.
Метод простых итераций
Индивидуальный интерес представляет уравнение x = d ( x ) , кото-

рое называется задачей о неподвижной точке. Действительно, ото-
бражение d переводит точку x в саму себя из R1 в R1 . Существование
и единственность корня опираются на принцип неподвижной точки
(сжимающих отображений).
Чтобы y = d ( x ) была сжимающей на отрезке [a, b], должны быть вы-
полнены два условия:
d ( x ) О[a,b] "x О[a,b] и $q О (0,1) : d ( x2 ) - d ( x1 ) Ј q x2 - x1 "x1 ,x 2 О[a,b].
Теорема. Пусть функция y = d ( x ) определена и дифференцируема
на отрезке [a,b] , тогда если выполнены два условия: 1)
d ( x ) О[a,b] "x О[a,b] ; 2. $q : d ў( x ) Ј q < 1 "x1 ,x 2 О (a,b) , то x = d ( x ) име-
ет единственный корень x на [a,b] , к этому корню сходится {xn } , на-
чинающаяся с любого x0 О[a,b] , при этом справедливы оценки по-
грешности ("k О N ) :
q qn
1) x - xn Ј xn - xn -1 , 2) x - xn Ј x1 - x0 .
1-q 1-q
72
Доказательство. Возьмем x0 О[a, b], x1 = d ( x0 ) О[a, b] , x2 = d ( x1 ) О[a, b] ,

xn +1 = d ( xn ) О[a, b] . {xn } О[a, b] (по условию 1).
Запишем неравенство xn +1 - xn = d ( xn ) - d ( xn -1 ) и применим к нему
формулу Лагранжа: d ( xn +1 ) - d ( xn ) = d ў(qk ) ( xn - xn -1 ) Ю
xn +1 - xn = d ў(qk ) ( xn - xn -1 ) . Ввиду условия 2 выполняется неравенство
xn +1 - xn Ј q xn - xn -1 . Это есть условие сжатия для элементов {xn } , q —
коэффициент сжатия.
xn + 2 - xn +1 Ј q xn +1 - xn Ј q 2 xn - xn -1 .
xn +3 - xn + 2 Ј q xn + 2 - xn +1 Ј q 3 xn - xn -1 .

..................
xn +i - xn +i -1 Ј q i xn - xn +1 , "i, k О N .
xn + m - xm Ј xn + m - xn +m -1 + xn +m -1 - xn +m - 2 + ... +
(
+ xn + 2 - xn +1 + xn +1 - xn Ј q m + q m -1 + ... + q 2 + q xn - xn -1 = )
m +1
q -q
= xn - xn -1 .
1-q
Следовательно, xn - xn -1 Ј q k -1 x1 - x0
q - q m +1
Подставляя xn +m - xm Ј xn - xn -1 в xn - xn -1 Ј q k -1 x1 - x0 ,
1-q
имеем
q q
xn + m - xn Ј
1-q
( )
1 - q m xn - xn -1 при m = Ґ x - xn Ј
1-q
xn - xn -1 ,
qk qk
xn + m - xn Ј
1-q
( )
1 - q m x1 - x0 при m = Ґ x - xn Ј
1-q
x1 - x0 .
qk
При m = const lim
n ®Ґ 1 - q
( )
1 - q m x1 - x0 = 0
xn + m - xn Ј e и {xn } — последовательность Коши lim {xn } = x .

n ®Ґ
73
Поскольку дифференцируемая функция непрерывна, lim {xn } = x = x

n ®Ґ
корень уравнения x = d ( x ) .
Необходимо выполнение условия — малость по модулю произво-
дной.
5.4.3. Метод касательных
Данный метод заложен в блоке Given-Find. Его суть заключается
в следующем. Пусть y = f ( x ) имеет корень на отрезке [a, b]. Задается
приближение корня x = x0 , находится значение функции y = f ( x0 ) , че-
рез эту точку проводится касательная, которая пересекает ось OX в точ-
ке x1, снова вычисляется y = f ( x1 ) , через эту точку проводится каса-
тельная и т. д. Продолжая этот процесс неограниченно, можно
построить последовательность {xn } , сходящуюся к искомому корню x.
Тогда xn+1 легко выразить через рекуррентную формулу
f ( xn )
xn +1 = xn - .
f ў( xn )
Для того чтобы реализовать данный метод, для решения уравне-
ния необходимо обратиться к блоку Given-Find. После ключевого сло-
ва Given записывается уравнение, которое необходимо решить, при-
равнивается к нулю с помощью логического знака равенства, задается
локализация корня. После этого обращение к Find (x) возвращает зна-
чение корня вблизи заданной локализации.
Данный алгоритм можно заложить вручную, используя элемен-
ты программирования. На листинге (с. 75) приводится пример рабо-
ты подпрограмм corr1 (x) и corr2 (x). Для создания подпрограммы-
функции необходимо использовать Add line на панели инструментов
«Программирование». Подпрограммы отличаются только начальным
приближением корня. Начальному значению корня присваивается
определенное значение (в примере x = 1, x = –1). Счетчику n присваи-
вают нулевое значение, вычисление последовательности, сходящейся
к искомому корню, осуществляется в цикле «for». Для достижения вы-
сокой точности необходимо проводить как можно больше итераций.
В примерах n = 1000 шагов. В цикле вычисляется последующее значе-
ние корня через предыдущее и происходит перескок счетчика на еди-
ницу. Результат работы подпрограмм x1 = 0, 413, x2 = -0, 44.— тысячные
элементы x1000 сходящихся последовательностей.
74
Метод касательных решения уравнения 16 x 3 + 105x 2 - 19 = 0
5.4.4. Метод хорд

Следующий численный метод решения уравнений — метод хорд.
Алгоритм его следующий. Пусть y = f ( x ) имеет корень на отрезке
[a, b]. Задается приближение корня x = x0, находится значение функ-
ций yb = f (b) , y = f ( x0 ) , через точки (b, yb) и (x0, y) проводится хор-
да, которая пересекает ось OX в точке x1, вычисляется y = f ( x1 ) , че-
рез точки (b, yb) и (x1, y) проводится хорда, которая пересекает ось OX
в точке x2 и т. д. Продолжая этот процесс неограниченно, можно по-
строить последовательность {xn } , сходящуюся к искомому корню x.
Тогда xn+1 легко выразить через рекуррентную формулу
(b - xn ) f ( xn )
xn +1 = xn - .
f (b) - f ( xn )
Метод хорд реализуется в MathCad через функцию root, которую
можно использовать двумя способами: предварительно задав лока-
75
лизацию корня либо задав интервал локализации корня. Этот метод,

что и метод половинного деления, является методом дихотомии, т. е.
основан на делении отрезков.
Описанный выше алгоритм метода хорд можно заложить вручную,
используя элементы программирования. На листинге с. 76 приво-
дится пример работы подпрограмм hord1 (x) и hord2 (x) для решения
уравнения 16 x 3 + 105x 2 - 19 = 0 . Подпрограммы отличаются только
начальным приближением корня. Начальному приблежению корня
присваивается определенное значение (в примере x = 1, x = –1). Счет-
чику n присваивают нулевое значение, вычисление последователь-
ности сходящейся к искомому корню осуществляется в цикле «for».
В примерах n = 100 шагов. В цикле вычисляется последующее зна-
чение корня через предыдущее и происходит перескок счетчика
на единицу. Результат работы подпрограмм x1 = 0, 413, x2 = -0, 44 —
тысячные элементы x1000 сходящихся последовательностей. При этом
можно задать начальное приближение корня либо интервал его ло-
кализации.
Метод хорд решения уравнений
76
5.4.5. Разбиение на сегменты
В том случае, если уравнение имеет множество корней, удобно про-
водить разбиение на сегменты и на каждом сегменте находить корень
методом хорд.
sin( x )
Например, чтобы решить уравнение = 0 на отрезке
x
[ -10p + 0, 2, 0], напишем подпрограмму FF (рис. 77), которая возвраща-
ет корень на заданном отрезке. Столбец X задает границы интервалов
локализации корня. В результате вычислений получено 10 корней
FF (x). Значения, выведенные в столбец G (FF (X)), порядка 10–12, 10–13,
что говорит о том, что значение функции y = g ( X ) от найденных чис-
sin( x )
ленным методом корней стремится к нулю. Уравнение = 0 рав-
x
мsin( x ) = 0, sin( x )
носильно системе уравнений н Решения уравнения =0
о x № 0. x
на отрезке [ -10p + 0, 2, 0 ] удовлетворяют x = pk , k = -1,..., -10.
sin x
Разбиение на сегменты для решения уравнения y = .
x
Столбец X — корни уравнения на отрезке
77
5.5. Приближенные методы

при использовании разложения в ряд
Рядом Тейлора для бесконечно дифференцируемой в точке a функ-

f ( ) (a)
Ґ k
ции f (x) называют ряд е ( x - a ) . При a = 0 (разложение в окрест-

k
k =0 k!
f ( ) ( 0) k
Ґ k
ности нуля) ряд приводится к виду е

k =0 k!
x и называется рядом Ма-
клорена.
Для того чтобы в MathCad разложить функцию в ряд Маклорена,
существует два способа:
Способ 1
Задать функцию, которую необходимо разложить в ряд.
На панели инструментов «Символьные» нажать «Series» (разложить
в ряд), в файле после функции появится «series», поставить запятую, вве‑
сти требуемую максимальную степень.
Щелкнуть мышью по пустому полю файла.
Способ 2
Задать функцию, которую необходимо разложить в ряд.
Выделить мышью переменную функции, на вкладке меню найти «Сим‑
вольные операции», выбрать «переменная», затем «разложить в ряд»,
в открывшемся окне задать порядок приближения (максимальную степень
при x).
Строкой ниже появится разложение.
На примере разложения y = sin( x ) при разных порядках пока-

жем аппроксимацию синуса полиномами 9,5,3 степеней. Из раз-
ложения функции y = sin(x) в окрестности нуля видно, что чем
больше порядок, тем точнее приближение. Такое разложение по-
зволяет выполнить аппроксимацию функции полиномами n‑го
порядка.
78
5.6. Алгоритм вычисления числа e
Разложение функции y = sin x в окрестности нуля
5.6. Алгоритм вычисления числа e
Аппроксимация функций полиномами в окрестности точки по-

зволяет приближенно вычислять значение этой функции в точке как
сумму полиномов. Так можно определить значение иррационально-
го числа e.
79
В курсе математического анализа иррациональное число e вводит-

n
ж 1ц
ся как e = lim з n ч . Это число называется также неперовым числом,
1 +
n ®Ґ
и ш
по имени шотландского математика Д. Непера.
n
ж 1ц
Покажем, что последовательность {en } = з1 + ч является монотон-
и nш
но возрастающей ограниченной последовательностью. Согласно би-
ному Ньютона
n
ж 1ц 1 n(n - 1) 1 n(n - 1)(n - 2) 1 1
exp(n) = з1 + ч = 1 + n Ч + Ч 2+ Ч 3 + ... + n =
и nш n 2! n 3! n n
1 ж 1 ц 1 ж 1 цж 2 ц 1 ж 1 ц ж n -1 ц
= 2 + з1 - ч + з1 - ч з1 - ч + ... + з1 - ч ...з1 - <
2 ! и n ш 3! и n ш и n ш n! и n ш и n чш
1 1 1 1 1 1 1
< 2 + + + ... + < 2 + + + 4 + ... + n < 3.
2 ! 3! n! 2 ! 3! 2 2
n +1
ж 1 ц 1ж 1 ц 1ж 1 цж 2 ц
exp(n + 1) = з1 + ч = 2 + з1 - + з1 - 1- +
и n +1 ш
ч
2 ! и n + 1 ш 3 ! и n + 1 ш и n + 1 чш
ч з
1 ж 1 ц ж n ц
+... + 1- ... 1 - .
(n + 1)! зи n + 1 чш зи n + 1 чш
Можно сделать вывод: exp(n + 1) > exp(n), 2 < exp(n) < 3 . Следователь-
но, последовательность является монотонной и ограниченной, зна-
чит имеет предел. Число e является пределом такой последовательно-
сти, вычислим его численным методом.
Из теории рядов известно, что
x x2 xn
exp( x ) = 1 + + + .. + + Rn +1 ( x ).
1! 2 ! n!
Тогда число e представимо в виде бесконечной суммы ряда
Ґ
1
e=е .
n=0 n !
Непосредственно суммируя первые n членов данного ряда, мож-

но получить значения иррационального числа e с заданной точно-
стью. Организуем подпрограмму, которая производит данное сумми-
рование.
80
5.7. Приближенные вычисления с использованием дифференциалов
В рассматриваемом примере задается точность вычисления 10–20.

Алгоритм позволяет суммировать члены ряда при условии, что каж-
дый из них больше указанной погрешности. Как только находится эле-
мент, меньший указанной погрешности, происходит выход из цик-
ла while и выводится результат вычислений. Для того чтобы результат
был выведен с точностью 10–20, необходимо использовать функцию
float (расчет с плавающей точкой) с параметром 21.
Подпрограмма для вычисления значения числа e с точностью 10–20
1
ж 2pn ц n
Также число e можно найти как предел e = lim nз
x ®Ґ з
чч .
и n! ш
5.7. Приближенные вычисления с использованием

дифференциалов
Эти вычисления основаны на приближенной замене приращения

функции в точке на ее дифференциал Dy » dy . Погрешность от такой
замены при Dx ® 0
81
является бесконечно малой более высокого порядка по сравнению

с Dx .
f ( x0 + Dx ) = f ( x0 ) + Dy » f ( x0 ) + dy » f ( x0 ) + f '( x0 )dx » f ( x0 ) + f '( x0 )Dx .
Эта формула называется формулой линеаризации и является основ-
ной в приближенных вычислениях.
жp ц жp ц
Вычислим приближенно значения sin з - 0,1 ч и cos з - 0,1 ч :
и 4 ш и 4 ш
Приближенные вычисления при помощи дифференциалов
жp ц жp ц
Таким образом, sin з - 0,1 ч » 0, 6 и cos з - 0,1 ч » 0,8 .
и4 ш и4 ш
5.8. Решение систем линейных уравнений
5.8.1. Решение определенных систем линейных уравнений

мa11 x11 + a12 x12 + ... + a1n x1n = b11 ,
п
Система н
пa x + a x + ... + a x = b ,
о m1 m1 m 2 m 2 mn mn mn
может иметь одно решение, бесконечное множество, либо не иметь ре-

шений. Для того чтобы система имела единственное решение, необ-
ходимо и достаточно, чтобы ∆≠0.
82
a11 ... a1k ... a1n

... ... ... ... ...
D = ak 1 ... akk ... akn
... ... ... .... ...
am1 ... amk ... amn
В противном случае, когда ∆=0, система имеет либо бесконечное
множество решений, либо не имеет решений. Система однородна, если
столбец свободных членов нулевой. Неоднородна, если хотя бы один
элемент столбца свободных членов отличен от нуля.
Система линейных уравнений называется совместной, если име-
ет решения, и несовместной — в противном случае. Система называ-
ется определенной, если решение есть, притом единственное, и нео-
пределенной, если решений — бесконечное множество. На практике
часто используют метод элементарных преобразований (метод Гаус-
са), матричный метод и метод Крамера. Притом два последних при-
меняются только в случае ∆≠0. Реализуем каждый из методов в среде
MathCad.
Пусть необходимо решить систему неоднородных линейных урав-
нений
м2 x1 + 3x2 + 2 x3 = 16,
п
н3x1 - 1x2 - 4 x3 = -15,
п x - 2 x - 5x = -23.
о 1 2 3
D1 D D
По методу Крамера: x1 = , x 2 = 2 , x3 = 3 ,
D D D
где
2 3 2 16 3 2 2 16 2 2 3 16
D = 3 -1 -4 , D1 = -15 -1 -4 , D 2 = 3 -15 -4 ,D
D3 = 3 -1 -15 .
1 -2 -5 -23 -2 -5 1 -23 -5 1 -2 -23
Функция submatrix (A, ir, jr, ic, jc) возвращает подматрицу массива
A, состоящую из элементов строк от ir до jr и столбцов от ic до jc мас-
сива A). Функция augment (A, B, C, …) возвращает массив, получен-
ный в результате размещения A, B, C, … слева направо.
83
Метод Крамера решения системы определенных

линейных уравнений
Матрица A — основная матрица системы, B — столбец свободных

членов. A1, A2, A3 — матрицы, полученные замещением соответству-
ющей строки основной матрицы на столбец свободных членов. Отно-
шение определителей к главному определителю, то есть неизвестные,
выводятся в примере в матричном виде (матрица-столбец неизвест-
ных). Решением системы является точка x1 = 1, x2 = 2, x3 = 4, т. е.
X = (1 2 4 ) .
T
Метод элементарных преобразований (метод Гаусса) заключается

в последовательном преобразовании расширенной матрицы системы
сначала к треугольному виду, затем — к диагональному.
84
Решения систем линейных уравнений
Функция rref (A) возвращает матрицу, представляющую приведен-

но-ступенчатую форму по строкам для A.
Решением системы является точка x1 = 1, x2 = 2, x3 = 4, т. е.
X = (1 2 4 ) .
T
И, наконец, решим исходную систему третьим способом — матрич-

ным.
AX = B , A -1 AX = A -1B , X = A -1B .
Функция lsolve (M, V) возвращает вектор X, дающий решение ли-
нейной системы уравнений M Ч X = V .
MathCad позволяет решить линейную систему неоднородных урав-
нений, задав ее в блоке Given-Find:
85
Матричный метод решения систем линейных уравнений

и использование блока Given-Find для решения систем уравнений
5.8.2. Решение неопределенных систем линейных уравнений

м2 x + 3 y + 2z = 0,
Необходимо решить однородную систему н D = 0.
о3x - y - 4 z = 0,
Для этого ввести после Given систему уравнений, используя знак ло-
гического равенства (на панели инструментов Булева алгебра).
Функция Find (var1, var2, …) возвращает значения переменных var1,
var2, …, представляющие решение системы уравнений в блоке реше-
ния. Если указан только один аргумент, возвращает скаляр, иначе —
вектор решений.
В примере ww : = Find ( x, y, z ) — возвращает вектор частных реше-
ний системы. Для нахождения общего решения необходимо вектор
ww умножить на константу c.
В качестве проверки решения вычисляется AX = 0, то есть произ-
ведение основной матрицы системы и матрицы-столбца общего ре-
шения системы.
м2 x + 3 y + 2z = 16,
Теперь решим однородную систему н D = 0.
о3x - y - 4 z = -15,
Частное решение находится так же, как частное решение однород-
ной системы в предыдущем примере.
86
Нахождение решений неопределенной однородной системы

линейных уравнений
Для того чтобы разложить общее решение неоднородной системы
по фундаментальной системе решений найдем сумму частного и об-
щего решения неоднородной системы.
Нахождение решений неопределенной

неоднородной системы линейных уравнений
87
5.9. Разложение иррациональностей в цепные дроби
Цепной дробью [a0 ,a1 ,a2 ,...] называется дробь, которую можно пред-
ставить в виде
1
[a0 ,a1 ,a2 ,...] = a0 + ,
1
a1 +
1
a2 +
...
где a0 — целое число, а все остальные an — натуральные числа. При
этом числа a0 ,a1 ,a2 ,a3 ... называются неполными частными цепной
дроби.
Любое действительное число может быть представлено в виде ко-
нечной (для рациональных чисел) или бесконечной (для иррацио-
нальных чисел) цепной дроби. Число представляется конечной цеп-
ной дробью тогда и только тогда, когда оно рационально.
Для цепной дроби [a0 ,a1 ,a2 ,...] N‑й подходящей дробью называется
конечная цепная дробь [a0 ,a1 ,a2 ,...,an ] , значение которой рациональ-
pn
но и равно .
qn
Эффективным алгоритмом для разложения числа x в цепную дробь
является алгоритм Евклида, в котором a0 = [ x ], x0 = x - a0 ,
й1щ 1 й 1 щ 1
a1 = к ъ , x1 = - a1 , an = к ъ , xn = - an . Разложение в конечные
л x0 ы x0 л xn -1 ы xn -1
цепные дроби можно проводить и вручную, однако разложение в бес-
конечные требует вычислительных ресурсов. Вышеупомянутый алго-
ритм Евклида просто реализовать в MathCad. Рассмотрим его на при-
мере разложения x = 2 . При этом ограничимся 12 первыми
неполными частными (k = 12). Из расчета видно, что
2 = [1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2] . Для k = 12 запишем подходящую дробь,
которая является конечной дробью [1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2] , тогда
19601
2» .
13860
88
Подпрограмма для разложения иррациональностей в цепные дроби

и нахождения подходящей дроби, использующая алгоритм Евклида
Покажем, что разложение x = 2 в цепную дробь верное:

1
x =1+ ,
1+ x
x 2 = 2, x = ± 2 .
Данные разложения имеют множества приложений, а также позво-
ляют приближать иррациональности рациональными дробями.
Бесконечные дроби могут встречаться в физике при вычислении
сопротивления бесконечной электрической цепи. Например, необ-
ходимо определить сопротивление электрической цепи:
89
Бесконечная цепь из резисторов, каждый сопротивлением R
Сопротивление RS можно записать в виде бесконечной цепной дроби

1
RS = 2R +
1 1
+
R 2R + 1
1 1
+
R 2R +
...
RS = 2R +
1 1
1
, RS > 0, R 2 S - 2RRS - 2R 2 = 0, RS = R ( 3 +1 .)
+
R RS
При этом сопротивление бесконечной цепи выражается иррацио-
нальным числом.
Мы упоминали число e как основание натуральных логарифмов
в текущей главе.
Впервые разложение основания натуральных логарифмов было осу-
ществлено Леонардом Эйлером:
e -1 1 1
= , e =2+ .
2 1 1
1+ 1+
1 1
6+ 2+
1 1
10 + 1+
1 1
14 + 1+
18 + ... 1
4+
1
1+
1 + ...
90
Если применить алгоритм Евклида в MathCad для разложения чис-

ла e (рис. 46), то 12 неполных частных будут (2 1 2 1 1 4 1 1 6 1 1 8). А под-
23225
ходящая дробь — e = .
8544
Разложение основания натуральных логарифмов в цепную дробь
91
6. Стохастические методы. 
Метод Монте-Карло
М етод Монте-Карло — стохастический метод (от греч. «умею-

щий отгадывать»), связанный со случайностями (в отличие
от детерминированных методов), который позволяет решать матема-
тические задачи с помощью моделирования случайных величин. В этом
случае необходимо использование генератора случайных чисел, осу-
ществление правильной работы которого значительно упростилось
с развитием вычислительной техники. В том случае, когда задача
не связана с вероятностными процессами, вероятностные модели вво-
дятся искусственно. Минусом метода является величина погрешно-
1
сти вычислений, которая составляет D  , что значительно выше
N
погрешности для детерминированных методов.
6.1. Генератор случайных чисел
Напомним, что случайные числа — это числа, которые почти неза-

висимы друг от друга и подчиняются заданному распределению.
В Mathcad возможно генерировать случайные числа, имеющие раз-
ные законы распределения.
rbeta (m, s1, s2) возвращает вектор m случайных чисел, имеющих бэта-
распределение. s1, s2 > 0 есть параметры формы.
92
6.1. Генератор случайных чисел
rbinom (m, n, p) возвращает вектор m случайных чисел, имеющих бино‑

миальное распределение. 0 ≤ p ≤ 1. n есть натуральное число.
rcauchy (m, l, s) возвращает вектор m случайных чисел, имеющих рас‑
пределение Коши. s > 0 есть параметр масштаба. l — параметр распо-
ложения.
rchisq (m, d) возвращает вектор m случайных чисел, имеющих распреде‑
ление хи-квадрат. d > 0 есть число степеней свободы.
rexp (m, r возвращает вектор m случайных чисел, имеющих экспоненци‑
альное распределение. r > 0 — параметр распределения.
rF (m, d1, d2) возвращает вектор m случайных чисел, имеющих F -распре‑
деление. d1, d2 > 0 есть числа степеней свободы.
rgamma (m, s) возвращает вектор m случайных чисел, имеющих гамма-
распределение, s > 0 есть параметр формы.
rgeom (m, p) возвращает вектор m случайных чисел, имеющих геометри‑
ческое распределение. 0 < p ≤ 1.
rlnorm (m, m, s) возвращает вектор m случайных чисел, имеющих лог‑
нормальное распределение, в котором m я вляется натуральным логариф‑
мом среднего значения, а s > 0 есть натуральный логарифм среднеквадра‑
тичного отклонения.
rlogis (m, l, s) возвращает вектор m случайных чисел, имеющих логисти‑
ческое распределение, в котором l является п а раметром расположения,
а s > 0 есть параметр масштаба.
rnbinom (m, n, p) возвращает вектор m случайных чисел, имеющих от‑
рицательное биномиальное распределение. 0 < p ≤ 1. n есть натуральное
число.
rnorm (m, m, s) возвращает вектор m случайных чисел, имеющих нор‑
мальное распределение. s > 0.
rpois (m, l) возвращает вектор m случайных чисел, имеющих распреде‑
ление Пуассона. l > 0.
rt (m, d) возвращает вектор m случайных чисел, имеющих t‑распределение
Стьюдента. d > 0.
runif (m, a, b) возвращает вектор m случайных чисел, имеющих равно‑
мерное распределение, в котором b и a являются граничными точками ин‑
тервала. a < b.
rnd (x) возвращает равномерно распределенное случайное число между
0 и x. Эквивалент runif (1, 0, x).
rweibull (m, s) возвращает вектор m случайных чисел, имеющих распре‑
деление Вейбулла, в котором s > 0 является параметром формы.
93
6. Стохастические методы. Метод Монте-Карло
6.2. Вычисление площади треугольника

в декартовой системе координат
Яркий пример введения случайного процесса для расчета величи-

ны, с таким процессом не связанной, — вычисление площади фигу-
ры, ограниченной заданными прямыми и (или) кривыми.
м 5x
пп 4 при 0 Ј x Ј 8,
Пусть задана функция: f ( x ) = н
п 5 ( 20 - x ) при 8<x Ј 20.
по 6
Необходимо вычислить площадь треугольника, ограниченного пря-
мыми, заданными функцией f (x) и осью OX.
Чтоб найти площадь методом Монте-Карло необходимо организо-
вать стохастический процесс. Треугольник, площадь которого необходи-
мо вычислить, вписан в прямоугольник с длинами сторон x = 20, y = 10.
Рассматриваемую кусочно-линейную функцию f (x) задаем при по-
мощи Add line на панели инструментов Программирование. Примем
за N — число генераций случайной величины, в нашем примере — это
10 6 раз. Создаем массивы xk и yk из N случайных величин с помощью
функции rnd (m), которая генерирует случайную величину на отрезке
[0, m], распределенную по равномерному закону.
Определение площади методом Монте-Карло

94
6.3. Вычисление площади в полярной системе координат
Массив zzzk содержит только нули и единицы. Заполнение числами

этого массива происходит посредством проверки условий попадания
случайной величины внутрь фигуры (треугольника), очерченной гра-
фиком функции f (x) и осью абсцисс OX. Если условие выполнено,
то для данного значения k элемент массива заполняется единицей,
N
если условие не выполнено — нулем. Сумма е zzz
k =1
k показывает чис-
N
е zzz k
ло случайных чисел, попавших внутрь фигуры. Доля чисел , k =1
N
попавших внутрь треугольника, будет соответствовать площади треу-
N
е zzz k
гольника S как доле от площади прямоугольника S треуг = Ч S прям . k =1
N
В итоге S треуг = 99, 9 кв.ед. Рассчитывая эту величину аналитически,
1 1
имеем S треуг = S осн Ч h = Ч 20 Ч10 = 100. Погрешность вычисления со-
2 2
DS S m - k - S a 0, 99
ставляет = = = 0, 0099 (0, 99%).
S Sa 100
Необходимо найти площадь фигуры, ограниченной графиком функ-

ции
r (j) = 16 cos 2 x + 6 sin 2 x .
Аналитически в полярной системе координат площадь S находит-
ся так:
2p r 2p 2p
r2 1
S = т d j т rdr = т0 2 d j = 2 т (16 cos )
j + 6 sin 2 j d j =
2

0 0 0
2p 2p 2p 2p
1 + cos 2j 1 - cos 2j 5
= 8т dj + 3 т d j = 5,5 т d j + т cos 2jd j = 11p » 34,56.
0
2 0
2 0
20
95
Теперь рассчитаем данный интеграл численно.

Первый способ
Организуем процесс генерации случайных чисел. N — число ге-
нераций случайной величины. Теперь создаем массивы Ri и ji из N
случайных величин. ji — это массив из случайных величин на отрез-
ке [0, 2p] , R 2i — массив из случайных величин на отрезке [0, 42 ] . Даль-
ше вычисление идет аналогично случаю с декартовой системой коор-
динат. Площадь круга S кр = 16p .
Данным методом площадь фигуры, ограниченной графиком со-
ставляет S=34.613 кв.ед.
Погрешность вычисления составляет
DM S m - k - S a 34, 613 - 11p
= Ч100% = Ч100% = 0,16%.
M Sa 11p
Вычисление площади в полярной системе

координат (1 способ)
96
Второй способ
Запишем функцию r (j) = 16 cos 2 x + 6 sin 2 x в декартовой системе
м x = cos j,
координат, используя известное преобразование н
о y = sin j.
Создаем массивы xi и yi из N случайных величин с помощью функ-
ции rnd (4), rnd (3). Теперь точки случайным образом распределяют-
ся по поверхности OXY.
Вычисление площади в полярной системе координат (2‑й способ)
r(j) задает границы области, поэтому условие попадания случай-

ной величины в эти границы будет записываться как Ri Ј r (ji ) , где
N
еP i
( xi ) + ( yi )
2 2
Ri = . Искомая площадь SS = i =1
Ч 4S прям = 34, 63 . Погреш-
N
ность вычисления составляет
DM S m - k - S a 34,538 - 11p
= Ч100% = Ч100% = 0, 06%.
M Sa 11p
97
6.4. Вычисление определенных интегралов
Выше мы определяли значение «неберущихся» интегралов числен-

1
sin x
ными методами. Сейчас вычислим интеграл Si(1) = т dx методом
0
x
Монте-Карло.
Интеграл понимается здесь как площадь под графиком на отрезке
интегрирования. Далее приводится расчет Si(1). Подробных объясне-
ний давать не будем ввиду аналогичности данного расчета нахожде-
нию площади в декартовой системе координат.
Вычисление определенных интегралов
6.5. Вычисление двойных интегралов
Расчет двойных интегралов методом Монте-Карло отличается

от расчета определенных интегралов тем, что генерация случайных
чисел в данном случае соответствует точкам трехмерного простран-
ства. Геометрический смысл двойного интеграла суть объем фигуры,
98
6.5. Вычисление двойных интегралов
ограниченной графиком подынтегральной функции в пределах инте-

грирования.
1 x
Вычислим т dx т (1 + xy )dy .
0 x3
Сначала необходимо определить экстремум функции двух перемен-

ных для определения максимального значения z. Для этого задается
приближение x = 1, y = 1 и на отрезках x О[0,1] и y О[0,1] . Встроенная
функция Maximize (f (x1, x2, x3, …, xn), x1, x2, x3, …, xn) определяет экс-
тремум функции f ( x ) . Координаты точек экстремума выведем как
матрицу-столбец:
Определение экстремума функции f ( x, y ) = 1 + xy
Так, для подынтегральной функции f ( x, y ) = 1 + xy точкой экстре-

мума (минимума) на отрезках x О[0,1] и y О[0,1] является M (1, 1, 2).
После определения экстремума можно запускать генератор случай-
ных чисел.
99
Вычисление двойных интегралов методом Монте-Карло
Аналитический расчет дает

x
1 x 1 ж xy ц 2
т dx т (1 + xy )dy = т dx з y + ч =
0 x3 0
и 2 ш 3
x

1
ж1
x 3
x ц 7жx x x 2 4 8 ц 1 1 1 5
= тз x + - x 3 - ч dx = з - - ч = 2 - 8 - 16 = 16 = 0,3125.
0и
2 2 ш
и 2 8 16 ш0
100
6.6. Задача Бюффона
Классическая задача, которая позволила определить значение чис-

ла π вероятностным методом. Рассмотрим ее и решим посредством
MathCad.
Задача Бюффона: на плоскости начерчены параллельные прямые,
находящиеся друг от друга на расстоянии 2a. На плоскость наудачу
брошена игла длины 2l < 2a . Какова вероятность того, что игла пере-
сечет какую-нибудь прямую?
Заметим, что в формулировке задачи нет вопроса о нахождении чис-
ла p . Мало того, о нем вообще не упоминается.
Чтобы игла пересекала прямую, достаточно, чтобы точка ее центра
находилась ниже кривой, очерченной синусоидой y = l Ч sin j (см. с. 102).
Используя геометрическое определение вероятности, найдем веро-
p
т l Ч sin jd j 2l 2
ятность P пересечения иглой прямой P = 0
= = = 0.637.
S пр pa p
Из данной задачи вытекает задача по определению числа π, исхо-
дя из результатов экспериментов по бросанию иглы на расчерченную
поверхность.
Пусть иглу бросают r раз, при этом она пересечет прямую n раз. По-
n
скольку вероятность того, что игла пересечет прямую P = , можно
r
2l Ч r
оценить число π как p = . Данный «эксперимент» нетрудно про-
a Чn
вести в среде MathCad.
Для организации «бросков иглы» необходимо задействовать генера-
тор случайных чисел, далее происходит отбор по принципу «пересекает-
не пересекает», результаты в виде нулей и единиц записываются в мас-
сив zn, и происходит окончательный расчет значения числа π.
Численный расчет показывает, что искомая вероятность составля-
ет P = 0.635. Для определения погрешности a числа p используем по-
нятие отклонения относительной частоты от постоянной вероятно-
сти в независимых испытаниях.
101
Нахождение числа π при решении задачи Бюффона. Метод Монте-Карло
Вероятность того, что в r независимых испытаниях, в каждом из ко-

торых вероятность появления события равна P, абсолютная величина
отклонения относительной частоты появления события от вероятно-
сти появления события не превысит положительного числа e и при-
r
ближенно равна удвоенной функции Лапласа при x = e .
pq
жm ц ж r ц
P з - p Ј a ч = 2F з a
з ч , где p — вероятность пересечения иглой
и r ш и pq чш
2
прямой при одном броске, p = , q — вероятность непересечения иглой
p
2
прямой при одном броске, q = 1 - .
p
102
Для решения задачи необходимо использовать встроенную функ-

цию распределения вероятностей qnorm( p, m, s) для стандартного нор-
мального распределения, которая возвращает обратное нормальное
распределение c математическим ожиданием m и среднеквадратиче-
ским отклонением σ. В расчетах принимаем вероятность равной p =
0,475+0,5 = 0.975, математическое ожидание m = 1 и среднеквадратич-
ное отклонение s = 1 .
Определение погрешности нахождения значения числа π
Так, при r = 105 бросков иглы число π оценивается в p = 3,148 с точ-

ностью a = 3 Ч10 .
-3
Отметим, что время, необходимое для проведения эксперимента

по вычислению числа π с точностью a = 3 Ч10 без использования вы-
-3
числительных средств, т. е. вручную, составило бы 3,472 суток без пе-

рерыва при условии, что на один бросок и каждую запись исхода бро-
ска тратится в среднем 3 сек.
В связи с рассмотренной задачей вспомним парадокс, принадлежа-
щий Бертрану (1907 г). Задача заключается в нахождении вероятно-
сти того, что длина случайной хорды окружности единичного радиуса
превзойдет значение 3 , то есть сторону равностороннего вписанного
треугольника. Можно предложить три решения задачи, каждая из ко-
торых имеет право на существование.
1‑й вариант. Всякая хорда пересекает окружность в двух точках.
Пусть обе этих точки равномерно распределены на окружности и их
103
положения на ней независимы. При этом одна из точек — вершина

вписанного равностороннего треугольника.
2‑й вариант. Длина хорды зависит от ее расстояния от центра окруж-
ности и не зависит от ее направления. Пусть хорда имеет фиксиро-
ванное направление, перпендикулярное данному диаметру, а точка
пересечения хорды с диаметром имеет равномерное распределение
на диаметре.
3‑й вариант. Каждая хорда однозначно определяется основанием
перпендикуляра, опущенного на нее из центра. Эта точка распреде-
лена равномерно внутри круга.
Вероятности, соответствующие каждому из вариантов, рассчита-
ны численно:
Расчет вероятностей для парадокса Бертрана в каждом из трех вариантов
104
7. Обыкновенные дифференциальные
уравнения
В этой главе последовательно рассматриваются основные типы

дифференциальных уравнений первого порядка, однородные
и неоднородные дифференциальные уравнения второго порядка с по-
стоянными коэффициентами, а также системы линейных и нелиней-
ных уравнений первого порядка. MathCad позволяет решать задачу
Коши численно методами Эйлера и Рунге-Кутты. Рассмотрены алго-
ритмы, заложенные во встроенных функциях, позволяющих решать
дифференциальные уравнения численно, приведены примеры под-
программ со встроенными алгоритмами Эйлера и Рунге-Кутты.
7.1. Обыкновенные дифференциальные

уравнения первого порядка
Дифференциальное уравнение первого порядка — это уравнение,

связывающее независимую переменную x, искомую функцию y и про-
изводную первого порядка от этой функции yʹ: F ( x, y, y ў) = 0. Решить
дифференциальное уравнение, то есть найти общее решение, значит
найти искомую функцию y, превращающую дифференциальное урав-
нение в верное тождество, установить ее вид. Если общее решение за-
дается в неявном виде, то оно называется общим интегралом.
Задача Коши. Если дифференциальное уравнение первого порядка
y = f ( x, y ) , ( x, y ) ОG имеет в области G решение, то таких решений
ў
бесконечно много, они могут быть заданы в виде y = y ( x,C ) , где C —
105
7. Обыкновенные дифференциальные уравнения
произвольная константа. Однако если необходимо найти решение,

удовлетворяющее начальному условию y ( x0 ) = y0 , то при определен-
ных условиях такая задача имеет единственное решение. Задача об оты-
скании решения дифференциального уравнения, удовлетворяющего
заданному начальному условию, называется задачей Коши. Началь-
ные условия для обыкновенных дифференциальных уравнений назы-
вают условиями Коши.
В курсе рассматривается пять основных типов обыкновенных диф-
ференциальных уравнений первого порядка:
1. Дифференциальное уравнение с разделяющимися переменными.
2. Однородное.
3. Линейное.
4. Уравнение Бернулли.
5. Уравнения в полных дифференциалах.
7.1.1. Уравнения с разделяющимися переменными
Самый простой тип уравнений — уравнения с разделяющимися пе-
ременными, к такому типу уравлений сводятся все остальные уравне-
ния. Основная идея метода — разделить переменные, взять интегралы
от правой и левой частей уравнения, выразить функцию y. Решение
дифференциальных уравнений при правильно выбранном алгоритме
всегда сводится к взятию неопределенных интегралов. Если y выразить
явно невозможно — необходимо записать общий интеграл уравнения:
dy P ( x, y )
y ў = j( x, y ),= , P ( x, y )dx - Q ( x, y )dy = 0, X ( x )Y ( y )dx + X 1 ( x )Y 2 ( y ) = 0,
dx Q ( x, y )
X (x) Y (y)
dx + 2 dy = 0, P ( x )dx + Q ( y )dy = 0, P ( x )dx =
X 1(x ) Y (y)
= -Q ( y )dy, т P ( x )dx + тQ ( y )dy = C .
Решим уравнение (1 + y 2 ) xdx + (1 + x 2 ) dy = 0 .
dy xdx 1 d 1+ x
2
( )
т 1 + y 2 = - т 1 + x 2 , arctgy = - 2 т 1 + x 2 , arctgy =
1 1
( )
= - ln 1 + x 2 + C ,C = arctgy + ln 1 + x 2 ,
2 2
( )
C C
arctgy = lnC - ln 1 + x 2 = ln , y = tg ln .
1+ x 2
1+ x2
106
7.1. Обыкновенные дифференциальные уравнения первого порядка
В MathCad можно находить только частные решения, т. е. решать

задачу Коши. Поэтому решим задачу Коши для уравнения
(1 + y 2 ) xdx + (1 + x 2 ) dy = 0 с начальными условиями y = 1, x = 0. Тогда
жpц
p exp з ч
C = e и y = tg ln и4ш
4
.
1+ x2
Для того чтобы решить дифференциальное уравнение первого по-
рядка в MathCad, необходимо:
• задать уравнение, которое необходимо решить;
• задать одно начальное условие и число шагов;
• ввести функцию двух переменных D (x, y), содержащую вектор пер‑
вой производной от неизвестной функции;
• вызвать функцию rkfixed, Rkadapt, Bulstoer, возвращающую коорди‑
наты x, y функции, являющейся решением дифференциального урав‑
нения.
Rkfixed (y, x1, x2, intvls, D) возвращает матрицу значений решений диф‑
ференциального уравнения, заданного производными в D и начальными ус‑
ловиями y на интервале [x1, x2], с использованием метода Рунге — Кут‑
ты с постоянным шагом. Параметр intvls задает число строк матрицы
результатов.
Rkadapt (y, x1, x2, intvls, D) возвращает матрицу значений решения диф‑
ференциального уравнения, заданного производными в D и начальными ус‑
ловиями y на интервале [x1, x2], с использованием метода Рунге — Кутты
с переменным шагом. Параметр intvls задает число строк матрицы резуль‑
татов.
Bulstoer (y, x1, x2, intvls, D) возвращает матрицу значений решений глад‑
кого дифференциального уравнения, заданного производными в D с началь‑
ными условиями y на интервале [x1, x2] и методом Булирша — Штера. Па‑
раметр intvls задает число строк матрицы результатов.
Теперь решим задачу Коши для уравнения (1 + y ) xdx + (1 + x ) dy

2 2
(1 + y ) xdx + (1 + x ) dy = 0 с начальными условиями y = 1, x = 0 в Mathcad, и вы-

2 2
шеупомянутым алгоритмом. Используем для этого три встроенных

функции для решения дифференциального уравнения первого поряд-
ка и сравним полученные результаты.
107
7. Обыкновенные дифференциальные уравнения
Решение дифференциального уравнения с разделяющимися переменными
Как видно из решения, полученные аналитически и при помощи

встроенных функций Rkfixed, Rkadapt, Bulstoer, накладываются друг
на друга, что означает: аналитическое решение и численное — иден-
тичны.
7.1.1.1. Метод Рунге-Кутты

Теперь разберемся в алгоритме, заложенном во встроенных функ-
циях Rkadapt, rkfixed.
Пусть дано дифференциальное уравнение первого порядка
y ў = f ( x, y ) , x О [a,b ] y (a) = y0 , причем f ( x, y ) удовлетворяет условию
Липшица f ( x, y1 ) - f ( x, y2 ) < L y1 - y2 для всех x О [a,b ] , и задача Коши
имеет единственное решение. Применяемые для численного решения
108
7.1. Обыкновенные дифференциальные уравнения первого порядка
методы носят название дискретных, с их помощью вычисляется по-

следоват�

Язык

Математика С MATHCAD

Загружено:

Сведения о документе

Авторское право

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Математика С MATHCAD

Загружено:

Авторское право:

7 21 2 444

ВЛАСОВА АЛИСА МИХАЙЛОВНА

Рекомендовано методическим советом

Рецензенты: канд. физ.-мат. наук, ст. науч. сотр. Института физи-

ISBN 978-5-321-02544-4 © Уральский федеральный

Д анное пособие кратко, сжато, конспективно, доступным

Данное учебно-методическое пособие окажет неоценимую помощь

У же в курсе элементарной математики рассматриваются про-

1.1. Основные элементарные функции, задаваемые явно

К основным классам элементарных функций, рассматриваемых

• Поставить крестообразный курсор в файле туда, где нужно постро‑

• Щелкнуть мышью инструмент «График X‑Y» на панели инструментов;

что можно рассматривать как основное гиперболическое тождество:

Покажем, что y = ln( x - x 2 - 1) = - ln( x + x 2 - 1) < 0 :

3. Ареатангенс y ( x ) = Arthx — функция обратного гиперболического

В MathCad существуют встроенные обратные гиперболические функции

1.2. Функции, задаваемые параметрически

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

• щелкнуть мышью инструмент «График X‑Y» на панели инструментов;

1.3. Кривые в полярной системе координат

Помимо явного и параметрического задания функций одной пере-

В полярной системе координат окружность, проходящая через на-

м x = a + r Ч cos t , С центром O (a, b) и ради-

м x = a + r1 Ч cos t , С центром O (a, b), боль-

ной окружности с та-

1.4. Прямолинейные и криволинейные координаты.

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

Сферическая система координат представляет собой упорядочен-

Обе сферических системы могут применяться при решении задач;

Цилиндрическая система координат представляет собой наложение

• xyz2cyl (x, y, z) преобразует прямоугольные координаты точки (x, y,

Взаимное преобразование прямолинейных и криволинейных координат

Преобразование координат необходимо при вычислении объемов

1.5. Поверхности второго порядка

Поверхность второго порядка — это геометрическое место точек

Для построения поверхностей второго порядка необходимо:

M athcad поддерживает работу с комплексными числами в их

ходимо задать функцию для его вычисления. Приводится вычисление

Основные операции с комплексными числами

Извлечение корней из комплексных чисел

3.1. Числовые последовательности и их пределы

Е сли каждому числу n натурального ряда чисел 1,2,.., n, … ста-

Последовательность {xn } называется неограниченной, если для лю-

Вычисление пределов последовательностей

3.2. Предел функции

Определение 1. Число А называется пределом функции f (x) в точке

Вычисление пределов функций в точке

Аналитический расчет дает те же результаты:

В этой главе излагаются примеры вычисления производных пер-

Определением производной функции является

4.1.1. Производные основных элементарных функций

2) Производная степенной функции с рациональным показате-

Вычисление в MathCad производных

Рассмотрим некоторые примеры взятия производных по вышеупо-

Дифференцирование некоторых сложных функций

Расчеты вручную дают следующие результаты:

4. Функции типа y ( x ) = f ( x )g ( x ) относятся к показательно-степен-

4.1.3. Производная n‑го порядка

Вычисление производной 10‑го порядка от y = sin 4 x

Аналогичные рассуждения можно проделать относительно произ-

Вычисление производной 4‑го порядка от y = cos3x

4.1.4. Производная n‑го порядка от произведения двух функций.

Число сочетаний без повторений С вычисляется с использовани- k

Формула Лейбница для вычисления производной 5‑го порядка функции

которую не часто встретишь в вузовских учебниках, а именно, нетри-

Определим предел функции при бесконечном стремлении параме-

2.  т 1 - sin xdx .

3.  т exp( -3x )sin 2 x dx = lim т exp( -3x )sin 2 x dx = lim I1 .