x 便宜、y 昂贵的加权二次规划

最小化 $1x^2+3y^2$，约束为 $x+y\ge 4$。求 $(x^*,y^*)$ 以及 KKT 乘子。