Материал: maple

Методы решения математических задач в Maple

3. Найти модуль и аргумент комплексного числа z = −1 − i 3 и вычислить z4. Наберите:

>z:=-1-I*sqrt(3):

>readlib(polar): polar(z);

polar 2,− 2 π3

Чему равен модуль и аргумент этого числа?

> evalc(z^4);

−8 −8 3I

§3. Решение уравнений

Решение обыкновенных уравнений.

Для решения уравнений в Maple существует универсальная команда solve(eq,x), где eq – уравнение, x – переменная, относительно которой уравнение надо разрешить. В результате выполнения этой команды в строке вывода появится выражение, которое является решением данного уравнения. Например:

> solve(a*x+b=c,x);

− b a− c

Если уравнение имеет несколько решений, которые вам понадобятся для дальнейших расчетов, то команде solve следует присвоить какое-нибудь имя name. Обращение к какому-либо k–ому решению данного уравнения производится указанием его имени с номером решения k в квадратных скобках: name[k]. Например:

>x:=solve(x^2-a=0,x);

x:= − a, a

>x[1];

− a

>x[2];

a

> x[1]+x[2];

0

21

Методы решения математических задач в Maple

Решение систем уравнений.

Системы уравнений решаются с помощью такой же команды solve({eq1,eq2,…},{x1,x2,…}), только теперь в параметрах команды следует указывать в первых фигурных скобках через запятую уравнения, а во вторых фигурных скобках перечисляются через запятую переменные, относительно которых требуется решить систему. Если вам будет необходимо для дальнейших вычислений использовать полученные решения уравнений, то команде solve следует присвоить какое-нибудь имя name. Затем выполняется присвоения команда assign(name). После этого над решениями можно будет производить математические операции. Например:

> s:=solve({a*x-y=1,5*x+a*y=1},{x,y});

> assign(s); simplify(x-y);

6

5 + a2

Численное решение уравнений.

Для численного решения уравнений, в тех случаях, когда трансцендентные уравнения не имеют аналитических решений, используется специальная команда fsolve(eq,x), параметры которой такие же, как и команды solve. Например:

> x:=fsolve(cos(x)=x,x); x:=.7390851332

Решение рекуррентных и функциональных уравнений.

Команда rsolve(eq,f) позволяет решить рекуррентное уравнение eq для целой функции f. Можно задать некоторое начальное условие для функции f(n), тогда получиться частное решение данного рекуррентного уравнения. Например:

> eq:=2*f(n)=3*f(n-1)-f(n-2);

eq := 2 f (n) = 3 f (n −1) − f (n − 2)

> rsolve({eq,f(1)=0,f(2)=1},f);

2− 4 1 n

2

Универсальная команда solve позволяет решать функциональные уравнения, например:

22

Методы решения математических задач в Maple

> F:=solve(f(x)^2-3*f(x)+2*x,f);

F:= proc(x) RootOf(_Z^2 - 3*_Z + 2*x) end

В результате получается решение в неявном виде. Однако Maple может работать с такими решениями. Неявное решение функционального уравнения можно попытаться преобразовать в какую-либо элементарную функцию с помощью команды convert. Продолжая приведенный выше пример, можно получить решение в явном виде:

> f:=convert(F(x),radical);

Решение тригонометрических уравнений.

Команда solve, примененная для решения тригонометрического уравнения, выдает только главные решения, то есть решения в интервале [0,2π]. Для того, чтобы получить все решения, следует предварительно ввести дополнительную команду

_EnvAllSolutions:=true. Например:

>_EnvAllSolutions:=true:

>solve(sin(x)=cos(x),x);

14 π + π_ Z ~

В Maple символ _Z~ обозначает константу целого типа, поэтому решение данного уравнения в привычной форме имеет вид x := π/ 4 + πn , где n – целые числа.

Решение трансцендентных уравнений.

При решении трансцендентных уравнений для получения решения в явном виде перед командой solve следует ввести дополнительную команду _EnvExplicit:=true. Пример решения сложной системы трансцендентных уравнений и упрощения вида решений:

> eq:={ 7*3^x-3*2^(z+y-x+2)=15, 2*3^(x+1)+ 3*2^(z+y-x)=66, ln(x+y+z)-3*ln(x)-ln(y*z)=-ln(4) }:

>_EnvExplicit:=true:

>s:=solve(eq,{x,y,z}):

>simplify(s[1]);simplify(s[2]);

{x=2, y=3, z=1}, {x=2, y=1, z=3}

23

Методы решения математических задач в Maple

Задание 3.

1.Найти все решения системы уравнений x2 − y2 =1,

x2 + xy = 2.

Наберите:

>eq:={x^2-y^2=1,x^2+x*y=2};

>_EnvExplicit:=true:

>s:=solve(eq,{x,y});

Теперь найдите сумму двух наборов решений. Наберите:

>x1:=subs(s[1],x): y1:=subs(s[1],y): x2:=subs(s[2],x): y2:=subs(s[2],y):

>x1+x2; y1+y2;

Чему равны эти суммы решений?

2.Численно решите уравнение x2 = cos(x) . Наберите:

> x=fsolve(x^2=cos(x),x);

x=.8241323123

3. Найдите функцию f(x), удовлетворяющую уравнению f 2 (x) − 2 f (x) = x . Наберите:

> F:=solve(f(x)^2-2*f(x)=x,f);

F:= proc(x) RootOf(_Z^2−2*_Z−x) end

> f:=convert(F(x), radical);

f:=1 + 1 + x

4.Найдите все решения уравнения 5sin x +12cos x =13 . Наберите:

>_EnvAllSolutions:=true:

>solve(5*sin(x)+12*cos(x)=13,x);

§4. Решение неравенств

Решение простых неравенств.

Команда solve применяется также для решения неравенств. Решение неравенства выдается в виде интервала изменения искомой переменной. В том случае, если решение неравенства полуось, то в поле вывода появляется конструкция вида RealRange(–∞, Open(a)),

24

Методы решения математических задач в Maple

которая означает, что x (–∞, a), а – некоторое число. Слово Open означает, что интервал с открытой границей. Если этого слова нет, то соответствующая граница интервала включена во множество решений. Например:

>s:=solve(sqrt(x+3)<sqrt(x-1)+sqrt(x-2),x):

>convert(s,radical);

Если вы хотите получить решение неравенства не в виде интервального множества типа x (a, b), а в виде ограничений для искомой переменной типа a<x, x< b, то переменную, относительно которой следует разрешить неравенство, следует указывать в фигурных скобках. Например:

> solve(1-1/2*ln(x)>2,{x});

{0 < x, x < e(−2)}

Решение систем неравенств.

С помощью команды solve можно также решить систему неравенств. Например:

> solve({x+y>=2,x-2*y<=1,x-y>=0,x-2*y>=1},{x,y});

{x =1 + 2 y, 13 ≤ y}

Задание 4.

1.Решите неравенство 13x3 − 25x2 − x4 −129x + 270 > 0 . Наберите:

> solve(13*x^3-25*x^2-x^4-129*x+270>0,x);

RealRange(Open(-3), Open(2)), RealRange(Open(5), Open(9))

Запишите этот результат в аналитическом виде. Получите решение этого неравенства в виде ограничений для искомой переменной. Проделайте это самостоятельно.

2.Решите неравенство e(2x +3) <1 . Наберите:

> solve(exp(2*x+3)<1,x);

Теперь получите самостоятельно решение этого неравенства в виде ограничений для искомой переменной.

25