Mathematica中的方程简化问题

Question

以下等式（其实际值为零）没有被Mathematica简化为零。我已经尝试了我所知道的命令，例如Simplify，FullSimplify，Cancel等。下面在InputForm中给出了该方程式。来自Mathematica的方程式的图像也在下面给出。

\[Rho]^3 (Subscript[r, to]/\[Rho])^((
  6 Subscript[\[Gamma], 1])/(\[Beta] + 
   2 Subscript[\[Gamma], 1])) (\[Beta] + 
    2 Subscript[\[Gamma], 
     1])^3 - (\[Rho] (\[Beta] + 2 Subscript[\[Gamma], 1]))^((
  3 \[Beta])/(\[Beta] + 
   2 Subscript[\[Gamma], 1])) (Subscript[r, 
    to] (\[Beta] + 2 Subscript[\[Gamma], 1]))^((
  6 Subscript[\[Gamma], 1])/(\[Beta] + 2 Subscript[\[Gamma], 1]))

我如何让Mathematica将其评估为零？ Original Expression Image

我认为问题可能出在增加和取消指数上。所以我尝试了下面给出的这个更简单的表达式：

(\[Beta] + 2 Subscript[\[Gamma], 1])^((
 3 \[Beta])/(\[Beta] + 
  2 Subscript[\[Gamma], 1])) (\[Beta] + 2 Subscript[\[Gamma], 1])^((
 6 Subscript[\[Gamma], 1])/(\[Beta] + 2 Subscript[\[Gamma], 1]))

如图片所示，这很好。 Image with Simpler expression

我们如何使Mathematica取消并将原始表达式评估为零？预先感谢。

Answer 1

expr = \[Rho]^3 (Subscript[r, to]/\[Rho])^((
  6 Subscript[\[Gamma], 1])/(\[Beta] + 
   2 Subscript[\[Gamma], 1])) (\[Beta] + 
    2 Subscript[\[Gamma], 
     1])^3 - (\[Rho] (\[Beta] + 2 Subscript[\[Gamma], 1]))^((
  3 \[Beta])/(\[Beta] + 
   2 Subscript[\[Gamma], 1])) (Subscript[r, 
    to] (\[Beta] + 2 Subscript[\[Gamma], 1]))^((
  6 Subscript[\[Gamma], 1])/(\[Beta] + 2 Subscript[\[Gamma], 1]))

FullSimplify[expr, Assumptions ->
  \[Beta] > 0 && Subscript[\[Gamma], 1] > 0 &&
   \[Rho] > 0 && Subscript[r, to] > 0]

0