试谈解题思路的发现与范畴间的辩证关系

众所周知，唯物辩证法的范畴是我们认识事物的科学的思维形式。唯物辩证法的每一对范畴都是对立的统一。它们一方面相互对立，另一方面又相互依存、相互贯通和相互转化。恩格斯指出，数学是辩证的辅助工具和表现形式。数学与唯物辩证法的这种天然联系，使得范畴间的辩证关系成为我们解决数学问题时发现解题思路的主要线索。本文试对解题思路的发现与范畴间辩证关系的联系作一初步探索，希望对教学有所帮助。

一、对偶范畴间相互对立关系的启迪

思维的定势与惯性，是影响解题思路的重要因素。根据问题的具体情况与个人的思维习惯，当我们从某一角度观察问题或从某一角度入手探索问题而陷于困境时，想到对偶范畴间的辩证关系，转而从原来思维的对立方面着手考察、分析，则往往寻找到柳暗花明的新境地。

例1 设ａ＞ｂ＞ｃ。求证：ａ2ｂ＋ｂ2ｃ＋ｃ2ａ＞ａｂ2＋ｂｃ2＋ｃａ2。

分析与证明：由不等式两边的特征与联系想到运用比较法。证题的关键在于差式（ａ2ｂ＋ｂ2ｃ＋ｃ2ａ）－（ａｂ2＋ｂｃ2＋ｃａ2）的变形。

变形1。差式＝（ａ2ｂ－ｃａ2）＋（ｂ2ｃ－ａｂ2）＋（ｃ2ａ －ｂｃ2）

＝ａ2（ｂ－ｃ）＋ｂ2（ｃ－ａ）＋ｃ2（ａ－ｂ）。

至此，似乎无路可走。

变形2。差式＝（ａ2ｂ－ａｂ2）＋（ｂ2ｃ－ｂｃ2）＋（ｃ2ａ －ｃａ2）

＝ａｂ（ａ－ｂ）＋ｂｃ（ｂ－ｃ）＋ｃａ（ｃ－ａ）。

如此，仍然重蹈复辙。

变形3。差式＝（ｃ2ａ－ａｂ2）＋（ａ2ｂ－ｂｃ2）＋（ｂ2ｃ－ｃａ2）

＝ａ（ｃ2－ｂ2）＋ｂ（ａ2－ｃ2）＋ｃ（ｂ2－ａ2）。

如此，仍未走出“怪圈”。

以上对差式“均匀分组”的尝试均未成功。在反思与寻觅中，受范畴间相互对立关系的启发，想到对差式作“不均匀分组”的变形。

证法1。差式＝ａ2ｂ＋（ｂ2ｃ＋ｃ2ａ）－（ａｂ2＋ａ2ｃ）－ｂｃ2

＝ｂ（ａ2－ｃ2）＋（ｂ2＋ａｃ）（ｃ－ａ）

＝（ａ－ｃ）[ｂ（ａ＋ｃ）－（ｂ2＋ａｃ）]

＝（ａ－ｃ）（ａ－ｂ）（ｂ－ｃ）＞0。

∴ 原不等式成立。

探索初解为什么受阻，可以说过分“对称”组合是解题陷入困境的原因之一。在差式的对称结组中，不对称的条件ａ＞ｂ＞ｃ难以发挥作用。于是，再由范畴间的相互对立，想到差式的“不对称”结组。

证法2。差式＝（ａ2ｂ－ａｂ2）＋（ｂ2ｃ－ｃａ2）＋（ｃ2ａ－ｂｃ2）（有意避开对称结组）

＝ａｂ（ａ－ｂ）＋ｃ（ｂ2－ａ2）＋ｃ2（ａ－ｂ）

＝（ａ－ｂ）[ａｂ－ｃ（ａ＋ｂ）＋ｃ2]

＝（ａ－ｂ）（ｂ－ｃ）（ａ－ｃ）＞0。

∴ 原不等式成立。

再寻初解受困的缘由，除了对称（均匀）结组的思维习惯，更重要的是自身思维的狭隘--局限于孤立考察各组的表面形式。于是对由范畴间的相互对立，想到寻觅各组之间的内在联系，诸多新解法由此产生。

证法3。由上述变形1得

差式＝ａ2（ｂ－ｃ）＋ｂ2（ｃ－ａ）＋ｃ2（ａ－ｂ）

＝ａ2（ｂ－ｃ）－ｂ2[（ａ－ｂ）＋（ｂ－ｃ）]＋ｃ2（ａ－ｂ）（刻意沟通与前后两组的联系）

＝（ｂ－ｃ）（ａ2－ｂ2）＋（ａ－ｂ）（ｃ2－ｂ2）

＝（ａ－ｂ）[（ｂ－ｃ）（ａ＋ｂ）＋（ｃ2－ｂ2）]

＝（ａ－ｂ）（ｂ－ｃ）（ａ－ｃ）＞0。

∴ 原不等式成立。

其他证法从略。

二、对偶范畴间相互依存关系的点拨

在数学中，“加”与“减”，“直”与“曲”，特殊与一般，孤立与联系……这每一对范畴的双方相互依存，或明或暗地共处于同一问题的解题过程之中。因此，当我们从范畴的某一方入手问题未能（或取得）突破时，还应想到从范畴的另一方入手再行考察与求索。对范畴双方顾此失彼的思维上的偏颇，是解题陷入困境或出现疏漏的重要原因。

例2 过抛物线ｙ＝ｘ2的顶点Ｏ任作互相垂直的弦ＯＡ、ＯＢ，分别以ＯＡ、ＯＢ为直径作圆，并设两圆的另一交点为Ｃ，求Ｃ点的轨迹方程。

分析与解答：循着求动直（曲）线交点轨迹方程的一般思路，设Ａ（ｘ1，ｘ12），Ｂ（ｘ2，ｘ22），Ｃ（ｘ，ｙ），由ＯＡ⊥ＯＢ得

ｘ1ｘ2＝－1。①

以ＯＡ为直径的圆的方程为

ｘ（ｘ－ｘ1）＋ｙ（ｙ－ｘ12）＝0，即

ｘ2＋ｙ2－ｘ1ｘ－ｘ12ｙ＝0。②

同理，以ＯＢ为直径的圆的方程为

ｘ2＋ｙ2－ｘ2ｘ－ｘ22ｙ＝0。③

至此，欲消参数ｘ1、ｘ2，探索中容易想到两式相减。

②－③，得ｘ1＋ｘ2＝－ｘ/ｙ。④

下一步如何动作？至此往往陷入困境。此时，循着辩证思维的途径，由加与减的相互依存，想到再考察②、③两式相加，则局面由此打开。

解法1。②＋③，得2（ｘ2＋ｙ2）－（ｘ1＋ｘ2）ｘ－（ｘ12＋ｘ22）ｙ＝0，

2（ｘ2＋ｙ2）－（ｘ1＋ｘ2）ｘ－[（ｘ1＋ｘ2）2－2ｘ1ｘ2]・ｙ＝0。⑤

将①、④代入⑤并整理，得

ｘ2＋ｙ2－ｙ＝0（ｙ≠0）。

故Ｃ点的轨迹方程为

ｘ2＋（ｙ－1/2）2＝1/4（ｙ≠0）。

事实上，当我们孤立考察动圆的方程而导出②、③两式后，根据范畴间的相互依存关系，可转而去寻觅两圆方程间的内在联系。这种联系一经发现，新的解法便随之产生。

解法2。注意到这里ｙ≠0，考察②、③两式的联系，知ｘ1、ｘ2是二次方程ｙｔ2＋ｘｔ－（ｘ2＋ｙ2）＝0的两实根，由韦达定理得ｘ1ｘ2＝－（ｘ2＋ｙ2）/ｙ。 ⑥

于是由①、⑥得Ｃ点的轨迹方程为

ｘ2＋（ｙ－1/2）2＝1/4（ｙ≠0）。

“直”与“曲”是辩证的统一。面对所给的曲线问题，分析问题的特殊性，发掘问题中与曲线相互依存的直线。这样的直线一经揭露，化“曲”为“直”的解法便应运而生。

解法3。由圆的性质知ＡＣ⊥ＯＣ，ＢＣ⊥ＯＣ。

∴ Ａ、Ｂ、Ｃ三点共线，且ＯＣ⊥ＡＢ。

设过点Ｏ且垂直ＡＢ的直线为ｌ，则Ｃ点的轨迹即为动直线ＡＢ与ｌ的交点的轨迹（化曲为直）。

ｋAB＝ｘ1＋ｘ2，直线ＡＢ的方程为ｙ－ｘ12＝（ｘ1＋ｘ2）（ｘ－ｘ1）。

以①代入上式得ｙ－1＝（ｘ1＋ｘ2）ｘ，⑦

又直线ｌ的方程为ｙ＝（－1/（ｘ1＋ｘ2））ｘ。 ⑧

⑦×⑧并整理，得ｘ2＋ｙ2－ｙ＝0（ｙ≠0）。故Ｃ点的轨迹方程为

ｘ2＋（ｙ－1/2）2＝1/4（ｙ≠0）。

三、对偶范畴间相互贯通关系的诱导

分析问题是解决问题的前提和基础。分析的方法就是辩证的方法（毛泽东语）。范畴间相互贯通的辩证关系，为解题思路的发现提供线索，为数学问题的转换变通提供依据。其中，特殊与一般是最为重要的一对范畴。就认识的过程来说，人们总是从事物的特殊性入手去认识事物的一般性，而当人们掌握了事物的一般属性之后，又能以一般性为指导去认识尚未认知的其他特殊性质。人们对事物的认识由此一步步引向纵深。

例3 对于二次曲线Ｃk：ｘ2/（9－ｋ）＋ｙ2/（4－ｋ）＝1，证明：任取平面上一点（ａ，ｂ）（ａｂ≠0），总有Ｃk中一个椭圆和一个双曲线通过。

分析（特殊探路）：取点（1，1）代入Ｃk并整理，得ｋ2－11ｋ＋23＝0，解得

ｋ1＝（11－）/2∈（－∞，4），

ｋ2＝（11＋）/2∈（4，9）。

由此可知，对于ｋ＝ｋ1，Ｃk表示椭圆；对于ｋ＝ｋ2，Ｃk表示双曲线。

至此，便探知本题解题思路：

（1）取点（ａ，ｂ）（ａｂ≠0）代入Ｃk并整理，得

ｆ（ｋ）＝ｋ2＋（ａ2＋ｂ2－13）ｋ＋（36－4ａ2－9ｂ2）＝0；

（2）证明ｆ（ｋ）＝0的一根在（－∞，4）内，而另一根在（4，9）内，即证ｆ（4）＜0，ｆ（9）＞0。（证明从略）

注意到特殊与一般的辩证关系，当由问题本身难以推出所需结论时，不妨主动“升级”，转而研究关于原命题的更具一般性的命题。这样的命题一经解决，便如登高眺远，解题环节与问题本质纵览无余。于是，求解原来的问题便可居高临下，一蹴而就。

例4 已知Ｍ（ｘ1，ｙ1）、Ｎ（ｘ2，ｙ2）为抛物线ｙ2＝2ｐｘ（ｐ＞0）上两点。设甲：ｙ1ｙ2＝－ｐ2；乙：直线ＭＮ经过抛物线的焦点Ｆ。那么甲是乙的__条件。

分析：由课本Ｐ。101第8题知，甲是乙的必要条件。由于条件的充分性难以判断，故转而考察更为一般的问题：经过抛物线ｙ2＝2ｐｘ（ｐ＞ 0）的轴上一点Ｑ（ａ，0）（ａ＞0）作抛物线的弦ＭＮ，寻找Ｍ、Ｎ两点纵坐标之间的联系。

设直线ＭＮ的方程为ｙ＝ｋ（ｘ－ａ），①

①代入ｙ2＝2ｐｘ，得ｙ2－（2ｐ/ｋ）ｙ－2ｐａ＝0。 ②

由②得ｙ1ｙ2＝－2ｐａ。

此此易见ｙ1ｙ2＝－ｐ2ａ＝ｐ/2点Ｑ即焦点Ｆ。故甲是乙的充分条件。于是可知甲是乙的充要条件。

四、对偶范畴间相互转化关系的运用

解题过程是一系列的转化过程，其中，范畴间由此及彼的相互转化，乃是这一系列转化中的关键环节。有关事物的定义、定理和性质是完成这种转化的桥梁，变量替换则是以量变促发质变的基本手段。循着范畴间的辩证关系思考问题，东方不亮西方亮，南方 受阻有北方，使我们得以左右周旋，转换变通，从而避繁就简，化生为熟，发现令人满意的解题思路。

例5 已知Ａ（4，0）、Ｂ（2，2）是椭圆ｘ2/25＋ｙ2/9＝1内的点。Ｍ是椭圆上的点，求｜ＭＡ｜＋｜ＭＢ｜的最值。

解：这里ａ＝5，ｂ＝3，ｃ＝4，Ａ（4，0）即椭圆右焦点Ｆ2。由于这一和式的最值难以寻觅，考虑将“＋”向“－”转化。

由椭圆定义得｜ＭＦ1｜＋｜ＭＦ2｜＝10。

∴｜ＭＡ｜＝10－｜ＭＦ1｜（Ｆ1为椭圆左焦点），

∴｜ＭＡ｜＋｜ＭＢ｜＝10＋（｜ＭＢ｜－｜ＭＦ1｜），（完成“＋”向“ －”的转化）

∵｜ＭＢ｜－｜ＭＦ1｜≤｜ＢＦ1｜＝2，

∴｜ＭＡ｜＋｜ＭＢ｜≤10＋2（当且仅当Ｍ为直线Ｆ1Ｂ与下半椭圆的交点时等号成立），

∴｜ＭＡ｜＋｜ＭＢ｜的最大值为10＋2。

同理可得｜ＭＡ｜＋｜ＭＢ｜的最小值为10－2（当且仅当 Ｍ为直线Ｆ1Ｂ与上半椭圆的交点时取得）。

例6 已知0＜ｘ，ｙ，ｚ＜1，且ｘ＋ｙ＋ｚ＝2，求证：1＜ｘｙ＋ｙｚ＋ｚｘ≤4/3。

分析与证明：根据题意，设ｘ＝1－ａ，ｙ＝1－ｂ，ｚ＝1－ ｃ，则有ａ，ｂ，ｃ∈（0，1），且ａ＋ｂ＋ｃ＝1。

∴ｘｙ＋ｙｚ＋ｚｘ

＝（1－ａ）（1－ｂ）＋（1－ｂ）（1－ｃ）＋（1－ｃ）（1－ａ）

＝3－2（ａ＋ｂ＋ｃ）＋（ａｂ＋ｂｃ＋ｃａ）

＝1＋（ａｂ＋ｂｃ＋ｃａ）＞1。①

至此，上述问题转化为人们所熟悉的问题：

已知正数ａ、ｂ、ｃ，且ａ＋ｂ＋ｃ＝1。求证

ａｂ＋ｂｃ＋ｃａ≤1/3。（化生为熟）

此时注意到3（ａｂ＋ｂｃ＋ｃａ）－1

＝3（ａｂ＋ｂｃ＋ｃａ）－（ａ＋ｂ＋ｃ）2

＝ａｂ＋ｂｃ＋ｃａ－ａ2－ｂ2－ｃ2

＝－（1/2）[（ａ－ｂ）2＋（ｂ－ｃ）2＋（ｃ－ａ）2]≤0，

∴ ａｂ＋ｂｃ＋ｃａ≤1/3。

于是由①得ｘｙ＋ｙｚ＋ｚｘ≤4/3。②

综合①、②便证得1＜ｘｙ＋ｙｚ＋ｚｘ≤4/3。