本帖最后由 作者 于 2008-12-17 14:59:04 编辑
我来给个几何味道浓一点的证法:$(AC+BD)^2<=2(AC^2+BD^2)=2[(AK+CK)^2+(BK+DK)^2]$, 于是$(AC+BD)^2<=2[(AK^2+DK^2)+(BK^2+CK^2)+2(AK*CK+BK*DK)]=2(AD^2+BC^2+4AK*CK)$, 而$AD^2+BC^2=AD^2+AE^2=DE^2=4R^2,AK*CK=R^2-OK^2,AC+BD<=2sqrt{2(2R^2-OK^2)}$, 最大值当$AC=BD时取到,此时O到AC,BD等距$! |