WolframAlpha computational knowledge AI
solve (a-x)^2+a^2=25, x^2+y^2=9, (a-y)^2+a^2=16