不等式的魔法日常

一道題目

  在矩形ABCD中,邊長為4。以AB為半徑作弧ACE為弧上一動點,過點E作弧的切線MN,交ADM,交CDN。求問:E在移動過程中,S_{triangle MDN}的最大值為多少?

答案

  當MD=ND=8-4sqrt 2時,有S_{triangle MDN_{max}}=48-32sqrt 2

如何表示面積?

  我們不妨設AMxCNy。容易證得ME=AMNE=CN。則我們可以列得勾股方程:(4-x)^2+(4-y)^2=(x+y)^2

  展開整理得:begin{align}16-8x+x^2+16-8y+y^2&=x^2+2xy+y^2n32-8x-8y&=2xyn32-8x&=(2x+8)yny&=frac{32-8x}{2x+8}ny&=frac{16-4x}{x+4}end{align}

  我們有S=frac 1 2(4-x)(4-y),但是接下來問題來了:y是以關於x的一個分式表示的。

  我們能把這個式子處理一下嗎?

  不妨先將常數提取出來:begin{align}y&=frac{-4x-16+32}{x+4}ny&=-4+frac {32} {x+4}end{align}

  移項:y+4=frac {32} {x+4}

  若令x=x+4y=y+4,則有:xy=32

  很好,我們得到了一個反比例函數。將x=x-4y=y-4帶入S=frac 1 2(4-x)(4-y)可得:begin{align}S&=frac 1 2(4-x+4)(4-y+4)n&=frac 1 2(8-x)(8-y)n&=frac 1 2(64+xy-8x-8y)n&=frac 1 2[96-8(x+y)]n&=48-4(x+y)end{align}

  因為S取最大值,所以當(x+y)取最小值時有S_{max}。於是,我們現在的問題變成了:已知xy=32,求(x+y)_{min}

均值不等式

  均值不等式:frac n {sum_{i=1}^n frac 1 {x_i}} leq sqrt[n]{prod_{i=1}^n x_i} leq frac {sum_{i=1}^n x_i} n leq sqrt{frac{sum_{i=1}^n x_i^2}n}

  其中第一項稱為調和平均數,第二項稱為幾何平均數,第三項稱為算術平均數,第四項稱為平方平均數。中間兩項稱為算術—幾何均值不等式

  當n=2時,我們有:frac 2 {frac 1 x+frac 1 y} leq sqrt{xy} leq frac {x+y} 2 leq sqrt{frac{x^2+y^2}2}

  我們只需要用到中間兩項(即算術—幾何均值不等式的特殊情況):sqrt{xy} leq frac {x+y} 2

  如何證明?

begin{align}(x-y)^2 &geq 0nx^2+y^2+2xy &geq 4xyn(x+y)^2 &geq 4xynx+y &geq 2sqrt{xy}end{align}

  不難發現在x=y時滿足上式取等。則:(x+y)_{min}=2sqrt{xy}

  此時x=y=sqrt{xy}。回到之前的問題,我們知道xy=32,可得:(x+y)_{min}=2sqrt{xy}=8sqrt 2

  將其代入S可得:S_{max}=48-4(x+y)_{min}=48-32sqrt 2

  當然,這道題還有其它解法,例如轉化成關於x的二次方程求滿足有解時S的範圍得到答案,由於這種方法太複雜,此處不討論。

附加題

  已知在凸透鏡成像中,像距為u,物距為v,焦距為f,三者滿足frac 1u+frac 1v=frac 1f。求(u+v)_{min}的值?(用含f的代數式表示)

解析

  將原式變形:nbegin{align}frac 1u+frac 1v&=frac 1fnfrac {u+v}{uv}&=frac 1fn(u+v)f&=uvend{align}

  根據算術—幾何均值不等式:begin{align}frac {u+v}2 &geq sqrt{uv}nfrac {(u+v)^2} 4 &geq uvend{align}

  將uv=(u+v)f代入:frac {(u+v)^2} 4 geq (u+v)f

  因為u+v > 0begin{align}(u+v)^2 &geq 4(u+v)fnu+v &geq 4fend{align}

  所以有(u+v)_{min}=4f

  本文同步發表於我的博客。

  本人才疏學淺,難免有錯漏之處,請於評論區指正,謝謝。

  版權所有,轉載請聯繫作者,禁止任何形式的未經授權的轉載。


推薦閱讀:

如何證明經濟學中的70規則?
也談「為什麼(-1)×(-1)=1」
關於無窮積分的一個命題?

TAG:数学 | 趣味数学 |