PossibleZeroQ

PossibleZeroQ[expr]

如果基本的符号和数值方法判断出 expr 有零值时,返回 True. 否则返回 False.

更多信息和选项

  • 判断一个表达式是否有零值是一个非确定性问题; PossibleZeroQ 可以提供一个较快的、但有可能不准确的判断.
  • 设置为 Method->"ExactAlgebraics" 时,对于明确的代数数的情形,PossibleZeroQ 将采用精确可靠的方法.

范例

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

基本范例  (1)

判断一个数值表达式是否为零:

判断一个符号表达式是否有可能恒等于零:

范围  (4)

证明一个数值表达式是零:

证明一个数值表达式非零:

通过近似计算,决定一个数值表达式为零;

判断符号表达式是否有可能恒等于零:

选项  (2)

Assumptions  (1)

对于任意复数 xf 不恒等于零:

Re[x]>0 时,f 恒等于零:

Method  (1)

在默认情况下,数值近似可能用来判断一个代数式是否为零:

近似法可能给出不正确的肯定答案:

设置 Method->"ExactAlgebraics" 时,则对明确的代数数采用精确放法判断:

对于明确代数数来说,答案可证明为正确的:

应用  (1)

求解多项式方程时需要判断系数是否为零:

Wolfram 语言方程求解器自动地使用零检验:

属性和关系  (1)

SameQ[e, 0] 仅在 e 和零明确恒等的情况下返回 True

Equal[e, 0] 采用简单的检验来判断 e 是否等于零:

Equal 不能判断一个表达式是否是零时,则返回原式不变:

PossibleZeroQ 采用数值法判断 ee 是否为零:

FullSimplify 符号式地证明 ee 是零;

可能存在的问题  (1)

对于与零非常接近的非零数值表达式,PossibleZeroQ 有可能返回 True

Wolfram Research (2007),PossibleZeroQ,Wolfram 语言函数,https://reference.wolfram.com/language/ref/PossibleZeroQ.html.

文本

Wolfram Research (2007),PossibleZeroQ,Wolfram 语言函数,https://reference.wolfram.com/language/ref/PossibleZeroQ.html.

CMS

Wolfram 语言. 2007. "PossibleZeroQ." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/PossibleZeroQ.html.

APA

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

BibTeX

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

BibLaTeX

@online{reference.wolfram_2024_possiblezeroq, organization={Wolfram Research}, title={PossibleZeroQ}, year={2007}, url={https://reference.wolfram.com/language/ref/PossibleZeroQ.html}, note=[Accessed: 22-November-2024 ]}