>>216
a>0, b>0, a+b=1, |x|=|y|=1
|ax+by|≦a|x|+b|y|=a+b=1