2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Упрощение выражений с квадратными корнями (Maple)
Сообщение15.06.2009, 09:00 
Добрый день!
Очень нужна помощь в решении такой проблемы. Есть выражение

Код:
-((-A*(3+(9-A^2)^(1/2)))^(1/2)*(3-(9-A^2)^(1/2))^(1/2)*(-A)^(1/2)+(-A*(3+(9-A^2)^(1/2)))^(1/2)*A+A*(3-(9-A^2)^(1/2))^(1/2)*(-A)^(1/2)-A^2)/(-(-A*(3+(9-A^2)^(1/2)))^(1/2)*(3-(9-A^2)^(1/2))^(1/2)*(-A)^(1/2)+(-A*(3+(9-A^2)^(1/2)))^(1/2)*A+A*(3-(9-A^2)^(1/2))^(1/2)*(-A)^(1/2)+A^2)


Здесь -3<A<0. Я знаю, что это выражение есть -1 (например, если построить график этой функции, то это легко увидеть). Но как я ни пытался сделать так, чтобы Maple мне упростил это выражение до -1, у меня ничего не получилось. Пробовал и simplify(expr,sqrt), и expand - всё равно не помогает. Условия на A (то, что -3<A<0) тоже писал.
Версия Maple 9.5

Буду очень признателен за любую помощь. :)

 
 
 
 Re: Упрощение выражений с квадратными корнями (Maple)
Сообщение17.06.2009, 09:49 
Сделал для интереса в Mathematica
Код:
FullSimplify[expr, {A < 0, A > -3}]

где expr - Ваше выражение, результат = -1.
В Maple как ни старался -1 не вышло.

 
 
 
 Re: Упрощение выражений с квадратными корнями (Maple)
Сообщение18.06.2009, 11:30 
Через Mathematica у меня тоже всё нормально получилось.
Мне подсказали в Maple такой способ:
Код:

> eq:=-((-A*(3+(9-A^2)^(1/2)))^(1/2)*(3-(9-A^2)^(1/2))^(1/2)*(-A)^(1/2)+(-A*(3+(9-A^2)^(1/2)))^(1/2)*A+A*(3-(9-A^2)^(1/2))^(1/2)*(-A)^(1/2)-A^2)/(-(-A*(3+(9-A^2)^(1/2)))^(1/2)*(3-(9-A^2)^(1/2))^(1/2)*(-A)^(1/2)+(-A*(3+(9-A^2)^(1/2)))^(1/2)*A+A*(3-(9-A^2)^(1/2))^(1/2)*(-A)^(1/2)+A^2);

> simplify(combine(eq,radical,symbolic)) assuming A<0;


 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group