Совокупность У., для которых требуется найти значения неизвестных, удовлетворяющие одновременно всем этим У., называется системой У.; значения неизвестных, удовлетворяющих одновременно всем У. системы, – решениями системы. Например, х + 2y = 5, 2x + у – z = 1 является системой двух У. с тремя неизвестными; одним из решений этой системы является х = 1, у = 2, z = 3.
Две системы У. (или два У.) называются равносильными, если каждое решение одной системы (одного У.) является решением др. системы (другого У.), и наоборот, причём обе системы (оба У.) рассматриваются в одной и той же области (см. Равносильные уравнения ). Например, У. х – 4 = 0 и 2x – 8 = 0 равносильны, т.к. решением обоих У. является лишь х = 4. Всякая система У. равносильна системе вида f k (x 1 , x 2 ,..., х п ) = 0, где k = 1, 2,... Процесс разыскания решений У. заключается обычно в замене У. равносильным. В некоторых случаях приходится заменять данное У. другим, для которого совокупность решений шире, чем у данного У. Решения нового У., не являющиеся решениями данного У., называются посторонними решениями (см. Посторонний корень ).
Например, возводя в квадрат У.
Наиболее изучены У., для которых функции f k являются многочленами от переменных x 1 , x 2 ,..., х п , – алгебраические У. Например, алгебраическое У. с одним неизвестным имеет вид:
a 0 x n + a 1 x n-1 +... + a n = 0 (a 0 ¹ 0); (*)
число n называется степенью У. Решение алгебраич. У. было одной из важнейших задач алгебры в 16–17 вв., когда были получены формулы и методы решения алгебраических У. 3-й и 4-й степеней (см. Алгебра , Кардано формула ) (правила решения алгебраических У. 1-й и 2-й степеней были известны ещё в глубокой древности). Для корней У. 5-й и высших степеней общей формулы не существует, поскольку эти У., вообще говоря, не могут быть решены в радикалах (Н. Абель , 1824). Вопрос о разрешимости алгебраических У. в радикалах привёл (около 1830) Э. Галуа к общей теории алгебраических У. (см. Галуа теория ).
Каждое алгебраическое У. всегда имеет хотя бы одно решение, действительное или комплексное. Это составляет содержание т. н. основной теоремы алгебры, строгое доказательство которой впервые было дано К. Гауссом в 1799. Если a – решение У. (*), то многочлен a 0 x n + a 1 x n-1 +... + a n делится на х – a. Если он делится на (х – a) k , но не делится на (х – a) k+1 , то решение a имеет кратность k. Число всех решений У. (*), если каждое считать столько раз, какова его кратность, равно n .
Если f (x ) – трансцендентная функция , то У. f (x ) = 0 называются трансцендентным (см., например, Кеплера уравнение ), причём в зависимости от вида f (x ) оно называется тригонометрическим У., логарифмическим У., показательным У. Рассматриваются также иррациональные У., то есть У., содержащие неизвестное под знаком радикала. При практическом решении У. обычно применяются различные приближённые методы решения У.
Среди систем У. простейшими являются системы линейных У., то есть У., в которых fk суть многочлены первых степеней относительно x 1 , x 2 ,..., х п (см. Линейное уравнение ).
Решение системы У. (не обязательно линейных) сводится, вообще говоря, к решению одного У. при помощи т. н. исключения неизвестных (см. также Результант ).
В аналитической геометрии одно У. с двумя неизвестными интерпретируется при помощи кривой на плоскости, координаты всех точек которой удовлетворяют данному У. Одно У. с тремя неизвестными интерпретируется при помощи поверхности в трёхмерном пространстве. При этой интерпретации решение системы У. совпадает с задачей о разыскании точек пересечения линий, поверхностей и т.д. У. с большим числом неизвестных интерпретируются при помощи многообразий в n -мерных пространствах.
В теории чисел рассматриваются неопределенные У., то есть У. с несколькими неизвестными, для которых ищутся целые или же рациональные решения (см. Диофантовы уравнения ). Например, целые решения У. x 2 + y 2 = z 2 вид х = m 2 -n 2 , у = 2 mn, z = m 2 + n 2 где m и n – целые числа.
С наиболее общей точки зрения, У. является записью задачи о разыскании таких элементов некоторого множества А, что F (a ) = Ф (а ), где F и Ф – заданные отображения множества А в множество В. Если множества А и В являются множествами чисел, то возникают У. рассмотренного выше вида. Если А и В – множества точек в многомерных пространствах, то получаются системы У., если же A и В – множества функций, то в зависимости от характера отображения могут получаться также дифференциальные уравнения , интегральные уравнения и др. виды У. Наряду с вопросами нахождения решения У. в общей теории У. различного вида изучаются вопросы существования и единственности решения, непрерывной зависимости его от тех или иных данных и т.д.