fxy=fx fy证明在 ..单调递增