Đề thi chính thức được phát biểu như sau:
"Một tập hợp gồm đúng 4027 điểm trên mặt phẳng được gọi là tập Colombia nếu không có ba điểm nào trong các điểm đó thẳng hàng, đồng thời có 2013 điểm được tô màu đỏ và 2014 điểm còn lại được tô màu xanh. Mặt phẳng được phân chia thành các miền khi ta kẻ một số đường thẳng. Một cách kẻ một số đường thẳng được gọi là cách kẻ tốt đối với tập Colombia cho trước nếu hai điều kiện sau được thỏa mãn:
1. Không đường thẳng nào đi qua dù chỉ một điểm thuộc tập hợp đó;
2. Không miền nào chứa cả điểm màu đỏ và điểm màu xanh.
Tìm số k nhỏ nhất sao cho với tập Colombia tùy ý gồm đúng 4027 điểm, tồn tại một cách kẻ k đường thẳng là cách kẻ tốt."
Xét đa giác đều 4027 cạnh A1A2…A4027 nội tiếp đường tròn (O) nào đó.
Giả sử rằng các đỉnh A2k,k=¯1;2013 màu đỏ và các đỉnh A2k+1,k=¯0;2013 màu xanh.
NX: Vì các điểm Ai;Ai+1,i=¯1;4026 khác màu nhau nên Ai;Ai+1 nằm về 2 phía của 1 đường thẳng nào đó trong số N đường thẳng đã cho, hay tồn tại 1 đường thẳng cắt cung nhỏ AiAi+1.
Có tất cả 4026 cung mà mỗi đường thẳng chỉ cắt tối đa 2 cung nên cần ít nhất 2013 đường thẳng để thực hiện cách phân chia thỏa mãn.
Ta chứng minh: với 4027 điểm bất kỳ thì chỉ cần 2013 đường thẳng để có 1 cách phân chia thỏa mãn.
Gọi X1X2…Xk là bao lồi của 4027 điểm trên.
TH1: Giả sử tồn tại i sao cho Xi màu đỏ, KMMTQ, giả sử X1.
Khi đó, tồn tại đường thẳng Δ chia mặt phẳng ra làm 2 miền trong đó 1 miền chỉ chứa duy nhất điểm X1.
Xét 2012 điểm màu đỏ còn lại A1;A2;…;A2012.
Với mỗi i=¯1;1006, tồn tại 2 đường thẳng xi;yi song song với nhau và song song với A2i−1A2i sao cho miền mặt phẳng nằm giữa xi,yi chỉ chứa 2 điểm A2i−1,A2i.
Khi đó, 2013 đường thẳng Δ,x1,y1,x2,y2,…,x1006,y1006 thỏa mãn bài toán.
TH2: Tất cả các điểm X1,X2,…,Xk đều màu xanh.
Khi đó, tồn tại đường thẳng Δ song song với X1X2 chia mặt phẳng ra làm 2 miền trong đó 1 miền chỉ chứa 2 điểm X1,X2.
Xét 2012 điểm màu xanh còn lại B1;B2;…;B2012.
Với mỗi i=¯1;1006, tồn tại 2 đường thẳng xi;yi song song với nhau và song song với B2i−1B2i sao cho miền mặt phẳng nằm giữa xi,yi chỉ chứa 2 điểm B2i−1,B2i.
Khi đó, 2013 đường thẳng Δ,x1,y1,x2,y2,…,x1006,y1006 thỏa mãn bài toán.
Vậy cần ít nhất 2013 đường thẳng để thực hiện cách phân chia thỏa mãn.