x3是增函数(7个结果)
x3是增函数