Intereting Posts

Is there something like Cardano's method for a SOLVABLE quintic.
How to select the right modulus to prove that there do not exist integers $a$ and $b$ such that $a^2+b^2=1234567$?
All the ternary n-words with an even sum of digits and a zero.
Covariance of order statistics (uniform case)
Exponential growth of cow populations in Minecraft
Solve differential equation by a variable change.
Compute center, axes and rotation from equation of ellipse
Show that $\sum\limits_{k=0}^n\binom{2n}{2k}^{\!2}-\sum\limits_{k=0}^{n-1}\binom{2n}{2k+1}^{\!2}=(-1)^n\binom{2n}{n}$
Riemann Hypothesis and the prime counting function
Good calculus exercises/problems?
Proving $\frac{((2n)!)^2(i)!(j)!}{((n)!)^2(2i)!(2j)!}$ is an integer
A variant of Kac's theorem for conditional expectations?
Calculate a multiple sum of inverse integers.
Proof that no polynomial with integer coefficients can only produce primes
Name of this convex polyhedron?

Let’s call a point $P$ which satisfies the following condition ‘a rational point’.

**Condition**: Each distance $PA, PB, PC$ from a point $P$ to three vertices $A, B, C$ of an equilateral triangle $ABC$ which has edge-length $1$ is **rational number**.

- proving the inequality $\triangle\leq \frac{1}{4}\sqrt{(a+b+c)\cdot abc}$
- How many triangles are there?
- The conjecture that no triangle has rational sides, medians and altitudes
- If, in a triangle, $\cos(A) + \cos(B) + 2\cos(C) = 2$ prove that the sides of the triangle are in AP
- Proving that $|CA|+|CB|=2|AB|$ in a general $ABC$ triangle
- Can Three Equilateral Triangles with Sidelength $s$ Cover A Unit Square?

I’m interested in this point because I found the following three:

*1.* There exist an infinite number of rational points on an edge of the equilateral triangle $ABC$.

*2.* There exist an infinite number of rational points on the circumference of the circumscribed circle of the equilateral triangle $ABC$.

*3.* There exists a rational point in the equilateral triangle $ABC$.

Supposing that $A(0,\frac{\sqrt3}{2}), B(-\frac12,0), C(\frac12,0)$, one example for the above *3* is the following:

$$P\left(\frac{61}{2058},\frac{220}{1029}\sqrt3\right), \left(PA, PB, PC\right)=\left(\frac{73}{147}, \frac{95}{147}, \frac{88}{147}\right).$$

I found this example by using computer. I found the other examples, but I don’t know there exist an infinite number of rational points in the equilateral triangle $ABC$. Then, here are my questions.

**Question 1**: Do there exist an infinite number of rational points in the equilateral triangle $ABC$ ?

**Question 2**: Can we find all rational points in the equilateral triangle $ABC$ ?

- Linear algebra - find all possible positions of the third corner?
- Probability that 3 points in a plane form a triangle
- Maximum area of a rectangle inscribed in a triangle is $1/2$ the area of triangle
- Prove that $AH^2+BC^2=4AO^2$
- Finding center and radius of circumscribed triangle
- Prove the triangle is equilateral given that a quadrilateral related to its circumcircle is a kite
- How to find the third coordinate of a right triangle given 2 coordinates and lengths of each side
- probability of three random points inside a circle forming a right angle triangle

For the record, I will solve the much easier problem of finding infinitely many rational points on the circumcircle. Let’s consider the case of a point $P$ on the arc from $A$ to $B$. By Ptolemy’s theorem, $|PA| + |PB| = |PC|$, so if $|PA|$ and $|PB|$ are rational then so is $|PC|$. Also, $P$ is on the arc from $A$ to $B$ if and only if $P$ is on the right side of $\overline{AB}$ and $\angle APB = 120^{\circ}$. By the Law of Cosines, $\angle APB = 120^{\circ}$ is equivalent to

$$|PA|^2 + |PA| |PB| +|PB|^2=1.$$

This conic can be paramterized in the usual way: Put $|PA|=1+t$, $|PB|=kt$. Solve for $t$ in terms of $k$; the result is $t=-(k+2)/(k^2+k+1)$. So

$$|PA| = \frac{k^2-1}{k^2+k+1} \quad |PB| = \frac{-k^2-2k}{k^2+k+1} \quad |PC|=\frac{-2k-1}{k^2+k+1}$$

or, in other words,

$$a=k^2-1 \quad b= -k^2-2k \quad c=-2k-1 \quad d=k^2+k+1.$$

We want to have $-2 < k < -1$ to get the right signs.

I don’t want the bounty for this though; I want mathlove to explain how the heck he or she found his or her solution.

I have figured out a way to get mathlove’s answer. I’ll write $PA=a/d$, $PB=b/d$ and $PC=c/d$. As described here, these obey the relation

$$a^4+b^4+c^4+d^4 = a^2 b^2 + a^2 c^2 + a^2 d^2 + b^2 c^2 + b^2 d^2 + c^2 d^2.$$

Let $\Sigma$ be the surface in $\mathbb{P}^3$ cut out by this degree $4$ equation. Notice that $\Sigma$ has $16$ singular points: The $4$ points $(\pm 1 : \pm 1 : \pm 1 :

0)$ and the other $12$ which come from putting the zero in the other possible positions.

The three points $(1:1:0:1)$, $(1:0:1:1)$ and $(0:1:1:1)$ are the vertices of the triangle; the other $13$ singularities involve negative or infinite values for $(PA, PB, PC)$.

The technical term for this is a Kummer surface and, in fact, $\Sigma$ is the special kind of Kummer surface called a tetrahedroid. But we don’t need to know this to follow the rest of the argument.

Take a plane through any three of the singularities. The resulting planar slice of $\Sigma$ will be a degree $4$ plane curve with $\geq 3$ nodes. If there are exactly $3$ nodes, the resulting curve is genus $0$, and thus has a rational parametrization over $\mathbb{C}$. That parmetrization doesn’t have to have rational coefficients but, in some lucky cases, it does. We also aren’t promised that the resulting values of $(PA, PB,PC)$ will be positive, let alone inside the triangle but, again, sometimes we get luck.

Mathlove uses the plane $b+d=2a$, passing through the points $(0,1,1,-1)$, $(0,-1,1,1)$ and $(1,1,0,1)$. The complete list of planes, up to permuting $(a,b,c,d)$ and switching signs, is $a=0$, $a+b=0$, $a+b+c=0$, $a+b+2c=0$ and $a+b+2c+3d=0$. These symmetries of $\Sigma$ do not respect the condition that the points actually correspond to physical points inside the triangle, so you have to keep track of more possibilities if you want that to hold.

Several of these planes correspond to interesting geometric configurations:

The equations $a+d=b$, $a+b=d$ and $b+d=a$ are $PA+1=PB$, $PA+PB=1$ and $PB+1=PA$ respectively, which say that $P$ lies on the line $AB$ (either in the two unbounded rays or in the line segment $AB$.)

The equation $a+b=c$ means $PA+PB=PC$, so (by Ptolemy’s theorem) $P$ is on the arc of the circumcircle from $A$ to $B$; the other arcs of the circumcircle are described similarly.

The equation $a=b$ means that $P$ is on the perpendicular bisector of $AB$. This doesn’t actually contribute any points; the intersection of $\Sigma$ with $\{ a=b \}$ the product of two conics, neither of which has rational coefficients.

Other planes, such as mathlove’s choice $PB+1=2PA$ have no clear geometric meaning, but we can still rationally parametrize them and, at least in some cases, it seems we win.

As far as I can tell from skimming papers, there is an enormous literature on rational points on Kummer surfaces, but there isn’t one simple answer. I had hoped to use this question as an opportunity to teach myself about Kummer surfaces (and, to some extent, I have) but it looks it’s a big field, so I’ll stop here.

I’ve just got the following:

**The answer for Question 1** : There exist an infinite number of rational points in the equilateral triangle ABC.

$\left(PA, PB, PC\right)=$

$$\left(\frac{n^4+10n^2+9}{n^4+4n^3+10n^2-12n+9}, \frac{n^4-4n^3+10n^2+12n+9}{n^4+4n^3+10n^2-12n+9}, \frac{8n^3+24n}{n^4+4n^3+10n^2-12n+9}\right)$$

where $n=6k\pm4$ for $k\in\mathbb N$.

**Proof** : Supposing that $PA=a, PB=b, PC=c$ for a point $P$ and an equilateral triangle $ABC$ which has edge-length $m$, let’s prove that $P$ exists in the $ABC$ where

$$a=n^4+10n^2+9, \ \ \ b=n^4-4n^3+10n^2+12n+9,$$$$c=8n^3+24n, \ \ \ m=n^4+4n^3+10n^2-12n+9.$$

Letting $\gamma=e^{i\pi/3}=\frac{1+\sqrt3i}{2}$, note that $\gamma+\bar\gamma=\gamma\bar\gamma=1, {\gamma}^2=\gamma-1, |\gamma|=1$.

Letting $z=\{(n^2-3)+4n\gamma\}^2$, then

$$z=(n^4-22n^2+9)+8n(n^2+2n-3)\gamma.$$

Since

$$|z|^2=z\bar z=\{(n^2-3)+4n\gamma\}^2\{(n^2-3)+4n\bar\gamma\}^2,$$then

$$|z|=\{(n^2-3)+4n\gamma\}\{(n^2-3)+4n\bar\gamma\}=(n^2-3)^2+4n(n^2-3)+16n^2=m.$$

Since

$$z-a=-32n^2+8n(n^2+2n-3)\gamma=8n\{-4n+(n^2+2n-3)\gamma\},$$

then

$$|-4n+(n^2+2n-3)\gamma|^2=16n^2-4n(n^2+2n-3)+(n^2+2n-3)^2=(n^2+3)^2.$$

Hence,

$$|z-a|=8n(n^2+3)=c.$$

Noting that

$$(z{\gamma}^{-1}-a){\gamma}^2=\{(n^4-22n^2+9)+8n(n^2+2n-3)\}\gamma-a{\gamma}^2$$$$=(n^4-22n^2+9)\gamma+\{8n(n^2+2n-3)-a\}(\gamma-1)$$$$=\{a-8n(n^2+2n-3)\}+\{n^4-22n^2+9-a+8n(n^2+2n-3)\}\gamma$$$$=(n^4-8n^3-6n^2+24n+9)+8n(n^2-2n-3)\gamma$$

and that

$$\{(n^2-4n-3)+4n\gamma\}^2=(n^2-4n-3)^2+8n(n^2-4n-3)\gamma+16n^2{\gamma}^2$$$$=(n^4-8n^3-6n^2+24n+9)+8n(n^2-2n-3)\gamma,$$

then

$$|z{\gamma}^{-1}-a|=|(z{\gamma}^{-1}-a){\gamma}^2|=|(n^2-4n-3)+4n\gamma|^2$$$$=(n^2-4n-3)^2+4n(n^2-4n-3)\gamma+16n^2=n^4-4n^3+10n^2+12n+9=b.$$

Note that both $ABC$ and $APQ$ are equilateral triangles where $A(0), B(z{\gamma}^{-1}), C(z), P(a), Q(a\gamma)$.

Since

$$QC=PB=b,$$

then

$$QC+CA=b+m=2a=QP+PA.$$

Hence, since the point $C$ is outside of the circumscribed circle of $APQ$, $\angle ACP\lt\frac{\pi}{3}.$ Hence, we know that the point $P$ is in the equilateral triangle $ABC$.

Here, let’s prove that the GCD of $a,b,c,m$ is $1$ for $n=6k\pm4 (k\in\mathbb N)$.

Suppose that $a,b,c,m$ has a common prime factor $p\ge5$. In mod $p$, since

$a\equiv b\equiv c\equiv 0, $

$$4n^3\equiv12n\rightarrow c\equiv 48n\equiv0\rightarrow n\equiv0\rightarrow a\equiv9\equiv0$$

leads a contradiction.

If $n\equiv0$ (mod $2$), then $a\equiv b\equiv m\equiv 1, c\equiv 0$.

If $n\equiv1$ (mod $3$), then $a\equiv c\equiv 2, b\equiv 1, m\equiv 0$.

If $n\equiv2$ (mod $3$), then $a\equiv 2, b\equiv 0, c\equiv m\equiv 1$.

Hence, we know that the GCD of $a,b,c,m$ is $1$ for $n=6k\pm4 (k\in\mathbb N)$. Now the proof is completed.

**PS**: $(PA, PB, PC)=\left(\frac{65}{73}, \frac{57}{73}, \frac{112}{73}\right)$ is the $n=2$ case. I expect that this would be the minimum solution about $c$.

**Question 2** still remains unsolved.

- Probability of people attending same and different places
- Commas separating adjectives to describe mathematical objects.
- Regarding identities with sums of consecutive squares
- Gosper's Identity $\sum_{k=0}^n{n+k\choose k}=1 $
- Is Mega Millions Positive Expected Value?
- Condition on function $f:\mathbb{R}\rightarrow \mathbb{R}$ so that $(a,b)\mapsto | f(a) – f(b)|$ generates a metric on $\mathbb{R}$
- Is $\sqrt1+\sqrt2+\dots+\sqrt n$ ever an integer?
- Derivation of weak form for variational problem
- Evaluate $\int\frac{1}{1+x^6} \,dx$
- Show that the value of a definite integral is unity
- Visualizing $\cap_{i = 1}^\infty A_i = (\cup_{i = 1}^\infty A_i^c)^c$
- Prove: $(a + b)^{n} \geq a^{n} + b^{n}$
- Prove that $f$ has a fixed point .
- Galois group of $\mathbb{Q}$
- Why does $\sqrt{1/2} = 1/\sqrt{2}$ but $\sqrt{2/3} \neq 2/\sqrt{3}$?