1、對數學模型化的一點思考王鴻（蘭州市第82中730060）湯敬鵬（蘭州市第57中730070）笛卡爾曾經提出過這樣的設想：任何問題都可化為數學問題，任何數學問題都可化為代數問題，任何代數問題都可化為方程問題，通過解方程就可解決所有的問題。笛卡爾的設想雖然沒有實現，但笛卡爾的設想卻給我們一種啟示，是否可以對一些不同類型的問題找出一種統一的數學模型加以解決。本文所探討的是以梯形模型來解決幾種不同類型的問題。引理1：如果在梯形ABCD中，ABCD，AC與BD交于O點，E、F分別在AD、BC上，EFAB，那么EF經過O點的充要條件是AEEDABDC證明：必要性：ABEFCDEF過O點AEEDAOOCAB

2、CD充分性：設E、F分別在AD、BC上，EFAB且EF過O點由必要性必有AEEDABDC又AEEDABDCE在AD上E與E重合同理：F與F重合EF過O點引理2：在梯形ABCD中，ABCD，ABa，CDb，AC與BD交于O點，E、F分別在AD、BC上，EFAB，如果EF經過O點，那么點O為EF的中點且EF證明：ABEFCDEF過O點EODCAOACBOBDOFDCEOOF點O為EF的中點又EODCAOACOFABOCACABaCDb即OEEF其中也稱為a與b的調和平均數。將引理中的梯形特殊化為一直角梯形ABCD（如圖2），ABCD，ADAB，E、F分別在AD、BC上，BFABa，CFCDb（ab

3、），M、N分別為AD、BC的中點（由于，所以E比M更靠近A點）。此梯形還有一些獨特的性質：性質1：連結MB、MC，則BMC90°（如圖3）；由此可知，以BC為直徑的圓與AD相切于點M。性質2：連結AF、DF，則AFD90°（如圖4）；性質3：連結MF，則MFBC；MB、MC分別是ABC、BCD的平分線（如圖5）由性質2、3可知，以AD為直徑的圓與BC相切于點F。引理所表明的性質及上述直角梯形模型有一定的應用價值。證明重要不等式：例1：若a、bR，則證明：如圖6構造上述直角梯形，AB=a，CD=b，由引理及性質3可知EF，MF，MN根據直角三角形中直角邊小于斜邊可知：當ABC

4、D時，梯形退化為矩形，此時E與M、F與N重合，則EFMFMN（當且僅當a=b時取“”號）證明平面幾何問題：例2：已知：如圖7，在ABC中，AD是內角平分線，AG是外角平分線，求證： 證明：延長BA至C，使ACAC，作AEDG且AEDG，連結GE，作CGBG，CG交GE的延長線于GAD是ABC的內角平分線ADCCAEDG且AEDG四邊形ADGE為平行四邊形ADGG CCGGCGBG四邊形CGGC為平行四邊形CGCGAG為ABC的外角平分線由引理1、2可知AE即此例為文中例題，原證法利用三角函數相關知識證明。證明解析幾何問題：例3：已知F為拋物線y2=2px的焦點，AB為過F的直線，A、B在拋物線

5、上，A、B的縱坐標分別為y1、y2，求證：y1y2=-p2證明：不妨設y1>0、y2<0，分別過點A、B向準線作垂線，垂足為C、D，準線與x軸的交點為E，則yC=y1，yD=y2根據性質2及射影定理，必有EF2CE·DE即p2=y1(-y2)y1y2=-p2例4：已知過橢圓的右焦點F作傾斜角為的直線與橢圓交于A、B兩點（點A在點B的上方），且F分AB的比為，e為離心率，求證：cos證明：如圖10，l為右準線，F為右焦點，E為l與x軸的交點，AGl，BHl，ACx軸，設AGa，BHb由于AFeAG，BFeBH，所以，根據引理，FE，亦知當傾斜角（0，）時，cos當傾斜角（，）時，cos（）coscos當時，cos0，1，滿足cos此例題來自文，原證明方法運用了大量的坐標運算，非常復雜，運用本文性質，計算量明顯減少。另外，原文中結論為“cos” ，由本文證明過程可以發現這個結論是錯誤的。數學模型化是將不同的問題情境置于同樣的數學模型之中，用相同的數學模型解決不同背景的問題，這屬于一種聯系性的思維方式，在數學教學中，我們如果能夠經常性的引導學生進行這樣的思考，將有助于學生知識形成系統化與條理化，這對學生能力的提升是不無裨益的。參考文獻：江春蓮，彭翕成，