GreaterEqual

x>=yxy

如果 确实大于或等于 ,返回 True.

x1x2x3

如果 构成一个非递增序列,返回 True.

更多信息

范例

打开所有单元关闭所有单元

基本范例  (2)

数值比较:

表示一个不等式:

范围  (9)

数值不等式  (7)

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

比较有理数:

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

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

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

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

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

RootReduce 来决定代数数的符号:

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

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

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

符号不等式  (2)

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

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

一个符号不等式:

Reduce 求解集的一个明确的描述:

FindInstance 求一个实例:

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

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

属性和关系  (12)

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

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

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

这不等价于三元参数 Less

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

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

NonNegative[x] 等于 :

Reduce 求解不等式:

FindInstance 求一个实例:

RegionPlotRegionPlot3D 可视化不等式的解集:

不等式假设条件:

MinimizeMaximize 求解不等式约束下的优化问题:

NMinimizeNMaximize 数值求解约束下优化问题:

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

MedianQuantileQuartiles 应用到第 个最大数:

可能存在的问题  (3)

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

结果由明确数字确定:

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

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

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

在这个例子中,明确的数字被 GreaterEqual 忽略:

Wolfram Research (1988),GreaterEqual,Wolfram 语言函数,https://reference.wolfram.com/language/ref/GreaterEqual.html (更新于 1996 年).

文本

Wolfram Research (1988),GreaterEqual,Wolfram 语言函数,https://reference.wolfram.com/language/ref/GreaterEqual.html (更新于 1996 年).

CMS

Wolfram 语言. 1988. "GreaterEqual." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 1996. https://reference.wolfram.com/language/ref/GreaterEqual.html.

APA

Wolfram 语言. (1988). GreaterEqual. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/GreaterEqual.html 年

BibTeX

@misc{reference.wolfram_2024_greaterequal, author="Wolfram Research", title="{GreaterEqual}", year="1996", howpublished="\url{https://reference.wolfram.com/language/ref/GreaterEqual.html}", note=[Accessed: 22-December-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_greaterequal, organization={Wolfram Research}, title={GreaterEqual}, year={1996}, url={https://reference.wolfram.com/language/ref/GreaterEqual.html}, note=[Accessed: 22-December-2024 ]}