应该是2EF≥AD+BC思路:只需求证EF≥(AD+BC)/2即可等好很好证明,当E、F为中点是等号成立现在证明大于符号分别取AD、BC的中点M、N,连接MN,分别过A、E、F作AG⊥BC于G,EH⊥BC于H,FI⊥BC于I,过F作FP⊥EH交EH于点P易证HG=CI,GN=AM=DM=(1/2)AD直角三角形中有斜边EF>直角边FPFP=HI=GC=NC+MD=(AD+BC)/2所以EF>(AD+BC)/2即2EF>AD+BC