巧构几何图形 证明代数问题

巧构几何图形 证明代数问题

——兼谈构造法

习题 已知a,b,c,d为正数，a^2+b^2=c^2+d^2，ac=bd，求证a=d，b=c. 分析 注意到条件a^2+b^2=c^2+d^2，如果把a，b；c，d分别看成两个直角三角形的直角边，那么a^2+b^2，c^2+d^2分别表示这两个直角三角形的斜边的平方。故可构造如下图形1。 ? ac=bd，即 BC*AD=AB*CD ? BC/AB=CD/AD 又?B=?D=90 ??

?Rt⊿ABC 相似于 Rt⊿ADC

但为公共斜边，故 Rt⊿ABC? Rt⊿ADC

?AB=AD,BC=CD,即b=c,a=d.

评注 把正数与线段的长联系起来，给代数等式附以几何意义，从而利用图形的特点巧妙地解决了上述习题。其证法十分简捷，独具风格，耐人寻味！其高明之处就在于选择了恰当的图形！这种思考方法的关键是把数和形结合起来以互相利用！对代数等式可以这样做，对不等式也可以。 应用

【例1】已知a，b是两个不相等的正实数，求证（a+b）/2 >ab

[证明] 以a+b为边长作正方形，然后过a,b的连接点作正方形各边的垂线（如图2），于是大正方形的面积为（a+b)^2,四个矩形的面积都是ab,这样得 （a+b）^2>4ab

?ab>0

?a+b>2ab

即（a+b)/2>ab

【例2】已知0<θ

[证明]作圆使其直径为单位长1，如图3，由于0<θ

? BC+AC>AB

? sinθ+cosθ>1(三角形两边之和大于第三边)

又⊿ABC的面积=(1/2)BC*AC≤(1/2)AB*CO=(1/4)AB^2(三角形面积不大于一边与这边上中线积的一半)

?2BC*AC≤AB^2

又BC^2+AC^2≤AB^2

?(BC+AC)^2≤2AB^2，BC+AC≤2AB,即sinθ+cosθ?2

【例

3】设

a,b

为小于

1

的正数，求证

a^2?b^2?(1?a)^2?b^2?a^2?(1?b)^2?(1?a)^2?(1?b)^2?22

[证明]如图4作边长为1的正方形ABCD,分别在AB,AD上取AE=a,AG=b(?a、b<1),并过E,G分别作AD,AB的平行线，分别交DC,BC于F，H,设EF,GH的交点为O，则 OA=a^2?b^2, OB=（1-a）^2?b^2, OC=（1-a）^2?(1?b)^2, OD=a^2?(1?b)^2,

?OA+OC?AC, OB+OD?BD. ?OA+OB+OC+OD?AC+BD,即

a^2?b^2?(1?a)^2?b^2?a^2?(1?b)^2?(1?a)^2?(1?b)^2?22

【例4】设a/b=c/d,且a,b,c,d均为正数，求证

(a+b)/(c+d)=a^2?b^2/c^2?d^2

[证明] 不妨设a≥c，作直角⊿ABC,使?C=90?(如图5)，BC=a，AC=b.在BC上取点D,使BD=c;过D作DE?BC交AB于E，故 BC/AC=BD/ED

又a/b=c/d,所以ED=d.在BC直线上取点F,G,使CF=AC,DG=ED,连EG,AF,易知EG//AF,故 BF/BG=BA/BE

即(a+b)/(c+d)=a^2?b^2/c^2?d^2

【例5】设a>0，b>0，2c>a+d. 求证c^2>ab且 c-c^2?ab

[证明] 如图6，作半圆O，直径AB=2c,在AB上顺次取 AC=a,CD=b(?2c>a+b)以AD为直径作半圆，过C作CE?AD交圆于E,则两圆相切，且CE

?c^2>ab.

又CO^2+CE^2=OE^2，

?(a-c)^2+ab

｜a-c｜

亦即 c-c^2?ab

cosA+cosB+cosC

[证明]如图7，作⊿ABC三边上的高AE,BF,CD,则A,B,E,F四点共圆。

同圆中所对的圆周角大的弦也大（圆周角为锐角使时）。由于

?ABFcosA=AF/AB

同理cosB

?cosA+cosB+cosC

【例7】求证

1/2(sin^2?+sin^2?)+cos^2?+cos^2??2cos?cos?+sin?sin?+4. [证明]原不等式经整理即为

1/2(sin?-sin?)^2+(cos??cos?)^2?4. 根据此三角函数的特点可设 x=cos?

y=2/2sin?(椭圆的参数方程)，如图8，A(cos?，2sin?/2), B(cos?,2sin?/2)为椭圆上两点。 ｜AB｜≤｜CD｜=2(椭圆长轴等于2，长轴是椭圆中最大的弦)

?1/2(sin??sin?)^2?(cos??cos?)^2?2.

即1/2(sin??sin?)^2+(cos??cos?)^2?4.

【例8】当m为何值时，方程 mx-y+5m+3=0 有唯一解。 x^2+y^2-6y=0 解：方程mx-y+5m+3=0表示一条过点（-5,3）且斜率为m的直线，而方程x^2+y^2-6y=0表示一个圆心在（0,3），半径为3的圆。要使原方程组有唯一解，要求这直线与圆相切。如图9，设切点为P,P’.

?Rt⊿ABP,Rt⊿ABP’的三条边的长度分别为3,4,5.

?AP,AP’的斜率是?(3/4)即当m=?(3/4)时原方程组有唯一解。

拓广 用几何法证代数题构思精巧，利于锻炼思维能力。代数等式或不等式反映出来的是线段间等量与不等量关系，最常见的有以下一些基本图形：

代数结构 几何定理 图形

a^2+b^2=c^2 勾股定理（图10） a/b=c/c 相似三角形

ab=bc 平行线，相交弦（图12） 割线（图13）等 ab+cd=ef 托勒米定理(图14) a>b 斜边<直角边（图15）

直径>弦（图16） X=ab 射影定理（图17） 切割线定理（图18）

上面谈到的造图证代数题的方法，是构造法解题的一种。所谓构造法，就是根据题设条件或命题的结论所具有的特征、性质，构造满足条件或结论的其他数学形式去解决数学题的方法。它是一种综合运用数学知识解题的方法，题设或结论不同，所采用的构造方法或形式也各异。采用构造法解题，必须审清题意，挖掘明显的或隐含的条件，综合各分支知识，去联想、类比，找到恰当的构造形式。下面以例说明常用的几种构造方法。

1.构造方程

方程是中学数学中的一个十分重要的内容，是解决数学问题的重要工具。很多数学问题粗看起来无从下手或用一般方法去解决很困难，而通过用方程的知识解决却显得十分简捷。构造方程解题，常用的方法有：

A.直接利用已知条件构造方程

31?2/37/3【例9】求证+1?2/37/3=1 33[证明]设x=1?2/37/3+1?2/37/3,则 31?2/37/3x^3=()^3+(1?2/37/3)^3

33(1?2/37/3) +3（1?2/37/3）333 (1?2/37/3+1?2/37/3).

3 =2+31?28/27?x

=2-x

即x^3+x-2=0,(x-1)(x^2+x+2)=0,因x^2+x+2>0,所以x=1,亦即

31?2/37/3+31?2/37/3=1.

【例10】求证：不论x取什么值，多项式

[（x+b）（x+c）]?[(a-b)(a-c)]+[(x+c)(x+a)]?[(b-c)(b-a)]+ [(x+a)(x+b)]?[(c-a)(c-b)]的值恒为1。

分析 用分式计算，可以得出所求的结论，但过程较复杂。若用构造方程的方法来解，则要简捷得多。

[证明] 构造辅助方程

f(x)= [（x+b）（x+c）]?[(a-b)(a-c)]+[(x+c)(x+a)]?[(b-c)(b-a)] +[(x+a)(x+b)]?[(c-a)(c-b)]-1=0.

显然-a,-b,-c是上述方程的根，因a,b,c两两不等，于是上述方程至少有三个不同的根，但方程的次数不超过2，所以只有f(x)?0，即[（x+b）（x+c）]?[(a-b)(a-c)]+[(x+c)(x+a)]?[(b-c)(b-a)]+ [(x+a)(x+b)]?[(c-a)(c-b)]=1. 【例11】

把sin^2??sin^2??sin^2??2sin?sin?cos?化为积的形式。

解： 作方程sin^2??2sin?cos?sin??sin^2??sin^2?=0，解此关于

sin?的方程得

sin??sin(???)

原式=?sin??sin(???)??sin??sin(???)?

=4sin?(?-?-?)/2?sin?(?-???)/2?sin?(?????)/2?cos?(?????)/2? B.用判别式构造方程

【例12】若（z-x）^2-4(x-y)(y-z)=0,求证x,y.z成等差数列。 分析 题中所给等式的左边是b^2-4ac的形式，故构造方程 （x-y）t^2+(z-x)t+(y-z)=0.

因方程各项系数之和为0，故1是此方程的一个根。由已知?=0，故此方程的另一根也为1，于是由韦达定理有1×1(y-z)/(x-y)即得 x-y=y-z.说明x,y,z成等差数列。 【例13】证明柯西不等式

?a

i?1n【例14】已知a,b,c?R,且a+b+c=0,abc=1。求证a,b,c中必有一个大于3/2.

[证明] 由已知得a,b,c中必有一个大于0，设c>0,则a+b=-c,ab=1/c,可知a、b是方程x^2+cx+1/c=0的两根。因a,b?R，故?=c^2-4/c?0,又c>0,所以c^3-4?0,c^3?4,于是

333c?4=32/8>27/8=3/2.

【例15】 已知x,y,z?R,且满足等式

x^2-yz-8x+7=0 ? y^2+z^2+yz-6x+6=0 ? 求证1?x?9.

[证明] 由?得yz=x^2-8x+7,由?得（y+z）^2=yz+6x-6=(x-1)^2,从而y+z=?(x-1),即说明，z是方程t^2?(x-1)t+(x^2-8x+7)=0的两根。因t?R,所以?=（x-1）^2-4(x^2-8x+7)?0,解之得1?x?9。 D.用根的定义构造方程 【例16】解方程组

x+ay+a^2z=a^3 ? x+by+b^2z=b^3 (a≠b≠c) ?

x+cy+c^2z=c^3 ?

[证明] 由?，?，?知a,b,c是方程t^3-zt^2-yt-x=0的三根，由韦达定理得

a+b+c=z, ab+bc+ca=-y, abc=x. 所以原方程组的解为 x=abc y=-ab-bc-ca z=a+b+c 【例17】通过第一象限内定点m（x1,y1）的两圆都与两坐标轴相切，它们的半径分别为r1,r2,求证r1r2=x1^2+y1^2。 [证明]设两圆的方程为 （x-r1）^2+(y-r1)=r1^2,

(x-r2)^2+(y-r2)=r2^2. 因点（x1,y1）在这两圆上，所以 （x1-r1）^2+(y1-r1)^2=r1^2, (x1-r2)^2+(y1-r2)^2=r2^2,

即r1,r2是方程(x1-z)^2+(y1-z)^2=z^2的两根，并将此方程整理为： 2^2-2（x1+y1)z+x1^2+y1^2=0,由韦达定理得 r1r2=x1^2+y1^2。 E. 用一些公式构造方程

【例18】求cos2/7??cos4/7??cos6/7?的值。

[证明] 设7?=2^n?(n=1,2,3),则4?=2^n??3?，cos4??cos3?，

2cos^22?-1=4cos^3??3cos?，于是 8cos^4??4cos^3??8cos^2??3cos??1?0。

易知1，cos2/7?,cos3/7?,cos6/7?是方程 8x^4-4x^3-8x^2+3x+1=0.

的四个根，由韦达定理得1+cos2/7?+cos4/7?+cos6/7?=1/2,即

cos2/7??cos4/7??cos6/7?=-1/2.

2.构造复数

由于复数具有代数、几何、三角等多种表示形式以及它的特定性质、运算法则、几何意义，因而可以通过构造复数解决许多数学问题。

A.构造复数证明几何题

【例19】向⊿ABC形外作正方形ABEF,ACGH。求证BH与CF垂直且相等。

[证明] 设A,B,C在复平面上对应复数a,b,c则有：

F、H对应的复数分别为a+(a-b)i,a+(c-a)i于是

BH=(a-b)+(c-a)i, CF=(a-c)+(a-b)i=

i[(a-b)+(c-a)i].由此即知BH ?CF且BE=CF。

【例20】在平行四边形ABCD中，若AC^2?BD^2=AB^4+AD^4，求证这平行四边形的锐角必为45?。

[证明] 选择坐标系如图19，于是A: a(正实数)，C:?e^i?，B:???^i?，D:0，所以有 ｜AC｜^2=｜???e^i?｜^2, ｜BD｜^2=｜???e^i?｜^2

｜AC｜^2?｜BD｜^2=｜(???e^i?)(???e^i?)｜^2 =｜?^2??^2e^i2?｜^2

=?^4+?^4-?^2?^2(e^i2??e^i2?) =?^4+?^4-2?^2?^2cos2?. 依题设条件可知cos2?=0，故?=45? 。 B.构造复数解证三角及反三角问题

关于构造复数解证三角问题，例8就是一例，下面专就复数在反三角函数方面的应用给出例示。

非零复数z=a+bi(a,b?R)的三角形式是：z=r(cos??isin?),其中r=

a^2?b^2,cos???/r,sin??b/r对任一角arcsinb/r，总可构造一个辐角

为arcsinb/r的复数z=a+bi,其中a=r^2?b^2(因??/2?arcsinb/r??/2) 于是角arcsinb/r的终边OZ只能落在第一象限或第四象限，或落在x轴的正向，y轴上，故角arcsinb/r所对应的复数z=a+bi的实部非负）

如arcsin3/5是复数z=4+3i的一个辐角。同样，arccosa/r是复数z=a+bi的辐角，这里b=r^2?a^2;当a>0时，arctgb/a是复数a+bi的辐角；当b>0时，arctga/b是复数a+bi的辐角。利用这些结果及复数的其他运算性质可解决许多反三角函数方面的问题。 【例21】求arcsin4/5?arccos2/5的值。 解：?0

??/2

arcsin4/5,arccos2/5分别是复数

3+4i, 2+i的辐角，则arcsin4/5，

-arccos2/5是3+4i与2+i的商在区间（??/2，?/2）内的辐角。

因（3+4i）/(2+i)=2+i,它在区间（??/2，?/2）内的辐角可表示为arctg1/2，所以arcsin4/5?arccos2/5=arctg1/2。

x?arcctg(1/x). 【例22】求arctgx?arcctg(1/x) ?z1/z2=(1+xi)/(1/x+i)=x,当x>0时，z1/z2的辐角终边落在x轴正向上，当x<0时，z1/z2的辐角终边落在x轴负向上。

x?arcctg(1/x)= 0 当x>0时 ?arctg ?? 当x<0时

【例23】求10ctg(arcctg3?arcctg7?arcctg13?arcctg21)的值。

解： arcctg3?arcctg7?arcctg13?arcctg21是它们依次对应的复数3+i,7+i, 13+i,21+i之积的辐角?，而

（3+i）（7+i）（13+i）（21+i）=1700（3+2i）ctg?=3/2 所以 10ctg(arcctg3?arcctg7?arcctg13?arcctg21) =10*3/2 =15.

1?x^2)/(1?x^2)??。 【例24】设0

?0<2arctg(1?x)/(1?x). arcsin(1?x^2)/(1?x^2)<3/2?.

设arctg(1?x)/(1?x)，arcsin(1?x^2)/(1?x^2)分别是复数（1-x)+(1+x)i, 2x+(1-x^2)i的辐角，则2arctg(1?x)/(1?x)是复数[(1-x)+(1+x)i]^2=-4x+ 2(1-x^2)的辐角。

?[(1-x)+(1+x)i]^2[2x+(1-x^2)i]=-2(x^2-1)^2,它在区间（0,3/2?）内的辐角为?。

1?x^2)/(1?x^2)??。 ? 2arctg(1?x)/(1?x)?arcsin(【例25】解方程arctg(x?2)?arctg(x?1)??/4。

解：arctg(x?2)?arctg(x?1)是复数1+（x+2)i/1+(x+1)i的辐角，而 1+（x+2)i/1+(x+1)i=1/x^2+2x+2[(x^2+3x+3)+i]它的辐角是

1/(x^2?3x?3)，所以 arctg1/(x^2?3x?3)??/4，1/(x^2+3x+3)=1. arctg解得x1=-1, x2=-2,经检验都是原方程的根。 【例26】解不等式arcsinx?arctg2x。 解 原不等式同解于arcsinx?arctg2x?0。

?-??arcsinx?arctg2x??.

?0?arcsinx?arctg2x??.

又arcsinx?arctg2x是复数(1-x^2?xi)/(1?2xi)的辐角，于是这个复数的辐角终边落在复平面的实轴上方（不包括实轴）的半平面内，故其复数的虚部为正，即 x?2x1-x^2>0

解上述不等式，并注意到arcsinx的定义域-1≤x≤1,得原不等式的解为

3/2?x?1，或-3/2?x?0。

【例27】求和

1/3?arctg1/7?arctg1/13???arctg1/(n^2?n?1) Sn=arctg分析 此类问题通常将和式的各项裂项相消，为此需把通项

arctg1/(n^2?n?1)拆成两项之差。但arctg1/(n^2?n?1)是复数（n^2+n+1）

+i的辐角主值，于是需将复数（n^2+n+1）+i化为两复数之商。

1/(k^2?k?1)是复数（k^2+k+1）+i的辐角主值，所以 解 arctg（k^2+k+1）+i=[k(k+1)+1]+[(k+1)-k]i =(k+i)[(k+1)-i]

=[(k+1)^2+1](k+i)/[(k+1)+i]，

arctg1/(k^2?k?1)=arctg1/k?arctg1/(k?1).

令k=1,2,3,?,n,得n个等式，诸式相加得

arctg1/3?arctg1/7?arctg1/13???arctg1/(n^2?n?1)

=?/4?arctg1/(n?1)。

进而可得?arctg1/(n^2?n?1)?limSn??/4。

n?1?用同样的方法，读者可自行证明

arctgx/(1?1*2x^2)?arctgx/(1?2*3x^2)?arctgx/(1?3*4x^2)??

?arctgx/[1?n(n?1)x^2]?arctgnx/[1?(n?1)x^2].

【例28】若arctga?arctgb?arctgc??，求证

ab+bc+ca>1, a+b+c=abc.

[证明] 因arctga,arctgb,arctgc分别为复数1+ai,1+bi,1+ci的辐角，而 （1+ai）（1+bi）（1+ci） =(1-ab-bc-ca)+(a+b+c-abc)i.

据已知，它的辐角为?，即其辐角的终边落在x轴负向上，所以 1-ab-bc-ca<0, a+b+abc=0

即ab+bc+ca>1, a+b+c=abc. C.构造复数证不等式

【例29】设a,b,c,d,x?R,求证

（x?a）^2?b^2?(x?c)^2?d^2?（c-a）^2?(b?d)^2

分析 不等式左边的根式可以看作是两复数的模，右边可看成是另一复数的模，从而联想到不等式

本文来源：https://www.bwwdw.com/article/3frp.html