This is a special case of a nice result due to David Hilbert:

**Problem**. Let be a field and with Solve the equation in

**Solution**. The claim is that is the solution set of the equation. If then, since we have Conversely, suppose that If then, since there exists some such that Let Then and hence So we may assume that Let Then

and thus

Advertisements