解析函数的等价命题