не упрощается выражение

Форум пользователей пакета Mathematica

Модератор: Admin

tutm
Сообщения: 5
Зарегистрирован: Чт дек 27, 2012 6:24 pm

не упрощается выражение

Сообщение tutm » Чт дек 27, 2012 6:33 pm

expr=Sqrt[-t + Sqrt[t^2 + x^2 + y^2 + z^2 ]] Sqrt[t + Sqrt[t^2 + x^2 + y^2 + z^2 ]]/Sqrt[x^2 + y^2 + z^2]

Не упрощается выражение
expr тождественная единица,но Simplify и в сочетании с PowerExpand отказывается

volmike
Сообщения: 235
Зарегистрирован: Вс июн 05, 2005 2:42 pm
Контактная информация:

Сообщение volmike » Пт дек 28, 2012 9:51 am

В Simplify можно добавить условия неотрицательности всех подкоренных выражений, тогда исходная дробь упрощается до 1:

Код: Выделить всё

Simplify[(Sqrt[-t+Sqrt[t^2+x^2+y^2+z^2]] Sqrt[t+Sqrt[t^2+x^2+y^2+z^2]])/Sqrt[x^2+y^2+z^2],-t+Sqrt[t^2+x^2+y^2+z^2]>=0 &&t+Sqrt[t^2+x^2+y^2+z^2]>=0&&x^2+y^2+z^2>0&&t^2+x^2+y^2+z^2>=0]
Лысый пешему не конный...

tutm
Сообщения: 5
Зарегистрирован: Чт дек 27, 2012 6:24 pm

Сообщение tutm » Сб дек 29, 2012 1:39 am

дякуймо

можно даже проще для переменных Im[t]==0&&...