?文［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年（前）苏联数学奥林匹克试题）