原文:减元法证明一类双零点不等式