Trong hình lục giác đều có cạnh bằng 4 có 257 điểm phân biệt. Chứng minh rằng tồn tại hình vuông có cạnh bằng 1 chứa ít nhất 5 điểm (có thể thuộc cạnh hình vuông) trong các điểm đã cho.
Lời giải:
Đặt lục giác đều vào bên trong 1 hình vuông có cạnh là 8. Do khoảng cách xa nhất giữa hai điểm trên lục giác đều là 8 nên lục giác đều nằm trọn vẹn trong hình vuông này.
Kẻ các đường thẳng song song với các cạnh của hình vuông để tạo thành lưới 8 x 8 = 64 hình vuông có cạnh bằng 1.
Do 257 = 64.4 + 1 nên theo nguyên tắc Dirichlet thì sẽ tồn tại 1 hình vuông chứa ít nhất là 4 + 1 = 5 điểm trong 257 điểm này.
