MATHEMATICA 内置符号

GreaterEqual

或

如果

确实大于或等于

，返回 True.

如果

构成一个非递增序列，返回 True.

更多信息

可以以 x Esc >= Esc y 或的形式输入.

当 GreaterEqual 的参数是实数时，它给出 True 或 False.

当 GreaterEqual 的参数不是数字时，它会做一些化简.

对于实际的数值，GreaterEqual 在内部使用数值近似来建立数值排序. 这个过程会受到全局变量$MaxExtraPrecision 设置的影响.

在 StandardForm 中，GreaterEqual 使用输出.

以 x Esc >/ Esc y 或 x\[GreaterSlantEqual]y 的形式输入，可以在输入时被用作的一个可供选择的方式.

范例

关闭所有单元

例 (2)

数值比较：

表示一个不等式：

数值比较：

In[1]:=

Out[1]=

In[2]:=

Out[2]=

表示一个不等式：

In[1]:=

Out[1]=

In[2]:=

Out[2]=

范围 (9)

仅在实数区域定义不等式：

比较有理数：

至多最后 8 位二进制数不同的近似数被认为是相等的：

比较一个具体的数值表达式和近似数：

比较两个数值表达式；一个数值测试可能足以证明不等性：

证明不等性需要符号方式：

GreaterEqual 使用的符号和数值方法没有足够的精度来反证不等式：

用 RootReduce 来决定代数数的符号：

GreaterEqual 使用的数值方法没有足够的精度来反证这个不等式：

RootReduce 用明确的方法来证明不等性：

增加 $MaxExtraPrecision 可能反证不等性：

由于 x 可能不是一个实数，符号不等式保留不计算形式：

假定 x 是一个实数，用 Refine 重新计算不等式：

一个符号不等式：

用 Reduce 求解集的一个明确的描述：

用 FindInstance 求一个实例：

在不等式定义的区域上用 Minimize 优化：

在不等式定义的假设条件下，用 Refine 化简：

属性和关系 (12)

二元参数的 GreaterEqual 的否定形式是 Less：

三元参数的 GreaterEqual 的否定形式不能自动化简：

用 LogicalExpand 表示依据二元参数 Less 的否定：

这不等价于三元参数 Less：

当 GreaterEqual 不能确定数值表达式间的不等性关系，它保持不计算：

FullSimplify 用明确的符号转换来证明不等性：

NonNegative[x] 等于

:

用 Reduce 求解不等式：

用 FindInstance 求一个实例：

用 RegionPlot 和 RegionPlot3D 可视化不等式的解集：

不等式假设条件：

用 Minimize 和 Maximize 求解不等式约束下的优化问题：

用 NMinimize 和 NMaximize 数值求解约束下优化问题：

在不等式解集上对函数积分：

将 Median、Quantile 和 Quartiles 应用到第

个最大数：

可能存在的问题 (3)

对于机器精度近似数，不等式可能不明确：

结果由明确数字确定：

任意精度近似数没有这个问题：

由于自动精度追踪，GreaterEqual 仅明确前 10 个数字：

在这个例子中，机器数之间的不等式给出预期结果：

在这个例子中，明确的数字被 GreaterEqual 忽略：

参见

Greater LessEqual Element RegionPlot RegionPlot3D

教程

关系运算符和逻辑运算符

更多关于

不等式

数值函数

表达式测试

版本 1 的新功能 | 版本 3 修改功能