Страница 1 из 1

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

Добавлено: Чт дек 27, 2012 6:33 pm
tutm
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 отказывается

Добавлено: Пт дек 28, 2012 9:51 am
volmike
В 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]

Добавлено: Сб дек 29, 2012 1:39 am
tutm
дякуймо

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