已知ab∈(0,1)则a+b≤1是不等式ax的平方+by的平方≥(ax+by)的平方对于任意的xy∈R恒成立的条件是?