GreaterEqual
更多信息
- GreaterEqual 亦称为弱不相等或非严格不相等.
- x≥y 可以以 x >= y 或 x \[GreaterEqual]y 的形式输入.
- 当 GreaterEqual 的参数是实数时,它给出 True 或 False.
- 当 GreaterEqual 的参数不是数字时,它会做一些化简.
- 对于实际的数值,GreaterEqual 在内部使用数值近似来建立数值排序. 这个过程会受到全局变量$MaxExtraPrecision 设置的影响.
- 在 StandardForm 中,GreaterEqual 使用 ≥ 输出.
- 以 x >/ y 或 x \[GreaterSlantEqual]y 的形式输入 x⩾y,可以在输入时被用作 x≥y 的一个可供选择的方式.
范例
打开所有单元关闭所有单元范围 (9)
数值不等式 (7)
GreaterEqual 使用的符号和数值方法没有足够的精度来反证不等式:
用 RootReduce 来决定代数数的符号:
GreaterEqual 使用的数值方法没有足够的精度来反证这个不等式:
RootReduce 用明确的方法来证明不等性:
增加 $MaxExtraPrecision 可能反证不等性:
符号不等式 (2)
假定 x 是一个实数,用 Refine 重新计算不等式:
用 Reduce 求解集的一个明确的描述:
用 FindInstance 求一个实例:
在不等式定义的区域上用 Minimize 优化:
在不等式定义的假设条件下,用 Refine 化简:
属性和关系 (12)
二元参数的 GreaterEqual 的否定形式是 Less:
三元参数的 GreaterEqual 的否定形式不能自动化简:
用 LogicalExpand 表示依据二元参数 Less 的否定:
这不等价于三元参数 Less:
当 GreaterEqual 不能确定数值表达式间的不等性关系,它保持不计算:
FullSimplify 用明确的符号转换来证明不等性:
NonNegative[x] 等于 :
用 Reduce 求解不等式:
用 FindInstance 求一个实例:
用 RegionPlot 和 RegionPlot3D 可视化不等式的解集:
用 Minimize 和 Maximize 求解不等式约束下的优化问题:
可能存在的问题 (3)
由于自动精度追踪,GreaterEqual 仅明确前 10 个数字:
在这个例子中,明确的数字被 GreaterEqual 忽略:
文本
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 年