Quadratische Körpererweiterung/Charakteristik nicht zwei/Reine Gestalt/Fakt/Beweis

Beweis

Nach Voraussetzung ist ${}L$ ein zweidimensionaler Vektorraum über ${}K$, und darin ist ${}K=K1$ ein eindimensionaler Untervektorraum. Nach dem Basisergänzungssatz gibt es ein Element ${}y\in L$ derart, dass ${}1$ und ${}y$ eine ${}K$-Basis von ${}L$ bilden. Wir können

${}y^{2}=a+by\,$

schreiben, bzw. (da ${}2$ eine Einheit ist),

${}0=y^{2}-by-a={\left(y-{\frac {b}{2}}\right)}^{2}-{\frac {b^{2}}{4}}-a\,.$

Mit ${}x=y-{\frac {b}{2}}$ gilt also ${}x^{2}={\frac {b^{2}}{4}}+a\in K$ und ${}1$ und ${}x$ bilden ebenfalls eine ${}K$-Basis von ${}L$.

Zur bewiesenen Aussage