已知的定义域为，且对一切正实数x，y都成立，若，则       。