Вот ведь садист и kid–abuser! Заставил-таки ребёнка корни из матриц извлекать!
Он сам! Чесслово! Я ему сказал, что не надо, а потом он сам!
А вот же:
-- 05.07.2014 12:33:44 --fronnyaНаверное, у вас в предварительных знаниях не всё хорошо сидит про системы и совокупности уравнений.
Система уравнений - это математическое условие, состоящее в том, что должно выполняться первое уравнение
и второе уравнение (в общем случае,

уравнений). Его можно записать "в строчку", если использовать логический значок "и":

где

и

- какие-то уравнения в общем виде. Часто систему пишут со значком системы - фигурной скобкой:

Если каждому уравнению соответствует множество решений в

-мерном пространстве неизвестных переменных (множество точек), то системе уравнений соответствует
пересечение этих множеств (такие точки, которые входят
и в то,
и в другое множество). Пересечение записывается значком

где

и

- множества.
Совокупность уравнений - это математическое условие, состоящее в том, что должно выполняться первое уравнение
или второе уравнение (в общем случае,

уравнений). Его можно записать "в строчку", если использовать логический значок "или":

Часто совокупность пишут со значком совокупности - квадратной скобкой:

Если каждому уравнению соответствует множество решений в

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

где

и

- множества.
В системы и совокупности могут входить также неравенства. В системы и совокупности могут входить другие ("вложенные") системы и совокупности. Их можно перегруппировывать по правилам логики. Ценность систем и совокупностей в том, что они позволяют совершать
тождественные преобразования, сохраняя с собой все условия, и не путаясь. Например, если мы хотим при решении уравнения разделить обе части на одно и то же выражение, то вообще говоря, мы можем потерять корни:

потому что можем пропустить случай, когда как раз это выражение

Аналогично, при умножении мы можем случайно добавить лишние корни:

потому что второе уравнение выполняется также при

Один из методов действий в таких случаях - это "оставлять себе заметку на память" при всех таких преобразованиях, и возвращаться к ним после решения основной части задачи. Другой, более систематический, - это совершать тождественное преобразование на каждом шаге, заменяя уравнения по надобности на системы и совокупности:

Это всё очень удобные инструменты, когда к ним привыкнешь, и например, для уравнения вида

сразу возникает понимание, что его решение - это совокупность решений
