丁保荣在文［1］中，提出了一个十分重要的问题：通过捕捉题设（或结论）中的“特征信息”，优化解题思路．罗增儒教授在他的许多文章中也有精辟的论述，尤其是在解题分析中，非常重视解题速度、解题的最优化问题．［2］［3］
文［1］的例1、例2的“特征信息”，其实都可以联系到一个重要不等式：
定理 若ａ，ｂ∈ｒ，则（ａ＋ｂ）2≥4ａｂ．
文［1］的例1尽管给出了三种解题思路，但是却有美中不足：尚未揭示出其最优解题思路；例2虽巧妙地构造出二次方程，但仍然缺乏最优化思考．
本文旨在展示平凡的定理（ａ＋ｂ）２≥4ａｂ在“特征信息”聚焦时的最优化解题特征．
首先，通过“等导不等”来证明这个定理：
（ａ＋ｂ）２＝4ａｂ＋（ａ－ｂ）２≥4ａｂ，
当且仅当ａ＝ｂ时，等号成立．
下面列举一系列数学问题，其“特征信息”均可或显或隐地聚焦于定理（ａ＋ｂ）２≥4ａｂ．限于篇幅，解题时不作一一分析，只展现定理的最优化解题思路．
例1 已知实数ａ，ｂ，ｃ满足等式ａ＝6－ｂ，ｃ２＝ａｂ－9，求证：ａ＝ｂ． （文［1］例1）
证明：依定理（ａ＋ｂ）２≥4ａｂ，即6２≥4（ｃ２＋9），得ｃ＝0，从而ａ＝6－ｂ，ａｂ－9＝0，解得ａ＝ｂ＝3，故证毕．
例2 若（ｚ－ｘ）２－4（ｘ－ｙ）（ｙ－ｚ）＝0，则ｘ，ｙ，ｚ成等差数列． （1979年全国高考题）
证明：由题设知（ｚ－ｘ）２＝4（ｘ－ｙ）（ｙ－ｚ），而依本文定理，则有（ｚ－ｘ）２＝（ｘ－ｚ）２＝［（ｘ－ｙ）＋（ｙ－ｚ）］２≥4（ｘ－ｙ）（ｙ－ｚ），可见ｘ－ｙ＝ｙ－ｚ，从而ｘ，ｙ，ｚ成等差数列．
例3 方程组ｘ＋ｙ＝2，的实数解的组数是（ ）．
ｘｙ－ｚ２＝1
ａ．1 ｂ．2 ｃ．3 ｄ．无穷多 （1987年上海市初中数学竞赛试题）
解：依定理知，（ｘ＋ｙ）２≥4ｘｙ，则2２≥4（ｚ２＋1），得ｚ＝0，原方程组化为
ｘ＋ｙ＝2，显然只有一解ｘ＝ｙ＝1，故选ａ．
ｘｙ＝1，
例4 已知ａ，ｂ，ｃ都是实数，且ａ＋ｂ＋ｃ＝0，ａｂｃ＝1，求证：ａ，ｂ，ｃ中必有一个大于3／2． （1991年“曙光杯”初中数学竞赛试题）
证明：由题知，ａ，ｂ，ｃ中必有一个是正数，不妨设ｃ为正数．依定理（ａ＋ｂ）２≥4ａｂ，得（－ｃ）２≥4·（1／ｃ），或ｃ３≥4，于是ｃ≥ ＞ ＝3／2，故得证．
注意：此处还有意外收获，原题结论还可改进为：求证：ａ，ｂ，ｃ中必有一个不小于 ．
例5 ａ，ｂ，ｃ，ｄ都是小于1的正数，求证：在4ａ（1－ｂ），4ｂ（1－ｃ），4ｃ（1－ｄ），4ｄ（1－ａ）中，不可能都大于1． （1962年美国数学竞赛试题）
证明：巧妙地逆用定理，注意4ａ（1－ｂ）·4ｂ（1－ｃ）·4ｃ（1－ｄ）·4ｄ（1－ａ）＝4ａ（1－ａ）·4ｂ（1－ｂ）·4ｃ（1－ｃ）·4ｄ（1－ｄ）≤［ａ＋（1－ａ）］２·［ｂ＋（1－ｂ）］２·［ｃ＋（1－ｃ）］２·［ｄ＋（1－ｄ）］２＝1２·1２·1２·1２＝1，由此可见，4ａ（1－ｂ），4ｂ（1－ｃ），4ｃ（1－ｄ），4ｄ（1－ａ）中不可能都大于1．
例6 已知ｘ＞0，ｙ＞0，且ｘ＋ｙ＝4，ｓ＝（6－ｘ）·（5－ｙ），求s的最大值．
解：依定理，知4ｓ＝4（6－ｘ）（5－ｙ）≤［（6－ｘ）＋（5－ｙ）］２＝［11－（ｘ＋ｙ）］２＝（11－4）２＝49，ｓ≤49／4，当ｘ＝21／2，ｙ＝11／2时，ｓｍａｘ＝49／4．
当然，定理最主要还是应用于巧证不等式方面．
例7 已知 ｙ－2ｘ＝ｚ，求证：ｙ２≥4ｘｚ． （文［1］例2）
证明：由题设，知 ｙ＝2ｘ＋ｚ．依定理，知（ ｙ）２≥4·2ｘ·ｚ，或2ｙ２≥8ｘｚ，即ｙ２≥4ｘｚ，证毕．
纵观以上各例，依定理解题，显得规律有序，思路清晰，方法简便，且显然优于原来的方法．
例8 正数ｘ，ｙ，ｚ，ａ，ｂ，ｃ满足条件ａ＋ｘ＝ｂ＋ｙ＝ｃ＋ｚ＝ｋ．求证：ａｘ＋ｂｙ＋ｃｚ＜ｋ２． （1987年（前）苏联数学奥林匹克试题）
证明：传统证法大半是构造正三角形或正方形，利用面积关系证之．今依定理，即刻知
4ａｘ＋4ｂｙ＋4ｃｚ≤（ａ＋ｘ）２＋（ｂ＋ｙ）２＋（ｃ＋ｚ）２＝ｋ２＋ｋ２＋ｋ２＝3ｋ２，
于是，ａｘ＋ｂｙ＋ｃｚ≤（3／4）ｋ２＜ｋ２，故证毕．
可见，依定理还有意外收获，得到原式的一个加强式：ａｘ＋ｂｙ＋ｃｚ≤（3／4）ｋ２．而这一加强难在传统证法中体现出来．
例9 已知ａ＞1，ｂ＞1，ｃ＞1，求证：
（ａ２／（ｂ－1））＋（ｂ２／（ｃ－1））＋（ｃ２／（ａ－1））≥12．
证明：依定题，知ａ２＝［（ａ－1）＋1］２≥4（ａ－1）·1＝4（ａ－1）．同理ｂ２≥4（ｂ－1），ｃ２≥4（ｃ－1），于是，（ａ２／（ｂ－1））＋（ｂ２／（ｃ－1））＋（ｃ２／（ａ－1））≥
4（（（ａ－1）／（ｂ－1））＋（（ｂ－1）／（ｃ－1））＋（（ｃ－1）／（ａ－1）））≥4·3 ＝12，证毕．
例10 设ｘ，ｙ为非负数，且满足ｘ＋ｙ＝1，求证：
1＋ ≤ ＋ ≤2 ．
证明：考虑（ ＋ ）２＝2（ｘ＋ｙ）＋2＋2 ＝4＋2 ，或 ＋ ＝ ，依题知及定理，有0≤4ｘｙ≤（ｘ＋ｙ）２＝1，故 ≤ ＋ ≤ ．
于是1＋ ≤ ＋ ≤2 ，证毕．
定理（ａ＋ｂ）２≥4ａｂ的优化解题功效远不止这些，只要留心些，读者必定还会有所发现和创新．令人振奋的是，从基本不等式ａ＋ｂ≥2 ，平方即可得（ａ＋ｂ）２≥4ａｂ；但令人遗憾的是，ａ＋ｂ≥2 的应用，已是老生常谈，而（ａ＋ｂ）２≥4ａｂ却少见报道．笔者试图通过本文，借以引为重视!
参考文献
1 丁保荣．信息与解题．中学数学教学参考，2001，5
2 罗增儒．看透本质，优化过程．中学数学教学参考，2001，6
3 罗增儒．数学解题学引论．西安：陕西师范大学出版社，1997
