Mathcad как решать систему уравнений

Mathcad как решать систему уравнений

Mathcad дает возможность решать также и системы уравнений. Максимальное число уравнений и переменных равно пятидесяти. В первой части этого раздела описаны процедуры решения систем уравнений. В заключительной части приведены примеры и проведено обсуждение некоторых часто встречающихся ошибок. Результатом решения системы будет численное значение искомого корня. Для символьного решения уравнений необходимо использовать блоки символьного решения уравнений. При символьном решении уравнений искомый корень выражается через другие переменные и константы.

Для решения системы уравнений выполните следующее:

• Задайте начальные приближения для всех неизвестных, входящих в систему уравнений. Mathcad решает уравнения при помощи итерационных методов. На основе начального приближения строится последовательность, сходящаяся к искомому решению.
• Напечатайте ключевое слово Given. Оно указывает Mathcad, что далее следует система уравнений. При печати слова Given можно использовать любой шрифт, прописные и строчные буквы. Убедитесь, что при этом Вы не находитесь в текстовой области или параграфе.
• Введите уравнения и неравенства в любом порядке ниже ключевого слова Given. Удостоверьтесь, что между левыми и правыми частями уравнений стоит символ =. Используйте [Ctrl]= для печати символа =. Между левыми и правыми частями неравенств может стоять любой из символов , , и .
• Введите любое выражение, которое включает функцию Find. При печати слова Find можно использовать шрифт любого размера, произвольный стиль, прописные и строчные буквы.

Функция Find возвращает найденное решение следующим образом:

• Если функция Find имеет только один аргумент, то она возвращает решение уравнения, расположенного между ключевым словом Given и функцией Find.
• Если функция Find имеет более одного аргумента, то она возвращает ответ в виде вектора. Например, Find(z1, z2) возвращает вектор, содержащий значения z1 и z2 , являющиеся решением системы уравнений.

Ключевое слово Given, уравнения и неравенства, которые следуют за ним, и какое-либо выражение, содержащее функцию Find, называются блоком решения уравнений.

На Рисунке 5 показан рабочий документ, который использует блок решения уравнений для решения одного уравнения с одним неизвестным. Так как имеется только одно уравнение, то только одно уравнение появляется между ключевым словом Given и формулой, включающей функцию Find. Так как уравнение имеет одно неизвестное, то функция Find имеет только один аргумент. Для решения одного уравнения с одним неизвестным можно также использовать функцию root, как показано ниже:

Рисунок 5: Блок решения уравнений для одного уравнения с одним неизвестным.

Между ключевым словом Given и функцией Find в блоке решения уравнений могут появляться выражения строго определенного типа. Ниже приведен список всех выражений, которые могут быть использованы в блоке решения уравнений. Использование других выражений не допускается. Эти выражения часто называются ограничениями. В таблице, приведенной ниже, через x и y обозначены вещественнозначные скалярные выражения, а через z и w обозначены любые скалярные выражения.

Следующие выражения недопустимы внутри блока решения уравнений:

• Ограничения со знаком .
• Дискретный аргумент или выражения, содержащие дискретный аргумент в любой форме.
• Неравенства вида a -15 .

Причиной появления этого сообщения об ошибке может быть следующее:

• Поставленная задача может не иметь решения.
• Для уравнения, которое не имеет вещественных решений, в качестве начального приближения взято вещественное число. Если решение задачи комплексное, то оно не будет найдено, если только в качестве начального приближения не взято также комплексное число. На Рисунке 11 приведен соответствующий пример.
• В процессе поиска решения последовательность приближений попала в точку локального минимума невязки. Метод поиска решения, который используется в Mathcad, не позволяет в этом случае построить следующее приближение, которое бы уменьшало невязку. Для поиска искомого решения пробуйте использовать различные начальные приближения или добавьте ограничения на переменные в виде неравенств, чтобы обойти точку локального минимума.
• В процессе поиска решения получена точка, которая не является точкой локального минимума, но из которой метод минимизации не может определить дальнейшее направление движения. Метод преодоления этой проблемы — такой же, как для точки локального минимума: измените начальное приближение или добавьте ограничения в виде неравенств, чтобы миновать нежелательную точку остановки.
• Возможно, поставленная задача не может быть решена с заданной точностью. Если значение встроенной переменной TOL слишком мало, то Mathcad может достигнуть точки, находящейся достаточно близко к решению задачи, но уравнения и ограничения при этом не будут выполнены с точностью, задаваемой переменной TOL. Попробуйте увеличить значение TOL где-нибудь выше блока решения уравнений.

Что делать, когда имеется слишком мало ограничений

Если количество ограничений меньше, чем количество переменных, Mathcad вообще не может выполнить блок решения уравнений. Mathcad помечает в этом случае функцию Find сообщением об ошибке “слишком мало ограничений”.

Задача, аналогичная той, которая приведена на Рисунке 12, называется недоопределенной. Ограничений в ней меньше, чем переменных. Поэтому ограничения не содержат достаточной информации для поиска решения. Поскольку функция Find имеет пять аргументов, Mathcad определяет, что требуется решить два уравнения с пятью неизвестными. Вообще говоря, такая задача обычно имеет бесконечное число решений.

При использовании блока решения уравнений в Mathcad необходимо задать количество уравнений по крайней мере не меньшее, чем число искомых неизвестных. Если зафиксировать значения некоторых переменных, удастся решить уравнения относительно оставшихся переменных. На Рисунке 13 показано, как, зафиксировав часть переменных, решить недоопределенную задачу из Рисунка 12. Поскольку функция Find содержит только два аргумента, z и w, Mathcad определяет переменные x, y и v как имеющие фиксированные значения 10, 50 и 0 соответственно. Блок решения уравнений становится в этом случае корректно определенным, потому что теперь имеются только две неизвестных, z и w, и два уравнения.

Рисунок 12: Функция Find имеет пять аргументов, поэтому Mathcad определяет, что требуется решить два уравнения с пятью неизвестными.

Рисунок 13: Проблема может быть решена, если уменьшить количество аргументов функции Find.

Исправляем ошибки: Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter

Mathcad как решать систему уравнений

Электронный курс по MathCAD

Лекция 5.
Решение уравнений и систем.

5.1 Решение алгебраических (и других) уравнений и систем.

5.2 Решение дифференциальных уравнений и систем (задача Коши и граничные задачи).

5.3 Задание.

5.1 Решение алгебраических (и других) уравнений и систем.

Линейные алгебраические уравнения.

Определение: Уравнение вида ax+b=0 с заданным базовым множеством G_x, a из G_a , b из G_b называется линейным уравнением.

Этапы решения при помощи Mathcad:

1. Ввести уравнение (знак «=» вводится при помощи комбинации [Ctrl++]).
2. Выделить курсором переменную, относительно которой должно быть решено уравнение.
3. Выбрать команду Solve (Вычислить) подменю Variable (Переменные) меню Symbolics (Символы).

При решении линейных уравнений (без параметров) или дробных уравнений, которые сводятся к линейным, MathCAD находит все существующие решения. Однако при этом следует правильно интерпретировать сообщения, выдаваемые системой.

Нормальный случай.

В качестве решения MathCAD выдает число — это означает,

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

Рассмотрим другой пример:

После выполнения описанных выше действий для нахождения решения Mathcad выдает сообщение о том, что решение не найдено.

Проанализировав данное уравнение приходим к выводу, что выданное Mathcad сообщение означает, что решений нет L=<>.

MathCAD выдает сообщение «Решение не найдено», даже если уравнение имеет «формальное решение», которое не принадлежит области определения (смотри примеры ниже).

Многозначность.
Если в качестве решения MathCAD выдает имя переменной, это означает, что множество решений уравнения совпадает с областью определения. Однако, такие понятия, как множество решений уравнения и область определения, отсутствуют в MAthCAD и он не выписывает оболасть определения. Вы можете найти область определения, решая с помощью Mathcad систему неравенств или уравнений

Такой результат, выданный Mathcad после выполнения действий по решению уравнения, означает, что любое значение x из базового множества удовлетворяет этому уравнению, т. е. L=R.

Дробные уравнения

Команда Solve (Вычислить) из подменю Variable (Переменные) меню Symbolics (Символы)выдает множество решений: L = .

Решение 6 копируем в буфер, а затем выделяем маркером переменную x и активизируем команду Substitute (Замена) подменю Variable (Переменные) меню Symbolics (Символы) для замены переменной значением 6.

Рассмотрим другой пример:

Последнее уравнение (рисунок справа) условно эквивалентно уравнению:2x=4. Решение уравнения Mathcad: 2. Формальное решение x = 2 не входит в область допустимых значений. Mathcad выдает правильное сообщение!

Здесь также правильное решение: множество решений совпадает с областью допустимых значений L = D. Только следует учесть, что D=>.

Квадратные уравнения и алгебраические уравнения высших порядков.

Определение: Уравнение P(x)=0 называется алгебраическим уравнением n-го порядка, если P(x) представляет собой полином степени n, при n=2 данное уравнение называется квадратным уравнением.

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

Квадратное уравнение.

Команда Solve (Вычислить) подменю Variable (Переменные) меню Symbolics (Символы) дает решение в виде вектора: L= .

Иррациональное уравнения (уравнения с радикалами).

Корни (радикалы) могут вычисляться в MathCAD либо при помощи знака корня (клавиши [Ctrl+\]), либо как степени (клавиша [^] с дробными показателями. Знак квадратного корня вводится нажатием клавиши [\]. Знак корня и квадратный корень можно найти на панели Calculator (Калькулятор). Последовательность действий при решении уравнений с радикалами та же, что и при решении рассмотренных ранее уравнений.

С точки зрения теории, между решениями уравнений с радикалами и решением алгебраических уравнений имеется два важных различия, по крайней мере, при нахождении действительных решений.

• Радикалы определены не везде в действительной области. Это обстоятельство приводит к необходимости находить область определени, прежде чем решать само уравнение. Данная проблема справедливо игнорируется MathCAD, поскольку он не может знать, во множестве каких чисел (действительных или комплексных) вы намерены решать уравнение. Выход: вы можете самостоятельно найти область определения, воспользовавшись при этом возможностями MathCAD, связанными с решениями неравенств.
• Вторая проблема, возникающая при решении уравнений с радикалами, имеет принципиальный характер. Функция x 2 (как и любая другая функция с четным показателем) на является инъективной (проблема главных значений). В связи с этим возведение в квадрат обеих частей уравнения, содержащего квадратные корни, не является эквивалентным преобразованием. Как всегда, при применении к обеим частям уравнения не инъективного преобразования увеличивается множество решений. В результате в него могут войти «фиктивные» решения. Как ни удивительно, MAthCAD сам производит проверку решений на «фиктивность».

Классический случай решения уравнения с радикалами.

Mathcad распознает «фиктивные» решения (которые могут возникнуть в результате неэквивалентного преобразования «возведение в квадрат») и выдает верное сообщение: Решение не найдено. L =

В приведенных примерах демонстрируется способность MathCAD находить область определения иррационального уравнения путем решения неравенств.

Уравнения с радикалами третьей степени, как и уравнения с комплексными коэффициентами, не представляют для MathCAD никакой сложности.

Уравнения с параметрами.
При решении уравнений с параметрами MathCAD ведет себя по-разному, в зависимости от того, каким образом производятся символьные вычисления — с помощью символьного знака равенства или команд меню Symbolics.

В данном примере использование палитры символьных преобразований позволяет решить уравнение (solve) и упрстить результат (simplify)

23. Тема 6. Решение уравнений и систем. Краткие теоретические сведения

Для алгебраических уравнений вида F(x)=0 решение в MathCad находится с помощью функции Root.

Общий вид функции следующий:

F(х) – функция, описывающая левую часть выражения вида F(x)=0,

Х – имя переменной, относительно которой решается уравнение.

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

Если после многих итераций Mathcad не находит подходящего приближения, то появится сообщение «отсутствует сходимость».

Эта ошибка может быть вызвана следующими причинами:

· уравнение не имеет корней;

· корни уравнения расположены далеко от начального приближения;

· выражение F(x) имеет разрывы между начальным приближением и корнем;

· выражение имеет комплексный корень, но начальное приближение было вещественным и наоборот.

Для изменения точности, с которой функция Root ищет корень, нужно изменить значение системной переменной TOL. Например, просле задания в документе оператора TOL:=0.00001 точность вычисления корня станет равной 0.00001.

Для нахождения корней полиномиального уравнения вида

В отличие от функции Root, Polyroots не требует начального приближения и вычисляет сразу все корни, как вещественные, так и комплексные.

Где V – вектор коэффициентов полинома длины N+1, n – степень полинома. Вектор V формируется следующим образом: в первый его элемент заносится значение коэффициента полинома при х0, т. е. V0, во второй элемент — значение коэффициента полинома при х1, т. е. V1 и т. д. Таким образом, вектор заполняется коэффициентами перед степенями полинома справа налево.

Функция вычисляет вектор длины N, состоящий из корней полинома.

На рисунке 2.6.1 приведены примеры вычисления корней уравнений с помощью функций Root и Polyroots.

Рисунок 2.6.1 – Примеры решения уравнений

MathCAD дает возможность решать системы уравнений и неравенств.

Наиболее распространенным методом решения уравнений в Mathcad является блочный метод. Для решения системы этим методом необходимо выполнить следующее:

A) задать начальное приближение для всех неизвестных, входящих в систему уравнений;

Б) задать ключевое слово Given, которое указывает, что далее следует система уравнений;

В) ввести уравнения и неравенства в любом порядке (использовать кнопку логического равенства на панели знаков логических операций Для набора знака «=» в уравнении);

Г) ввести любое выражение, которое включает функцию Find.

Решающим блоком называется часть документа, расположенная между ключевыми словами Given и Find.

После набора решающего блока Mathcad возвращает точное решение уравнения или системы уравнений.

Обратиться к функции Find можно несколькими способами:

X := Find(x1, x2,…) – формируется переменная или вектор, содержащий вычисленные значения корней.

Сообщение об ошибке «Решение не найдено» появляется тогда, когда система не имеет решения или для уравнения, которое не имеет вещественных корней, в качестве начального приближения взято вещественное число и наоборот.

Приближенное решение уравнения или системы можно получить с помощью функции Minerr.

Если в результате поиска не может быть получено дальнейшее уточнение текущего приближения к решению, Minerr возвращает это приближение. Функция Find в этом случае возвращает сообщение об ошибке. Правила использования функции Minerr такие же, как и для функции Find. Часть документа, расположенная между ключевыми словами Given и Minerr так же носит название решающего блока.

Примеры решения систем уравнений с помощью решающего блока приведены на рисунке 2.6.2.

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

Матричный метод решения системы линейных уравнений реализован в функции Lsolve. Общий вид функции:

Где А – матрица коэффициентов перед неизвестными, B – вектор свободных членов.

Матричный метод можно реализовать и с помощью обратной матрицы. Примеры решения систем линейных уравнений с помощью матричного метода приведены на рисунке 2.6.2.

Рисунок 2.6.2 – Примеры решения систем уравнений

Из рисунка 6.2 видно, что при решении системы уравнений блочным методом можно получить численные значения корней системы уравнений, без присваивания и с присваиванием их в переменные x1 и x2. При решении системы уравнений матричным методом продемонстрированы два варианта: с использованием стандартной функции Lsolve и обратной матрицы.