数学研发论坛

 找回密码
 欢迎注册
查看: 412|回复: 2

[讨论] Mathematica简化测试!Why?

[复制链接]
发表于 2020-12-10 15:00:58 | 显示全部楼层 |阅读模式

马上注册,结交更多好友,享用更多功能,让你轻松玩转社区。

您需要 登录 才可以下载或查看,没有帐号?欢迎注册

x
  1. Simplify[{Abs[(-Subscript[m, 2] Subscript[n, 1]+Subscript[m, 1] Subscript[n, 2])],Abs[(-Subscript[m, 3] Subscript[n, 2]+Subscript[m, 2] Subscript[n, 3])],Abs[(-Subscript[m, 3] Subscript[n, 1]+Subscript[m, 1] Subscript[n, 3])]},Subscript[m, 1]>0&&Subscript[n, 1]>0&&Subscript[m, 2]>0&&Subscript[n, 2]>0&&Subscript[m, 3]>0&&Subscript[n, 3]>0&&Subscript[m, 3]/Subscript[n, 3]>Subscript[m, 2]/Subscript[n, 2]>Subscript[m, 1]/Subscript[n, 1]]

  2. FullSimplify[{Abs[(-Subscript[m, 2] Subscript[n, 1]+Subscript[m, 1] Subscript[n, 2])],Abs[(-Subscript[m, 3] Subscript[n, 2]+Subscript[m, 2] Subscript[n, 3])],Abs[(-Subscript[m, 3] Subscript[n, 1]+Subscript[m, 1] Subscript[n, 3])]},Subscript[m, 1]>0&&Subscript[n, 1]>0&&Subscript[m, 2]>0&&Subscript[n, 2]>0&&Subscript[m, 3]>0&&Subscript[n, 3]>0&&Subscript[m, 3]/Subscript[n, 3]>Subscript[m, 2]/Subscript[n, 2]&&Subscript[m, 2]/Subscript[n, 2]>Subscript[m, 1]/Subscript[n, 1]&&Subscript[m, 3]/Subscript[n, 3]>Subscript[m, 1]/Subscript[n, 1]]
复制代码
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
发表于 2020-12-10 15:56:23 | 显示全部楼层
How
  1. assum=m1>0&&n1>0&&m2>0&&n2>0&&m3>0&&n3>0&&m3/n3>m2/n2>m1/n1;

  2. expr={Abs[-m2 n1+m1 n2],Abs[-m3 n2+m2 n3],Abs[-m3 n1+m1 n3]};

  3. PiecewiseExpand[expr,Reals,Method->{"ConditionSimplifier" -> (Reduce[#&&assum]&)}]

  4. FullSimplify[expr,TransformationFunctions->{Automatic,PiecewiseExpand[#,Reals,Method->{"ConditionSimplifier" -> (Reduce[#&&assum]&)}]&}]
复制代码

评分

参与人数 1威望 +4 金币 +4 贡献 +4 经验 +4 鲜花 +4 收起 理由
zeroieme + 4 + 4 + 4 + 4 + 4 神马都是浮云

查看全部评分

毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
 楼主| 发表于 2020-12-10 17:57:47 | 显示全部楼层
  1. PiecewiseExpand[{Abs[-m2 n1 + m1 n2], Abs[-m3 n2 + m2 n3],
  2.   Abs[-m3 n1 + m1 n3]}, Reals,
  3. Method -> {"ConditionSimplifier" -> (Reduce[# && n1 > 0 && n2 > 0 &&
  4.         n3 > 0 && m3/n3 > m2/n2 > m1/n1 > 0] &)}]
复制代码
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2021-3-9 15:17 , Processed in 0.138806 second(s), 17 queries .

Powered by Discuz! X3.4

© 2001-2017 Comsenz Inc.

快速回复 返回顶部 返回列表