Skip to content

An equilateral triangle is drawn in the xy plane.

Equilateral triangle in the plan

Prove that the coordinates of the vertices cannot all be rational numbers.


Without loss of generality, you can assume that one of the vertices is (0,0).

Let the other two be (x,y) and (a,b).

Recall that each angle in an equilateral triangle is π3.


Suppose, for contradiction, that x,y,a,b are all rational.

Equilateral triangle at origin

Try to express x and y in terms of ℓ and θ.

Then try to express a and b in terms of x and y.

(Don't worry about calculating â„“2=a2+b2, it isn't needed for this particular way of proving.)

Why can't they all be rational?


Equilateral vertices

This will help you get a and b in terms of ℓ and θ and therefore in terms of x and y.