规则替换 补充问题 表达式相等但不一样如何替换

Question

1/Sqrt[((-Subscript[k, 22]) Subscript[m, 1] - Subscript[k, 11] 
                Subscript[m, 2] + Sqrt[Subscript[k, 22]^2 Subscript[m, 1]^2 + 
                  4 Subscript[k, 12] Subscript[k, 21] Subscript[m, 1] 
                    Subscript[m, 2] - 2 Subscript[k, 11] Subscript[k, 22] 
                    Subscript[m, 1] Subscript[m, 2] + Subscript[k, 11]^2 
                    Subscript[m, 2]^2])/(Subscript[m, 1] Subscript[m, 2])] + 
     1/Sqrt[((-Subscript[k, 22]) Subscript[m, 1] - Subscript[k, 11] 
                Subscript[m, 2] + Sqrt[Subscript[k, 22]^2 Subscript[m, 1]^2 + 
                  2 (2 Subscript[k, 12] Subscript[k, 21] - Subscript[k, 11] 
                         Subscript[k, 22]) Subscript[m, 1] Subscript[m, 2] + 
                  Subscript[k, 11]^2 Subscript[m, 2]^2])/(Subscript[m, 1] 
              Subscript[m, 2])] /. 
   (((-Subscript[k, 22]) Subscript[m, 1] - Subscript[k, 11] 
               Subscript[m, 2] + Sqrt[Subscript[k, 22]^2 Subscript[m, 1]^2 + 
                 2 (2 Subscript[k, 12] Subscript[k, 21] - Subscript[k, 11] 
                        Subscript[k, 22]) Subscript[m, 1] Subscript[m, 2] + 
                 Subscript[k, 11]^2 Subscript[m, 2]^2])/
          (Subscript[m, 1] Subscript[m, 2]))^(Rational[r_, 2]) -> expr1^r

 

Answer 1

首先有一点要说清楚的：如果你仔细阅读了我在上一帖里链的帖子（以及那帖里给的链接），那你应该已经注意到了，语义式匹配（semantic matching）并无一定之规，现在我给出的解法不一定具有很好的拓展性。总之对于这个特定问题你在你这条规则前面加一条

 

/. Sqrt@a_ :> Sqrt@FullSimplify@a

就行了。

 

话说你是不是也差不多该学会怎么给帖子排版了。

Comments

谢谢xzczd，那篇帖子我看了一部分，英语不是太好，没有全看完，我再仔细看看，排版我下次注意