安徽省合肥市第一中學(xué) (230601) 邱均儒 谷留明(指導(dǎo)教師)

1 原題呈現(xiàn)

設(shè)x,y,z∈(0,1),求證:x(1-y)+y(1-z)+z(1-x)<1.

2 解法探析

證法1：(構(gòu)造一次函數(shù))令f(x)=(1-y-z)x+y+z-yz-1,x∈(0,1)，∴f(0)=-(y-1)(z-1)<0,f(1)=-yz<0.由于函數(shù)f(x)的圖象是一條線段,故f(x)<0.所以x(1-y)+y(1-z)+z(1-x)<1.

圖1

圖2

證法4：(構(gòu)造立體圖形)如圖3,構(gòu)造一個(gè)邊長(zhǎng)為1的正方體ABCD-EFGH,在正方體中分別取邊長(zhǎng)為x,1-y,1的長(zhǎng)方體IOPQ-EFRS,邊長(zhǎng)為y,1-z,1的長(zhǎng)方體AMND-IJKL,邊長(zhǎng)為z,1-x,1的長(zhǎng)方體TKCN-URGV.

圖3

由于x,y,z∈(0,1),根據(jù)體積關(guān)系可知VIOPQ-EFGR+VAMND-IJKL+VTKCN-URGV=VABCD-EFGH-VMBKT-JOPW-VQWKL-SUVH,即x·(1-y)·1+y·(1-z)·1+z·(1-x)·1=1·1·1-x·y·z-(1-x)·(1-y)·(1-z)<1.

三、結(jié)論推廣

證明：如圖4所示,構(gòu)造一個(gè)邊長(zhǎng)為1的正n邊形A1A2A3...An,并分別在A1A2,A2A3,...,An-1An,AnA1上取B1,B2,...,Bn-1,Bn,使得A1Bn=x1,A2B1=x2,...,An-1Bn=xn-1,AnBn-1=xn.

圖4

四、解法探源

看到原不等式時(shí),可以知道本題是一道三元函數(shù)的不等式問(wèn)題,對(duì)于較難入手的多元函數(shù),我們第一個(gè)想到的方法應(yīng)當(dāng)是主元法,故證法1是一個(gè)自然的解法.又由于三個(gè)未知數(shù)可以聯(lián)想到一個(gè)一元三次方程的三個(gè)實(shí)根,所以證法2通過(guò)這個(gè)思路也不難想到.證法3與證法4是十分巧妙的幾何證法,通過(guò)構(gòu)造不等關(guān)系來(lái)證明不等式.上述四個(gè)解法均體現(xiàn)出“數(shù)缺形時(shí)少直觀”數(shù)學(xué)特點(diǎn).當(dāng)思考完這四種證法后,很自然地我們會(huì)想到推廣原來(lái)的不等式.通過(guò)對(duì)四個(gè)證法的剖析,我們可以知道原題通過(guò)證法3進(jìn)行推廣是最自然的,于是就有“結(jié)論推廣”中的命題與證法.

事實(shí)上,在n≥5的情況下,“結(jié)論推廣”中的不等式是一個(gè)非常寬松的不等式,所以可以繼續(xù)思考對(duì)于n≥5是否有更加完美的形式.