Предложение 12.1   Эллипс обладает двумя взаимно перпендикулярными осями симметрии, на одной из которых находятся его фокусы, и центром симметрии. Если эллипс задан каноническим уравнением (12.4), то его осями симметрии служат оси $ Ox$ и $ Oy$ , начало координат -- центр симметрии.

        Доказательство.     Можно было бы провести доказательство на основе определения эллипса (предлагаем читателю попробовать сделать это), но для усиления аналитического аспекта мы проведем доказательство на основе уравнения (12.4).

Пусть эллипс задан уравнением (12.4) и $ M_1(x_1;y_1)$  -- какая-то точка эллипса. Тогда

$\displaystyle \frac{x_1^2}{a^2}+\frac{y_1^2}{b^2}=1.$(12.6)
 


Точка $ M_2(-x_1;y_1)$ является точкой, симметричной точке $ M_1$ относительно оси $ Oy$ (рис. 12.4).

Рис.12.4.Симметрия точек


Вычисляем значение левой части уравнения (12.4) в точке $ M_2$

$\displaystyle \frac{(-x_1)^2}{a^2}+\frac{y_1^2}{b^2}=\frac{x_1^2}{a^2}+\frac{y_1^2}{b^2}.$

В силу равенства (12.6) получаем

$\displaystyle \frac{(-x_1)^2}{a^2}+\frac{y_1^2}{b^2}=1,$

следовательно, точка $ M_2$ лежит на эллипсе. Точка $ M_3(x_1;-y_1)$ является точкой симметричной точке $ M_1$ относительно оси $ Ox$ (рис. 12.4). Для нее аналогичным путем убеждаемся, что

$\displaystyle \frac{x_1^2}{a^2}+\frac{(-y_1)^2}{b^2}=1,$

то есть $ M_3$ является точкой эллипса. Наконец точка $ M_4(-x_1;-y_1)$ является симметричной точке $ M_1$ относительно начала координат (рис. 12.4). Повторяя предыдущие рассуждения, получим, что и эта точка тоже лежит на эллипсе. Итак, утверждение предложения доказано, если эллипс имеет уравнение (12.4). А так как по теореме 12.2 любой эллипс в некоторой системе координат имеет такое уравнение, то предложение полностью доказано.     

Проведем построение эллипса, заданного уравнением (12.4). Заметим, что из-за симметрии достаточно нарисовать часть эллипса, лежащую в верхней полуплоскости. Уравнение этой линии мы получим, выразив $ y$ из уравнения (12.4) и взяв перед корнем знак "$ +$ ",

$\displaystyle y=\frac ba\sqrt{a^2-x^2}.$

Построим график этой функции. Область определения -- отрезок $ [-a;a]$ , $ y(0)=b$ , при увеличении переменного $ x$ от 0 до $ a$ функция монотонно убывает. В силу симметрии графика относительно оси $ Oy$ функция $ y$ монотонно растет при изменении $ x$ от $ -a$ до 0. Производная $ y'=-\dfrac ba\dfrac x{\sqrt{a^2-x^2}}$ определена во всех точках интервала $ (a;b)$ и, следовательно, график является гладким (не содержит изломов, касательная есть в любой точке). Вторая производная $ y''=\dfrac{-ab}{\left(\sqrt{a^2-x^2}\right)^3}$ отрицательна во всех точках интервала $ (a;b)$ , следовательно, график -- выпуклый вверх.

Осталось не исследованным поведение кривой вблизи концов отрезка $ [-a;a]$ . Выразим из уравнения (12.4) переменное $ x$ через $ y$ : $ x=\dfrac ab\sqrt{b^2-y^2}$ . Очевидно, что в точке $ y=0$ эта функция имеет производную, то есть касательная к этому графику в точке $ (a,0)$ существует. Легко проверить, что она параллельна оси $ Oy$ . Из симметрии эллипса делаем вывод, что это гладкая кривая и строим ее с учетом полученных данных (рис. 12.5).

Рис.12.5.Эллипс

     

Производные высших порядков

Если функция $ f(x)$ дифференцируема при всех $ x\in(a;b)$, то мы можем рассмотреть функцию $ f':(a;b)\to\mathbb{R}$, сопоставляющую каждой точке $ x$ значение производной $ f'(x)$. Эта функция $ f'$ называется производной функции $ f$, или первой производной от $ f$. (Иногда саму исходную функцию $ f$ называют нулевой производной и обозначают тогда $ f^{(0)}$.) Функция $ g_1(x)=f'(x)$, в свою очередь, может иметь производную во всех (или некоторых) точках $ x$ интервала $ (a;b)$, которую мы обозначим $ g_1'(x)=f''(x)$ и назовём второй производной функции $ f(x)$. Если предположить, что вторая производная $ g_2(x)=f''(x)$ существует во всех точках $ x\in(a;b)$, то она может также иметь производную $ g_2'(x)=f'''(x)$, называемую третьей производной функции $ f(x)$, и т. д. Вообще, $ n$-й производной функции $ f(x)$ называется производная от предыдущей, $ (n-1)$-й производной $ g_{n-1}(x)=f^{(n-1)}(x)$:

$\displaystyle f^{(n)}(x)=g'_{n-1}(x)=(f^{(n-1)}(x))',$

если эта производная существует. $ n$-я производная называется также производной $ n$-го порядка, а её номер $ n$ называется порядком производной.

При $ n=1;2;3$ первую, вторую и третью производные принято обозначать штрихами: $ f'(x),f''(x),f'''(x)$ или $ y',y'',y'''$; при прочих $ n$ -- числом в скобках в верхнем индексе: $ f^{(4)}(x),f^{(5)}(x),\dots$ или $ y^{(4)},y^{(5)},\dots$.

Физический смысл производной второго порядка проясняется из того, что если первая производная $ f'(x)$ задаёт мгновенную скорость изменения значений $ f(x)$ в момент времени $ x$, то вторая производная, то есть производная от $ f'(x)$, задаёт мгновенную скорость изменения значений мгновенной скорости, то есть ускорение значений $ f(x)$. Следовательно, третья производная -- это скорость изменения ускорения (или, что то же самое, ускорение изменения скорости, поскольку, как очевидно следует из определения, $ (f''(x))'=(f'(x))''$).

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

 

Неопределенный интегралВекторное произведение векторов

Трассировка пиксельных изображений Adobe Illustrator Линейные блоковые коды