已知函数对定义域内的任意都有，且当时，其导函数满足，若，则有