私はこのような多くの条件を取得します:
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
いくつかの単純なケースにもかかわらず、Reduce は次の出力を生成します。
非常に大きな出力が生成されました。以下はサンプルです: (a | b | c | d | f | i) [要素] 実数 && ((j < 0 && (<<1>>)) || (j == 0 && (<< 1>>)) || (j > 0 && (<<1>>)))
true または false に評価するには、どのように入力する必要があるのだろうか。
この場合、手動で true にする必要があります。
-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 でこれを確認できないのはなぜですか?