Упрощение абсолютного значения в Mathematica

У меня есть большое выражение с большим количеством членов вида

Abs[-2 b + 2 d1 m + l Tan[\[Theta]]]

Из геометрии моей задачи я знаю, что

-2 b + 2 d1 m + l Tan[\[Theta]] > 0

Однако, когда я пытаюсь упростить выражение,

Simplify[Abs[-2 b + 2 d1 m + l Tan[\[Theta]]], -2 b + 2 d1 m + l Tan[\[Theta]] > 0]

я просто получаю обратно

Abs[-2 b + 2 d1 m + l Tan[\[Theta]]]

Как я могу заставить систему Mathematica упростить ненужное абсолютное значение?

EDIT 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])

Известно, что члены, возводимые в квадрат под каждым из радикалов, являются положительными действительными числами.

6
задан rprospero 8 December 2011 в 21:23
поделиться