Good day,dear friends.
I want to simplify some big expression in M9 in case that all Sqrt[_] expressions must be real (or, as equal, all expr in Sqrt[expr] must be nonnegative) and all (a,b,c) must also be real.I use ForAll as second parameter in FullSimplify, but it doesn't work. The same time,the condition above reduces to a+b+c=0,otherwise the big Sqrt in denominator becomes not real (look at attachment) and when I use FullSimplify with a+b+c==0, it workes fine. Is it possible to force Mathematica consider all Sqrt[_] in expressions to be reals and complete simplification?
Attachment: Simplification.nb, URL: ,