Из школьного курса математики известно, что кривая, задаваемая уравнением , где  -- число, называется гиперболой. Однако это -- частный случай гиперболы (равносторонняя гипербола).

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

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

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

(12.8)

где

Производная функции Додекаэдр - правильный двенадцатигранник, Такое поведение называется многозадачностью (multitasking) аксонометрические проекции

(12.9)

        Доказательство.     Пусть  -- текущая точка гиперболы (рис. 12.9).

Рис.12.9.

Так как разность двух сторон треугольника меньше третьей стороны, то , то есть , . В силу последнего неравенства вещественное число , определяемое формулой (12.9), существует.

По условию, фокусы -- , . По формуле (10.4) для случая плоскости получаем

По определению гиперболы

Это уравнение запишем в виде

Обе части возведем в квадрат:

После приведения подобных членов и деления на 4, приходим к равенству

Опять обе части возведем в квадрат:

Раскрывая скобку и приводя подобные члены, получим

С учетом формулы (12.9) уравнение принимает вид

Разделим обе части уравнения на и получим уравнение (12.8)     

Уравнение (12.8) называется каноническим уравнением гиперболы.

 Предложение 12.3  Гипербола обладает двумя взаимно перпендикулярными осями симметрии, на одной из которых лежат фокусы гиперболы, и центром симметрии. Если гипербола задана каноническим уравнением, то ее осями симметрии служат координатные оси и , а начало координат -- центр симметрии гиперболы.

        Доказательство.     Проводится аналогично доказательству предложения 12.1.     

Проведем построение гиперболы, заданной уравнением (12.8). Заметим, что из-за симметрии достаточно построить кривую только в первом координатном угле. Выразим из канонического уравнения как функцию , при условии, что ,

и построим график этой функции.

Область определения -- интервал

Компьютерная математика Mathematica электронный учебник

Зарождение и развитие систем компьютерной алгебры

Эру создания компьютерной символьной математики принято отсчитывать с начала 60-х годов. Математика примеры решения задач математический анализ Именно тогда в вычислительной технике возникла новая ветвь компьютерной математики, не совсем точно, но зато броско названная компьютерной алгеброй. Речь шла о возможности создания компьютерных систем, способных осуществлять типовые алгебраические преобразования: подстановки в выражениях, упрощение выражений, операции со степенными многочленами (полиномами), решение линейных и нелинейных уравнений и их систем, вычисление их корней и т. д. При этом предполагалась возможность получения аналитических (символьных) результатов везде, где это только возможно. Примеры решения задач Свойства Определенный интеграл Интегральное исчисление. Решить матричные уравнения Справочный материал и примеры к выполнению контрольной работы по математике

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