简化Mathematica中的绝对值

rpr*_*ero 6 wolfram-mathematica

我目前有一个表达式很多的大表达式

Abs[-2 b + 2 d1 m + l Tan[\[Theta]]]
Run Code Online (Sandbox Code Playgroud)

我知道,从我的问题的几何学,那

-2 b + 2 d1 m + l Tan[\[Theta]] > 0
Run Code Online (Sandbox Code Playgroud)

但是,当我试图简化我的表达时,

Simplify[Abs[-2 b + 2 d1 m + l Tan[\[Theta]]], -2 b + 2 d1 m + l Tan[\[Theta]] > 0]
Run Code Online (Sandbox Code Playgroud)

我回来了

Abs[-2 b + 2 d1 m + l Tan[\[Theta]]]
Run Code Online (Sandbox Code Playgroud)

如何让Mathematica简化不必要的绝对值?

编辑1

我试图简化的完整表达是

-(1/(2 (m - Tan[\[Theta]])))
 Sqrt[1 + m^2] (B2 Sqrt[(-2 b + 2 d1 m + l Tan[\[Theta]])^2] + 
    B4 Sqrt[(-2 b + 2 d2 m + l Tan[\[Theta]])^2] + 
    B5 Sqrt[(2 b + 2 d3 m + l Tan[\[Theta]])^2] + 
    B7 Sqrt[(2 b + 2 d4 m + l Tan[\[Theta]])^2] + 
    B1 Sqrt[(2 b - 2 (d1 + l) m + l Tan[\[Theta]])^2] + 
    B3 Sqrt[(2 b - 2 (d2 + l) m + l Tan[\[Theta]])^2] + 
    B6 Sqrt[(-2 (b + (d3 + l) m) + l Tan[\[Theta]])^2] + 
    B8 Sqrt[(-2 (b + (d4 + l) m) + l Tan[\[Theta]])^2])
Run Code Online (Sandbox Code Playgroud)

已知在每个基团下的平方项是正实数.

abc*_*bcd 6

由于已知这些项都是实数和正数,因此平方和取平方根只会得到相同的数字。因此,你可以做类似的事情

expr /. Sqrt[(x___)^2] :> x
Run Code Online (Sandbox Code Playgroud)

expr你上面的巨型表情在哪里?