一个高中数学奥林匹克不等式问题,