对称式·循环对称式·排序法——从W·Janous猜想想到的

摘要

问题：设,x、y、z∈R^+，求证：(y^2-x^2/z+x)+(z^2-y^2/x+y)+x^2-z^2/y+x≥W.Janous 猜想)，最先发表在加拿大《数学难题》杂志1612期上，近年我国中数界对此很感兴趣，遗憾的是发表在一些杂志上有的证明草率地用了排序法致错，原因在于对对称，循环对称概念模糊，对排序法条件不清楚．笔者对此也有兴趣，下面简介对称式，循环对称式，排序法，以及对猜想的证明。