Алгебраические уравнения линий на плоскости
Напомним, что многочленом степени одной переменной называется выражение вида
где — действительные числа (коэффициенты многочлена), — старший коэффициент, — свободный член. Степень многочлена обозначается .
Многочленом двух переменных называется выражение вида
где — действительные числа (коэффициенты многочлена), и — целые неотрицательные числа. Число
называется степенью многочлена двух переменных.
Алгебраической линией на плоскости называется множество точек, которое в какой-либо аффинной системе координат может быть задано уравнением вида
 (3.4)
где — многочлен двух переменных и .
Уравнение вида (3.4) называется алгебраическим уравнением с двумя неизвестными. Степенью уравнения (3.4) называется степень многочлена . Одна и та же линия может быть задана уравнением вида (3.4) с многочленами разных степеней. Порядком алгебраической линии называется наименьшая из степеней этих многочленов.
Всякую неалгебраическую линию называют трансцендентной.
В примере 3.1,а,б,в,г,е — линии алгебраические: а — первого порядка, б,в,г,е — второго порядка. Примером трансцендентной линии служит синусоида, т.е. график функции . Эту линию нельзя задать уравнением вида (3.4).
Теорема (3.1) об инвариантности порядка алгебраической линии
Если в некоторой аффинной системе координат на плоскости линия задана уравнением (3.4), то и в любой другой аффинной системе координат эта линия задается уравнением того же вида (3.4) и той оке степени.
Действительно, пусть в аффинной системе координат уравнение имеет вид (3.4):
Получим уравнение этой линии в другой (новой) аффинной системе координат . Старые координаты точки связаны с новыми ее координатами выражениями (2.8):
где — координаты вектора переноса начала координат , а — элементы матрицы перехода базиса к новому . Подставим эти выражения в одночлен :
Раскрывая скобки, получаем многочлен двух переменных , степень которого не больше, чем . Аналогичные многочлены получим из других одночленов, входящих в левую часть (3.4). Сложив эти многочлены, получим многочлен , степень которого не превосходит степени исходного многочлена . Таким образом, при замене системы координат порядок алгебраической линии не увеличивается. Но он не может и уменьшиться, так как если порядок уменьшится при переходе к новой системе координат, то он должен увеличиться при обратном переходе к старой системе координат. Следовательно, порядок алгебраической линии остается неизменным в любой аффинной системе координат (говорят, что порядок алгебраической линии является инвариантом). Теорема доказана.
В аналитической геометрии на плоскости изучаются:
– алгебраические линии первого порядка, описываемые алгебраическим уравнением первой степени с двумя неизвестными:
– алгебраические линии второго порядка, описываемые алгебраическим уравнением второй степени с двумя неизвестными:
Замечания 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}](data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAQUAAAA1CAMAAAB/RQ66AAAAM1BMVEVHcEwAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAADbQS4qAAAAEXRSTlMAMCAQQYFo/cEBoZFR47DQEfMxiPMAAAa4SURBVGje7VuJstsqDDWr2OH/v7YSOAm2ccyd3PSl88JMm0kjy+KgDQ5dlu/4ju8YDu7UB1ollPh9pUGf/eLBiw9EQUP4faUZTn5woD/SQxO8wb/An0H+lnCw6VUN4I62ylcDAvjY2gjlLSiYFxUwYAed6lUUfD57mbHd14LvsT94l5V8FoUip+BmqJDjHz0w+ICCZcxOWUmilBZOgl9Cb65PLktzhtggnLJybg4Fb5S5TkDM+Kidz2Fx+hoFlr3P19gqVBqyykKAmEBB4ZsBSoID5qYf9vGwwLxiZ1BQ+D1dRkkxZVGg0EGXUZ3coWAxr/N4Ca1GCQPcg+RnsrKLiJJbUnLp9vDjhf14WBX5oijrll64CZmNqM04v0RCvGVp7tmginssjgq4NIciWbUpuVEqQVuWMHpsqEpVMrJrN9jt1fgAJPx1sXaZiYiqudnj4nXt0ABZVeGu0LDmMLH+nR51D+rUTKq+Y3znbxZ65zPRjpy66sz1Q99zGkSHLqOTMc1T5KPHUJD77PfcY+Q2O9JK3KxRV75giwNo+vty2/vCXZYhDDXryxZBtp+4T6KDZJhoRr6w6AhtESneFoLiATvrspDVx4Jz7gtMLDmS9j0K47yAjmwZpD0Ko7ygA5kSTlB4uDHDko5vr5VH+Od5gSlhi6nqKgoh9Ch0chiLJEWz0mnYl/coBPCFJiX9lC9wIN1RT6CgaYF5dTMJyzkKGYqnZcMkgkUFnqNgSNKnuy9Uk8KgF0iWJildVeCj2LvfFgX0G4crLU05oDB0Ugi2rFX1AgWGAHDjlytfAMcMyNKqpLxAITlrZWQ9CqNaHEB6ky2jWVEDXU21sMkUHQpWOBOEN+ve6hIFjHWTtJhBYQnGuLBcohCMEzKlm+RzFASmTM+XDgU3zIEesVHGlbUGNVPDZh+9rxGdw03tL9b4uEKhf+ETFHaSl71j34202p6eGLlqlcuhEThHIfuZ5vR0r8afb2j49b75iII4OwFwuVYMzNyXS3drog2fQEEqHHy2kZ4XJkm9PvFjFM5OiUiZbDqvPOwWNNovU77wnw/5hgMGhRW7or9FS33oGct7UMB2YbSnszHyDwWB+jP/Bp3m2EZ+sCv8zRPOLwhLvxP9P6PAviB8I+K+8f7C8NGV8usMf79B+9QOmr+jgCnzj6Gg4A0FDOLfReHlKZijwfxVbv3sLPpdKLzMUy4Dg1/lKTELln8LBTlg015ma5ObyY5CK75INe/NWqkyh0LRaqYaMZQSdBqmBgYfUOBqxlar8UFGD0c5gYJIIYByOh5mNmboEFup4xQKPGrprjfK2smUTMhqGVWIPQo6SwmX/Y4wOoBzGjiPM5UStxUWoo0HzVtW5u6qhICbY2uJ2o7139anh4lOprrZJ/pitMY7FDjIO6P4ZDicVY5EXwg2gQKdRXHwleRhzsUDXTs4neBMEuHhusPUIUNnYigBwVXeZLQFXaibkbvR75oTrOV4scuO2dokBRrJk4roZsLVj1to5fVc07pG+wU93zXp9aA6MvzpKuYCAGQ0OBKBz+/dTh2wZWs9inqiMHCaESOVnbK10Qy7nY6tvQEuUGfEL0nj4mn6EHfPwHJg+llesrVb94EHwdCRDLIf3dM+4tyoCovde3YRYTHiaa5Em9az+A0f0S8Tf3LPap8XuMoYwI2mNbePezZmvdPyaRSKlrgSdim+Erf9xFQ/7l6eaTvmaofEdvzCFgVOrlopCEbutpyxMlI1Z6QZ8OOdng0KVuNG0HpcNWqm0AxiK7J7xNBdTi6ZbgM4IoBNbnbacoaCplsk/k7bqIuLPZweLWt8O/MsO9aLdLK1LKLmmyEKGBo24bIVosWVumRrcYGTWmOTt9nwQdimaqlGycRWbgqLAN9P5S6vjYrBNzxlvupXs5J6zUE6ieWpL2jMh81FGy9ywlk75bIP7QjsiqFTKUjXChZvukVko645GAVBUYoiRr5FHGwCb3PTT2KOZmsfwrxYrlo1qTRfhRchn+WFElRo70FHk/wMhaID9UxlmUFhYXqNfeHEEuiDj0xmNKsmSRfo2vS5Vltn9X0Su6+eJ1BmNykoHHYonPSqWlsK0BMUNsX4gILVbF8+7yAIVEq3e9JY6UOxbp251WFXFUaTzViFYLJtFxHW6zqXg2orAAUpuJ/zlCe3s+heEa6wbx8XyWwNmpJ3uoa3wWtJnNzIll39fGYESVJJmXhimqFjzdb6cdFPU9BUEX+gzHn6bSbsl47Bfl0lxQ7/xP8G8ST1gvzt0ya6aPdvHbSG6TD7wSne/qLFH4fJOXDLyz29AAAAAElFTkSuQmCC) или 
где , степень многочлена не изменяется.
Действительно, преобразование уравнения при переходе от одной системы координат к другой соответствует линейной невырожденной замене переменных многочлена в левой части уравнения.
2. Алгебраическое уравнение (3.4) может не иметь действительных решений. Например, на плоскости нет точек, координаты которых удовлетворяют уравнению . Однако в области комплексных чисел, согласно основной теоремы алгебры, любое алгебраическое уравнение имеет решения. Поэтому каждое алгебраическое уравнение (3.4) , где и , задает некоторую алгебраическую линию на двумерной комплексной плоскости (см. пункт 2 замечаний 2.9). Если все точки этой линии вещественные (действительные), т.е. , а , то линию называют вещественной (действительной). В противном случае линию называют мнимой.
3. Алгебраическими неравенствами с двумя неизвестными называются неравенства вида
где — многочлен двух переменных и . Степенью алгебраического неравенства называется степень многочлена .
4. Многочлены первой степени и алгебраические уравнения (неравенства) первой степени называются линейными.
5. Многочлен второй степени
называется также квадратичной функцией двух переменных; многочлен называется квадратичной формой (квадратичной частью функции), многочлен — линейной формой (линейной частью функции), коэффициент — свободным членом. По сравнению со стандартной записью многочлена некоторые коэффициенты квадратичной функции удвоены для удобства выполнения алгебраических преобразований.
6. Квадратичную функцию можно записать:
а) в матричном виде где — матрица квадратичной функции; расширенный (дополненный единицей) столбец переменных; б) выделяя квадратичную и линейную части: где  — матрица квадратичной формы;  — столбец коэффициентов линейной формы;  — столбец переменных.
7. Многочлены второй степени и алгебраические уравнения (неравенства) второй степени называются квадратичными (квадратными).
8. Линии, задаваемые системой алгебраических уравнений и неравенств, называются полуалгебраическими. Например, уравнение задает на координатной плоскости полуалгебраическую линию:
9. Теорема 3.1, разумеется, справедлива для прямоугольных систем координат на плоскости. Напомним, что преобразования прямоугольных систем координат являются ортогональными (см. пункт замечаний 2.3). Поэтому соответствующие этим преобразованиям линейные замены переменных (см. пункт 1) с ортогональной матрицей называются ортогональными (неоднородными при или однородными при ). Далее, как правило, будут рассматриваться уравнения, записанные в прямоугольной системе координат .
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.
|