方程x+y=arctan(x-y)两边同时对x求导得：
1+y'=[1/(1+(x-y)^2)](1-y')
移向整理得：y'=-(x-y)^2/(2+(x-y)^2)
dy=-[(x-y)^2/(2+(x-y)^2)]dx