设
x = 根3* cos(a)
y = 根2* sin(a)
所以
x + 2y = 根3* cos(a) + 2根2* sin(a)
（根3）^2 + (2根2)^2 = 11
所以根据基本不等式,命题得证.
基本不等式：
m*cos(a) + n*sin(a)