-(a^2*(1 + Derivative[1][y][x])^2) + (-x + y[x])^2*(1 + Derivative[1][y][x]^2)==0