“尚未成功”的突破
坦率说，在我个人的解题经历中，“尚未成功”乃至失败，实在是比激动人心的成功多得多．但是，“尚未成功”并非只给笔者留下消极的结果，而面对偶尔的顺利笔者也总是要继续寻找当中的“解题愚蠢”（见文［1］、［2］），我不知道这些说来见笑的个人体验是否对广大读者有点帮助，但我能肯定地说，这是我本来就少得可怜的解题财富中的主要资产，并且我的看法（包括本刊1998年开始的解题分析连载以及《数学解题学引论》一书）已引起了一部分同行的关注与共鸣，需要致歉的是，二三年来，关于解题与解题分析的大批读者来信我不能一一作复，今天的话题很大程度上是一种有意的弥补．下面，笔者要进行3个解题个案的分析，以展示如何由失败走向成功，又如何对浅层的成功进行深层的调控．
1．个案1—由失败中获取有用的信息
例1 若ａ、ｂ、ｃ为互不相等的实数，且ｘ／（ａ－ｂ）＝ｙ／（ｂ－ｃ）＝ｚ／（ｃ－ａ），求ｘ＋ｙ＋ｚ．
解：由等比定理得
|
ｘ／（ａ－ｂ）＝ｙ／（ｂ－ｃ）＝ｚ／（ｃ－ａ） |
① |
|
＝（ｘ＋ｙ＋ｚ）／［（ａ－ｂ）＋（ｂ－ｃ）＋（ｃ－ａ）］． |
② |
但是，②式的分母为零
|
（ａ－ｂ）＋（ｂ－ｃ）＋（ｃ－ａ）＝0， |
③ |
我们的解题努力失败了．
评析：这是一个失败的解题案例，文［3］谈到了调整解题方向后的一些处理，其实都用到③式．所以，失败的过程恰好显化了题目的一个隐含条件，这是一个积极的收获，当我们将不成功的②式去掉，把目光同时注视①式与③式时，①式使我们看到了两条直线重合：
|
ｘＸ＋ｙＹ＋ｚ＝0， |
④ |
|
（ａ－ｂ）Ｘ＋（ｂ－ｃ）Ｙ＋（ｃ－ａ）＝0． |
⑤ |
而③式又使我们看到了直线⑤通过点
|
|
Ｘ＝1， |
|
Ｙ＝1． |
? 作一步推理，直线④也通过点（1，1），于是
|
ｘ＋ｙ＋ｚ＝0． |
与文［3］相比，这是一个不无新意的解法，其诞生有赖于两点：
第1，从失败的解题中获取一条有用的信息，即③式．
第2，对①式、③式都作“着眼点的转移”，从解析几何的角度去看它们．
有了这两步，剩下来的工作充其量在30秒以内就可以完成．
2．个案2—尚未成功不等于失败
设ｆ（ｎ）为关于ｎ的正项递增数列，Ｍ为大于ｆ（1）的正常数，当用数学归纳法来证不等式
|
ｆ（ｎ）＜Ｍ（ｎ∈Ｎ） |
① |
时，其第2步会出现这样的情况：假设ｆ（ｋ）＜Ｍ，则
|
ｆ（ｋ＋1）＝ｆ（ｋ）＋ａ（ａ＝ｆ（ｋ＋1）－ｆ（ｋ）＞0）＜Ｍ＋ａ， |
② |
无法推出ｆ（ｋ＋1）＜Ｍ．
据此，许多人建议，用加强命题的办法来处理，还有人得出这样的命题（见文［4］Ｐ．32及文［5］Ｐ．12）：
命题 设｛ｆ（ｎ）｝为关于ｎ的正项递增数列，Ｍ为正常数，则不等式ｆ（ｎ）＜Ｍ（ｎ∈Ｎ）不能直接用数学归纳法证明．
评析：不等式①没能用递推式②证出来，有两种可能，其一是数学归纳法的功力不足，其二是数学归纳法的使用不当．把“不会用”当作“不能用”，其损失是无法弥补的．
我们分析上述处理的“尚未成功”，关键在于递推式②，这促使我们思考：ｆ（ｋ＋1）与ｆ（ｋ）之间难道只有一种递推关系吗？
确实，有的函数式其ｆ（ｋ＋1）与ｆ（ｋ）之间的关系很复杂，无法用数学归纳法来直接证明；而有的关系则较简单，仅用加减乘除就可以表达出来．但无论是“很复杂”还是“较简单”，其表达式都未必惟一，文［6］Ｐ．278给出过一个反例，说明上述“命题”不真：
例2 用数学归纳法证明
|
ｆ（ｎ）＝1＋（1／2）＋（1／22）＋…＋（1／2ｎ－1）＜2． |
讲解：当ｎ＝1时，命题显然成立．
现假设ｆ（ｋ）＜2，则
ｆ（ｋ＋1）＝ｆ（ｋ）＋（1／2ｋ）＜2＋（1／2ｋ），
由于2＋（1／2ｋ）恒大于2，所以数学归纳法证题尚未成功．
然而，这仅是“方法使用不当”．换一种递推方式，证明并不困难．
ｆ（ｋ＋1）＝1＋（1／2）ｆ（ｋ）＜1＋（1／2）×2＝2．
下面一个反例直接取自文［4］的例2．
例3 求证（1／1！）＋（1／2！）＋（1／3！）＋…＋（1／ｎ！）＜2．
证明：当ｎ＝1时，命题显然成立．
假设ｎ＝ｋ时命题成立，则
（1／1！）＋（1／2！）＋…＋（1／ｋ！）＋［1／（ｋ＋1）！］
＝1＋（1／2）＋（1／3）·（1／2！）＋…＋（1／ｋ）·［1／（ｋ－1）！］＋［1／（ｋ＋1）］·（1／ｋ！）＜1＋（1／2）｛1＋（1／2！）＋…＋［1／（ｋ－1）！］＋（1／ｋ！）｝＜1＋（1／2）×2＝2．
这表明ｎ＝ｋ＋1时命题成立．
由数学归纳法知，不等式已获证．
3．个案3—对尚未成功的环节继续反思
文［7］有很好的立意也有很好的标题，叫做“反思通解·引出简解·创造巧解”，它赞成反思“失败”并显示了下面一道二次函数题目的调控过程：
例4 二次函数ｆ（ｘ）＝ａｘ2＋ｂｘ＋ｃ的图象经过点（－1，0），是否存在常数ａ、ｂ、ｃ使不等式
|
ｘ≤ｆ（ｘ）≤（ｘ2＋1）／2 |
① |
对一切实数ｘ都成立？若存在，求出ａ、ｂ、ｃ；若不存在，说明理由．
讲解：作者从解两个二次不等式
|
|
（ｘ2＋1）／2－ｆ（ｘ）≥0， |
|
ｆ（ｘ）－ｘ≥0． |
开始（解法1），经过数形结合的思考（解法2）等过程，最后“经学生相互讨论后得到巧解”（解法4）：由基本不等式
|
（ｘ2＋1）／2≥（ｘ＋1）／22≥ｘ |
② |
对一切实数ｘ都成立，猜想
|
ｆ（ｘ）＝（ｘ＋1）／22． |
③ |
经检验，ｆ（ｘ）满足条件ｆ（－1）＝0，所以ｆ（ｘ）存在，ａ＝（1／4），ｂ＝（1／2），ｃ＝（1／4）．
我们不知道命题人的原始意图是否只考虑“存在性”，按惯例，“若存在，求出ａ、ｂ、ｃ”应该理解为“若存在，求出一切ａ、ｂ、ｃ”．从这一意义上来看上述巧解，那就存在一个明显的逻辑疑点：诚然，③式是满足①的一个解，但是在ｘ与（ｘ2＋1）／2之间的二次函数很多，如
ｆ1（ｘ）＝（1／2）ｘ＋（1／2）（ｘ2＋1）／2，
ｆ2（ｘ）＝（1／3）ｘ＋（2／3）（ｘ2＋1）／2，
ｆ3（ｘ）＝（1／4）ｘ＋（3／4）（ｘ2＋1）／2，
……
这当中有的经过点（－1，0），有的不经过点（－1，0），巧解已经验证了ｆ1（ｘ）经过点（－1，0）从而为所求，我们的疑问是：怎见得其余的无穷个二次函数就都不过点（－1，0）呢？
也就是说，“巧解”解决了“充分性”而未解决“必要性”，解决了“存在性”而未解决“惟一性”．究其原因，是未找出ｘ与（ｘ2＋1／2）之间的所有的二次函数．抓住这一尚未成功的环节继续思考，我们想到定比分点公式，①式可以改写为
|
ｆ（ｘ）＝｛［（ｘ2＋1）／2］＋λｘ｝／（1＋λ）（λ＞0）， |
④ |
或 ｆ（ｘ）＝λ（ｘ2＋1）／2＋（1－λ）ｘ（0＜λ＜1）． ⑤
一般情况下λ应是ｘ的正值函数（文［8］默认λ为常数是不完善的；同样，2000年高考理科第20题（2），对ｃｎ＝ａｎ＋ｂｎ设
|
|
ａｎ＝ｃｎｃｏｓ2θ， |
|
ｂｎ＝ｃｎｓｉｎ2θ |
是错误的），但由于ｆ（ｘ）为二次函数，λ只能为常数．为了在④中求出λ，把ｆ（－1）＝0代入④即可求出λ＝1（或⑤中λ＝1／2）．
②式与④式的不同，反映了特殊与一般之间的区别，反映了“验证”与“论证”之间的区别．其实，原［解法1］出来之后，立即就可以得出②式，与是否应用“基本不等式”无关．同样，原［解法1］中作者思考过的“推理是否严密”在“巧解”中依然是个问题．这种种情况说明，我们不仅要对解题活动进行反思，而且要对“反思”进行再反思．下面一个解法请读者思考错在哪里？
解：已知条件等价于存在ｋ＜0，使
［ｆ（ｘ）－ｘ］［ｆ（ｘ）－（ｘ2＋1）／2］＝ｋ≤0，
把ｘ＝－1时，ｆ（ｘ）＝0代入得 ｋ＝－1，
从而 ［ｆ（ｘ）－ｘ］［ｆ（ｘ）－（ｘ2＋1）／2］＝－1，
即 ｆ2（ｘ）－［（ｘ＋1）2／2］ｆ（ｘ）＋（ｘ3＋ｘ＋2）／2＝0．
由此解出的ｆ（ｘ）为无理函数，不是二次函数，所以本题无解．
作为对反思进行再反思的又一新例证，我们指出文［9］例2（即1997年高考难题）第1问，可以取λ＝ａ（ｘ2－ｘ）∈（0，1）（λ是ｘ的函数），则
ｆ（ｘ）＝ａ（ｘ1－ｘ）（ｘ2－ｘ）＋ｘ
＝λｘ1＋（1－λ）ｘ，
据定比分点的性质有ｘ＜ｆ（ｘ）＜ｘ1．
