<p>In a short note in Greek, Nikolaos Kritikos proved in 1925 that the metric of a plane absolute geometry, in which there exists, for any two distinct points <i>P</i> and <i>Q</i>, an isometry <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2437_Article_IEq1.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>τ</mi> </math></EquationSource> </InlineEquation>, referred to as a <i>translation</i>, satisfying <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2437_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="120" /> </InlineMediaObject> <EquationSource Format="TEX">\(A\tau (A)\equiv B\tau (B)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mi>τ</mi> <mo stretchy="false">(</mo> <mi>A</mi> <mo stretchy="false">)</mo> <mo>≡</mo> <mi>B</mi> <mi>τ</mi> <mo stretchy="false">(</mo> <mi>B</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for all points <i>A</i> and <i>B</i>, with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="25_2025_2437_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(\tau (P)=Q\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>τ</mi> <mo stretchy="false">(</mo> <mi>P</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>Q</mi> </mrow> </math></EquationSource> </InlineEquation>, must be Euclidean, i.e., there must exist a rectangle in that plane. The plane absolute geometry in this result is that of Hilbert’s <i>Grundlagen der Geometrie</i>, in which both order and free mobility are present. In this paper, we show that the result holds over Bachmann’s non-elliptic metric planes, even if just a single translation were to exist. This leads to three distinct versions of strengthenings of Kritikos’ result.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

On a Paper by Nikolaos Kritikos

  • Victor Pambuccian,
  • Horst Struve,
  • Rolf Struve

摘要

In a short note in Greek, Nikolaos Kritikos proved in 1925 that the metric of a plane absolute geometry, in which there exists, for any two distinct points P and Q, an isometry \(\tau \) τ , referred to as a translation, satisfying \(A\tau (A)\equiv B\tau (B)\) A τ ( A ) B τ ( B ) for all points A and B, with \(\tau (P)=Q\) τ ( P ) = Q , must be Euclidean, i.e., there must exist a rectangle in that plane. The plane absolute geometry in this result is that of Hilbert’s Grundlagen der Geometrie, in which both order and free mobility are present. In this paper, we show that the result holds over Bachmann’s non-elliptic metric planes, even if just a single translation were to exist. This leads to three distinct versions of strengthenings of Kritikos’ result.