化归思想在数学解题中的应用

  • 格式:doc
  • 大小:600.50 KB
  • 文档页数:11

--

-- 寄搞日期:2009年3月6日星期五

本稿适合高中教师阅读中的课外园地栏目,

联系电话:

邮箱:

--

-- 化归思想在数学解题中的应用

唐雯川

四川省成都邛崃市平乐中学 611539

【摘要】根据数学问题求解中重要的化归思想,文章详细阐述了如何在数学解题中灵活运用化归思想。结果表明,只要能够进行巧妙地化归,总能快速地求解相关数学问题。

【关键词】化归 数形结合 变更问题

引言

在数学问题的求解过程中,有一类问题是无法直接进行求解的。一般,总是想方设法将所要求解的问题进行化归,从而将难解的问题通过变换化归为容易求解的问题,将未解决的问题通过变换化归为已解决的问题。这便是化归思想。

所谓化归思想,就是在研究和解决有关数学问题时通过某种变换使之化归,进而达到解决问题的一种方法。其特点在于其高度的灵活性和多样性。它可以在宏观上进行化归,如在分析和解决实际问题的过程中,普通语言翻译为数学语言;也可以在数与数、形与形、数与形之间进行转换。还可以在符号系统内部实施转换,即所说的恒等变换。消去法、换元法、数形结合等方法就是最常见的几种化归方法。

在使用化归思想解决数学问题时,一般遵循熟悉化、简单化、直观化、标准化的原则。按照这些原则进行数学操作,省时省力,可以快速提高解题的水平和能力。本文着重论述等价化归、数形结合、变更问题、反证化归和换元化归思想在解题中的应用。

1 等价化归

等价化归是把不可解的问题化归到已有知识范围内可解的问题的一种重要方法。在解题时可以通过适当的联想,把题中的条件或结论改换成另一种等价的形式,从而明确解题方向,寻求解题途径。

例1 ABC中,已知:bAcCa232cos2cos22,045AC,求三角形三边之比。

分析:根据倍角公式和射影定理可知,在ABC中,“bAcCa232cos2cos22”等价于“2acb”,从而“045CA”等价于“0452BA,045CA0(030)A”。这样,原题相当于:ABC中,三边成等差数列,最大角C与最小角A的差为045,求三角形三边之比。由此,通过求解三角方程,确定Asin的大小,原题就容易解出了。 --

-- 解:依题设有

1cos1cos3222CAacb (1)

由射影定理可知

coscosaCcAb (2)

比较(1)、(2)式,得

2acb (3)

根据(3)式,由正弦定理可得

sinsin2sinACB (4)

又由三角形的性质可知,A为最小角,C为最大角,则

045CA,0452BA (5)

将(5)式代入(4)式,可得

sincos2cos2AAA (6)

22sincos2(cossin)AAAA (7)

因为A为最小角,所以0452BAA,即0030A,则sincos0AA。

故方程(7)等价于

1cossin2AA (8)

两边平方,整理后

28sin4sin30AA (9)

解方程(9)取正值,得

71sin4A (10)

从而

0271sinsin(45)cos1sin4CAAA --

-- 027sinsin(452)cos212sin4BAAA

因此,ABC三边之比为

::sin:sin:sinabcABC

111(71):7:(71)444

(71):7:(71)

例2图1-1,三棱锥ABCP中,已知lBCPABCPA,,BCPA与的公垂线hED,求证:三棱锥ABCP的体积是hlV261

分析:若直接求解,底、高不易求出。由于ED是PA与BC的公垂线,而PABC,

知AP面EBC,把三棱锥PABC分成以PE,AE为高,ABC为底的两个小三棱锥 。

解:连结ECEB,

PABCAEBCPEBCVVV

1133EBCEBCSAESPE

1()3EBCSAEPE

1132lhl

216lh

即原题得证。 P

E

A

B D C

图1-1 --

-- 通过适当替换题设条件,明确了解题方向。这就表明,有目的地总结并熟悉数学中的等价关系,对于丰富解题思想是很有帮助的。

2 数形结合

数与形是数学中的两种表现形式,数是形的深刻描述,而形是数的直观表现。

两者之间相互印证,不可分割。因此,在特定的条件下,数与形可以相互转换,互相渗透。“数”的问题可以化归为“形”的问题进行研究,“形”的问题也可以化归为“数”的问题进行探讨。

例3 已知0a,0b,ab。试比较222ba和2abab的大小。

分析:考虑将“数”的问题向“形”的问题转化。由题设可得如下等价图示2-1.

解:图中a、b分别表示ACBC、的长度。因为ab,不妨设ab,以a,b为直角边,做直角三角形ABC,斜边22ABab,设CM、CD分别是ABC的BC边上的中线和角平分线,则

222abCM

由三角形的面积公式有

00111sin45sin45222aCDbCDab

所以

2abCDab.

显然 ab 时,CMCD,所以

2222ababab

例4 求函数2241325yxxxx的最大值。

分析:将函数写为2222(2)3(1)2yxx。根据解析式的特征,设计出图形如2-2,在直线l的同侧取A,B两点,使A到直线l的距离2AD,B到直线l的距离3BE,且1DE,P是ED延长线上的一点,令1PDx,则2PEx,由这个图形可得到:22(1)2APx,22(2)3BPx。因为BPAPAB,所以当P点移C

B M D A

图2-1 --

-- 动到与AB再一条直线上的C点处,BPAP有最大值。

解:由图知,当P点位于C点时,ACD∽BCE得

1223xx

所以

1x

即当1x时

函数2241325yxxxx有最大值。

此时2AB

3变更问题

有些数学问题的结构比较复杂,常常通过等价替换题设的条件或结论从而得到问题的解答。因此,解题时可以通过适当的联系,把题中的条件或结论改换成一种与它等价的形式,从而方便问题的解决。

3.1 变更问题的条件

遇到条件比较复杂的数学问题时,可能会无法直接求解。但如果适当变更题设条件,就能将复杂的问题进行简化。

例5 设为a正实数,求aaa

解:变更问题条件 111824aaaaaa…

111248a…

11()2na

3.2 变更问题的结论

同样,有时变更问题的结论,也会使问题的解答达到事半功倍的效果。

例6 设a为实数,求证:22221aa E l

P C D A B

图2-2 --

-- 分析: 22221aa可变形为:22221aa (11)

(11)式又可变为

22(1)12(1)1aa (12)

又因为00nm、时,mnnm2。令112nam,,则可得(12)式。即

22221aa

解:令112nam,,由不等式定理可知:22(1)12(1)1aa,所以22221aa,既22221aa,所以原式得证。

例7 设A,B,C是ABC的三个内角,求证:222222ABCtgtgtg的最小值为1。

分析:由正切半角的恒等式可知:1222222ABBCCAtgtgtgtgtgtg.则

原题结论可转化为求证:222222222222ABCABBCCAtgtgtgtgtgtgtgtgtg.

这样,利用转换结论的思想,原题就不难得证。

证明:对于任意实数 a,b有222abab

2222222ABABtgtgtgtg (13)

2222222BCBCtgtgtgtg (14)

2222222CACAtgtgtgtg (15)

三式相加,即得

2221222222222ABCABBCCAtgtgtgtgtgtgtgtgtg

等号仅当2Atg= 2Btg= 2Ctg,即060ABC时成立。因此,当060ABC时:222222ABCtgtgtg的最小值为1。

4 反证化归

有的数学问题所要求的结论,在一般情况下不容易推出。但在特殊情况下 --

-- 却非常易于处理。因而处理问题时,若能注意到问题的特殊性,将待解决的问题

为特例,进而寻求问题的解答。

例8 证明xsin不是周期函数。

分析:设xsin是周期函数。考察它的一个特殊值——零点,则零点也应该周期的出现,然后推出矛盾。

证明:xxfsin)(的零点是)(22Zkkx,然后随着|k|的增大,2k则更快的增大,)(xf的零点分布越来越疏,这就导致了矛盾,xxfsin)(的零点不是周期出现的,所以原命题成立。

例9 设方程05sin2cos4)sin1(2)cos2(2222222yxyx,求证:不论取何实数值,方程的曲线总经过两点21,PP,并求21,PP两点的坐标。

分析:这是圆系方程,若 取特殊值,则方程对应两个具体的方程,这两个具体的方程必经过21,PP两点。再把此两点代回原方程,知两点都在曲线上,且与的取值无关。故上述两点即为所求的定点21,PP。

解:不妨令2,0得

222210xyxy (16)

224470xyxy (17)

由(16),(17)得1x,2y或2x,1y