Wolfram mathematica 数学中的方程简化问题

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将其计算为零

我认为问题可能在于指数的增加和取消。因此，我尝试了下面给出的简单表达式：

(\[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]))

从图中可以看出，这种方法效果很好

---

如何使Mathematica取消并将原始表达式求值为零？提前谢谢。

显然需要一些假设

expr = ρ^3 (Subscript[r, to]/ρ)^((
  6 Subscript[γ, 1])/(β + 
   2 Subscript[γ, 1])) (β + 
    2 Subscript[γ, 1])^3 - (ρ (β + 2 Subscript[γ, 1]))^((3 β)/(β + 
   2 Subscript[γ, 1])) (Subscript[r, to] (β + 2 Subscript[γ, 1]))^((
  6 Subscript[γ, 1])/(β + 2 Subscript[γ, 1]))

FullSimplify[expr, Assumptions ->
  β > 0 && Subscript[γ, 1] > 0 &&
   ρ > 0 && Subscript[r, to] > 0]

0

0

---

在StackExchange上也有一个mathematica论坛。

FullSimplify[expr, Assumptions -> ρ > 0 && Subscript[r, to] > 0]