Wolfram mathematica 我将如何修改这些不等式，以便Mathematica确认它们？

我有很多这样的条件：

a (b c - (-1 + a) d (c + f g)) h > (-1 + a) i (b + a  j ) g

我有以下假设，在Mathematica中，所有变量都是实的且大于0，a也小于1：

$Assumptions = {a, b, c, d, f, g, h, i, j} \[Element] 
   Reals && {a, b, c, d, f, g, h, i, j} > 0 && 0 < a < 1

$aspections={a，b，c，d，f，g，h，i，j}\[元素]
实数&&{a，b，c，d，f，g，h，i，j}>0&&0

尽管存在一些简单的情况，但仍会产生以下输出：

产生了非常大的产出。下面是一个例子： （a | b | c | d | f | i）[要素] 实数和（（j<0&&（））| |（j==0&&（））| |（j> 0&&（））

我想知道我需要如何输入它才能计算为真或假

---

在这种情况下，它必须为真：

• 将

  -1+a

  重写为

  -（1-a）

  a（bc+（1-a）d（c+fg））h>-（1-a）i（b+aj）g

• 全部到左侧：
  a（bc+（1-a）d（c+fg））h+（1-a）i（b+aj）g>0

• 由于（1-a）>0且所有其他变量均>0，因此左侧是所有>0的变量的乘积之和。所以这必须保持下去。为什么我不能让Mathematica来证实这一点

部分帮助：

这一假设

{a, b, c, d, f, g, h, i, j} > 0

不单独应用于每个元素，请尝试以下操作：

$Assumptions = Flatten[ { # > 0 & /@ {a, b,c,d,e,f,g,h,i,j} , 0 < a < 1 } ]

建议你在上问一下，或者一些版主应该迁移这个

编辑3--我知道了

$Assumptions =  And @@ Flatten[{# > 0 & /@ {a, b, c, d, e, f, g, h, i, j},
                           0 < a < 1}] ;
Simplify[Reduce[ a (b c - (-1 + a) d (c + f g)) h > (-1 + a) i (b +  a j) g 
          && $Assumptions, {a, b, c, d,e,f, g, h, i, j}, Reals]]

(*True*)

$aspections=和@@Flatten[{#>0&/{a，b，c，d，e，f，g，h，i，j}，
0（-1+a）i（b+aj）g
&&$假设，{a，b，c，d，e，f，g，h，i，j}，Reals]]
（*正确*）

不错。也没有意识到mathematica有一个特殊的stackexchange。看起来有点难。

Simplify[Reduce[ (-1 + a)  >= b c/(f + g) , {a, b, c, d, e, f, g},   Reals]  ]
(* False *)

$Assumptions =  And @@ Flatten[{# > 0 & /@ {a, b, c, d, e, f, g, h, i, j},
                           0 < a < 1}] ;
Simplify[Reduce[ a (b c - (-1 + a) d (c + f g)) h > (-1 + a) i (b +  a j) g 
          && $Assumptions, {a, b, c, d,e,f, g, h, i, j}, Reals]]

(*True*)