Can You Solve These Root-Based Simultaneous Equations Without Guessing?

[McLaren Rulez]

Given the simultaneous equations for real numbers x and y:

$\sqrt{x}+y=7$

and

$\sqrt{y}+x=11$

Find the solution. Guessing it is easy (the answers are 9 and 4) and the brute force way to do it is when you square and make subsitutions, ultimately leading to an equation of the fourth power in one variable.

Is there a more elegant but formal way, that doesn't require me to guess the answer?

 

[superg33k]

You can do it by substituting in each equation then solving for x or y. You still have to guess 9, but it gives you the other roots too.

$$x=(7-y)^2$$
$$y=(11-x)^2$$
After substitution I got:
$$x^4-44x^3+712x^2-5017x+12996=0$$
Factorizing out x=9
$$(x-9)(x^3-35x^2+397x-1444)=0$$
Then you can use the cubic root formula:
http://en.wikipedia.org/wiki/Cubic_function#General_formula_of_roots
But instead I used:
http://www.wolframalpha.com/input/?i=root+of+x^4-44x^3+712x^2-5017x+12996

 

[dalcde]

Maybe letting $a=\sqrt{x}$ and $b=\sqrt{y}$? I haven't tried it yet, but it might work.

 

[Bohrok]

There's the rational root theorem that'll give you all rational solutions to a polynomial.