Let K be any quafratic extension of . So, , as deg , the elements are linearly depend over . Thus , with , by quadratic formula. , with , alpha in , contraditing, Set,
Then beta in K and Using this element , we construct a field isomorphism between K and C, the field of complex numbers.
Now, , with
So, the map with in is the required field isomorphism between K and Next , we showthat there is no field extension K of degree 3 over R. If and , then alpha satisfies an equation o the form with and is irreducible over Completing the proof by arriving at a contradiction. Complex root of with occur in pairs. Hence, has a real root, which contradicts f(x) being irreducible over .
This proves that there is no filed K with