已知 函数y等于根号3减x