Definition:Equidistance
This page has been identified as a candidate for refactoring of basic complexity. In particular: Extract the Euclidean definitions into separate transcluded pages. Fix existing transclusion Until this has been finished, please leave {{Refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{Refactor}} from the code. |
Definition
Equidistance is one of the undefined terms in Tarski's Geometry.
Intuitively, two points $a, b$ are equidistant with respect to $c, d$ if the length of line segment $a b$ is the same as that of line segment $c d$.
However, at this point in the game, we have not yet defined line segment, or even distance.
As such, let the following ostensive definition suffice.
In the diagram, points $a, b$ are equidistant to points $c, d$, and we write $a b \equiv c d$.
However, points $a, d$ are not equidistant to points $a, b$, and we write $\neg \paren {a d \equiv a b}$ or $a d \not \equiv a b$.
In Euclidean $2$-Space
Define the following coordinates in the $xy$-plane:
- $a = \tuple {x_1, x_2}$
- $b = \tuple {y_1, y_2}$
- $c = \tuple {z_1, z_2}$
- $d = \tuple {u_1, u_2}$
where $a, b, c, d \in \R^2$
- $a b \equiv c d \dashv \vdash \paren {\paren {x_1 - y_1}^2 + \paren {x_2 - y_2}^2 = \paren {z_1 - u_1}^2 + \paren {z_2 - u_2}^2}$
Compare Distance Formula.
In Euclidean $n$-Space
Define the following coordinates in an Euclidean n-space:
- $a = \tuple {x_1, x_2, \dotsc, x_n}$
- $b = \tuple {y_1, y_2, \dotsc, y_n}$
- $c = \tuple {z_1, z_2, \dotsc, z_n}$
- $d = \tuple {w_1, w_2, \dotsc, w_n}$
where $a, b, c, d \in \R^n$
Then:
- $a b \equiv c d \dashv \vdash \paren {\paren {x_1 - y_1}^2 + \paren {x_2 - y_2}^2 + \dotsb + \paren {x_n - y_n}^2 = \paren {z_1 - w_1}^2 + \paren {z_2 - w_2}^2 + \cdots + \paren {z_n - w_n}^2}$
Compare Vector Length.
Sources
- June 1999: Alfred Tarski and Steven Givant: Tarski's System of Geometry (Bull. Symb. Log. Vol. 5, no. 2: pp. 175 – 214) : p. $201$
Illustration courtesy of Steven Givant.