●趙臨龍 (安康學(xué)院數(shù)學(xué)系 陜西安康 725000)

文獻(xiàn)［1］給出平均不等式鏈：

的多種幾何模型，筆者就平均不等式鏈的幾何模型的本質(zhì)作一深入研究，供參考.

1 平均不等式的幾何意義

文獻(xiàn)［2］給出了調(diào)和點(diǎn)列的定義：

對(duì)于一直線上排列的4個(gè)點(diǎn)A，B，C，D構(gòu)成的

并給出調(diào)和點(diǎn)列的作圖方法：

如圖1，當(dāng)點(diǎn)C在AB的延長線上時(shí)，過點(diǎn)C作以AB為直徑的⊙O的切線CP切圓于點(diǎn)P，過點(diǎn)P作直徑AB的垂線交AB于點(diǎn)D.于是點(diǎn)D是點(diǎn)C對(duì)于A，B的調(diào)和共軛點(diǎn).

圖1 圖2

如圖2，當(dāng)點(diǎn)C在AB內(nèi)時(shí)，過點(diǎn)C作AB的垂線交⊙O于點(diǎn)P，過點(diǎn)P作⊙O的切線PD交AB的延長線于點(diǎn)D，于是點(diǎn)D是點(diǎn)C對(duì)于A，B的調(diào)和共軛點(diǎn).

調(diào)和點(diǎn)列的這種“對(duì)稱性”為認(rèn)識(shí)正數(shù)a，b的4種平均不等式的本質(zhì)帶來極大的方便.

2 平均不等式鏈的幾何“新”模型

模型1 如圖3，在圖1的基礎(chǔ)上，設(shè)切點(diǎn)弦PQ交⊙O的直徑于點(diǎn)M，過圓心O作OE⊥AB于點(diǎn)E，則點(diǎn)E為AB的中點(diǎn).由于點(diǎn)A，B在點(diǎn)C的同側(cè)，令 CA=a，CB=b(a≥b＞0)，則

(1)在 Rt△FCE 中，由于 CF≥CE，則

(2)在△PEC 中，由 OE⊥AB，OP⊥PC，得點(diǎn)E，O，C，P 共圓，于是

從而 EC≥PC，即

(3)在△CDP中，∠PDC或∠QDC中有一個(gè)為非銳角，如圖3.若∠PDC為非銳角，則 CP≥CD，即

綜上所述，證得不等式(1).

圖3

圖4

特例 如圖4，當(dāng)割線CBDA過圓心O時(shí)，點(diǎn)D合于點(diǎn)M，點(diǎn)E合于點(diǎn)O，點(diǎn)F落在⊙O上.于是由 Rt△CFO，Rt△OCP，Rt△CPD 的斜邊不小于其直角邊得

從這里可以看出，模型1具有一般性，它真正反映了問題的本質(zhì).

模型2 如圖5，在圖2的基礎(chǔ)上，過圓心O作OE⊥AB交⊙O于點(diǎn)E，連結(jié)CE，則

此時(shí)點(diǎn) A，B在點(diǎn) C的異側(cè)，若令 AC=a，BC=b(a≥b＞0)，則

但由調(diào)和點(diǎn)列結(jié)論得

即構(gòu)造方法發(fā)生了變化.

圖5

圖6

現(xiàn)在，過點(diǎn) C作 CF⊥PD于點(diǎn) F，則由Rt△CDF得

于是由 Rt△CEO，Rt△OPC，Rt△PCF 的斜邊不小于其直角邊得

故證得不等式(1).

推廣 如圖6，當(dāng)割線ACBD離開圓心O，且滿足PC=CQ時(shí)，過圓心O作OE⊥AB于點(diǎn)E，并延長OE至點(diǎn)F，使得

其中 AC=a，BC=b(a≥b＞0)，于是

再過點(diǎn)C作CK⊥GD交GD于點(diǎn)K，得

于是由 Rt△CFE，得

在 Rt△OCE 中，CO≥EO，因?yàn)?/p>

又由 Rt△GKC，GC≥KC，得

綜上所述，證得不等式(1).

該方法為兩正數(shù)4種平均不等式鏈提供了一個(gè)“新”幾何模型，對(duì)于研究4種平均不等式鏈的本質(zhì)有重要意義.

(此文為陜西普通本科高等學(xué)校教學(xué)改革研究項(xiàng)目(09BY70);安康學(xué)院重點(diǎn)扶持學(xué)科(AZXZ0107)部分成果.)

［1］ 康宇.關(guān)于不等式鏈的函數(shù)與幾何模型［J］.數(shù)學(xué)通報(bào)，2009(11)：39-41.

［2］ 郭銳，趙臨龍.調(diào)和點(diǎn)列的妙用［J］.中學(xué)教研(數(shù)學(xué))，2010(1)：26-27.