命令如下
Reduce[{-(-81 z^6 + 72 z^4 \[Alpha] \[Beta] -
16 z^2 \[Alpha]^2 \[Beta]^2 + 81 z^6 \[Lambda] +
27 z^5 \[Alpha] \[Lambda] + 18 z^4 \[Alpha]^2 \[Lambda] -
72 z^4 \[Alpha] \[Beta] \[Lambda] -
12 z^3 \[Alpha]^2 \[Beta] \[Lambda] -
8 z^2 \[Alpha]^3 \[Beta] \[Lambda] +
16 z^2 \[Alpha]^2 \[Beta]^2 \[Lambda] -
18 z^4 \[Alpha]^2 \[Lambda]^2 - 3 z^3 \[Alpha]^3 \[Lambda]^2 -
z^2 \[Alpha]^4 \[Lambda]^2 -
2 z^2 \[Alpha]^3 \[Beta] \[Lambda]^2 +
4 \[Alpha]^4 \[Beta]^2 \[Lambda]^2 +
2 z^2 \[Alpha]^4 \[Lambda]^3 + 54 z^5 \[Alpha] \[Mu] +
18 z^4 \[Alpha]^2 \[Mu] - 60 z^3 \[Alpha]^2 \[Beta] \[Mu] -
8 z^2 \[Alpha]^3 \[Beta] \[Mu] +
16 z \[Alpha]^3 \[Beta]^2 \[Mu] -
9 z^4 \[Alpha]^2 \[Lambda] \[Mu] -
27 z^3 \[Alpha]^3 \[Lambda] \[Mu] -
2 z^2 \[Alpha]^4 \[Lambda] \[Mu] +
6 z^2 \[Alpha]^3 \[Beta] \[Lambda] \[Mu] +
12 z \[Alpha]^4 \[Beta] \[Lambda] \[Mu] -
2 z^2 \[Alpha]^4 \[Lambda]^2 \[Mu] +
2 z \[Alpha]^5 \[Lambda]^2 \[Mu] +
4 \[Alpha]^5 \[Beta] \[Lambda]^2 \[Mu] -
9 z^4 \[Alpha]^2 \[Mu]^2 - 6 z^3 \[Alpha]^3 \[Mu]^2 -
z^2 \[Alpha]^4 \[Mu]^2 + 12 z^2 \[Alpha]^3 \[Beta] \[Mu]^2 +
4 z \[Alpha]^4 \[Beta] \[Mu]^2 -
4 \[Alpha]^4 \[Beta]^2 \[Mu]^2 +
4 z^2 \[Alpha]^4 \[Lambda] \[Mu]^2 +
2 z \[Alpha]^5 \[Lambda] \[Mu]^2 -
4 \[Alpha]^5 \[Beta] \[Lambda] \[Mu]^2) > 0, z > 0,
0 < \[Lambda] < 1,
z^2 > \[Alpha] \[Beta], \[Beta] > 0, \[Alpha] > 0,
0 < \[Mu] < 1}, \[Alpha]]
Reduce[{-(-81 z^6 + 72 z^4 \[Alpha] \[Beta] -
16 z^2 \[Alpha]^2 \[Beta]^2 + 81 z^6 \[Lambda] +
27 z^5 \[Alpha] \[Lambda] + 18 z^4 \[Alpha]^2 \[Lambda] -
72 z^4 \[Alpha] \[Beta] \[Lambda] -
12 z^3 \[Alpha]^2 \[Beta] \[Lambda] -
8 z^2 \[Alpha]^3 \[Beta] \[Lambda] +
16 z^2 \[Alpha]^2 \[Beta]^2 \[Lambda] -
18 z^4 \[Alpha]^2 \[Lambda]^2 - 3 z^3 \[Alpha]^3 \[Lambda]^2 -
z^2 \[Alpha]^4 \[Lambda]^2 -
2 z^2 \[Alpha]^3 \[Beta] \[Lambda]^2 +
4 \[Alpha]^4 \[Beta]^2 \[Lambda]^2 +
2 z^2 \[Alpha]^4 \[Lambda]^3 + 54 z^5 \[Alpha] \[Mu] +
18 z^4 \[Alpha]^2 \[Mu] - 60 z^3 \[Alpha]^2 \[Beta] \[Mu] -
8 z^2 \[Alpha]^3 \[Beta] \[Mu] +
16 z \[Alpha]^3 \[Beta]^2 \[Mu] -
9 z^4 \[Alpha]^2 \[Lambda] \[Mu] -
27 z^3 \[Alpha]^3 \[Lambda] \[Mu] -
2 z^2 \[Alpha]^4 \[Lambda] \[Mu] +
6 z^2 \[Alpha]^3 \[Beta] \[Lambda] \[Mu] +
12 z \[Alpha]^4 \[Beta] \[Lambda] \[Mu] -
2 z^2 \[Alpha]^4 \[Lambda]^2 \[Mu] +
2 z \[Alpha]^5 \[Lambda]^2 \[Mu] +
4 \[Alpha]^5 \[Beta] \[Lambda]^2 \[Mu] -
9 z^4 \[Alpha]^2 \[Mu]^2 - 6 z^3 \[Alpha]^3 \[Mu]^2 -
z^2 \[Alpha]^4 \[Mu]^2 + 12 z^2 \[Alpha]^3 \[Beta] \[Mu]^2 +
4 z \[Alpha]^4 \[Beta] \[Mu]^2 -
4 \[Alpha]^4 \[Beta]^2 \[Mu]^2 +
4 z^2 \[Alpha]^4 \[Lambda] \[Mu]^2 +
2 z \[Alpha]^5 \[Lambda] \[Mu]^2 -
4 \[Alpha]^5 \[Beta] \[Lambda] \[Mu]^2) > 0, z > 0,
0 < \[Lambda] < 1,
z^2 > \[Alpha] \[Beta], \[Beta] > 0, \[Alpha] > 0,
0 < \[Mu] < 1}, \[Alpha]]