In geospace, how do I find coordinates of the vertices of an equilateral triangle whose vertices have integral coordinates? How do I tell Mathematica to do that?
You can always find equilateral triangles that have any two points as vertices. For instance, the function
uses the definition that the length of the line from point1 to point2 must equal both the length of the line from point1 to point3 and the length of the line from point2 to point3, where
gives two answers (as should be expected)
We can verify that it's an equilateral triangle using:
Of course, this does not address the issue of integer-valued vertices. You can see that there are none by looking at the answer that
Taking the first of these
Now, by assumption,
Another indirect way to sense the insolvability is
One can see these solutions are not able to define triangle in 2D.
A mindless brute-force solution in $d \gt 2$ dimensions can be obtained with
(0.01 seconds execution time.)
Of course this can be hugely simplified with a little analysis (e.g., one of the vertices can be translated to the origin, $d$ can be restricted to $3$ with the remaining components padded out to a full $d$ dimensions with zeros, and any orthogonal or affine transformation with integral coefficients can be applied to the result to yield a large set of solutions).