拉格朗日定理证明，不等式换算问题？

三个正数：A=B×C将B扩大k倍，k＞1, 即B'=kB则可知，A也扩大k倍，即y'=kB×A =ky所以，yy'即：B×AB'×A这里，B=|cosξ|, A=|x-y|, B'=1