功能标志

功能标志[（f）,{x个₁,x个₂,…}]

找到函数的实际符号（f）带变量x个₁,x个₂,…越过雷亚尔。

功能标志[（f）,{x个₁,x个₂,…},dom公司]

使用限定于域的变量查找实数符号dom公司.

功能标志[{（f）,欺骗},{x个₁,x个₂,…},dom公司]

当变量受到约束时给出符号欺骗.

详细信息和选项

功能符号也称为正、非负、负、非正、严格正、严格负。
默认情况下，使用以下定义：
+1 非负值,即为所有人

0 同零,即为所有人

-1 非阳性,即为所有人

不确定非负或非正
零函数既是非负函数又是非正函数。
使用设置严格不合格真的，使用以下定义：
+1 积极的,即为所有人

-1 消极的,即为所有人

不确定既不积极也不消极
的可能值dom公司包括：雷亚尔,整数,积极的现实,正整数等。默认值为雷亚尔.
功能（f）应该是所有人的实值函数x个_我在域中dom公司满足约束条件的欺骗.
欺骗可以包含方程式、不等式或这些的逻辑组合。
可以提供以下选项：

假设	$假设	参数假设
生成条件	真的	是否对参数生成条件
绩效目标	$性能目标	是优先考虑速度还是质量
严格不合格	False（错误）	是否需要严格签名

的可能设置生成条件包括：
自动仅非一般条件

真的所有条件

False（错误）无条件

无如果需要条件，则返回未评估的
的可能设置绩效目标是“速度”和“质量”.

示例

全部打开全部关闭

基本示例 (3)

查找函数的符号：

查找变量受约束的函数的符号：

查找整数上函数的符号：

范围 (7)

单变量函数：

非实值函数具有不确定签名：

函数为实数，非负函数表示正函数:

对变量有约束的单变量函数：

函数的严格符号：

是非负的，但严格来说不是正的：

多元函数：

变量约束的多元函数：

带符号参数的函数：

选项 (5)

假设 (1)

功能标志在此处给出条件回答：

根据这些假设，函数具有相反的符号：

生成条件 (2)

默认情况下，功能标志可能会在符号参数上生成条件：

使用生成条件无,功能标志失败，而不是给出有条件的结果：

这将返回一个条件有效的结果，而不声明条件：

默认情况下，会报告所有条件：

使用生成条件->自动，一般为真的条件不会被报告：

绩效目标 (1)

使用绩效目标为了避免潜在的昂贵计算：

默认设置使用所有可用的技术来尝试生成结果：

严格不合格 (1)

默认情况下，功能标志计算非限定符号：

使用严格不合格真的,功能标志计算严格符号：

是非负的，但严格来说不是正的。绝对肯定：

应用 (14)

基本应用程序 (3)

检查的符号:

以下图表位于上半平面：

检查的符号:

以下图表位于下半平面中：

检查的符号:

以下图表不包含在上半平面或下半平面中：

展示一下限制为为非负：

带符号的函数之和有符号:

功能乘积的符号是符号的乘积：

微积分 (6)

非递减函数的导数是非负的：

如果是非负的，那么，用于，为非负数：

如果序列的差异为非负，则序列为非递减序列：

非负序列的和是非递减的：

使用d'Alembert准则检查非负级数的收敛性：

检查的非负性:

测试是否限制小于:

证明积分是发散的：

展示一下:

展示一下为非负：

表明发散：

概率与统计 (3)

PDF格式始终为非负：

CDF公司始终为非负：

生存功能始终为非负：

几何图形 (2)

区域距离始终为非负：

非负函数在一个区域上的积分是非负的：

属性和关系 (2)

非负函数的和和乘积是非负的：

非负函数的连续反导数是非递减的：

使用整合计算反导数：

使用功能连续检查反导数是否连续：

使用功能单调性验证抗导数是否不递减：

绘制函数和反导数：

可能出现的问题 (1)

必须在任何地方定义函数，以具有固定符号：

顶部

功能标志

详细信息和选项

示例

基本示例 (3)

范围 (7)