摘要

本文给出了两个命题,证明了将二元基本不等式a2+b2≥2ab(或ab≤(a2+b2)/2)两端之间插入无穷多个式子而形成一个同向不等式的无穷长的不等式链.