Ein euklidischer Körper ist ein Körper (im Sinne der Algebra), der ein geordneter Körper ist und in dem jedes nichtnegative Element eine Quadratwurzel hat.

Jeder reell abgeschlossene Körper ist euklidisch und jeder euklidische Körper ist ein pythagoreischer und formal reeller Körper.

Euklidische Körper spielen in der synthetischen Geometrie eine wichtige Rolle: Der Koordinatenkörper ${\displaystyle K}$ einer euklidischen Ebene ${\displaystyle K^{2}}$ ist stets ein euklidischer Körper, auf diesen Körpern lässt sich stets eine euklidische Ebene aufbauen. Der Begriff „Euklidische Ebene“ ist dabei etwas allgemeiner als in der üblichen Geometrie, wo die euklidische Ebene etwa durch Hilberts Axiomensystem der euklidischen Geometrie so definiert wird, dass sie zwingend eine affine Ebene über dem speziellen euklidischen Körper der reellen Zahlen ist – eine zu Hilberts System gleichwertige Formulierung in der Sprache der linearen Algebra lautet: Eine euklidische Ebene ist ein affiner Raum, dessen Vektorraum der Verschiebungen ein zweidimensionaler euklidischer Vektorraum, also isomorph zu ${\displaystyle (\mathbb {R} ^{2},\langle \cdot ,\cdot \rangle )}$ mit einem Skalarprodukt ist. Die euklidischen Ebenen der synthetischen Geometrie stehen in engem Zusammenhang mit klassischen Fragen der Konstruierbarkeit. Aus diesen Fragestellungen ergeben sich zusätzliche Axiome, wie das Winkelmesseraxiom, das die Existenz eines Bogenmaßes fordert, und das Winkelteilungsaxiom, die nicht in allen euklidischen Ebenen erfüllbar sind.

Ersetzt man in der analytisch formulierten zwei- oder dreidimensionalen, reellen euklidischen Geometrie die reellen Zahlen als Koordinatenbereich durch einen beliebigen archimedischen euklidischen Körper, dann kann man innerhalb dieser Geometrie Modelle für nichteuklidische Geometrien konstruieren, die anstelle der Axiome der Stetigkeit (Axiomengruppe V in Hilberts Axiomensystem) die etwas schwächeren Axiome des Zirkels erfüllen. In diesen Modellen der absoluten Geometrie sind dann immer noch alle Konstruktionen mit Zirkel und Lineal ausführbar.

Eine gewisse Bedeutung haben euklidische Körper als Gegenbeispiele in der Theorie der Körpererweiterungen und der Galoistheorie, daneben bei Transzendenzuntersuchungen in der Zahlentheorie.

Euklidische Körper und Ebenen tragen ihre Namen zu Ehren des antiken Mathematikers Euklid von Alexandria, wobei beide ihren Namen seinem axiomatischen Aufbau der – bis heute nach ihm benannten – euklidischen Geometrie in seinem Werk „Die Elemente“ verdanken.

Der Begriff „Euklidischer Ring“ aus der Teilbarkeitstheorie in kommutativen Ringen steht in keinem engeren inhaltlichen Zusammenhang zu den im vorliegenden Artikel beschriebenen Begriffen als dem, dass er ebenfalls nach Euklid und zwar nach dem von ihm beschriebenen euklidischen Algorithmus benannt ist.

Ein pythagoreischer Körper ${\displaystyle K}$, also ein Körper, in dem jede Summe von Quadraten wieder ein Quadrat ist, ist genau dann ein euklidischer Körper, wenn er genau die zwei Quadratklassen ${\displaystyle Q_{1}}$ und ${\displaystyle Q_{-1}}$ enthält. Zwar ist durch diese rein algebraische Definition noch keine Anordnung gegeben, aber es gibt in solchen pythagoreischen Körpern nur genau eine Möglichkeit, sie zu einem geordneten Körper zu machen und zwar durch die Definition

${\displaystyle a<b}$ genau dann, wenn ${\displaystyle b-a}$ ein Quadrat (also ein Element von ${\displaystyle Q_{1}}$) ist.

Damit kann man diese „kanonische Anordnung“ als durch die algebraische Struktur gegeben ansehen. In den folgenden Definitionen sollen alle Körper, die nur eine Anordnung zulassen, die dann immer diese kanonische ist, als so angeordnet angesehen werden.

Ein Körper ${\displaystyle K}$ ist genau dann euklidisch, wenn er

• ein geordneter pythagoreischer Körper mit genau zwei Quadratklassen,
• ein pythagoreischer Körper mit genau zwei Quadratklassen ${\displaystyle Q_{1}}$ und ${\displaystyle Q_{-1}}$,
• ein formal reeller Körper mit genau zwei Quadratklassen,
• ein Körper der Charakteristik 0 mit genau zwei Quadratklassen ${\displaystyle Q_{1}}$ und ${\displaystyle Q_{-1}}$
• ein formal reeller Körper, der keine formal reelle, quadratische Körpererweiterung zulässt oder
• geordnet, ${\displaystyle K^{+}=(K\setminus \{0\})^{2}}$ seine Ordnung (Menge seiner positiven Zahlen), ${\displaystyle K^{+}}$ eine Untergruppe vom Index 2 in seiner multiplikativen Gruppe und seine Charakteristik 0

ist.

Ein euklidischer Körper ${\displaystyle K}$

• hat stets die Charakteristik 0,
• enthält immer unendlich viele Elemente,
• ist nie algebraisch abgeschlossen,
• ist stets formal reell und pythagoreisch,
• enthält zu jeder reinquadratischen Gleichung ${\displaystyle X^{2}-c=0\!\,\ (c\in K,c>0)}$ genau zwei verschiedene Lösungen,
• kann auf genau eine Art angeordnet werden,
• ist genau dann reell abgeschlossen, wenn ${\displaystyle K(i)}$ algebraisch abgeschlossen ist,
• besitzt als einzigen Körperautomorphismus die identische Abbildung (ist ein starrer Körper).

Eine Verschärfung der letztgenannten Eigenschaft: Ist ${\displaystyle K<L}$ eine Körpererweiterung und ist ${\displaystyle K}$ ein euklidischer und ${\displaystyle L}$ ein formal reeller Körper, dann gibt es genau eine Einbettungsabbildung von ${\displaystyle K}$ nach ${\displaystyle L}$.

Und eine Folgerung der letztgenannten Eigenschaft: Eine Körpererweiterung ${\displaystyle K<L}$ mit einem euklidischen Erweiterungskörper ${\displaystyle L}$ ist genau dann galoissch über ${\displaystyle K}$, wenn ${\displaystyle K=L}$ ist.

In geometrischen Anwendungen sind euklidische Körper meist Teilkörper der reellen Zahlen und also archimedisch angeordnet. Dass dies nicht notwendig so sein muss, zeigt das Beispiel der hyperreellen Zahlen.

Das Hauptbeispiel eines euklidischen Körpers bildet ${\displaystyle \mathbb {R} }$, der Körper der reellen Zahlen.

Daneben gelten als wichtige Beispiele:

• die reellen algebraischen Zahlen ${\displaystyle \mathbb {A} \cap \mathbb {R} }$ (das sind die reellen Zahlen im algebraischen Abschluss ${\displaystyle \mathbb {A} }$ des Körpers der rationalen Zahlen ${\displaystyle \mathbb {Q} }$),
• die hyperreellen Zahlen.

Für jede Teilmenge ${\displaystyle M}$ von ${\displaystyle \mathbb {R} }$, die ${\displaystyle \mathbb {Z} }$ enthält, ist die Menge der aus ${\displaystyle M}$ „mit Zirkel und Lineal konstruierbaren“ reellen Zahlen ein euklidischer Körper. Dieser Körper ist der kleinste euklidische Körper, in dem ${\displaystyle M}$ als Teilmenge enthalten ist, und für ${\displaystyle M=\mathbb {Z} }$ der kleinste euklidische Körper ${\displaystyle E}$ überhaupt: Jeder euklidische Körper enthält einen zu ${\displaystyle E}$ isomorphen Teilkörper.

• Der genannte kleinste euklidische Körper ${\displaystyle E}$ besteht genau aus denjenigen reellen algebraischen Zahlen ${\displaystyle c}$, für die ein Turm von quadratischen Körpererweiterungen ${\displaystyle \mathbb {Q} \!\,=K_{0}\subsetneq K_{1}\subsetneq \ldots \subsetneq K_{m}}$ existiert, so dass ${\displaystyle c\in K_{m}}$ und ${\displaystyle K_{k+1}=K_{k}({\sqrt {\alpha _{k}}})}$ für ein ${\displaystyle \alpha _{k}\in K_{k}}$ ist. Notwendig für die Existenz des Turms ist dabei, dass der Erweiterungsgrad der Körpererweiterung ${\displaystyle \mathbb {Q} (c)/\mathbb {Q} }$ eine Potenz von 2 ist ${\displaystyle \left(\left[\mathbb {Q} (c):\mathbb {Q} \right]=2^{r};r\in \mathbb {N} _{0}\right)}$.
• Der euklidische Körper der aus einer Menge ${\displaystyle M}$ ${\displaystyle \left(\mathbb {Z} \subseteq M\subseteq \mathbb {R} \right)}$ mit Zirkel und Lineal konstruierbaren Zahlen besteht genau aus denjenigen reellen und über ${\displaystyle \mathbb {Q} (M)}$ algebraischen Zahlen ${\displaystyle c}$, für die ein entsprechender Turm über ${\displaystyle K_{0}=\mathbb {Q} (M)}$ existiert, und der Grad von ${\displaystyle c}$ über ${\displaystyle K_{0}}$ ist dann notwendig eine Potenz von 2.

Dass die beschriebenen Mengen tatsächlich Körper sind, das heißt, dass mit 2 Elementen mit der angegebenen Eigenschaft auch deren Summe und Produkt etc. die geforderte Eigenschaft hat, ist am einfachsten geometrisch einzusehen. → Siehe konstruierbares Polygon.

In allen Fällen sind die euklidischen Körper über ${\displaystyle \mathbb {Q} }$ unendlichdimensionale ${\displaystyle \mathbb {Q} }$-Vektorräume, das heißt Körpererweiterungen unendlichen Grades.

• ${\displaystyle \mathbb {Q} }$ ist ein Beispiel für einen formal reellen Körper, der nicht euklidisch ist.
• Der kleinste euklidische Körper ${\displaystyle E}$ ist euklidisch, aber nicht reell abgeschlossen, da die Nullstellen von ${\displaystyle X^{3}-2}$ im algebraischen Abschluss von ${\displaystyle \mathbb {Q} }$ alle den Grad 3 über ${\displaystyle \mathbb {Q} }$ haben und daher nicht in ${\displaystyle E}$ liegen, damit kann auch ${\displaystyle E(i)}$ nicht algebraisch abgeschlossen sein.

Euklidische Ebenen in der synthetischen Geometrie erfüllen alle Axiome der Axiomengruppen I bis IV in Hilberts Axiomensystem, aber nicht immer die beiden Stetigkeitsaxiome, die die Gruppe V bilden:

• V.1. (Axiom des Messens oder Archimedisches Axiom). Sind AB und CD irgendwelche Strecken, so gibt es eine Anzahl n derart, dass das n-malige Hintereinanderabtragen der Strecke CD von A aus auf den durch B gehenden Halbstrahl über den Punkt B hinausführt.
• V.2. (Axiom der (linearen) Vollständigkeit) Zu den Punkten einer Geraden können, bei Erhalt ihrer Anordnungs- und Kongruenzbeziehungen, keine weiteren Punkte hinzugefügt werden, ohne dass die unter den vorherigen Elementen bestehenden Beziehungen, die aus den Axiomen I-III folgenden Grundeigenschaften der linearen Anordnung und Kongruenz oder aber das Axiom V.1 verletzt werden.

In der Nonstandardmathematik (siehe Internal Set Theory) kann das archimedische Axiom übertragen werden: Anstelle einer endlichen Anzahl ${\displaystyle n\in \mathbb {N} }$ von Abtragungen, wird dann in der Nonstandardversion die hyperendliche Anzahl ${\displaystyle n}$ in der inneren Menge ${\displaystyle \mathbb {N} ^{*}}$ zugelassen. Für diese euklidischen Ebenen sind dann (bei entsprechender Übertragung aller anderen Axiome, die auf unendliche Teilmengen der Ebene oder endliche Zählmengen mit unbestimmter Anzahl Bezug nehmen) genau die reelle und die hyperreelle euklidische Ebene ein Modell. - In dieser hyperreellen euklidischen Ebene kann ein reguläres Vieleck auch eine wohlbestimmte hyperendliche Anzahl von Ecken haben. Die synthetische Standardgeometrie liefert auch über dem euklidischen Körper der hyperreellen Zahlen nicht diese Geometrie.

In der Standardgeometrie werden die Axiome der Stetigkeit durch Axiome des Zirkels ersetzt, die gewährleisten, dass die Konstruktionen mit Zirkel und Lineal niemals aus dem Koordinatenbereich herausführen. Dann erfüllen genau die Ebenen über euklidischen Körpern, wie sie in diesem Artikel beschrieben sind, das neue Axiomensystem.

Ein anderes Axiomensystem, das diese euklidischen Ebenen beschreibt, erhält man, wenn man zusätzlich zu den Axiomen einer pythagoreischen Ebene das folgende euklidische Anordnungsaxiom hinzunimmt:

(E) Es gibt eine Anordnung „zwischen“, so dass von drei verschiedenen kollinearen Punkten, ${\displaystyle A,B,D}$ genau dann ${\displaystyle D}$ zwischen ${\displaystyle A}$ und ${\displaystyle B}$ liegt, wenn sich über der Strecke ${\displaystyle AB}$ ein bei ${\displaystyle C}$ rechtwinkliges Dreieck ${\displaystyle ABC}$ mit dem Höhenfußpunkt ${\displaystyle D}$ errichten lässt.^[1]

Die Anordnung „zwischen“ auf Geraden der Ebene muss natürlich die anderen, von den Anordnungen auf einer pythagoreischen Ebene geforderten geometrischen Eigenschaften erfüllen, woraus dann folgt, dass sie von einer der in formal reellen pythagoreischen Körpern stets möglichen Körperanordnungen induziert wird.

Eine affine Ebene ist genau dann euklidisch (im Sinne der synthetischen Geometrie), wenn sie eine pythagoreische Ebene ist und (E) erfüllt. Jede Koordinatenebene ${\displaystyle K^{2}}$ über einem euklidischen Körper wird durch die Anordnung, die von der in ${\displaystyle K}$ einzig möglichen Körperanordnung induziert wird, und durch die (bis auf Koordinatentransformation) einzig mögliche Orthogonalität zu einer solchen euklidischen Ebene. Jede euklidische Ebene ist isomorph zu einer solchen Koordinatenebene über einem euklidischen Körper.

Seiner Form nach fordert das Euklidische Anordnungsaxiom nur, dass die Anordnung der Ebene, deren Existenz das Axiom fordert, mit der auf der pythagoreischen Ebene definierten Orthogonalitätsrelation verträglich sei. Es ist bemerkenswert, dass diese „anschaulich selbstverständliche“ Verträglichkeitsforderung impliziert, dass überhaupt nur eine Anordnung der Ebene möglich ist und dass die Ebene unter Konstruktionen mit Zirkel und Lineal abgeschlossen ist.^[2]

• Eine „stark“ angeordnete, pappussche Ebene ist immer isomorph zu einer Koordinatenebene über einem geordneten Körper. Solche Körper enthalten immer wenigstens die zwei Quadratklassen ${\displaystyle Q_{1}}$ und ${\displaystyle Q_{-1}}$. Daher kann auf der Ebene stets eine Orthogonalitätsrelation definiert werden. (→Präeuklidische Ebene).
• Die Orthogonalitätsrelation muss für eine pythagoreische Ebene so beschaffen sein, dass jeder Winkel der Ebene halbiert werden kann (die Ebene muss frei beweglich sein), also speziell jeder rechte Winkel, woraus die Existenz von Quadraten folgt und damit, dass die Orthogonalitätskonstante quadratisch äquivalent zu ${\displaystyle -1}$ ist. (→Präeuklidische Ebene#Quadrate).
• Gerade unter diesen Voraussetzungen existieren noch unendlich viele verträgliche Orthogonalitätsrelationen: Wählt man ein festes Bezugssystem ${\displaystyle (O,E_{1},E_{2})}$, dann liefert jede Zahl ${\displaystyle c<0}$ im geordneten Körper als Orthogonalitätskonstante (bezogen auf dieses Koordinatensystem) eine andere Orthogonalitätsrelation! Jede dieser Orthogonalitätsrelationen führt in einer euklidischen Ebene aber, wenn man (E) zur Definition der Anordnung verwendet, zur gleichen Anordnung der Ebene.

Die Beispiele für euklidische Körper machen deutlich, wodurch die Verallgemeinerung der reellen ebenen Geometrie motiviert ist: Die euklidischen Ebenen spiegeln wider, welche Konstruktionen bei bestimmten Vorgaben der Menge ${\displaystyle M}$ möglich sind. Figuren, die sich aus ${\displaystyle M}$ nicht mit Zirkel und Lineal konstruieren lassen, sind in der aus ${\displaystyle M}$ konstruierten euklidischen Ebene einfach nicht vorhanden! Während der reelle Abschluss von ${\displaystyle \mathbb {Q} (M)}$ sozusagen der größte über ${\displaystyle \mathbb {Q} (M)}$ algebraische Körper ist, auf dem eine euklidische Ebene (im Sinn der synthetischen Geometrie) aufgebaut werden kann, die die „Vorgabelängen“ enthält, sind die in den Beispielen genannten euklidischen Körper die kleinsten Körper mit diesen Eigenschaften.

Eine euklidische Ebene ist genau dann archimedisch angeordnet (kurz: archimedisch), erfüllt also das Axiom V.1 des Messens, wenn ihr Koordinatenkörper ein archimedischer (kurz für: archimedisch geordneter) Körper ist. Dies ist offensichtlich genau dann der Fall, wenn dieser euklidische Körper ${\displaystyle K}$ zu einem Teilkörper der reellen Zahlen isomorph ist. In diesem Fall gibt es – aufgrund der algebraisch eindeutig bestimmten Anordnung von ${\displaystyle K}$ − genau eine Einbettung ${\displaystyle \iota :K\hookrightarrow \mathbb {R} }$ und der Körper kann stets mit dem „reellen Modell“ ${\displaystyle \iota (K)\subseteq \mathbb {R} }$ identifiziert werden.

Ein „kleines“ und geometrisch allenfalls für Gegenbeispiele interessantes Modell eines nicht archimedischen euklidischen Körpers erhält man, wenn man den rationalen Funktionenkörper in einer Variablen ${\displaystyle \mathbb {Q} (t)}$ über den rationalen Zahlen (mit der Anordnung ${\displaystyle -t<(\mathbb {Q} ,<)<+t}$ usw.) analog zu der oben für ${\displaystyle \mathbb {Q} }$ beschriebenen Konstruktion innerhalb seines algebraischen Abschlusses reellquadratisch abschließt.

In der analytischen Geometrie werden unter anderem

1. Normalformen für die affinen Selbstabbildungen eines affinen Raumes, speziell die Affinitäten auf diesem Raum,
2. Normalformen für quadratische Formen und die zugehörigen Quadriken

bestimmt. In beiden Aspekten verhält sich die euklidische Ebene über einem archimedischen euklidischen Körper ${\displaystyle K}$, der hier mit seinem „reellen Modell“ identifiziert wird, im Wesentlichen wie die affine bzw. euklidische Ebene über ${\displaystyle \mathbb {R} }$, denn ausschlaggebend ist hier die Existenz (oder Nichtexistenz) von Eigenwerten zu ${\displaystyle 2\times 2}$-Matrizen mit Einträgen aus ${\displaystyle K}$. Eigenwerte, die hier die Nullstellen eines charakteristischen Polynoms vom Grad 2 sind, existieren für solche Matrizen genau dann in ${\displaystyle K}$, wenn sie in ${\displaystyle \mathbb {R} }$ existieren! Jede ${\displaystyle 2\times 2}$-Matrix mit Einträgen aus ${\displaystyle K}$, die reell diagonalisierbar ist, ist auch über ${\displaystyle K}$ diagonalisierbar, hat sie eine jordansche Normalform über ${\displaystyle \mathbb {R} }$, dann ist sie auch über ${\displaystyle K}$ zu dieser jordanschen Normalform ähnlich.

Besonders für quadratische Formen und Quadriken ist bedeutsam, dass eine symmetrische ${\displaystyle 2\times 2}$-Matrix mit Einträgen aus ${\displaystyle K}$ durch eine Orthogonalmatrix mit Einträgen aus ${\displaystyle K}$ diagonalisiert werden kann. Die Eigenwerte dieser euklidischen Normalform sind dann entweder 0 oder quadratisch äquivalent zu −1 oder 1. Daher existieren in der euklidischen Ebene über ${\displaystyle K}$ ebenso viele affine Äquivalenzklassen von Quadriken, wie über der reellen Koordinatenebene. (→ Siehe Hauptachsentransformation)

Dies stimmt im Allgemeinen nur im zweidimensionalen affinen Raum über ${\displaystyle K}$, also in der Ebene.

Für eine übersichtliche Darstellung wird ein euklidischer Körper ${\displaystyle K}$ im Folgenden als Teilkörper von ${\displaystyle \mathbb {R} }$ aufgefasst, auch wenn analoge Konstruktionen auch für nicht archimedische euklidische Ebenen und Körper möglich sind. Die hier dargestellte Einführung eines Bogenmaßes bedeutet, dass auf einer Ebene, aus der Konstruktionen mit Zirkel und Lineal nicht herausführen, die also eine euklidische Ebene ist, ein zusätzliches Konstruktionswerkzeug „Winkelmesser“ eingeführt wird, mit dem es möglich ist, Bogenlängen (Winkelmaße) auf Strecken „abzuwickeln“.

Dazu wird die orientierte euklidische Ebene ${\displaystyle A}$ über ${\displaystyle K}$ mit der Zahlenebene ${\displaystyle A=K(i)\subset \mathbb {R} (i)=\mathbb {C} }$ identifiziert. Die Orientierung von ${\displaystyle A}$ und damit ${\displaystyle \mathbb {R} ^{2}}$ hat den technischen Zweck, dass die Identifizierung von ${\displaystyle \mathbb {R} ^{2}}$ mit ${\displaystyle \mathbb {C} }$ im richtigen Drehsinn erfolgt, so dass Drehungen im mathematisch positiven Sinn das richtige Vorzeichen erhalten. Eine Drehung ${\displaystyle w_{\alpha }}$ der Punktebene ${\displaystyle \mathbb {R} ^{2}}$ um den Ursprung kann dann durch die Multiplikation mit einer komplexen Zahl ${\displaystyle z=e^{i\alpha }}$ dargestellt werden:

${\displaystyle w_{\alpha }(x+iy)=e^{i\alpha }\cdot (x+iy)=(\cos \alpha +i\sin \alpha )\cdot (x+iy)}$.

Damit entspricht jede Drehung ${\displaystyle w_{\alpha }}$ der reellen Ebene um den Ursprung umkehrbar eindeutig einer Zahl ${\displaystyle e^{i\alpha }=a+ib}$ auf dem komplexen Einheitskreis ${\displaystyle \mathbf {E} \mathbb {R} =\lbrace (a+ib)|a,b\in \mathbb {R} ,a^{2}+b^{2}=1\rbrace }$. Dieser Einheitskreis ist zugleich als Untergruppe von ${\displaystyle (\mathbb {C} ^{*},\cdot )}$ isomorph zur Gruppe ${\displaystyle D_{O}(\mathbb {R} ^{2})}$ der Drehungen um den Ursprung und ${\displaystyle \alpha }$ liefert für die Drehung ${\displaystyle w_{\alpha }}$ um den Winkel ${\displaystyle \alpha }$ und damit für jeden orientierten Winkel ein (orientiertes) Bogenmaß (ein orientiertes Winkelmaß im üblichen Sinn) ${\displaystyle \alpha }$, das bis auf die Addition von Vielfachen des Vollwinkelmaßes ${\displaystyle 2\pi }$ eindeutig ist.

Die Gruppe der Drehungen der euklidischen Ebene ${\displaystyle A\subset \mathbb {C} }$ um den Ursprung ist isomorph zu der Untergruppe ${\displaystyle \mathbf {E} K=\lbrace (a+ib)|a,b\in K,a^{2}+b^{2}=1\rbrace <\mathbf {E} \mathbb {R} <\mathbb {C} ^{*}.}$

Man definiert: Ein surjektiver Homomorphismus

${\displaystyle \psi :(K,+)\rightarrow \!\,({\mathbf {E} }K,\cdot )}$

mit der Eigenschaft, dass ein Element ${\displaystyle p\in K,p>0}$ existiert, so dass der Realteil ${\displaystyle \operatorname {Re} (\psi )}$ das Intervall ${\displaystyle [0,p]\cap K}$ bijektiv und streng monoton fallend auf das Intervall ${\displaystyle [-1,1]\cap K}$ abbildet und ${\displaystyle \psi \left(p/2\right)=i}$ ist, wird ein Bogenmaß auf der euklidischen Ebene ${\displaystyle A}$ genannt. Die Zahl ${\displaystyle p}$ heißt die Kreiszahl des Bogenmaßes.

Natürlich können bei jeder Koordinatenebene über einem Teilkörper von ${\displaystyle \mathbb {R} }$ die Drehungen und Winkel durch reelle Maßzahlen beschrieben werden. Das Entscheidende ist hier, dass jeder Klasse von gleich langen Strecken mit der Länge ${\displaystyle l}$ in der euklidischen Ebene, wobei ${\displaystyle 0\leq l<2p}$ ist, durch das Bogenmaß umkehrbar eindeutig eine Drehung der Ebene ${\displaystyle \psi (l)}$ entspricht und die Addition von Zahlen, das heißt das Hintereinanderabtragen solcher Strecken mit der Komposition der zugehörigen Drehungen übereinstimmt!

Die Existenz eines Bogenmaßes ist ein zusätzliches Axiom in der synthetischen Geometrie für euklidische Ebenen, es wird auch als Winkelmesseraxiom^[3] bezeichnet. Seine Gültigkeit ist unabhängig von den übrigen Axiomen, die kleinste euklidische Ebene besitzt kein Bogenmaß, ebenso wenig die Ebene über dem Körper ${\displaystyle \mathbb {A} \cap \mathbb {R} }$ der reellen algebraischen Zahlen.^[4]

In einer orientierten, archimedisch angeordneten euklidischen Ebene mit Bogenmaß gibt es zu jeder Zahl ${\displaystyle p\in K,p>0}$ genau ein Bogenmaß, das ${\displaystyle p}$ als Kreiszahl hat. Dieses Bogenmaß bestimmt ein orientiertes Winkelmaß, das heißt für zwei Drehungen ${\displaystyle \psi (l_{1}),\psi (l_{2})}$ ist ${\displaystyle l_{1}\equiv \pm l_{2}\;\operatorname {mod} \;2p}$ genau dann, wenn sie gleich (für „${\displaystyle +}$“) bzw. invers zueinander (für „${\displaystyle -}$“) sind.

In der orientierten Ebene ${\displaystyle \mathbb {R} ^{2}}$ sind genau die Homomorphismen ${\displaystyle \psi _{c}(t)=e^{ict},\;c>0}$ Bogenmaße im Sinne der synthetischen Geometrie, ihre Kreiszahl ist dann ${\displaystyle p=\pi /c}$.

In einer euklidischen Ebene mit Bogenmaß

1. existiert zu jeder natürlichen Zahl ${\displaystyle n\geq 3}$ ein regelmäßiges ${\displaystyle n}$-Eck,
2. gibt es zu jeder Drehung ${\displaystyle w_{\alpha }}$ und jeder natürlichen Zahl ${\displaystyle n\geq 1}$ eine Drehung ${\displaystyle w_{\alpha /n}}$ mit ${\displaystyle \left(w_{\alpha /n}\right)^{n}=w_{\alpha }}$.

Die zweite Aussage, die gelegentlich als Winkelteilungsaxiom bezeichnet wird, impliziert die erste. Beide Eigenschaften hat die kleinste euklidische Ebene nicht, während die euklidische Ebene über den reellen algebraischen Zahlen beide erfüllt. Sie sind also keine hinreichenden Bedingungen für die Existenz eines Bogenmaßes.

Hinreichend für die Existenz eines Bogenmaßes ist, dass die Einschränkungen der Winkelfunktionen ${\displaystyle \cos }$ und ${\displaystyle \sin }$ auf den euklidischen Körper ${\displaystyle K}$ nur Bilder in ${\displaystyle K}$ haben. Mit dieser Beobachtung lässt sich ein (als Menge) abzählbarer euklidischer Körper konstruieren, dessen Koordinatenebene ein Bogenmaß besitzt.^[5]

• Wendelin Degen, Lothar Profke: Grundlagen der affinen und euklidischen Geometrie. Teubner, Stuttgart 1976, ISBN 3-519-02751-8.
• Hans Freudenthal: Mathematik als pädagogische Aufgabe. Band 1. Klett, Stuttgart 1973, ISBN 3-12-983220-3.
• Thomas W. Hungerford: Algebra (= Graduate Texts in Mathematics. Bd. 73). 5th printing. Springer, New York NY u. a. 1989, ISBN 0-387-90518-9.
• Theodor Schneider: Einführung in die transzendenten Zahlen (= Die Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen. Bd. 81, ISSN 0072-7830). Springer, Berlin u. a. 1957.
• Bartel Leendert van der Waerden: Algebra (= Heidelberger Taschenbücher. Bd. 12) Band 1. 8. Auflage. Springer, Berlin u. a. 1971, ISBN 3-540-03561-3.

1. ↑ Degen, Profke: Grundlagen der affinen und euklidischen Geometrie. 1976, S. 149.
2. ↑ Degen, Profke: Grundlagen der affinen und euklidischen Geometrie. 1976, S. 149 ff.
3. ↑ Freudenthal: Mathematik als pädagogische Aufgabe. Band 1. 1973, S. 292 ff.
4. ↑ Theodor Schneider: Transzendenzuntersuchungen periodischer Funktionen I. Transzendenz von Potenzen. In: Journal für die reine und angewandte Mathematik. Bd. 172, H. 2, 1935, ISSN 0075-4102, S. 65–69, Digitalisat.
5. ↑ Degen, Profke: Grundlagen der affinen und euklidischen Geometrie. 1976, S. 173 f.