If two vertices of an equilateral triangle have integral coordinates, then the third vertex will have
Let and be the vertices of an equilateral triangle ABC such that and are integers. If we assume that none of the coordinates of the vertex C are irrational, then we find that
rational number
But, rational number
an irrational number.
Thus, we arrive at a contradiction. Therefore, our supposition is wrong.
Hence, at least one coordinate of C is irrational