非负实数y满足(根号下x的平方 2009-x