Intereting Posts

Integral is area under the graph
Is greatest common divisor of two numbers really their smallest linear combination?
Intuition or figure for Reverse Triangle Inequality $||\mathbf{a}| − |\mathbf{b}|| ≤ |\mathbf{a} − \mathbf{b}|$ (Abbott p 11 q1.2.5)
Difference between a class and a set
Combining kindergardeners in 'fair' cookie-baking groups. Kirkman's schoolgirl problem extended version
Probability of two people meeting in a given square grid.
Proof of Steinitz Theorem
Computing the Expectation of the Square of a Random Variable: $ \text{E} $.
Product of 2 dirac delta functions
Construction of $p^n$ field
Nice underestimated elementary topology problem
Find the limit of $(\sqrt2-\root3\of2 )(\sqrt2 -\root4\of2 )…(\sqrt 2-\root{n}\of2 )$ without using the squeezing principle
Are $L^\infty$ bounded functions closed in $L^2$?
Integral of Combination Log and Inverse Trig Function
Sum of multiplication of all combination of m element from an array of n elements

Is it possible to construct an equilateral triangle with vertices on lattice points?

I think the answer is no, but how can I prove this?

I started with a triangle with coordinates $(0,0)$ $(a,b)$ and $(c,d)$.

Equating the size of the 3 sides, I get

- If $p,q$ are prime, solve $p^3-q^5=(p+q)^2$.
- Proving that $C$ is a subset of $f^{-1}$
- About phi function
- Proving that for $n \ge 22, a \ge 1$, there are at least $5$ integers $x$ where $an < x \le (an+n)$ and $\gcd(x,\frac{n}{4}\#)=1$
- Writing number as sum of reciprocals of factorial
- Let $p$ be prime and $(\frac{-3}p)=1$. Prove that $p$ is of the form $p=a^2+3b^2$

$a^{2}+b^{2}=c^{2}+d^{2}=2ab+2cd$

How should I continue?

I see there are solutions based on the fact that the angle between two edges can not be 60°. Is it possible to have a solution based on the fact that the length of the edges can not be the same?

- Prove that $2222^{5555}+5555^{2222}=3333^{5555}+4444^{2222} \pmod 7$
- For what $n$ does a hyperbolic regular $n$-gon exist around a circle?
- Decomposable Families of Shapes
- The last two digits of $9^{9^9}$
- Distribute a Fixed Number of Points “Uniformly” inside a Polygon
- Prove that between every rational number and every irrational number there is an irrational number.
- n-th prime number is less than $4^n$
- Finding all integer solutions of $5^x+7^y=2^z$
- Check if the number $3^{2015} - 2^{2015}$ is prime
- Why is $\gcd(a,b)=\gcd(b,r)$ when $a = qb + r$?

Let the vertices of our triangle be $(0,0)$, $(a,b)$, and $(c,d)$, where $a$, $b$, $c$, and $d$ are integers. If all edge lengths are the same, then

$$a^2+b^2=c^2+d^2=(a-c)^2+(b-d)^2.$$

Minor manipulation turns this into

$$a^2+b^2=c^2+d^2=2ac+2bd.$$

Now we use my favourite identity, which was known more than a millenium ago in India, and even earlier by Diophantus, and so has often been called the Fermat Identity:

$$(a^2+b^2)(c^2+d^2)=(ac+bd)^2+(ad-bc)^2.\qquad\qquad(\ast)$$

This identity can be easily verified by expanding both sides, or more conceptually by noting that the norm of the product of two complex numbers is the product of the norms.

Let $N=a^2+b^2=c^2+d^2=**2(ac+bd)**$. Then $ac+bd=N/2$. The identity $(\ast)$ now gives

$$N^2=\frac{N^2}{4}+(ad-bc)^2$$

or equivalently

$$3N^2=4(ad-bc)^2.$$

This is impossible, since $3$ times the perfect square $N^2$ cannot be a square unless $N=0$, which gives a very tiny triangle.

Solution 1 (by me): Assume WLOG that two of the points are $(0,0), (m,n), m,n \in \mathbb{Q}$. Then the third point is $(m/2 – n \sqrt{3} / 2, n/2 + m \sqrt{3}/2)$, which is not a rational point.

Solution 2 (by a friend): The determinant formula for area is rational, so if the all three points are rational points, then the area of the triangle is also rational, so whereas the area of an equilateral triangle with side length s is $\frac{s^2 \sqrt{3}}{4}$, which is irrational since $s^2$ is an integer.

Note that the above solutions both generalize from integer points to rational points.

You can also use Pick’s theorem for integer points.

It is possible, but you need three dimensions in order to do it.

Consider $\bigtriangleup v_{1}v_{2}v_{3}$ with:

$v_{1}=(1,0,0)$

$v_{2}=(0,1,0)$

$v_{3}=(0,0,1)$

For $a,b\in{1,2,3}$, $a\neq b$,

$d(v_{a},v_{b})=\sqrt{2}$, therefore the triangle is equilateral. It is not possible (as other answers indicate) to have an equilateral triangle with integer coordinates for the vertices in a two dimensional square lattice (a grid is just a 2d lattice).

You can start like this. Without loss of generality, let the three points be $(0,0), (0,a)$ and $(b,a/2)$. You can do this because you can always rotate and translate the axis to get these points. Now for all the points to be integral, you need $a$ to be even. This is the first constraint. Secondly, from the basic trigonometry,

$$ \tan \theta = \frac{2b}{a} = \sqrt{3}. $$ From this, you get $b = a\sqrt{3}/2$, which is irrational.

I found the same problem on *page 13* in Richard Courant’s classic textbook *Differential and Integral Calculus*:

2.* In an ordinary system of rectangular co-ordinates, the points for

which both co-ordinates are integers are called lattice points. Prove that

a triangle whose vertices are lattice points cannot be equilateral

My proposed solution is to set the origin at a vertex. This can be done w.l.o.g. For every lattice point $P : (p,q)$ we get an equilateral triangle with vertex $P$ and a third vertex $X$ (we also get another triangle with $P$ and $X’$, see figure) where both vertices lie on the circumference of a circle with radius $r =\sqrt(p^2+q^2)$. The angle of the $OP$ *edge* is $\alpha$, and $\sin a = \frac q r, \ \cos \alpha = \frac p r$.

Figure: Two equilateral triangles for every lattice point $P$

We get the coordinates of $X$ on the circle (and in a similar way for $X’$):

$(x,y) = (r \cos(\alpha+\frac \pi 3), r \sin(\alpha + \frac \pi 3))$

The addition formulas for sine and cosine give,

$$(x,y) = \left(r \left[ \cos \alpha \cos \frac \pi 3 – \sin \alpha \sin \frac \pi 3 \right], r \left[ \sin \alpha \cos \frac \pi 3 + \cos \alpha \sin \frac \pi 3 \right] \right) = \left( r \left[ \frac p {2r} -\frac {q \sqrt 3} {2r} \right], r \left[ \frac q {2r} + \frac {p \sqrt 3} {2r} \right] \right) = \left( \frac p 2 – \frac{ \sqrt 3 q} 2, \frac q 2 + \frac{\sqrt 3 p} 2 \right)$$

If $ p,q \in \Bbb Z$ then $X$ is not a lattice point.

- Is the submodule of a finitely generated free module finitely generated?
- Smallest and largest values of $\|\vec{v}-\vec{w}\|$
- Why doesn't Zorn's lemma apply to $[0,1)$?
- Initial value problem for 2nd order ODE $y''+ 4y = 8x$
- Why is $\mathbb{Q}(t,\sqrt{t^3-t})$ not a purely transcendental extension of $\mathbb{Q}$?
- Why can I get two different results when calculating $\int \ln(z) \,dz$?
- Is this inequality true? $ (x + y)^{\alpha} < x^{\alpha} + y^{\alpha} $, for positive $x$ & $y$, and for $0 < \alpha < 1$
- How many ways can you put 8 red, 6 green and 7 blue balls in 4 indistinguishable bins?
- Closed-form of an integral involving a Jacobi theta function, $ \int_0^{\infty} \frac{\theta_4^{n}\left(e^{-\pi x}\right)}{1+x^2} dx $
- Calculate the value of the integral $\int_{0}^{\infty} \frac{\cos 3x}{(x^{2}+a^{2})^{2}} dx$ where $a>0$ is an arbitrary positive number.
- Does the everywhere differentiability of $f$ imply it is absolutely continuous on a compact interval?
- Integral 0f a function with range in convex set is in the convex set
- How can I prove the formula for calculating successive entries in a given row of Pascal's triangle?
- Is there an algorithm for writing an integer as a difference of squares?
- Probability for having consecutive success in an experiment