【bug 反馈讨论】 发现mathcad 一个极为奇葩的符号推导bug
mathcad吧
全部回复
仅看楼主
level 3
TJYYWXBG
楼主
这个错误太低级了,但是稍不留意就坑死人了。大家帮忙看看是不是版本或是其他啥问题导致
2022年10月11日 09点10分
1
level 3
TJYYWXBG
楼主
2022年10月11日 09点10分
2
TJYYWXBG
源文档分享链接在6楼
2022年10月11日 10点10分
level 3
TJYYWXBG
楼主
2022年10月11日 09点10分
3
level 3
TJYYWXBG
楼主
2022年10月11日 09点10分
4
level 3
TJYYWXBG
楼主
2022年10月11日 09点10分
5
level 3
TJYYWXBG
楼主
计算文档源文件:
链接:
[无效] https://pan.baidu.com/s/1Zn1MYtmZt0UkB1Pgd_Zz8g
提取码:m0ya
2022年10月11日 10点10分
6
level 13
ctc2000thl
用的什么版本?
2022年10月11日 13点10分
7
TJYYWXBG
Mathcad 15.0 (M045 [])
2022年10月12日 07点10分
level 13
ctc2000thl
这个式子成立是从哪儿来的?
2022年10月13日 01点10分
8
TJYYWXBG
第二楼的图片里有这些变量的具体表达式代入(subtitue),推出来分子和分母应该是相等的
2022年10月13日 02点10分
ctc2000thl
是手工推的相等吗?感觉不应该有这样的BUG
2022年10月13日 09点10分
TJYYWXBG
@ctc2000thl
首先,根据具体情境下的物理意义可以知道是相等的,这是降维打击就不说了。然后就是从纯数学角度验证这个关系,这个推导验证过程非常简单,初中生就可以做,只是符号看起来比较多而已,其实观察一下,代入后马上就会消去大部分内容。我下面几楼的图片就是找到差异来源的过程。
2022年10月13日 15点10分
TJYYWXBG
@ctc2000thl
还用系统自动推导验证了分子-C=0以及分母-C=0.可间接验证分子=分母。C是另一个等同表达式
2022年10月13日 16点10分
level 13
ctc2000thl
还真是有点儿懵
2022年10月15日 16点10分
9
level 1
伊呀哟😁
你们有文件不显示图标的问题吗
2022年10月21日 07点10分
10
TJYYWXBG
我的笔记本电脑好像有,没管它,反正能正常使用
2022年10月21日 09点10分
1