三角形三边不等式的代数变换f(a,b,c)=f(y+z,z+x,x+y)

关于△ABC三边a、b、c的不等式证明，文已给出了若干证明方法．其中，文建立了代数变换：f（s-a，s-b，s-c）=f（x，y，z）；文建立了代数变换：f（ra，rb，rc）=f（x，y，z）（其中半周长s=a＋b＋c/2；ra，rb，rc分别为△ABC的旁切圆半径）．但是，对于一类“轮换对称不等式”，以上方法显得力不从心．本文将文的代数变换：f（s-a，s-b，s-c）=f（x，y，z），改造为代数变换：f（a，b，c）=f（y＋z，z＋x，x＋y），导出了两个漂亮的定理，找到了△ABC三边a、b、c的不等式（包括非完全对称的“轮换对称不等式”）的证明妙法．