Bối cảnh và vấn đề nghiên cứu

Trong chương trình bồi dưỡng học sinh giỏi môn Toán bậc Trung học phổ thông (THPT) và các kỳ thi Olympic toán học quốc gia, quốc tế, các bài toán thuộc lý thuyết tổ hợp, hình học tổ hợp và số học luôn chiếm vị trí quan trọng nhưng thường gây nhiều khó khăn cho người học. Để tìm ra lời giải cho những bài toán phức tạp này, học sinh không chỉ sử dụng các công cụ giải trực tiếp, phương pháp quy nạp toán học hay phương pháp phản chứng đơn thuần, mà cần đến các nguyên lý suy luận trừu tượng nhưng có sức mạnh giải quyết lớn.

Khóa luận tốt nghiệp "Vận dụng nguyên lí khởi đầu cực trị và nguyên lí Dirichlet để giải các bài toán thi học sinh giỏi Trung học phổ thông" được thực hiện bởi tác giả Pơloong Thị Neo (chuyên ngành Sư phạm Toán, Trường Đại học Quảng Nam) dưới sự hướng dẫn của TS. Trần Văn Sự vào tháng 6 năm 2021, xuất phát từ bối cảnh thực tiễn giảng dạy và học tập các chuyên đề toán nâng cao.

Mục tiêu và các nhiệm vụ nghiên cứu cụ thể của đề tài bao gồm:

  1. Nghiên cứu cơ sở lý thuyết tổng quan về lý thuyết tập hợp, phương pháp chứng minh phản chứng, phép chia hết, đồng dư thức, các bất đẳng thức cơ bản và nguyên lý bù trừ.
  2. Hệ thống hóa các phát biểu và mở rộng của hai công cụ then chốt: nguyên lí khởi đầu cực trị và nguyên lí Dirichlet.
  3. Vận dụng hai nguyên lý trên để phân loại, thiết lập phương pháp và giải quyết các dạng toán thi học sinh giỏi THPT, bao gồm: bài toán hình học tổ hợp, bài toán tổ hợp, bài toán số học, bất đẳng thức đại số và các bài toán kết hợp đồng thời cả hai nguyên lý.

Đối tượng và phạm vi nghiên cứu:

  • Đối tượng nghiên cứu: Việc vận dụng nguyên lí khởi đầu cực trị và nguyên lí Dirichlet vào giải các bài toán trong các kỳ thi học sinh giỏi THPT.
  • Phạm vi nghiên cứu: Tập trung vào các lớp bài toán tổ hợp, hình học tổ hợp, số học và bất đẳng thức nằm trong cấu trúc đề thi học sinh giỏi cấp tỉnh, quốc gia và các kỳ thi Olympic Toán học.

Cơ sở lý thuyết và phương pháp

Khóa luận xây dựng hệ thống lý thuyết dựa trên các khái niệm nền tảng của toán học hiện đại và toán học phổ thông:

  • Lý thuyết tập hợp: Cơ sở do nhà toán học Đức Georg Cantor (1845–1918) sáng lập, bao gồm các cách biểu diễn tập hợp (liệt kê, quy tắc nhận biết đơn giản, quy luật chung), các quan hệ tập hợp (tập rỗng $\emptyset$, tập hữu hạn, tập vô hạn, tập con, tập hợp bằng nhau, hiệu của hai tập hợp).
  • Phương pháp phản chứng và phản ví dụ nhỏ nhất: Quy trình chứng minh 3 bước (giả thiết phủ định kết luận $\to$ suy diễn dẫn đến mâu thuẫn $\to$ kết luận khẳng định ban đầu đúng) kết hợp việc xây dựng một hàm đặc trưng nguyên dương $f(P)$ để chọn cấu hình $P_0$ vi phạm với giá trị nhỏ nhất nhằm tìm mâu thuẫn.
  • Lý thuyết số cơ bản: Định nghĩa và các tính chất cơ bản của phép chia hết ($a \mid b$), đồng dư thức ($a \equiv b \pmod m$).
  • Bất đẳng thức đại số: Bất đẳng thức trung bình cộng – trung bình nhân (AM-GM cho $n$ số thực không âm) và bất đẳng thức Bunyakovsky (cho $n$ số thực).
  • Nguyên lý bù trừ: Công thức tính số phần tử hợp của các tập hữu hạn: $|X_1 \cup X_2 \cup \dots \cup X_n| = \sum |X_i| - \sum |X_i \cap X_j| + \dots + (-1)^{n-1} |X_1 \cap \dots \cap X_n|$.
  • Nguyên lí khởi đầu cực trị: Gồm Nguyên lí 1 (trong tập hữu hạn khác rỗng các số thực luôn chọn được số bé nhất và lớn nhất) và Nguyên lí 2 (trong tập khác rỗng các số tự nhiên luôn chọn được số bé nhất). Quy trình vận dụng gồm 3 bước: khẳng định tồn tại cực trị $\to$ xét bài toán tại trường hợp cực trị $\to$ chỉ ra mâu thuẫn hoặc chỉ ra giá trị vượt ngoài cực trị đã chọn.
  • Nguyên lí Dirichlet: Được tác giả hệ thống hóa thành 5 dạng phát biểu: dạng cơ bản ($n+1$ thỏ vào $n$ chuồng), dạng mở rộng ($n$ thỏ vào $m$ chuồng thì có chuồng chứa ít nhất $\lfloor \frac{n-1}{m} \rfloor + 1$ thỏ), dạng tập hợp ($|A| > |B|$), dạng tập hợp mở rộng ($|A| \ge k|B| \implies$ tồn tại phần tử của $B$ tương ứng ít nhất $k+1$ phần tử của $A$) và dạng diện tích cho các hình phẳng phủ nhau.

Phương pháp nghiên cứu được tác giả triển khai bao gồm:

  • Phương pháp thu thập và nghiên cứu tài liệu: Phân tích, tổng hợp tài liệu chuyên khảo về tổ hợp, số học và các chuyên đề bồi dưỡng học sinh giỏi.
  • Phương pháp tham khảo ý kiến chuyên gia: Trao đổi học thuật với giảng viên hướng dẫn và các giảng viên Khoa Toán.
  • Phương pháp hệ thống hóa và giải quyết vấn đề: Sưu tầm, phân loại và xây dựng lời giải chi tiết cho các bài toán điển hình.

Nội dung chính theo từng chương

Chương 1: Kiến thức chuẩn bị

Chương 1 đóng vai trò xây dựng hệ thống công cụ lý thuyết bổ trợ trước khi bước vào giải toán. Tác giả trình bày tường minh các khái niệm và định lý nền tảng:

  • Lý thuyết tập hợp và phương pháp phản chứng: Giới thiệu các quan hệ tập hợp, các ví dụ minh họa và quy trình áp dụng phương pháp phản chứng với "phản ví dụ nhỏ nhất". Ví dụ minh họa phản chứng tiêu biểu được đưa ra là chứng minh sự tồn tại của chữ số xuất hiện vô hạn lần trong khai triển thập phân của số vô tỉ $\pi$.
  • Kiến thức số học và bất đẳng thức: Trình bày hệ thống tiên đề, định nghĩa chia hết, đồng dư thức; chứng minh bất đẳng thức AM-GM quy nạp theo $n$ và bất đẳng thức Bunyakovsky thông qua tam thức bậc hai không âm; thiết lập công thức nguyên lý bù trừ từ trường hợp 2 tập hợp lên $n$ tập hợp.
  • Hệ thống hóa hai nguyên lý cốt lõi: Tác giả trình bày đầy đủ định nghĩa, phạm vi áp dụng, quy trình 3 bước thực hiện nguyên lí khởi đầu cực trị và chứng minh phản chứng chặt chẽ cho nguyên lí Dirichlet ở các dạng: nguyên lý cơ bản, mở rộng, dạng tập hợp, dạng tập hợp mở rộng và nguyên lí Dirichlet cho diện tích hình phẳng.

Chương 2: Ứng dụng nguyên lí khởi đầu cực trị và nguyên lí Dirichlet vào bài toán

Chương 2 là phần trọng tâm của khóa luận, gồm 3 mảng ứng dụng lớn với 29 bài toán chọn lọc được giải chi tiết:

  1. Ứng dụng nguyên lí khởi đầu cực trị:

    • Bài toán hình học tổ hợp (6 bài toán): Khai thác việc chọn góc lớn nhất, tam giác có diện tích lớn nhất, hoặc cấu hình có tổng độ dài đoạn thẳng nhỏ nhất. Điển hình là bài toán chứng minh không tồn tại 5 điểm nguyên là đỉnh của ngũ giác đều trên mặt phẳng Descartes (xét bình phương độ dài cạnh $a_0^2 \in \mathbb{N}^*$ nhỏ nhất để tìm mâu thuẫn từ hình bình hành sinh ra ngũ giác con nhỏ hơn), bài toán $n$ điểm có diện tích tam giác con $<1$ nằm trong tam giác diện tích $<4$, bài toán nối 1000 điểm đỏ và 1000 điểm xanh bằng 1000 đoạn thẳng không cắt nhau (chọn cách nối có tổng độ dài nhỏ nhất), bài toán các em bé chuyền bóng cho bạn đứng gần nhất (chứng minh mỗi em nhận không quá 5 quả bóng và với 10 em thì có ít nhất 3 em còn bóng).
    • Bài toán tổ hợp (4 bài toán): Sắp thứ tự giảm dần số lượng để đánh giá chặn dưới (7 người câu 100 con cá thì 3 người đầu câu $\ge 50$ con), chọn học sinh có số lượng bạn nhiều nhất ở trường khác để tìm giao điểm tập bạn bè giữa 3 trường, bài toán chia khách dự tiệc vào 2 phòng sao cho mỗi người có ít nhất một nửa số bạn ở phòng còn lại (chọn cách chia có số cặp bạn khác phòng $m$ lớn nhất).
    • Bài toán số học (4 bài toán): Xét số tự nhiên nhỏ nhất trên lưới ô vuông vô hạn có giá trị bằng trung bình cộng 4 ô kề để chứng minh các số bằng nhau; chọn ước nguyên tố nhỏ nhất $p$ của số lẻ $n>1$ để chứng minh $15^n+1$ không chia hết cho $n$; dùng phản ví dụ có tổng $a_0+b_0$ nhỏ nhất để chứng minh phương trình nghiệm nguyên $ax+by=1$ khi $\gcd(a,b)=1$; xét nghiệm nguyên dương $(x_0, y_0, z_0)$ có $z_0$ nhỏ nhất để chứng minh $x^2+y^2=3z^2$ vô nghiệm.

  2. Ứng dụng nguyên lí Dirichlet:

    • Bài toán hình học tổ hợp (5 bài toán): Mô hình hóa "thỏ" và "chuồng" trên hình học: 25 điểm phân bố vào 2 hình tròn bán kính 1 chứa ít nhất 13 điểm; định lý đường thẳng cắt 3 cạnh tam giác (hoặc 4 cạnh tứ giác) dựa trên nguyên lý chia nửa mặt phẳng; kết hợp nguyên lý Dirichlet và nguyên lý bù trừ để chứng minh trong hình vuông diện tích 12 chứa 3 đa giác diện tích 6 thì có 2 đa giác giao nhau diện tích $\ge 2$; bài toán tô màu đỏ/xanh các cạnh nối 6 điểm để tìm tam giác đơn sắc (định lý Ramsey $R(3,3)=6$).
    • Bài toán tổ hợp (4 bài toán): Chia 43 học sinh vào 8 loại điểm (từ 2 đến 9) để tìm ít nhất 6 em cùng điểm; bài toán 10 đội bóng đá luôn có 2 đội có cùng số trận đã đấu; bài toán 6,93 tỉ người dưới 100 tuổi sống trên Trái đất phân vào 3,33 tỉ giây để chứng minh có ít nhất 3 người sinh cùng giây; bài toán 17 nhà bác học trao đổi 3 chủ đề qua thư từ chứng minh có 3 người cùng trao đổi một chủ đề.
    • Bài toán số học (5 bài toán): Xét số dư theo modulo 11 cho 12 số tự nhiên; xét 10 tổng tiền tố $S_1, \dots, S_{10}$ chia cho 10 để tìm số chia hết hoặc tổng chia hết cho 10; tạo dãy $2n$ số từ $n+1$ số nguyên dương nhỏ hơn $2n$ để tìm 3 số thỏa $a_x = a_y + a_1$; chia khoảng $(0;1)$ thành 2002 khoảng con để xét phần lẻ ${n\sqrt{2}}$; chứng minh khoảng $(20; 401)$ có không quá 20 phân số tối giản mẫu $\le 40$.
    • Bài toán bất đẳng thức (6 bài toán): Khai thác nguyên lý Dirichlet để xác định hai số cùng dấu trong 3 số thực: dạng 1 điểm rơi $(a-1)(b-1) \ge 0$ để biến đổi đại số chứng minh các bất đẳng thức đối xứng bậc hai, bậc ba và phân thức; dạng 2 điểm rơi $(a^2-1)(b^2-1) \ge 0$ khi đẳng thức xảy ra tại $a=b=c=1$ hoặc $a=b=c=-1$.

  3. Mối liên hệ giữa hai nguyên lí khởi đầu cực trị và nguyên lí Dirichlet: Tác giả phân tích các bài toán nâng cao đòi hỏi kết hợp đồng thời cả hai nguyên lý:

    • Bài toán hai tập điểm đen $B$ và trắng $W$ thỏa mãn đoạn nối 2 điểm cùng màu luôn chứa điểm khác màu (dùng Dirichlet chọn 2 đỉnh cùng màu của tam giác có diện tích nhỏ nhất, suy ra mâu thuẫn cực trị).
    • Chứng minh Định lý Sylvester: Xét tập hợp khoảng cách $P={h>0}$ từ một điểm đến đường thẳng nối 2 điểm thuộc tập $S$, chọn khoảng cách $h_0=AH$ nhỏ nhất, sau đó dùng nguyên lí Dirichlet chỉ ra hai điểm $C, D$ nằm cùng phía với chân đường vuông góc $H$ để hạ đường vuông góc mới $CK < AH$, tạo mâu thuẫn.
    • Bài toán 2021 đường thẳng có 3 đường bất kỳ đồng quy thì toàn bộ đồng quy tại một điểm.
    • Bài toán ngũ giác lồi có tọa độ đỉnh nguyên chứa điểm nguyên bên trong (dùng Dirichlet theo tính chẵn lẻ của 4 bộ tọa độ $(x, y) \pmod 2$, kết hợp chọn ngũ giác nguyên có diện tích nhỏ nhất bằng phương pháp phản ví dụ nhỏ nhất).

Kết quả và đóng góp

Khóa luận đã tổng hợp, phân loại và giải quyết hoàn chỉnh hệ thống các bài toán toán học sơ cấp nâng cao sử dụng nguyên lí khởi đầu cực trị và Dirichlet. Dưới đây là bảng tổng hợp các dạng toán và số lượng bài toán được phân tích chi tiết trong văn bản:

Lĩnh vực ứng dụng Số bài toán dùng Nguyên lí Cực trị Số bài toán dùng Nguyên lí Dirichlet Số bài toán kết hợp Cực trị & Dirichlet Tổng số bài toán
Hình học tổ hợp 6 5 3 14
Tổ hợp 4 4 0 8
Số học 4 5 0 9
Bất đẳng thức đại số 0 6 0 6
Cấu hình điểm nguyên & Đồng quy 0 0 1 1
Tổng cộng 14 20 4 38 lượt / 29 bài riêng biệt

Các đóng góp chính của đề tài được tác giả tự xác định:

  • Đã hệ thống hóa một cách mạch lạc cơ sở lý luận của hai nguyên lý suy luận cơ bản, chuyển hóa từ các mệnh đề trừu tượng thành quy trình giải toán cụ thể từng bước.
  • Đưa ra phương pháp giải toán mới cho học sinh THPT đối với các dạng toán nâng cao khó như hình học tổ hợp và số học, giúp người học định hướng tìm lời giải thông qua việc chọn cấu hình cực trị hoặc phân chia thỏ – chuồng thích hợp.
  • Xây dựng tài liệu tham khảo có cấu trúc sư phạm rõ ràng cho giáo viên và học sinh chuyên Toán quan tâm đến việc vận dụng nguyên lí Dirichlet và nguyên lí cực trị.

Hạn chế và hướng nghiên cứu tiếp

  • Hạn chế của khóa luận: Đề tài tập trung chủ yếu vào việc tuyển chọn, phân loại và trình bày lời giải các bài toán nâng cao ở mức độ lý thuyết giải tích và tổ hợp sơ cấp; chưa triển khai thực nghiệm sư phạm trên các lớp chuyên Toán THPT để đo lường định lượng mức độ tiếp thu và hiệu quả giảng dạy của phương pháp. Ngoài ra, phạm vi bài toán chỉ giới hạn ở các cấu hình hữu hạn phẳng và các tập số học rời rạc cơ bản.
  • Hướng nghiên cứu tiếp: Mở rộng nghiên cứu vận dụng hai nguyên lý trên vào các dạng toán cao hơn như lý thuyết đồ thị (định lý Turán, lý thuyết Ramsey mở rộng), hình học tổ hợp trong không gian $n$ chiều, hoặc xây dựng các chuyên đề bồi dưỡng học sinh giỏi có tích hợp bài tập tự luyện và thang đánh giá năng lực tư duy thuật toán cho học sinh.

Giá trị tham khảo

Tài liệu này có giá trị tham khảo thiết thực cho:

  • Sinh viên ngành Sư phạm Toán: Dùng làm tài liệu học tập, tham khảo phương pháp biên soạn chuyên đề giảng dạy toán nâng cao, rèn luyện kỹ năng phân tích phản chứng và kỹ thuật lập luận cực trị.
  • Giáo viên THPT phụ trách đội tuyển học sinh giỏi: Có thể khai thác trực tiếp hệ thống bài tập mẫu tại Chương 2 để xây dựng giáo án bồi dưỡng các chuyên đề: Số học nâng cao, Tổ hợp, Hình học tổ hợp và Bất đẳng thức đại số.
  • Học sinh tham gia các kỳ thi học sinh giỏi cấp tỉnh, quốc gia, Olympic: Tham khảo phương pháp tư duy giải các bài toán không mẫu mực. Trong đó, các phần đáng tham khảo nhất bao gồm:
    • Kỹ thuật xét "phản ví dụ nhỏ nhất" trong các bài toán cực trị rời rạc.
    • Kỹ thuật chuyển đổi điều kiện điểm rơi để tạo tích các hiệu cùng dấu $(a-k)(b-k) \ge 0$ khi chứng minh bất đẳng thức bằng nguyên lí Dirichlet.
    • Phương pháp phối hợp đồng thời hai nguyên lý để giải quyết các định lý hình học tổ hợp kinh điển (như Định lý Sylvester và bài toán ngũ giác nguyên).

Câu hỏi thường gặp

1. Nguyên lí khởi đầu cực trị được chia thành những dạng nào trong khóa luận?
Khóa luận chia nguyên lý này thành hai dạng: Nguyên lí 1 áp dụng cho tập hợp hữu hạn khác rỗng các số thực (luôn chọn được phần tử bé nhất và lớn nhất, thường dùng cho đoạn thẳng, góc, diện tích); và Nguyên lí 2 áp dụng cho tập hợp khác rỗng các số tự nhiên (luôn chọn được phần tử bé nhất).

2. Kỹ thuật chuyển về tập số tự nhiên để áp dụng nguyên lí cực trị trong bài toán ngũ giác đều có đỉnh nguyên được thực hiện ra sao?
Vì độ dài cạnh ngũ giác $a$ không nhất thiết là số tự nhiên, tác giả đã chuyển đổi bằng cách xét tập hợp các bình phương độ dài cạnh $\mathcal{A} = {a^2 : a \text{ là cạnh của ngũ giác đều đỉnh nguyên}}$. Do tọa độ các đỉnh là số nguyên nên $a^2 = (x_2-x_1)^2 + (y_2-y_1)^2 \in \mathbb{N}^*$. Từ đó, áp dụng nguyên lí cực trị để chọn ngũ giác có $a_0^2$ nhỏ nhất và dùng các hình bình hành suy ra một ngũ giác đỉnh nguyên mới có cạnh $a < a_0$, tạo mâu thuẫn.

3. Làm thế nào để áp dụng nguyên lí Dirichlet vào chứng minh bất đẳng thức đại số?
Phương pháp dựa trên tính chất: Trong 3 số thực bất kỳ luôn tồn tại 2 số cùng dấu. Khi bất đẳng thức có điểm rơi tại $a=b=c=k$, tác giả xét 3 số $(a-k), (b-k), (c-k)$. Giả sử $(a-k)(b-k) \ge 0 \iff ab - k(a+b) + k^2 \ge 0$, nhân thêm biến thứ ba $c$ để thu được đánh giá chặn cho đại lượng $abc$ hoặc $2abc$, từ đó đưa bất đẳng thức nhiều biến về dạng tam thức bậc hai hoặc bình phương đơn giản hơn.

4. Kết quả số lượng em bé tối thiểu còn giữ bóng trong bài toán 10 em bé chuyền bóng là bao nhiêu?
Trong bài toán 10 em bé đứng ở khoảng cách đôi một khác nhau và chuyền bóng cho bạn gần nhất, tác giả đã chứng minh số lượng em bé tối thiểu còn giữ bóng trong tay là 3 em (thông qua chứng minh phản chứng dựa trên tổng các góc ngoài tam giác và đưa ra cấu hình hình học 10 điểm thỏa mãn đúng 3 em còn bóng).

5. Định lý Sylvester được chứng minh bằng sự kết hợp giữa hai nguyên lý như thế nào?
Tác giả dùng nguyên lí khởi đầu cực trị để chọn khoảng cách $h_0 = AH$ nhỏ nhất từ một điểm $A \in S$ đến đường thẳng chứa 2 điểm khác của $S$. Sau đó, dùng nguyên lí Dirichlet để chỉ ra trong 3 điểm $B, C, D$ trên đường thẳng đó phải có ít nhất 2 điểm nằm cùng phía đối với chân đường vuông góc $H$. Từ việc nằm cùng phía, tác giả hạ đường vuông góc mới $CK$ từ điểm thứ ba xuống cạnh nối và chứng minh $CK < AH = h_0$, tạo ra mâu thuẫn với giả thiết $h_0$ nhỏ nhất.

Kết luận

Khóa luận tốt nghiệp của tác giả Pơloong Thị Neo đã hệ thống hóa toàn diện các kiến thức lý thuyết chuẩn bị và phương pháp luận của nguyên lí khởi đầu cực trị cùng nguyên lí Dirichlet. Thông qua việc phân loại và giải chi tiết 29 bài toán điển hình trải dài trên các mảng hình học tổ hợp, tổ hợp, số học và bất đẳng thức, công trình đã chứng minh tính hữu hiệu vượt trội của hai nguyên lý trong việc giải quyết các bài toán thi học sinh giỏi THPT. Đây là một tài liệu học thuật có cấu trúc sư phạm rõ ràng, đóng góp thiết thực cho công tác học tập và bồi dưỡng học sinh năng khiếu môn Toán.