Skip to content

A discrete form of the Beckman-Quarles theorem for rational eight-space

Apoloniusz Tyszka

math.MGarXiv:math/9906001

Abstract

Let Q denote the field of rational numbers. Let F ⊂eq R is a euclidean field. We prove that: (1) if x,y ∈ Fn (n>1) and |x-y| is constructible by means of ruler and compass then there exists a finite set S(x,y) ⊂eq Fn containing x and y such that each map from S(x,y) to Rn preserving unit distance preserves the distance between x and y, (2) if x,y ∈ Q8 then there exists a finite set S(x,y) ⊂eq Q8 containing x and y such that each map from S(x,y) to R8 preserving unit distance preserves the distance between x and y.

Create a lesson