函数性质的综合