Tập hợp  gồm hữu hạn điểm trên mặt phẳng sao cho với mọi điểm thuộc  tồn tại đúng 4 điểm thuộc có khoảng cách đến  bằng 1. Hỏi tập hợp có thể chứa ít nhất là bao nhiêu phần tử (nhập đáp án vào ô trống)?

Đáp án  __

Rõ ràng có ít nhất hai điểm \[P,Q\] thuộc \[M\] sao cho \[PQ \ne 1\] .

Ký hiệu: \[{M_P} = \left\{ {X \in M{\rm{ | }}PX = 1} \right\}\]. Từ giả thiết \[\left| {{M_P}} \right| = 4\], ta có: \[\left| {{M_P} \cap {M_Q}} \right| \le 2\].

Nếu tồn tại \[P,{\rm{ }}Q\] sao cho \[\left| {{M_P} \cap {M_Q}} \right| \le 1\] thì \[M\] chứa ít nhất 9 điểm.

Trường hợp với mọi \[P,Q\] sao cho \[PQ \ne 1\] và \[\left| {{M_P} \cap {M_Q}} \right| = 2\].

Khi đó \[{M_P} \cap {M_Q} = \left\{ {R;S} \right\}\], lúc đó \[{M_P} = \left\{ {R;S;T;U} \right\}\] và \[{M_Q} = \left\{ {R;S;V;W} \right\}\] và giả sử \[M = \left\{ {P;Q;R;S;T;U;V;W} \right\}\], ta có \[TQ \ne 1,{\rm{ }}UQ \ne 1,{\rm{ }}VP \ne 1,{\rm{ }}WP \ne 1\].

+ Nếu \[TR,TS,UR,US\] khác 1: \[{M_T} \cap {M_Q} = {M_U} \cap {M_Q} = \left\{ {V;W} \right\}\], suy ra \[T\] hay \[U\] trùng với \[Q\], vô lý.

Vậy \[M\] chứa ít nhất là 9 điểm. Dấu bằng xảy ra với hình dưới.

Vậy \[M\] có thể chứa ít nhất là 9 phần tử.

Đáp án cần nhập là: 9.