Equilateral triangle/Rational coordinates/Exercise

Show that there does not exist a nondegenerate equilateral triangle in ${}\mathbb {R} ^{2}$ such that all its vertices have rational coordinates.

Create a solution