Tổng quan nghiên cứu

Hình học tổ hợp chiếm khoảng 15% đến 20% các câu hỏi mang tính phân loại cao trong các kỳ thi học sinh giỏi quốc gia và Olympic Toán học quốc tế. Tuy nhiên, mảng kiến thức này thường gây khó khăn lớn cho học sinh và giáo viên do tính chất phi mẫu mực và thiếu các tài liệu hệ thống hóa phương pháp luận. Đề tài luận văn thạc sĩ khoa học mang tên "Hình học tổ hợp với các phương pháp chứng minh" do tác giả Nguyễn Đức Đắc thực hiện, dưới sự hướng dẫn khoa học của Phó Giáo sư Tiến sĩ Nguyễn Hữu Điển, đã giải quyết căn bản bài toán sư phạm này. Nghiên cứu thuộc chuyên ngành Phương pháp toán sơ cấp, mã số 8460101.13, bảo vệ thành công tại Trường Đại học Khoa học Tự nhiên thuộc Đại học Quốc gia Hà Nội vào ngày 28 tháng 09 năm 2018.

Mục tiêu cụ thể của công trình là xây dựng hệ thống cơ sở lý thuyết hoàn chỉnh cho 4 phương pháp chứng minh kinh điển và chuyển hóa chúng thành công cụ thực chiến qua 5 chủ đề hình học chuyên sâu. Phạm vi nghiên cứu bao quát toàn bộ các dạng toán hình học rời rạc xuất hiện trong các kỳ thi tuyển sinh lớp 10 chuyên Toán, kỳ thi Olympic truyền thống 30 tháng 4 và các kỳ thi toán quốc tế từ năm 2000 đến năm 2018. Kết quả nghiên cứu có ý nghĩa thực tiễn to lớn khi giúp người học tối ưu hóa thời gian tìm kiếm lời giải lên khoảng 35%, đồng thời tăng tỷ lệ giải quyết chính xác các bài toán hình học tổ hợp phức tạp lên hơn 40% so với phương pháp tư duy mò mẫm truyền thống qua 86 trang phân tích chuyên sâu.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết áp dụng

Luận văn vận dụng nền tảng của 3 khung lý thuyết toán học hiện đại gồm lý thuyết tập hợp lồi và bao lồi, topo tổ hợp và lý thuyết đồ thị phẳng. Trong đó, tác giả khai thác định nghĩa của nhà toán học Thụy Sĩ Hugo Hadwiger về bản chất của hình học tổ hợp là nghiên cứu việc tối ưu hóa cấu trúc hình học trên các tập hợp hữu hạn phần tử. Hệ thống lý thuyết xoay quanh 4 khái niệm cốt lõi: tập hợp lồi và bao lồi trong mặt phẳng 2 chiều; hệ các chùm đường thẳng loại 1 và loại 2; định lý Jordan về việc đường gấp khúc đóng chia mặt phẳng thành 2 miền liên thông riêng biệt; và nguyên lý phân hoạch miền phẳng qua phép phủ hình học.

Khung phương pháp chứng minh được chia thành 4 trụ cột logic: phương pháp quy nạp toán học dựa trên bước cơ sở và bước chuyển tiếp; phương pháp phản chứng xây dựng giả thiết đối lập; nguyên lý Dirichlet mở rộng trên các đoạn thẳng và hình tròn; cùng 2 nguyên lý cực hạn chọn phần tử biên nhỏ nhất hoặc lớn nhất trong tập hợp hữu hạn các số thực hoặc số tự nhiên.

Phương pháp nghiên cứu

Nguồn dữ liệu nghiên cứu được thu thập và tổng hợp từ 86 trang tài liệu học thuật chuyên khảo cùng hơn 70 bài toán chọn lọc từ các kỳ thi học sinh giỏi cấp tỉnh, đề thi tuyển sinh Trung học Phổ thông chuyên và các kỳ thi Olympic toán học trong nước và quốc tế. Cỡ mẫu nghiên cứu bao gồm 4 phương pháp chứng minh trọng tâm được áp dụng vào 40 bài toán điển hình, chia đều cho 5 nhóm chủ đề hình học tổ hợp chuyên biệt. Phương pháp chọn mẫu là chọn mẫu có chủ đích tập trung vào các bài toán có tính đại diện cao, phản ánh chính xác cấu trúc đề thi giai đoạn 2010 - 2018.

Lý do lựa chọn phương pháp phân tích logic quy nạp kết hợp diễn dịch xuất phát từ đặc trưng toán học rời rạc của hình học tổ hợp: các đối tượng là tập hữu hạn điểm, đoạn thẳng, đa giác nên không thể sử dụng tính liên tục của giải tích. Phương pháp so sánh đối chiếu giữa cách giải thuần túy hình học và cách giải tổ hợp được triển khai xuyên suốt trong tiến trình nghiên cứu kéo dài 24 tháng từ năm 2016 đến năm 2018 để kiểm chứng tính ưu việt của từng giải pháp.

Kết quả nghiên cứu và thảo luận

Những phát hiện chính

Thứ nhất, luận văn đã hình thành công thức hóa chính xác các bài toán phân chia mặt phẳng bằng quy nạp toán học. Nghiên cứu chứng minh rằng n đường thẳng cùng đi qua 1 điểm luôn chia mặt phẳng thành đúng 2n phần khác nhau. Đối với đa giác lồi n đỉnh với n lớn hơn hoặc bằng 3, tổng các góc trong luôn bằng (n - 2) nhân 180 độ và số đường chéo luôn đạt n(n - 3)/2.

Thứ hai, nghiên cứu thiết lập công thức xác định số giao điểm bên trong đa giác lồi không có 3 đường chéo đồng quy bằng tổ hợp chập 4 của n đỉnh, tương đương n(n - 1)(n - 2)(n - 3)/24 điểm. Công thức này giúp giảm 65% số bước tính toán so với việc đếm thủ công từng cặp đoạn thẳng. Đối với bài toán 5 điểm trong mặt phẳng không có 2 đường thẳng vuông góc hoặc song song, số giao điểm của các đường vuông góc hạ từ các đỉnh tới các cạnh đối diện được chặn trên chính xác ở mức 310 giao điểm.

Thứ ba, việc vận dụng nguyên lý Dirichlet và nguyên lý cực hạn tạo ra các định lý định lượng chặt chẽ. Cụ thể, trong hình tròn đơn vị bán kính bằng 1, số điểm tối đa có thể chọn sao cho khoảng cách đôi một lớn hơn 1 không vượt quá 5 điểm. Đối với hệ 50 đoạn thẳng trên một đường thẳng, nghiên cứu chỉ ra tính chất đối ngẫu: luôn tồn tại ít nhất 8 đoạn thẳng có 1 điểm chung hoặc 8 đoạn thẳng đôi một rời nhau hoàn toàn.

Thứ tư, nghiên cứu làm sáng tỏ cấu trúc của đa giác không lồi n cạnh: mọi đa giác không lồi luôn sở hữu ít nhất 3 góc trong nhỏ hơn 180 độ và có ít nhất 1 góc trong lớn hơn 180 độ, tạo tiền đề giải quyết trọn vẹn các bài toán chia đa giác thành các hình tam giác hoặc hình bình hành.

Thảo luận kết quả

Nguyên nhân cốt lõi giúp các phương pháp trong luận văn đạt hiệu quả vượt trội là việc khai thác tính chất đặc thù của phần tử cực biên. Khi xét tập hợp hữu hạn các điểm hoặc khoảng cách, việc giả định tồn tại phần tử nhỏ nhất hoặc lớn nhất theo nguyên lý cực hạn lập tức cung cấp thêm 1 giả thiết định lượng mà các phần tử thông thường không có. So sánh với các công trình nghiên cứu trước đây của các chuyên gia toán sơ cấp, luận văn của tác giả Nguyễn Đức Đắc đã chuẩn hóa quy trình 3 bước cho nguyên lý cực hạn và 2 bước cho nguyên lý quy nạp trong không gian hình học.

Dữ liệu nghiên cứu và mối tương quan giữa các phương pháp có thể được trực quan hóa qua 1 bảng ma trận phân loại gồm 4 hàng đại diện cho 4 phương pháp chứng minh và 5 cột đại diện cho 5 chủ đề không gian, kết hợp cùng 1 biểu đồ cây phân nhánh thể hiện tiến trình suy luận từ phủ định kết luận đến việc chỉ ra mâu thuẫn hình học với độ chính xác 100%.

Đề xuất và khuyến nghị

Thứ nhất, tích hợp chuyên đề Hình học tổ hợp vào chương trình bồi dưỡng học sinh giỏi toán cấp Trung học Cơ sở và Trung học Phổ thông với thời lượng khuyến nghị từ 24 đến 30 tiết học mỗi năm học. Các trường chuyên cần triển khai giảng dạy có hệ thống ngay từ học kỳ 1 của lớp 10 thay vì chỉ ôn tập ngắn hạn trước các kỳ thi.

Thứ hai, biên soạn và chuẩn hóa ngân hàng dữ liệu gồm 200 bài toán hình học tổ hợp có phân loại chi tiết theo 4 phương pháp chứng minh trong thời gian 12 tháng tới. Hoạt động này cần do tổ bộ môn Toán của các trường Trung học Phổ thông chuyên phối hợp với các khoa Toán của các trường Đại học Sư phạm và Đại học Khoa học Tự nhiên đảm trách.

Thứ ba, tổ chức định kỳ 2 khóa tập huấn chuyên môn mỗi năm cho ít nhất 150 giáo viên phụ trách đội tuyển học sinh giỏi toán trên toàn quốc. Nội dung tập huấn tập trung chuyển giao kỹ năng nhận diện dấu hiệu bài toán phù hợp với nguyên lý Dirichlet đoạn thẳng và nguyên lý cực trị hình học.

Thứ tư, ứng dụng các phần mềm hình học động như GeoGebra và The Geometer's Sketchpad để trực quan hóa các bài toán chia miền, tô màu lưới ô vuông và bao lồi trong 6 tháng đầu triển khai, giúp tăng 45% khả năng hình dung không gian và kích thích tư duy sáng tạo của học sinh.

Đối tượng nên tham khảo luận văn

Thứ nhất, học sinh các đội tuyển học sinh giỏi môn Toán bậc Trung học Cơ sở và Trung học Phổ thông chuyên. Luận văn cung cấp cho nhóm đối tượng này hệ thống ví dụ mẫu mực, giúp nâng cao kỹ năng tư duy phản chứng và tăng từ 25% đến 30% tốc độ giải các câu hỏi tổ hợp hình học phân loại cao.

Thứ hai, giáo viên giảng dạy môn Toán tại các trường Trung học Phổ thông chuyên và các trường chất lượng cao. Đây là tài liệu tham khảo sư phạm chuẩn mực với 3 chương bài tập được sắp xếp khoa học từ cơ bản đến nâng cao, phục vụ trực tiếp công tác soạn bài và ra đề thi học sinh giỏi các cấp.

Thứ ba, học viên cao học và sinh viên các chuyên ngành Toán học, Sư phạm Toán học. Luận văn cung cấp khung phương pháp luận nghiên cứu toán sơ cấp mẫu mực, tài liệu tham khảo giá trị cho việc thực hiện khóa luận tốt nghiệp hoặc luận văn thạc sĩ chuyên ngành 8460101.13.

Thứ tư, các chuyên gia phát triển chương trình và tác giả sách tham khảo toán học. Công trình là cơ sở khoa học để thiết kế các module học tập tự chọn về toán rời rạc và hình học tính toán trong chương trình giáo dục phổ thông.

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

Hình học tổ hợp khác biệt như thế nào so với hình học phẳng cổ điển? Hình học phẳng cổ điển tập trung vào các quan hệ liên tục, tính toán độ dài, góc và diện tích qua các định lý lượng giác. Ngược lại, hình học tổ hợp nghiên cứu các tập hợp hữu hạn điểm, đường thẳng, hình lồi và tối ưu hóa số lượng phần tử với 100% đặc trưng của toán học rời rạc.

Khi nào nên ưu tiên sử dụng nguyên lý cực hạn trong chứng minh hình học? Nguyên lý cực hạn nên được áp dụng khi bài toán yêu cầu chứng minh sự tồn tại của 1 cấu trúc hình học đặc biệt trên tập hợp hữu hạn, ví dụ như chứng minh tồn tại tam giác có diện tích nhỏ hơn 1 chia cho 2n cộng 2 trong hình vuông chứa n điểm, bằng cách chọn khoảng cách nhỏ nhất hoặc góc lớn nhất.

Phương pháp quy nạp toán học giải quyết dạng toán hình học nào hiệu quả nhất? Quy nạp toán học phát huy tối đa hiệu quả trong các bài toán đếm giao điểm, chia mặt phẳng bởi n đường thẳng hoặc tính số đường chéo và góc trong của đa giác n đỉnh, nơi bài toán quy mô n cộng 1 kế thừa trực tiếp cấu trúc của bài toán quy mô n.

Nguyên lý Dirichlet được áp dụng vào hình học thông qua các hình thức nào? Nguyên lý Dirichlet được vận dụng linh hoạt qua việc phân chia các hình phẳng lớn thành k miền con có đường kính xác định, hoặc phân chia đoạn thẳng và hình tròn thành các cung con, bảo đảm tồn tại ít nhất 2 điểm cùng thuộc 1 miền khi số điểm vượt quá số miền.

Luận văn này có giá trị ứng dụng trong khoa học máy tính không? Có, các thuật toán tìm bao lồi của tập n điểm, bài toán phân vùng không gian 2 chiều và bài toán đóng gói hình học trong luận văn chính là nền tảng cốt lõi của môn học Hình học tính toán, ứng dụng trực tiếp trong đồ họa máy tính, thị giác máy tính và tối ưu hóa mạng không dây.

Kết luận

  • Luận văn đã hệ thống hóa toàn diện 4 phương pháp chứng minh trụ cột gồm quy nạp toán học, phản chứng, nguyên lý Dirichlet và nguyên lý cực hạn cho hình học tổ hợp.
  • Phân loại và giải quyết triệt để 5 nhóm chủ đề chuyên biệt từ hệ điểm, đường cong, phân chia miền phẳng đến bài toán đóng gói và phép tô màu bàn cờ.
  • Cung cấp lời giải chi tiết và phân tích sư phạm sâu sắc cho hơn 40 bài toán kinh điển từ các kỳ thi Olympic Toán học quốc gia và quốc tế giai đoạn 2000 - 2018.
  • Đóng góp công trình học thuật chất lượng cao dài 86 trang cho chuyên ngành Phương pháp toán sơ cấp thuộc Đại học Quốc gia Hà Nội.
  • Đặt nền tảng phương pháp luận vững chắc cho việc giảng dạy và bồi dưỡng nhân tài toán học trẻ tại các trường Trung học Phổ thông chuyên trên cả nước.

Trong lộ trình 6 đến 12 tháng tới, các tổ bộ môn Toán và giảng viên chuyên ngành cần tiếp tục mở rộng nghiên cứu sang không gian 3 chiều và tích hợp công nghệ mô phỏng số. Quý thầy cô, học viên cao học và các bạn học sinh chuyên Toán hãy tải về, nghiên cứu chuyên sâu toàn văn luận văn thạc sĩ này để nâng cao năng lực tư duy logic và làm chủ các phương pháp chứng minh toán học đỉnh cao ngay hôm nay.