5
$\begingroup$

This is the question: Is it possible to find an infinite set of points in the 3D space, not all on the same plane, such that the distance between every pair of points is rational?

$\endgroup$
2

1 Answer 1

7
$\begingroup$

Yes, such a set exists.

Take the infinite points on the circle of radius $1$ and centred at the origin in the plane $z=0$ given by lulu's answer in Is it possible to find an infinite set of points in the plane where the distance between any pair is rational? Then add the point $(0,0,\sqrt{3})$.

So let $$S=\{(\cos\theta,\sin\theta,0)\;:\; \theta\in [0,2\pi),\tan(\theta/4)\in\mathbb{Q}\}\cup \{(0,0,\sqrt{3})\}$$ then

i) $S$ is infinite because $x\to\tan(x/4)$ is continuous and strictly increasing in $[0,2\pi)$.

ii) $S$ is non-planar because it contains $(0,0,\sqrt{3})$, $(1,0,0)$, $(-1,0,0)$, and $(\cos\theta_0,\sin\theta_0,0)$ with $\theta_0=\arctan(1/2)$.

iii) The distance between every pair of points of $S$ is rational. The distance between $(0,0,\sqrt{3})$ and $(\cos\theta,\sin\theta,0)$ is $\sqrt{\cos^2\theta+\sin^2\theta+3}=2$. Moreover the distance between $(\cos\alpha,\sin\alpha,0),(\cos\beta,\sin\beta,0)\in S$ is $$\sqrt{(\cos\alpha-\cos\beta)^2+(\sin\alpha-\sin\beta)^2}=2\sqrt{\frac{1-\cos(\alpha-\beta)}{2}}\\ =2\left|\sin\left(\frac{\alpha-\beta}{2}\right)\right| =\frac{4|\tan(\frac{\alpha}{4}-\frac{\beta}{4})|}{1+\tan^2(\frac{\alpha}{4}-\frac{\beta}{4})}\in\mathbb{Q} $$ because $$\tan\left(\frac{\alpha}{4}-\frac{\beta}{4}\right)=\frac{\tan(\frac{\alpha}{4})-\tan(\frac{\beta}{4})}{1+\tan(\frac{\alpha}{4})\tan(\frac{\beta}{4})}\in\mathbb{Q}.$$

$\endgroup$
2
  • $\begingroup$ Fine, but let to generalize this solution somehow. By adding the points $(0,0,\frac {2m}{m^2-1})$, $m≠±1$ where $m$ is an integer, to our set and excluding $(0,0,\sqrt{3})$, does we get a more general solution? If yes, then Is this the most general form of the solution? I ask this question based on the comments of 'zyx' on this page: math.stackexchange.com/questions/1978452/… $\endgroup$
    – user370634
    Commented Oct 23, 2016 at 21:08
  • 1
    $\begingroup$ @user.3710634 Yes, excluding $(0,0,\sqrt{3})$ and adding points $(0,0,\frac{2m}{m^2-1})$ is fine. $\endgroup$
    – Robert Z
    Commented Oct 24, 2016 at 6:01

You must log in to answer this question.