求证增函数 (2 18:43:41)