原文:张小明,王建伟——两个著名不等式的互证