如何使用总比较两个符号方程?

1视图(30天)
CN。
CN。 2021年5月31日
评论道: Torsten 2021年5月31日
亲爱的论坛成员,
我想检查是否两个符号方程是相同的,但我总不能使用函数。
信谊一个b
f1 = y = = abs (x);
f2 = y = =√x ^ 2);
总(f1 = = f2)
警告:不能证明”(y = = abs (x)) = = (y = = (x ^ 2) ^ (1/2))”。
>在symengine
信谊/总(42)行
ans =
逻辑
0
为什么我做这些警告,这(false)回答“逻辑0”吗?我做错了什么?
谢谢你的帮助。

答案(1)

Torsten
Torsten 2021年5月31日
信谊x
总(√x ^ 2 = = abs (x))
2的评论
Torsten
Torsten 2021年5月31日
好的。那么符号工具箱不能proove身份。

登录置评。

标签

社区寻宝

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

开始狩猎!