Skip to main content
Mathematics LibreTexts

11.1: Neutral plane

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Let us remove Axiom V from our axiomatic system. This way we define a new object called neutral plane or absolute plane. (In a neutral plane, the Axiom V may or may not hold.)

    Clearly, any theorem in neutral geometry holds in Euclidean geometry. In other words, the Euclidean plane is an example of a neutral plane. In the next chapter we will construct an example of a neutral plane that is not Euclidean.

    In this book, the Axiom V was used starting from Chapter 6. Therefore all the statements before hold in neutral geometry.

    It makes all the discussed results about half-planes, signs of angles, congruence conditions, perpendicular lines and reflections true in neutral geometry.

    Let us give an example of a theorem in neutral geometry that admits a simpler proof in Euclidean geometry.

    Theorem \(\PageIndex{1}\) Hypotenuse-leg congruence condition

    Assume that triangle \(ABC\) and \(A'B'C'\) have right angles at \(C\) and \(C'\) respectively, \(AB = A'B'\) and \(AC = A'C'\). Then \(\triangle ABC \cong \triangle A'B'C'\).


    Euclidean proof. By the Pythagorean theorem \(BC = B'C'\). Then the statement follows from the SSS congruence condition.

    The proof of the Pythagorean theorem used properties of similar triangles, which in turn used Axiom V. Therefore this proof does not work in a neutral plane.

    Neutral proof. Suppose that \(D\) denotes the reflection of \(A\) across \((BC)\) and \(D'\) denotes the reflection of \(A'\) across \((B'C')\). Note that

    \(AD = 2 \cdot AC = 2 \cdot A'C' = A'D'\), \(BD = BA = B'A' = B'D'.\)

    By SSS congruence condition (Theorem 4.4.1), we get that \(\triangle ABD \cong \triangle A'B'D'\).

    The statement follows, since \(C\) is the midpoint of \([AD]\) and \(C'\) is the midpoint of \([A'D']\).

    截屏2021-02-22 下午3.53.23.png

    Exercise \(\PageIndex{1}\)

    Give a proof of Exercise 8.7.1 that works in the neutral plane.


    Suppose that \(D\) denotes the midpoint of \([BC]\). Assume \((AD)\) is the angle bisector at \(A\).

    Let \(A' \in [AD)\) be the point distinct from \(A\) such that \(AD = A'D\). Note that \(\triangle CAD \cong \triangle BA'D\). In particular, \(\measuredangle BAA' = \measuredangle AA'B\). It remains to apply Theorem 4.3.1 for \(\triangle ABA'\).

    Exercise \(\PageIndex{2}\)

    Let \(ABCD\) be an inscribed quadrangle in the neutral plane. Show that

    \(\measuredangle ABC + \measuredangle CDA \equiv \measuredangle BCD + \measuredangle DAB.\)


    The statement is evident if \(A, B, C\), and \(D\) lie on one line. In the remaining case, suppose that \(O\) denotes the circumcenter. Apply theorem about isosceles triangle (Theorem 4.3.1) to the triangles \(AOB, BOC, COD, DOA\).

    (Note that in the Euclidean plane the statement follows from Corollary 9.3.2 and Exercise 7.4.5, but one cannot use these statements in the neutral plane.)

    Note that one cannot use the Corollary 9.3.2 to solve the exercise above, since it uses Theorem 9.1.1 and Theorem 9.2.1, which in turn uses Theorem 7.4.1.

    This page titled 11.1: Neutral plane is shared under a CC BY-SA 4.0 license and was authored, remixed, and/or curated by Anton Petrunin via source content that was edited to the style and standards of the LibreTexts platform.