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

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

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

　　例1 设ａ＞ｂ＞ｃ．求证：ａ２ｂ＋ｂ２ｃ＋ｃ２ａ＞ａｂ２＋ｂｃ２＋ｃａ２．

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

　　变形1．差式＝（ａ２ｂ－ｃａ２）＋（ｂ２ｃ－ａｂ２）＋（ｃ２ａ －ｂｃ２）

　　＝ａ２（ｂ－ｃ）＋ｂ２（ｃ－ａ）＋ｃ２（ａ－ｂ）．

　　至此，似乎无路可走．

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

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

　　 如此，仍然重蹈复辙．

　　变形3．差式＝（ｃ２ａ－ａｂ２）＋（ａ２ｂ－ｂｃ２）＋（ｂ２ｃ－ｃａ２）

　　＝ａ（ｃ２－ｂ２）＋ｂ（ａ２－ｃ２）＋ｃ（ｂ２－ａ２）．

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

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

　　证法1．差式＝ａ２ｂ＋（ｂ２ｃ＋ｃ２ａ）－（ａｂ２＋ａ２ｃ）－ｂｃ２

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

　　＝（ａ－ｃ）［ｂ（ａ＋ｃ）－（ｂ２＋ａｃ）］

　　＝（ａ－ｃ）（ａ－ｂ）（ｂ－ｃ）＞０．

　　 ∴ 原不等式成立．

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

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

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

　　 ＝（ａ－ｂ）［ａｂ－ｃ（ａ＋ｂ）＋ｃ２］

　　＝（ａ－ｂ）（ｂ－ｃ）（ａ－ｃ）＞０．

　　∴ 原不等式成立．

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

　　证法3．由上述变形1得

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

　　＝ａ２（ｂ－ｃ）－ｂ２［（ａ－ｂ）＋（ｂ－ｃ）］＋ｃ２（ａ－ｂ）（刻意沟通与前后两组的联系）

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

　　＝（ａ－ｂ）［（ｂ－ｃ）（ａ＋ｂ）＋（ｃ２－ｂ２）］
＝（ａ－ｂ）（ｂ－ｃ）（ａ－ｃ）＞０．

　　∴ 原不等式成立．

　　其他证法从略．

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

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

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

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

　　ｘ１ｘ2＝－１．①

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

　　ｘ（ｘ－ｘ１）＋ｙ（ｙ－ｘ１２）＝０，即

　　ｘ２＋ｙ２－ｘ１ｘ－ｘ１２ｙ＝０．②

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

　　ｘ２＋ｙ２－ｘ2ｘ－ｘ2２ｙ＝０．③

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

　　②－③，得ｘ１＋ｘ2＝－ｘ/ｙ．④

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

　　解法1．②＋③，得２（ｘ２＋ｙ２）－（ｘ１＋ｘ2）ｘ－（ｘ１２＋ｘ2２）ｙ＝０，

　　２（ｘ２＋ｙ２）－（ｘ１＋ｘ2）ｘ－［（ｘ１＋ｘ2）２－２ｘ１ｘ2］·ｙ＝０．⑤

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

　　ｘ２＋ｙ２－ｙ＝０（ｙ≠０）．

　　故Ｃ点的轨迹方程为

　　ｘ２＋（ｙ－１/２）２＝１/４（ｙ≠０）．

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

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

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

　　ｘ２＋（ｙ－１/２）２＝１/４（ｙ≠０）．

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

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

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

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

[1] [2] 下一页