Pick's theorem and lattice triangles
Statement
Pick's theorem. A polygon with vertices at lattice points, lattice points in its interior and lattice points on its boundary, has area .
Using it:
- Compute the area and the number of interior lattice points of the triangle with vertices , , .
- Prove that a lattice triangle having no lattice point other than its vertices has area .
- Prove that there is no equilateral triangle with all three vertices at lattice points.
Hint
For part 1, the number of lattice points on a segment from to (endpoints included) is . For part 3, compare the area of an equilateral triangle with the rational numbers produced by Pick's formula.
Show solutionHide solution
Solution
1. The triangle. Its area is . The sides are the vectors , , , with gcds , so . Pick: , so . The interior lattice points are .
2. Triangles without other lattice points. , , so area .
3. No lattice equilateral triangle. Suppose the vertices are lattice points and the side has squared length . The area is , irrational. But by Pick, the area of a lattice polygon is a rational . Contradiction.
Remark. The square is the only regular polygon with lattice vertices in the plane.
Lesson. Pick's theorem forces rationality of areas of lattice polygons: any area containing is impossible.