求三元非零实数表达式$(rac{xy}{z}+rac{zx}{y}+rac{yz}{x})(rac{x}{yz}+rac{y}{xz}+rac{z}{xy})$的最小值

嘿，我来帮你搞定这个问题！先别纠结之前的化简式，我们换个思路一步步来：

方法一：直接展开原式观察 #

先把给定的表达式直接乘开：
(xy/z + zx/y + yz/x)(x/(yz) + y/(xz) + z/(xy))
逐项计算乘积后，会得到：

(x²/y² + y²/x²) + (x²/z² + z²/x²) + (y²/z² + z²/y²) + 3

这里每一组都是t + 1/t的形式（比如x²/y² + y²/x²，令t=x²/y²，t是正数，因为x,y非零）。根据均值不等式，对任意正数t，都有t + 1/t ≥ 2，当且仅当t=1时取等号。

那三组这样的式子加起来就是2+2+2=6，再加上常数项3，总和就是6+3=9。

等号成立的条件是每一组的t=1，也就是：

• x²/y²=1 → x²=y²
• x²/z²=1 → x²=z²
• y²/z²=1 → y²=z²
  总结就是x²=y²=z²，也就是x=±y=±z（x,y,z非零）。

方法二：换元后用柯西不等式 #

我们可以把原式看成(a + b + c)(1/a + 1/b + 1/c)的形式，其中：

• a = xy/z
• b = zx/y
• c = yz/x
  因为x,y,z是非零实数，所以a,b,c也都非零，且显然1/a = x/(yz)，1/b = y/(xz)，1/c = z/(xy)，完美匹配原式的两个括号。

根据柯西不等式，(a+b+c)(1/a + 1/b + 1/c) ≥ (√(a*(1/a)) + √(b*(1/b)) + √(c*(1/c)))² = (1+1+1)²=9，当且仅当a=b=c时取等号。

代入a,b,c的定义，xy/z = zx/y = yz/x，化简后同样得到x²=y²=z²，也就是x=±y=±z时取到最小值9。

验证你之前的化简式 #

你之前把表达式化简为((xy)^2+(zx)^2+(yz)^2)(x^2+y^2+z^2)/(xyz)^2，其实这个式子展开后和我们方法一得到的结果是一致的，只是形式不同，同样可以通过均值不等式推导最小值，只是步骤会稍微繁琐一点，不过结论是一样的。

所以这个表达式的最小值是9，当且仅当x=±y=±z（x,y,z为非零实数）时取得。

内容的提问来源于stack exchange，提问作者student28