I'm trying to understand Wantzel's original proof of the necessary condition for constructibility with a straightedge and compass. It's expressed in terms of polynomials rather than field extensions. It's outlined on page 7 of this PDF.
There's a point that I don't understand (I've read the original 1837 paper and it's no clearer there). Wantzel has a finite sequence of quadratic polynomials such that the coefficients of each polynomial are rational functions of the roots of all of the previous equations. He now wants to basically "fold up" the sequence into a single polynomial of degree $2^n$.
I'm going to introduce a little bit of notation here and use $R$ to indicate an arbitrary rational function, just like how $o(x)$ means an arbitrary function that's infinitesimal compared to $x$. In particular, $R$ may represent two distinct rational functions even within the same formula.
If the last two equations are:
$$\begin{align} R(x_1...x_{n-2})x_{n-1}^2+R(x_1...x_{n-2})x_{n-1}+R(x_1...x_{n-2})&=0 \\ R(x_1...x_{n-1})x_n^2+R(x_1...x_{n-1})x_n+R(x_1...x_{n-1})&=0 \end{align}$$
Then what Wantzel does is take the two roots of the first equation, and consider the two possible values that the LHS of the second equation might take on when these two values are substituted for $x_{n-1}$. He then multiplies them together, and claims that this eliminates the $x_{n-1}$, in other words that he now has a polynomial of degree $4$ where each coefficient is $R(x_1...x_{n-2})$. Note that Wantzel previously claimed that all of the rational functions in the problem can be assumed to be linear functions.
Now of course, if you multiply together the two roots to a quadratic equation with coefficients in a given field $F$, you'll obtain a value in $F$. But here the two roots are wrapped up inside rational functions, which are then used as coefficients in quadratic polynomials, and yet somehow this still allegedly works. Explicit calculation seems to indicate that it's false in general, which makes me think I might have misunderstood the proof.