WolframAlpha computational knowledge AI
(-1-a)^2+(3-a-2)^2=(0-a)^2+(1-a-2)^2