如何检查积极功能?

5视图(30天)
我不能证明函数的积极性:
y = x1, x2 + sin (x1)
这样的:
0 < x1 < 0.0001
0 < x2 < 0.0001
x1 > x2
我的matlab代码是:
x =符号(“x”(1 - 2),“真实”的)
假设(0.0001 > > 0 & x (1) > x (2))
y = x (1) - (2) + sin (x (1))
总(y > = 0)
%以下responde从命令窗口
警告:不能证明“0 < = x1, x2 +罪(x1)”。
>在symengine
信谊/总(42)行
为什么Matlab不能证明函数y的积极性?
我可以证明“x (1) - x(2)”和“sin (x(1))”是积极的,我不知道为什么我不能证明的和积极的积极性。
任何形式的帮助是升值,我卡住了几个小时. .

接受的答案

沃尔特·罗伯森
沃尔特·罗伯森 2021年10月2日
嗯。因此分裂。x1严格> x2 impliex x1, x2 > 0
x1 > 0 x1 <π意味着罪恶(x1) > 0
两个积极的和数量是正的。
x =符号(“x”(1 - 2),“真实”的)
x =
假设(0.0001 > > 0 & x (1) > x (2))
日元= x (1) + (2)
日元=
y2 = sin (x (1))
y2 =
总(y1 > 0)
ans =逻辑
1
总(y2 > 0)
ans =逻辑
1
信谊y3 y4% y3正值y1、y4是正值sin (x (1))
假设(y3 > 0 & y4 > 0)
总(y3 + y4 > 0)
ans =逻辑
1

更多的答案(0)

社区寻宝

找到宝藏在MATLAB中央,发现社区如何帮助你!

开始狩猎!