对数学模型化的一点思考王鸿(兰州市第82中730060)汤敬鹏(兰州市第57中730070)笛卡尔曾经提出过这样的设想:任何问题都可化为数学问题,任何数学问题都可化为代数问题,任何代数问题都可化为方程问题,通过解方程就可解决所有的问题
笛卡尔的设想虽然没有实现,但笛卡尔的设想却给我们一种启示,是否可以对一些不同类型的问题找出一种统一的数学模型加以解决
本文所探讨的是以梯形模型来解决几种不同类型的问题
引理1:如果在梯形ABCD中,AB∥CD,AC与BD交于O点,E、F分别在AD、BC上,EF∥AB,那么EF经过O点的充要条件是AE∶ED=AB∶DC证明:⑴必要性:∵AB∥EF∥CDEF过O点∴AE∶ED=AO∶OC=AB∶CD⑵充分性:设E’、F’分别在AD、BC上,E’F’∥AB且E’F’过O点由必要性必有AE’∶E’D=AB∶DC又∵AE∶ED=AB∶DCE在AD上∴E与E’重合同理:F与F’重合∴EF过O点引理2:在梯形ABCD中,AB∥CD,AB=a,CD=b,AC与BD交于O点,E、F分别在AD、BC上,EF∥AB,如果EF经过O点,那么点O为EF的中点且EF=证明:∵AB∥EF∥CDEF过O点EODC∴∶=AOAC∶=BOB∶D=OFDC∶EO∴=OF∴点O为EF的中点又∵EO∶DC=AO∶ACOF∶AB=OC∶ACAB=aCD=b∴即OE=∴EF=其中也称为a与b的调和平均数
将引理中的梯形特殊化为一直角梯形ABCD(如图2),AB∥CD,AD⊥AB,E、F分别在AD、BC上,BF=AB=a,CF=CD=b(a<b),M、N分别为AD、BC的中点(由于,所以E比M更靠近A点)
此梯形还有一些独特的性质:性质1:连结MB、MC,则∠BMC=90°(如图3);由此可知,以BC为直径的圆与AD相切于点M
性质2:连结AF、DF,则∠AFD=90°(如图4);性质3: