补充追问 Sqrt@a_ :> Sqrt@FullSimplify@a只能对分子起作用 [已关闭]

Question

此贴由于排版混乱 已关闭

原问题代码为：

Sqrt[k22^2*m1^2 +
     4 k12*k21*m1*m2 - 2 k11*k22*m1*m2 + k11^2*m2^2] /.
  Sqrt@a_ :> Sqrt@FullSimplify@a

1/Sqrt[k22^2*m1^2 +
        4 k12*k21*m1*m2 - 2 k11*k22*m1*m2 + k11^2*m2^2] /.
    Sqrt@a_ :> Sqrt@FullSimplify@a /. (k22^2*m1^2 +
          2 (2 k12*k21 -
                k11*k22) m1*m2 + k11^2*m2^2)^Rational[r_, 2] -> 
  expr2^r

Comments

嗯，复制成InputForm后确实不乱了。可是刚刚试了一下，如果复制成InputForm贴上来后，我再复制粘贴贴上来的代码回到MMA里运行的时候就会出错。不知道什么原因。另外题主现在应该自己编辑一下你的问题了吧...

---

明白，下次不偷懒了，望吧主见谅

---

我觉得你可能是复制漏了。

---

吧主 我感觉回复和评论功能最好能支持上传图片，这样便于追问讨论。

---

“明白，下次不偷懒了，望吧主见谅”翻译：总之这帖我就是不编辑，你能拿我怎么着！←是吧？就这样你还指望别人原谅你？-1

Answer 1

所以说你之前那个问题算是彻底白问了。。。。

你那一坨东西相当于这样：

In[92]:= Sqrt[a + a b] /. Sqrt@a_ :> Sqrt@FullSimplify@a

Out[92]= Sqrt[a (1 + b)]

In[93]:= 1/Sqrt[a + a b] /. Sqrt@a_ :> Sqrt@FullSimplify@a

Out[93]= 1/Sqrt[a + a b]

为什么第一个化简了第二个没化简呢？因为第二个根本就匹配不上Sqrt[a_]啊

那想让第二个也化简怎么办呢？用你之前的问题里学到的写法啊

In[94]:= 1/Sqrt[a + a b] /. 
  a_^Rational[r_, 2] :> (FullSimplify@a)^
    Rational[r, 2] /. (a (1 + b))^Rational[r_, 2] :> expr2^r

Out[94]= 1/expr2

顺便这个替换还可以用/;简写一下

In[95]:= 1/Sqrt[a + a b] /. 
 expr_^Rational[r_, 2] /; FullSimplify[expr == a (1 + b)] :> expr2^r

Out[95]= 1/expr2

最后再吐槽下排版和满篇的SubsuperscriptBox以及这种硬把一个问题拆成仨的屠版行为，明明能通过编辑原问题添加进去的东西偏要开在俩新问题，我也真是不知该说什么好了

Comments

谢谢东瓜 你的方案满足要求 你提的意见我会认真改的

Answer 2

因为你不会分步运行程序啊。以及你并没有灵活学会你其他问题里涉及到的回答啊。

Comments

是这样的，我的那个式子里面出现了根号里面带括号和不带括号的两种情形，我需要找一个通用性强一点的，评论无法加图片，没法画给你看...

---

这个问题是前面两个问题的补充问题，要不先这样，我先采用多加一句替换规则的笨办法解决