Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]


Алгебраические уравнения линий на плоскости

Алгебраические уравнения линий на плоскости


Напомним, что многочленом степени n одной переменной x называется выражение вида


p(x)=a_n\cdot x^n+a_{n-1}\cdot x^{n-1}+\cdots+a_1\cdot x+a_0,

где a_0,a_1,\ldots,a_n — действительные числа (коэффициенты многочлена), a_n\ne0 — старший коэффициент, a_0 — свободный член. Степень многочлена обозначается \deg p(x)=n.


Многочленом двух переменных x_1,\,x_2 называется выражение вида


p(x_1,x_2)=a_1\cdot x_1^{k_1}\cdot x_2^{l_1}+a_2\cdot x_1^{k_2}\cdot x_2^{l_2}+\cdots+a_m\cdot x_1^{k_m}\cdot x_2^{l_m},

где a_1,a_2,\ldots,a_m — действительные числа (коэффициенты многочлена), k_1,\ldots,k_m и l_1,\ldots,l_m — целые неотрицательные числа. Число


\deg p(x_1,x_2)= \max\{k_1+l_1;k_2+l_2;\ldots;k_m+l_m\}

называется степенью многочлена двух переменных.


Алгебраической линией на плоскости называется множество точек, которое в какой-либо аффинной системе координат Ox_1x_2 может быть задано уравнением вида


p(x_1,x_2)=0,
(3.4)

где p(x_1,x_2) — многочлен двух переменных x_1 и x_2.


Уравнение вида (3.4) называется алгебраическим уравнением с двумя неизвестными. Степенью уравнения (3.4) называется степень многочлена p(x_1,x_2). Одна и та же линия может быть задана уравнением вида (3.4) с многочленами разных степеней. Порядком алгебраической линии называется наименьшая из степеней этих многочленов.


Всякую неалгебраическую линию называют трансцендентной.


В примере 3.1,а,б,в,г,е — линии алгебраические: а — первого порядка, б,в,г,е — второго порядка. Примером трансцендентной линии служит синусоида, т.е. график функции y=\sin{x}. Эту линию нельзя задать уравнением вида (3.4).




Теорема (3.1) об инвариантности порядка алгебраической линии


Если в некоторой аффинной системе координат на плоскости линия задана уравнением (3.4), то и в любой другой аффинной системе координат эта линия задается уравнением того же вида (3.4) и той оке степени.


Действительно, пусть в аффинной системе координат O\vec{e}_1\vec{e}_2 уравнение имеет вид (3.4):


a_1\cdot x_1^{k_1}\cdot x_2^{l_1}+a_2\cdot x_1^{k_2}\cdot x_2^{l_2}+\cdots+a_m\cdot x_1^{k_m}\cdot x_2^{l_m}=0.

Получим уравнение этой линии в другой (новой) аффинной системе координат O'\vec{e}\,'_1\vec{e}\,'_2. Старые координаты точки связаны с новыми ее координатами выражениями (2.8):


\begin{cases} x_1=s_1+s_{11}\cdot x'_1+s_{12}\cdot x'_2,\\[2pt] x_2=s_2+s_{21}\cdot x'_1+s_{22}\cdot x'_2, \end{cases}

где s_1,\,s_2 — координаты вектора переноса начала координат \vec{s}=\overrightarrow{OO'}, а s_{11},\,s_{12},\,s_{21},\,s_{22} — элементы матрицы перехода \mathop{S}\limits_{(\vec{e} )\to(\vec{e}\,')}= \begin{pmatrix}s_{11}&s_{12}\\s_{21}&s_{22}\end{pmatrix} базиса \begin{pmatrix}\vec{e}\end{pmatrix}=\begin{pmatrix}\vec{e}_1&\vec{e}_2\end{pmatrix} к новому \begin{pmatrix} \vec{e}\,' \end{pmatrix}= \begin{pmatrix}\vec{e}\,'_1&\vec{e}\,'_2\end{pmatrix}. Подставим эти выражения в одночлен a_1\cdot x_1^{k_1}\cdot x_2^{l_1}:


a_1\cdot x_1^{k_1}\cdot x_2^{l_1}= a_1\cdot{\!\left(s_1+ s_{11}\cdot x'_1+s_{12}\cdot x'_2\right)\!}^{k_1}\cdot {\!\left(s_2+s_{21}\cdot x'_1+s_{22}\cdot x'_2\right)\!}^{l_1}

Раскрывая скобки, получаем многочлен двух переменных x'_1,\,x'_2, степень которого не больше, чем (k_1+l_1). Аналогичные многочлены получим из других одночленов, входящих в левую часть (3.4). Сложив эти многочлены, получим многочлен \widetilde{p}(x'_1,x'_2), степень которого не превосходит степени исходного многочлена p(x_1,x_2) \colon \deg \widetilde{p}\leqslant\deg p. Таким образом, при замене системы координат порядок алгебраической линии не увеличивается. Но он не может и уменьшиться, так как если порядок уменьшится при переходе к новой системе координат, то он должен увеличиться при обратном переходе к старой системе координат. Следовательно, порядок алгебраической линии остается неизменным в любой аффинной системе координат (говорят, что порядок алгебраической линии является инвариантом). Теорема доказана.




В аналитической геометрии на плоскости изучаются:


– алгебраические линии первого порядка, описываемые алгебраическим уравнением первой степени с двумя неизвестными:


a_1\cdot x_1+a_2\cdot x_2+a_3=0;

– алгебраические линии второго порядка, описываемые алгебраическим уравнением второй степени с двумя неизвестными:


a_1\cdot x_1^2+a_2\cdot x_1\cdot x_2+a_3\cdot x_2^2+a_4\cdot x_1+a_5\cdot x_2+a_6=0.



Замечания 3.1


1. Теорема 3.1 фактически выражает свойство многочленов: при линейной невырожденной замене переменных


\begin{cases} x_1=s_1+s_{11}\cdot x'_1+s_{12}\cdot x'_2,\\[2pt] x_2=s_2+s_{21}\cdot x'_1+s_{22}\cdot x'_2, \end{cases} или x=s+S\cdot x',

где s=\begin{pmatrix} s_1\\s_2 \end{pmatrix},~ S=\begin{pmatrix} s_{11}&s_{12}\\s_{21}&s_{22}\end{pmatrix},~\det S\ne0, степень многочлена p(x_1,x_2) не изменяется.


Действительно, преобразование уравнения p(x_1,x_2)=0 при переходе от одной системы координат к другой соответствует линейной невырожденной замене переменных x_1,x_2 многочлена p(x_1,x_2) в левой части уравнения.


2. Алгебраическое уравнение (3.4) может не иметь действительных решений. Например, на плоскости Ox_1x_2 нет точек, координаты которых удовлетворяют уравнению x_1^2+x_2^2+1=0. Однако в области комплексных чисел, согласно основной теоремы алгебры, любое алгебраическое уравнение имеет решения. Поэтому каждое алгебраическое уравнение (3.4) p(z_1,z_2), где z_1=x_1+iy_1\in\mathbb{C} и z_2=x_2+iy_2\in\mathbb{C}, задает некоторую алгебраическую линию на двумерной комплексной плоскости \mathbb{C}^2 (см. пункт 2 замечаний 2.9). Если все точки этой линии вещественные (действительные), т.е. z_1=x_1,~z_2=x_2, а y_1=y_2=0, то линию называют вещественной (действительной). В противном случае линию называют мнимой.


3. Алгебраическими неравенствами с двумя неизвестными называются неравенства вида


p(x_1,x_2)\geqslant0, \quad p(x_1,x_2)\leqslant0, \quad p(x_1,x_2)>0, \quad p(x_1,x_2)<0,

где p(x_1,x_2) — многочлен двух переменных x_1 и x_2. Степенью алгебраического неравенства называется степень многочлена p(x_1,x_2).


4. Многочлены первой степени и алгебраические уравнения (неравенства) первой степени называются линейными.


5. Многочлен второй степени


p(x_1,x_2)=a_{11}\cdot x_1^2+2\cdot a_{12}\cdot x_1\cdot x_2+a_{22}\cdot x_2^2+2\cdot a_1\cdot x_1+2\cdot a_2\cdot x_2+a_0

называется также квадратичной функцией двух переменных; многочлен a_{11}\cdot x_1^2+2\cdot a_{12}\cdot x_1\cdot x_2+a_{22}\cdot x_2^2 называется квадратичной формой (квадратичной частью функции), многочлен a_1\cdot x_1+a_2\cdot x_2 — линейной формой (линейной частью функции), коэффициент a_0 — свободным членом. По сравнению со стандартной записью многочлена некоторые коэффициенты квадратичной функции удвоены для удобства выполнения алгебраических преобразований.


6. Квадратичную функцию можно записать:


а) в матричном виде
p(x)=p(x_1,x_2)=\begin{pmatrix}x_1&x_2&1\end{pmatrix}{\cdot}\begin{pmatrix}a_{11}&a_{12}&a_1\\a_{12}&a_{22}&a_2\\a_1&a_2&a_0\end{pmatrix}{\cdot}\begin{pmatrix} x_1\\x_2\\1 \end{pmatrix}= \widehat{x}^T\cdot P\cdot \widehat{x},

где P=\begin{pmatrix} a_{11}&a_{12}&a_1\\ a_{12}& a_{22}& a_2\\ a_1&a_2&a_0\end{pmatrix} — матрица квадратичной функции; \widehat{x}= \begin{pmatrix} x_1\\x_2\\1 \end{pmatrix} расширенный (дополненный единицей)
столбец переменных;


б) выделяя квадратичную и линейную части:
\begin{aligned} p(x)=p(x_1,x_2)&= \begin{pmatrix} x_1&x_2 \end{pmatrix}{\cdot}\begin{pmatrix} a_{11}&a_{12}\\ a_{12}&a_{22} \end{pmatrix}{\cdot}\begin{pmatrix} x_1\\x_2\end{pmatrix}+ 2\cdot\!\begin{pmatrix} a_1&a_2\end{pmatrix}{\cdot}\begin{pmatrix} x_1&x_2\end{pmatrix} +a_0=\\[3pt] &=x^T\cdot A\cdot x+2\cdot a^T\cdot x+a_0,\end{aligned}

где A=\begin{pmatrix} a_{11}&a_{12}\\a_{12}& a_{22}\end{pmatrix} — матрица квадратичной формы; a=\begin{pmatrix}a_1&a_2\end{pmatrix} — столбец коэффициентов линейной формы;
x=\begin{pmatrix} x_1&x_2 \end{pmatrix} — столбец переменных.

7. Многочлены второй степени и алгебраические уравнения (неравенства) второй степени называются квадратичными (квадратными).


8. Линии, задаваемые системой алгебраических уравнений и неравенств, называются полуалгебраическими. Например, уравнение y=|x| задает на координатной плоскости Oxy полуалгебраическую линию:


\begin{cases}y^2-x^2=0,\\[2pt] y\geqslant0.\end{cases}

9. Теорема 3.1, разумеется, справедлива для прямоугольных систем координат на плоскости. Напомним, что преобразования прямоугольных систем координат являются ортогональными (см. пункт замечаний 2.3). Поэтому соответствующие этим преобразованиям линейные замены переменных x=s+S\cdot x' (см. пункт 1) с ортогональной матрицей S~(S^T=S^{-1}) называются ортогональными (неоднородными при s\ne0 или однородными при s=0). Далее, как правило, будут рассматриваться уравнения, записанные в прямоугольной системе координат Oxy.

Математический форум (помощь с решением задач, обсуждение вопросов по математике).
Кнопка "Поделиться"
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.

Часовой пояс: UTC + 3 часа [ Летнее время ]


Яндекс.Метрика

Copyright © 2010-2022 MathHelpPlanet.com. All rights reserved