对于任意实数,定义:F(a,b)=1/2(a+b-|a-b|)