Hình học của các con số

Tìm hiểu về hình học của các con số, định lý Pick và Minkowski. Khám phá ứng dụng của chúng trong các bài toán số học và hình học phẳng.

• Người hướng dẫn: TS. Phạm Văn Tuấn
• Trường học: Trường Đại học Khoa học Tự nhiên - Đại học Quốc gia Hà Nội
• Chuyên ngành: Toán học sơ cấp
• Đề tài: Hình Học Của Các Con Số: Định Lý Pick, Minkowski Và Ứng Dụng
• Loại tài liệu: Luận văn
• Năm xuất bản: 2023
• Địa điểm: Hà Nội

Mục lục chi tiết

• LỜI CẢM ƠN
• LỜI NÓI ĐẦU
• 1. CHƯƠNG 1: KIẾN THỨC CƠ SỞ
• 1.1. Điểm dàn và đa giác
• 1.2. Phép biến đổi tuyến tính
• 2. CHƯƠNG 2: ĐỊNH LÝ PICK VÀ ỨNG DỤNG
• 2.1. Định lý Pick
• 3. CHƯƠNG 3: ĐỊNH LÝ CƠ BẢN CỦA MINKOWSKI
• 4. CHƯƠNG 4: MỘT SỐ KẾT QUẢ KHÁC
• TÀI LIỆU THAM KHẢO

Tóm tắt

I. Khám phá Hình học của các con số Tổng quan và ứng dụng

Hình học của các con số là một lĩnh vực thuộc lý thuyết số, sử dụng các công cụ hình học để giải quyết các bài toán số học. Hermann Minkowski là người tiên phong nghiên cứu lĩnh vực này vào cuối thế kỷ XIX. Ông đã chứng minh một cách hình học và đơn giản nhiều kết quả trong số học, đặc biệt là bài toán xấp xỉ số vô tỉ bởi số hữu tỉ. Thay vì sử dụng phương pháp đại số, Minkowski tiếp cận bài toán từ góc độ hình học, mở ra những khám phá thú vị và giúp giải quyết một số bài toán số học dễ dàng hơn. Luận văn này trình bày các khái niệm cơ bản trong hình học của các con số, tập trung vào hai định lý quan trọng của Pick và Minkowski. Tài liệu tham khảo chính cho luận văn này là các cuốn sách [3, 1, 5].

1.1. Định nghĩa Điểm dàn và Đa giác trong Hình học số học

Trong mặt phẳng R2, dàn chính tắc là tập hợp các điểm có tọa độ nguyên, hay còn gọi là điểm dàn. Định thức của dàn chính tắc là 1. Dàn tổng quát được sinh ra từ một cơ sở các vector, là tập hợp các tổ hợp tuyến tính với hệ số nguyên của các vector đó. Định thức của dàn tổng quát là diện tích hình bình hành cơ sở. Một đa giác là hình gồm các điểm (đỉnh) nối với nhau bằng các đoạn thẳng (cạnh), giới hạn một phần mặt phẳng hữu hạn. Có hai loại đa giác: đơn và phức, dựa trên mối quan hệ giữa các cạnh. Đa giác dàn là đa giác có các đỉnh là các điểm dàn.

1.2. Phép biến đổi tuyến tính Liên hệ giữa Dàn chính tắc và Dàn tổng quát

Trong không gian R2, phép biến đổi tuyến tính T biến đổi một điểm (x, y) thành một điểm (x', y') thông qua một hệ phương trình tuyến tính. Điều kiện để phép biến đổi tuyến tính khả nghịch là △ = ad − bc ≠ 0. Phép biến đổi tuyến tính có nhiều tính chất quan trọng, ví dụ biến điểm thành điểm, đường thẳng thành đường thẳng, bảo toàn tỷ lệ chia đoạn thẳng. Từ dàn chính tắc, qua phép biến đổi tuyến tính, ta có thể tạo ra vô số các dàn tổng quát trong không gian Rn. Công thức biến đổi ngược của điểm (x', y') về điểm (x,y) ban đầu sử dụng ma trận nghịch đảo.

II. Bí quyết áp dụng Định lý Pick Tính diện tích đa giác dàn nhanh chóng

Định lý Pick là một công cụ mạnh mẽ trong hình học của các con số, liên hệ giữa diện tích một đa giác dàn với số lượng các điểm dàn bên trong và trên biên của đa giác đó. Công thức của định lý Pick là Area(P) = IP + BP/2 - 1, trong đó IP là số điểm dàn bên trong và BP là số điểm dàn trên biên. Định lý Pick cho phép ta tính diện tích đa giác dàn một cách nhanh chóng, chỉ cần đếm số điểm dàn liên quan. Chương này sẽ đi sâu vào chứng minh định lý Pick, các mở rộng và ứng dụng của nó. Việc áp dụng định lý giúp giải quyết một số bài toán đại số một cách hiệu quả.

2.1. Định lý Pick Công thức ví dụ và cách tính diện tích đa giác

Định lý Pick khẳng định rằng diện tích đa giác đơn có các đỉnh là các điểm dàn được tính bằng công thức Area(P) = IP + BP/2 - 1. Trong đó: Area (P) là diện tích đa giác P, IP là số điểm dàn bên trong đa giác P, BP là số điểm dàn trên biên đa giác P. Ví dụ: Một đa giác dàn có 8 điểm dàn bên trong và 7 điểm dàn trên biên thì diện tích của nó là 8 + 7/2 - 1 = 10.5 đơn vị diện tích. Để dễ hiểu hơn, một ví dụ cụ thể về cách tính diện tích đa giác MNPQ trên lưới nguyên được đưa ra trong tài liệu gốc.

2.2. Mở rộng Định lý Pick Các trường hợp đặc biệt và tổng quát hóa

Định lý Pick có thể được mở rộng cho các trường hợp đặc biệt và tổng quát hóa. Bổ đề 2.4 chỉ ra rằng nếu một đa giác được chia thành các đa giác nhỏ hơn, thì nếu định lý Pick đúng với tất cả các đa giác nhỏ, nó cũng đúng với đa giác lớn. Hệ quả 2.5 mở rộng bổ đề này cho n đa giác. Định lý Pick đúng với các hình chữ nhật có cạnh song song với trục tọa độ. Từ đó, bằng cách chia một đa giác bất kỳ thành các hình chữ nhật và tam giác, ta có thể chứng minh định lý Pick đúng với mọi đa giác dàn.

2.3. Ứng dụng Định lý Pick Giải quyết các bài toán Hình học rời rạc

Định lý Pick không chỉ là một công thức tính diện tích, mà còn là một công cụ mạnh mẽ để giải quyết các bài toán hình học rời rạc. Nó có thể được sử dụng để chứng minh các tính chất về số lượng điểm dàn trong một hình, hoặc để tìm diện tích của một hình khi biết số lượng điểm dàn. Một số ứng dụng cụ thể của định lý Pick bao gồm việc giải các bài toán về diện tích đa giác, tính số lượng điểm dàn bị chặn bởi một đường cong, hoặc xác định xem một hình có phải là một đa giác dàn hay không.

III. Định lý Minkowski Chứng minh sự tồn tại điểm dàn trong hình lồi

Định lý Minkowski là một kết quả quan trọng khác trong hình học của các con số. Nó liên quan đến sự tồn tại của điểm dàn bên trong một tập lồi đối xứng tâm có diện tích đủ lớn. Định lý Minkowski có nhiều ứng dụng quan trọng trong lý thuyết số, đặc biệt là trong bài toán xấp xỉ số vô tỉ bởi số hữu tỉ. Chương này sẽ trình bày các định lý của Minkowski liên quan đến sự tồn tại điểm dàn bên trong một tập lồi đối xứng tâm và có diện tích đủ lớn. Từ đó ứng dụng kết quả này cho bài toán xấp xỉ một số vô tỉ bởi một số hữu tỉ.

3.1. Giới thiệu bài toán xấp xỉ số vô tỉ bởi số hữu tỉ

Bài toán xấp xỉ số vô tỉ bởi số hữu tỉ là một bài toán cổ điển trong lý thuyết số. Mục tiêu là tìm các số hữu tỉ gần đúng với một số vô tỉ cho trước. Bài toán này có nhiều ứng dụng trong thực tế, ví dụ như trong việc tính toán các giá trị gần đúng của các hằng số toán học như pi hoặc e. Định lý Minkowski cung cấp một công cụ mạnh mẽ để giải quyết bài toán này, bằng cách liên hệ nó với bài toán tìm điểm dàn trong một hình lồi.

3.2. Định lý cơ bản của Minkowski Điều kiện tồn tại điểm dàn trong tập lồi

Định lý cơ bản của Minkowski phát biểu rằng: Nếu K là một tập lồi đối xứng qua gốc tọa độ trong Rn, và có thể tích lớn hơn 2^n, thì K chứa ít nhất một điểm dàn khác gốc tọa độ. Định lý này có ý nghĩa quan trọng, vì nó đảm bảo sự tồn tại của điểm dàn trong một tập hợp có tính chất hình học và kích thước nhất định. Để chứng minh định lý, người ta thường sử dụng nguyên lý Dirichlet.

3.3. Ứng dụng Định lý Minkowski Giải quyết bài toán Fermat và Lagrange

Định lý Minkowski có nhiều ứng dụng quan trọng trong lý thuyết số. Ví dụ, nó có thể được sử dụng để chứng minh bài toán Fermat về tổng hai số chính phương, và bài toán Lagrange về tổng bốn số chính phương. Các bài toán này liên quan đến việc biểu diễn một số nguyên dương dưới dạng tổng của các số chính phương. Bằng cách sử dụng định lý Minkowski, ta có thể tìm ra các số nguyên thỏa mãn các điều kiện của bài toán.

IV. Kết quả khác Định lý phủ điểm dàn và bài toán Gauss

Ngoài định lý Pick và Minkowski, còn có nhiều kết quả khác liên quan đến hình học của các con số. Chương này trình bày một số kết quả khác liên quan đến hai định lý Pick và định lý Minkowski. Điều này bao gồm Định lý phủ điểm dàn và bài toán Gauss về số lượng điểm dàn nằm trong hình tròn. Các kết quả này tiếp tục khẳng định mối liên hệ sâu sắc giữa hình học và số học.

4.1. Định lý phủ điểm dàn Phạm vi phủ của các tập hợp

Định lý phủ điểm dàn liên quan đến việc tìm phạm vi phủ của các tập hợp điểm dàn. Mục tiêu là tìm một tập hợp nhỏ nhất sao cho mọi điểm dàn đều nằm trong tập hợp đó. Định lý này có ứng dụng trong việc thiết kế các hệ thống mã hóa và giải mã, cũng như trong các bài toán về tối ưu hóa.

4.2. Bài toán đường tròn Gauss Ước lượng số điểm dàn trong hình tròn

Bài toán đường tròn Gauss là một bài toán cổ điển trong lý thuyết số, liên quan đến việc ước lượng số lượng điểm dàn nằm trong hình tròn có tâm tại gốc tọa độ và bán kính cho trước. Bài toán này đã được nghiên cứu bởi nhiều nhà toán học, và vẫn còn nhiều câu hỏi mở liên quan đến việc cải thiện độ chính xác của các ước lượng. Số lượng điểm dàn nằm trong hình tròn bán kính r tăng tỉ lệ với diện tích hình tròn (pi*r^2).

4.3. Đa giác đều với đỉnh là các điểm dàn

Việc xây dựng các đa giác đều với đỉnh là các điểm dàn trên mặt phẳng là một vấn đề thú vị trong hình học số học. Không phải mọi đa giác đều có thể được xây dựng theo cách này. Nghiên cứu này liên quan đến tính chất số học của các góc và độ dài cạnh của đa giác, cũng như sự phân bố của các điểm dàn trên mặt phẳng.

Nội dung chính

Tổng quan nghiên cứu

Hình học của các con số là một lĩnh vực nghiên cứu giao thoa giữa hình học và lý thuyết số, được phát triển từ cuối thế kỷ XIX bởi nhà toán học Hermann Minkowski. Lĩnh vực này tập trung vào việc sử dụng các cấu trúc hình học để giải quyết các bài toán số học, đặc biệt là các bài toán liên quan đến điểm dàn trong mặt phẳng và các đa giác có đỉnh là điểm dàn. Nghiên cứu này nhằm làm rõ mối quan hệ giữa diện tích các đa giác dàn với số lượng điểm dàn bên trong và trên biên của chúng, qua đó ứng dụng vào các bài toán xấp xỉ số vô tỉ bằng số hữu tỉ và các cấu trúc số học phức tạp hơn.

Mục tiêu chính của luận văn là trình bày và chứng minh các định lý quan trọng trong hình học của các con số, bao gồm định lý Pick và định lý Minkowski, cùng với các mở rộng và ứng dụng của chúng. Phạm vi nghiên cứu tập trung vào các đa giác đơn và phức có đỉnh là điểm dàn trong không gian hai chiều, với các phép biến đổi tuyến tính và các ứng dụng trong lý thuyết số như dãy Farey và đường tròn Ford. Nghiên cứu được thực hiện trong giai đoạn 2020-2023 tại Hà Nội, với sự hỗ trợ của Trường Đại học Khoa học Tự nhiên - Đại học Quốc gia Hà Nội.

Ý nghĩa của nghiên cứu được thể hiện qua việc cung cấp các công cụ hình học để giải quyết các bài toán số học phức tạp, đồng thời mở rộng hiểu biết về cấu trúc điểm dàn và đa giác dàn, góp phần phát triển lý thuyết số và hình học tổ hợp. Các kết quả nghiên cứu có thể được ứng dụng trong toán học thuần túy và các lĩnh vực liên quan như mật mã học, lý thuyết mã và khoa học máy tính.

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 dựa trên hai định lý nền tảng trong hình học của các con số:

• Định lý Pick: Thiết lập mối quan hệ giữa diện tích của một đa giác đơn có các đỉnh là điểm dàn với số điểm dàn bên trong và trên biên của đa giác đó. Công thức chính là
  $$ \text{Area}(P) = I_P + \frac{B_P}{2} - 1 $$
  trong đó $I_P$ là số điểm dàn bên trong và $B_P$ là số điểm dàn trên biên đa giác $P$.

• Định lý Minkowski: Liên quan đến sự tồn tại điểm dàn trong các tập lồi đối xứng tâm có diện tích đủ lớn, ứng dụng trong bài toán xấp xỉ số vô tỉ bằng số hữu tỉ.

Ngoài ra, luận văn sử dụng các khái niệm cơ bản như điểm dàn, dàn chính tắc và dàn tổng quát trong không gian $\mathbb{R}^2$, phép biến đổi tuyến tính và các đặc tính của đa giác đơn và đa giác phức. Các khái niệm về dãy Farey, cặp Farey, và đường tròn Ford cũng được khai thác để mở rộng ứng dụng của định lý Pick trong lý thuyết số.

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

Nghiên cứu sử dụng phương pháp phân tích lý thuyết kết hợp với chứng minh hình học và đại số. Các bước chính bao gồm:

• Thu thập và tổng hợp các kiến thức cơ sở về điểm dàn, đa giác dàn, và phép biến đổi tuyến tính.
• Chứng minh định lý Pick cho các trường hợp đặc biệt như hình chữ nhật, tam giác vuông, tam giác bất kỳ có đỉnh là điểm dàn.
• Mở rộng định lý Pick cho các đa giác phức và các trường hợp đa giác có lỗ.
• Áp dụng định lý Pick để phân tích các dãy Farey và các đường tròn Ford, chứng minh các tính chất liên quan đến cặp Farey và tiếp xúc của các đường tròn Ford.
• Sử dụng các thuật toán lập trình Python để tính toán và mô phỏng dãy Farey cấp n, cũng như giải các phương trình Diophante liên quan.

Nguồn dữ liệu chủ yếu là các tài liệu toán học chuyên sâu, sách giáo khoa và các bài báo nghiên cứu trong lĩnh vực hình học của các con số và lý thuyết số. Cỡ mẫu nghiên cứu là các đa giác dàn với số lượng điểm dàn được đếm cụ thể trong từng ví dụ minh họa. Phương pháp chọn mẫu là lựa chọn các đa giác đơn và phức tiêu biểu, có tính đại diện cho các trường hợp nghiên cứu. Timeline nghiên cứu kéo dài từ năm 2020 đến 2023, với các giai đoạn thu thập tài liệu, chứng minh lý thuyết, ứng dụng và hoàn thiện luận văn.

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

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

1. Chứng minh định lý Pick cho đa giác đơn có đỉnh là điểm dàn:
   Qua các ví dụ cụ thể như đa giác MNPQ và GHIKL, với số điểm dàn bên trong lần lượt là 8 và 13, số điểm dàn trên biên là 7 cho cả hai đa giác, diện tích được tính chính xác theo công thức
   $$ \text{Area} = I + \frac{B}{2} - 1 $$
   Ví dụ đa giác MNPQ có diện tích 21/2, đa giác GHIKL có diện tích 31/2, khẳng định tính đúng đắn của định lý.

2. Mở rộng định lý Pick cho đa giác có lỗ và đa giác phức:
   Định lý được mở rộng cho các đa giác dạng $P = P_0 \setminus \text{Int}(P_1)$ với công thức
   $$ \text{Area}(P) = I_P + \frac{B_P}{2} $$
   Ví dụ minh họa cho thấy đa giác có lỗ không thỏa mãn công thức gốc nhưng thỏa mãn công thức mở rộng. Đối với đa giác phức có n giao điểm của các cạnh không kề nhau là điểm dàn, diện tích được điều chỉnh bằng công thức
   $$ \text{Area}(P) = I_P + \frac{B_P}{2} - 1 - n $$

3. Tính chất của dãy Farey và cặp Farey:
   Số lượng phần tử của dãy Farey cấp n được xác định bằng
   $$ |F_n| = 1 + \sum_{m=1}^n \varphi(m) $$
   trong đó $\varphi$ là hàm Euler. Mỗi cặp phân số liên tiếp trong dãy Farey thỏa mãn điều kiện
   $$ bc - ad = 1 $$
   với cặp phân số là $\frac{a}{b}$ và $\frac{c}{d}$. Điều này được chứng minh bằng cách sử dụng định lý Pick để tính diện tích tam giác tạo bởi các điểm tương ứng trên mặt phẳng.

4. Đường tròn Ford và tính chất tiếp xúc:
   Đường tròn Ford được xây dựng dựa trên các số hữu tỉ trong đoạn [0,1], với bán kính của đường tròn tương ứng với phân số tối giản $\frac{a}{b}$ là
   $$ R = \frac{1}{2b^2} $$
   Hai đường tròn Ford tiếp xúc nhau khi và chỉ khi phân số tương ứng tạo thành một cặp Farey, tức là thỏa mãn điều kiện $bc - ad = 1$. Đường tròn Ford tiếp xúc đồng thời với hai đường tròn Ford tiếp xúc khác có bán kính tương ứng là
   $$ R = \frac{1}{2(b+d)^2} $$

Thảo luận kết quả

Các kết quả trên cho thấy sự liên kết chặt chẽ giữa hình học và lý thuyết số thông qua các định lý Pick và Minkowski. Việc chứng minh định lý Pick cho đa giác đơn và mở rộng cho đa giác phức giúp mở rộng phạm vi ứng dụng của lý thuyết điểm dàn trong các bài toán hình học tổ hợp và số học. So sánh với các nghiên cứu trước đây, luận văn đã cung cấp các chứng minh chi tiết và các ví dụ minh họa cụ thể, làm rõ các trường hợp ngoại lệ và mở rộng định lý.

Việc áp dụng định lý Pick để chứng minh tính chất của dãy Farey và cặp Farey là một bước tiến quan trọng, giúp hiểu sâu hơn về cấu trúc của các số hữu tỉ và mối quan hệ giữa chúng. Đường tròn Ford, với các tính chất tiếp xúc đặc biệt, cung cấp một mô hình hình học trực quan cho các mối quan hệ số học phức tạp, đồng thời liên kết với các định lý hình học cơ bản.

Dữ liệu có thể được trình bày qua các biểu đồ số lượng điểm dàn, bảng tính diện tích đa giác, và sơ đồ các đường tròn Ford với các điểm tiếp xúc, giúp minh họa trực quan các mối quan hệ và tính chất đã chứng minh.

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

1. Phát triển thuật toán tính toán dãy Farey cấp cao:
   Xây dựng và tối ưu hóa các thuật toán lập trình để tính toán và sắp xếp dãy Farey cấp n lớn, nhằm hỗ trợ nghiên cứu sâu hơn về cấu trúc số hữu tỉ và ứng dụng trong mật mã học. Thời gian thực hiện: 6-12 tháng, chủ thể: nhóm nghiên cứu toán học ứng dụng.

2. Mở rộng nghiên cứu định lý Pick trong không gian đa chiều:
   Nghiên cứu và chứng minh các phiên bản mở rộng của định lý Pick cho đa giác và đa diện trong không gian ba chiều trở lên, nhằm ứng dụng trong hình học tổ hợp và lý thuyết số đa chiều. Thời gian thực hiện: 1-2 năm, chủ thể: các nhà toán học hình học.

3. Ứng dụng đường tròn Ford trong mô hình hóa và phân tích dữ liệu:
   Khai thác các tính chất của đường tròn Ford để phát triển các mô hình phân tích dữ liệu có cấu trúc số học, đặc biệt trong lĩnh vực khoa học máy tính và mật mã. Thời gian thực hiện: 1 năm, chủ thể: các nhà khoa học dữ liệu và mật mã học.

4. Tổ chức hội thảo chuyên đề về hình học của các con số:
   Tạo diễn đàn trao đổi chuyên sâu giữa các nhà nghiên cứu trong và ngoài nước về các kết quả mới trong lĩnh vực hình học của các con số, thúc đẩy hợp tác và phát triển nghiên cứu. Thời gian thực hiện: hàng năm, chủ thể: các viện nghiên cứu và trường đại học.

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

1. Sinh viên và nghiên cứu sinh ngành Toán học:
   Luận văn cung cấp kiến thức nền tảng và nâng cao về hình học của các con số, giúp phát triển tư duy toán học và kỹ năng chứng minh.

2. Giảng viên và nhà nghiên cứu trong lĩnh vực hình học và lý thuyết số:
   Các kết quả và phương pháp chứng minh trong luận văn là tài liệu tham khảo quý giá để phát triển nghiên cứu chuyên sâu và giảng dạy.

3. Chuyên gia ứng dụng toán học trong khoa học máy tính và mật mã học:
   Các ứng dụng của dãy Farey và đường tròn Ford có thể hỗ trợ trong thiết kế thuật toán và phân tích bảo mật.

4. Nhà phát triển phần mềm toán học và công cụ tính toán:
   Luận văn cung cấp các thuật toán và mô hình toán học có thể được tích hợp vào các phần mềm hỗ trợ nghiên cứu và giảng dạy toán học.

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

1. Định lý Pick áp dụng cho những loại đa giác nào?
   Định lý Pick áp dụng chính xác cho các đa giác đơn có các đỉnh là điểm dàn trong mặt phẳng. Với đa giác phức hoặc đa giác có lỗ, định lý cần được mở rộng hoặc điều chỉnh công thức.

2. Điểm dàn là gì và tại sao quan trọng trong nghiên cứu này?
   Điểm dàn là điểm có tọa độ nguyên trong mặt phẳng. Chúng là đối tượng nghiên cứu trung tâm vì các định lý hình học của các con số liên quan trực tiếp đến số lượng điểm dàn bên trong và trên biên đa giác.

3. Dãy Farey có ứng dụng thực tiễn nào không?
   Dãy Farey được ứng dụng trong lý thuyết số, mật mã học, và các lĩnh vực cần phân tích các số hữu tỉ theo thứ tự, như mô hình hóa tín hiệu và phân tích dữ liệu.

4. Đường tròn Ford có liên quan gì đến định lý Pick?
   Đường tròn Ford được xây dựng dựa trên các số hữu tỉ và có tính chất tiếp xúc liên quan đến cặp Farey, mà các cặp Farey được chứng minh tính chất bằng định lý Pick thông qua diện tích tam giác tạo bởi các điểm dàn.

5. Phép biến đổi tuyến tính được sử dụng như thế nào trong nghiên cứu?
   Phép biến đổi tuyến tính giúp mở rộng khái niệm dàn chính tắc sang dàn tổng quát, cho phép biến đổi đa giác và điểm dàn trong không gian, từ đó áp dụng định lý Pick cho các trường hợp đa dạng hơn.

Kết luận

• Luận văn đã chứng minh và mở rộng định lý Pick cho đa giác đơn, đa giác có lỗ và đa giác phức với các điều chỉnh phù hợp.
• Định lý Pick được ứng dụng hiệu quả trong việc phân tích dãy Farey và các cặp Farey, làm rõ cấu trúc số học của các số hữu tỉ.
• Đường tròn Ford được mô hình hóa và phân tích dựa trên các kết quả của định lý Pick và tính chất của cặp Farey, mở ra hướng nghiên cứu mới trong hình học số học.
• Phương pháp nghiên cứu kết hợp lý thuyết, chứng minh hình học và lập trình tính toán đã tạo nên một hệ thống nghiên cứu toàn diện và có tính ứng dụng cao.
• Các bước tiếp theo bao gồm phát triển thuật toán tính toán dãy Farey cấp cao, mở rộng định lý Pick trong không gian đa chiều và ứng dụng các kết quả vào các lĩnh vực khoa học máy tính và mật mã học.

Mời quý độc giả và các nhà nghiên cứu tiếp tục khám phá và ứng dụng các kết quả trong luận văn để phát triển sâu rộng lĩnh vực hình học của các con số.

Trích đoạn nội dung tài liệu

Chương 1 Kiến thức cơ sở Tài liệu tham khảo chính của toàn bộ luận văn này là các cuốn sách [3, 1, 5]. Hình học của các con số tập trung nghiên cứu các vấn đề về lý thuyết số dưới góc nhìn của hình học. Trước khi thảo luận các kết quả chính của vấn đề này, chúng tôi giới thiệu một số khái niệm cơ bản.1 Điểm dàn và đa giác Định nghĩa 1. Dàn chính tắc trong mặt phẳng R2 là tập con bao gồm các điểm có tọa độ nguyên.

Một điểm trong dàn chính tắc được gọi là một điểm dàn. Minh họa Định thức của dàn chính tắc (ký hiệu Λ) được định nghĩa h i 1 0 det (Λ) = det →− → − e1 e2 = = 1. 0 1 Ta mở rộng định nghĩa một dàn tổng quát từ dàn chính tắc. KIẾN THỨC CƠ SỞ 6 Định nghĩa 1.

Một dàn trong không gian Rn được sinh ra từ cơ sở (→ − v1 , → − v2 ,. , → − vn ) là tập hợp các tổ hợp tuyến tính với hệ số nguyên của các véctơ → − v1 , → − v2 ,. , → − vn x1 → − v1 + x2 → − v2 + · · · + xn → − vn với xi ∈ Z. Một dàn tổng quát trong R2 với cơ sở (→ − v1 , → − v2 ).

Định thức của dàn tổng quát với cơ sở (→ − v1 , → − v2 ) (ký hiệu Λ (→ − v1 , → − v2 )) được định nghĩa bằng diện tích hình bình hành cơ sở → − → − h i → − → − det (Λ ( v1 , v2 )) = det v1 v2. Trong hình học phẳng, đa giác là hình gồm tập hợp các điểm được gọi là các đỉnh, được nối với nhau theo một thứ tự nhất định bởi các đoạn thẳng gọi là các cạnh, và phần mặt phẳng hữu hạn giới hạn bởi các đỉnh và các cạnh. Mỗi đỉnh là đầu mút của đúng hai cạnh của đa giác. Dựa vào mối quan hệ giữa các đỉnh và các cạnh, ta chia đa giác thành 2 loại: ˆ Đa giác đơn: là đa giác mà các cạnh chỉ có thể cắt nhau tại các đỉnh của đa giác, không có hai cạnh không kề nào cắt nhau (Hình (a) và (b)).

ˆ Đa giác phức: là đa giác có chứa hai cạnh không kề nhau cắt nhau, điểm cắt nhau đó không phải đỉnh của đa giác (Hình c). KIẾN THỨC CƠ SỞ 7 Định nghĩa 1. Biên của một đa giác là tập hợp các đỉnh và các cạnh của đa giác đó. Đường biên chia tiết diện đa giác thành hai miền: miền bên trong và miền bên ngoài của đa giác.

Khi xác định vị trí tương đối của một điểm so với một đa giác, ta sẽ xem xét điểm đó nằm ở bên trong, bên ngoài hay nằm trên biên (nằm trên) đa giác. ˆ Một điểm thuộc biên, nếu điểm đó nằm trên cạnh của đa giác. ˆ Đối với vị trí nằm ở bên trong và bên ngoài của đa giác, ta cần một thuật toán để xác định cụ thể vị trí này. Giả sử cần xác định một điểm cho trước P nằm bên trong hay bên ngoài của một đa giác có n đỉnh.

Ta thực hiện như sau: ˆ Bước 1: Lấy một hình tròn C đủ lớn có thể bao hoàn toàn đa giác đang xét. Ta sẽ luôn vẽ được hình tròn C như vậy do tính hữu hạn đỉnh của đa giác. ˆ Bước 2: Trên đường tròn C lấy một điểm Q sao cho đoạn thẳng P Q không chứa đỉnh nào của đa giác, P Q cắt ít nhất một cạnh của đa giác. Cụ thể, từ P ta kẻ lần lượt các tia đi qua các đỉnh của đa giác.

Có n tia như vậy và ta lấy Q là điểm nằm trên C và không thuộc n tia đó. KIẾN THỨC CƠ SỞ 8 ˆ Bước 3: Gọi các giao điểm của đoạn thẳng QP với các cạnh của đa giác theo thứ tự từ Q đến P lần lượt là Q1 , Q2 ,. – Lấy Pi ∈ [Qi Qi+1 ] \ {Qi , Qi+1 } , i ≥ 1. – Cạnh đầu tiên chứa giao điểm Q1 chia tiết diện đa giác thành 2 miền.

Có Q ∈ C là điểm nằm bên ngoài đa giác, do đó P1 là điểm nằm trong đa giác (như hình vẽ). – Trên cạnh thứ hai chứa giao điểm Q2 với đoạn thẳng P Q, có P1 là điểm nằm trong đa giác, ta cũng suy ra được P2 là điểm nằm ngoài đa giác. – Thực hiện lần lượt như vậy với các giao điểm của đoạn thẳng P Q với các cạnh của đa giác, ta nhận thấy rằng: Từ điểm Q, qua 1 cạnh (1 giao điểm) sẽ đến điểm nằm trong đa giác. Qua 2 cạnh (2 giao điểm) sẽ đến điểm nằm ngoài đa giác.

Từ đây có kết luận: số lượng giao điểm của đoạn thẳng P Q với cạnh của đa giác ˆ Là số lẻ: điểm P nằm trong đa giác ˆ Là số chẵn: điểm P nằm ngoài đa giác Vậy thực hiện thuật toán trên, ta sẽ xác định được vị trí tương đối của một điểm bất kỳ cho trước nằm ở bên trong hay bên ngoài một đa giác. Đa giác dàn là đa giác có các đỉnh là các điểm dàn. Ví dụ về đa giác dàn. KIẾN THỨC CƠ SỞ 9 1.2 Phép biến đổi tuyến tính Ở phần trên ta đã trình bày một số khái niệm cơ bản về dàn và điểm dàn.

Dàn tổng quát là một mở rộng của dàn chính tắc. Vậy hai dàn này có mối liên hệ với nhau như thế nào, ta sẽ tìm hiểu về một phép biến đổi sơ cấp trong phần này. Trong không gian R2 , mỗi điểm (x, y) có thể được biến đổi thành một điểm (x′ , y ′ ) qua một phép biến đổi tuyến tính, ký hiệu là T , nếu (x′ , y ′ ) có thể được biểu diễn theo (x, y) bởi một hệ phương trình tuyến tính ! ! ! x′ a b x =. y′ c d y trong đó a, b, c, d là các hằng số thực và △ = ad − bc ̸= 0.

Một cách tổng quát, ta có: Trong không gian Rn , mỗi hình H có thể được biến đổi thành hình H′ nếu mỗi điểm (v1′ , v2′ ,. , vn′ ) của H′ có thể được biểu diễn theo các điểm (v1 , v2 ,. , vn ) của H bởi một hệ phương trình tuyến tính vi′ = ai1 v1 + ai2 v2 + · · · + ain vn với aij là các hằng số thực, và △ = det (a1 , a2 ,. , an ) ̸= 0 trong đó ak = [aℓk ], i, j, k, ℓ = 1, 2,.

Cho phép biến đổi tuyến tính x′ = 3x + 2y T :. KIẾN THỨC CƠ SỞ 10 Ký hiệu L1 = {(x, y) | x = 0}. Bây giờ, ta xác định ảnh của L1 qua phép biến đổi tuyến tính T. Vậy, qua phép biến đổi tuyến tính T , đường thẳng L1 : x = 0 trở thành đường thẳng L2 : x − 2y = 0.

Phép biến đổi nghịch đảo của T , ký hiệu T −1 là một phép biến đổi tuyến tính ngược trở lại T. Ta đi xây dựng phép biến đổi T −1. Ta có (x′ , y ′ ) được biểu diễn theo (x, y) qua phép biến đổi tuyến tính T x′ = ax + by. y ′ = cx + dy Suy ra " # " #" # x′ a b x = y′ c d y Do đó " # " #−1 " # " #" # x a b x′ 1 d −b x′ = = y c d y′ △ −c a y′ Suy ra phép biến đổi nghịch đảo của T x = △d x′ + −b y′ T −1 : △.

KIẾN THỨC CƠ SỞ 11 Định thức của T −1 ad − bc 1 △1 = 2 = ̸= 0. △ △ T −1 là phép biến đổi nghịch đảo của T , do đó, T cũng là phép biến đổi nghịch đảo của T −1. Qua phép biến đổi nghịch đảo của T −1 , điểm (x′ , y ′ ) sẽ trở lại điểm (x, y) ban đầu. Điều kiện △ = ̸ 0 trong định nghĩa 1.1 chứng tỏ rằng luôn tồn tại phép biến đổi −1 nghịch đảo T của phép biến đổi T.

Ta có, phép biến đổi nghịch đảo của T tại ví dụ 1. y 1 5 3 5 y′ Bây giờ, ta xác định T −1 (L2 ) với L2 = {(x′ , y ′ ) : x′ = 2y ′ }. = L1 Do vậy, qua phép biến đổi nghịch đảo T −1 , đường thẳng x−2y = 0 trở thành đường thẳng x = 0. Một số tính chất của phép biến đổi tuyến tính.

Phép biến đổi tuyến tính T biến đổi điểm thành điểm, đường thẳng thành đường thẳng.1 đã chỉ ra mỗi điểm (x, y) qua một phép biến đổi tuyến tính T sẽ biến đổi thành một điểm (x′ , y ′ ). Ta có x′ = ax + by T : , ad − bc ̸= 0 y ′ = cx + dy Suy ra ! ! ! x 1 d −b x′ = (1.1) y ∆ −c a y′ Xét đường thẳng d : mx + ny + p = 0, (m2 + n2 ̸= 0). Mỗi điểm (x, y) trên đường thẳng d qua phép biến đổi T sẽ biến thành một điểm (x′ , y ′ ) tương ứng. KIẾN THỨC CƠ SỞ 12 Từ (1.

Vậy phép biến đổi tuyến tính T biến đổi đường thẳng thành đường thẳng tương ứng. Phép biến đổi tuyến tính T biến một điểm chia đoạn thẳng theo một tỷ lệ cho trước thành điểm chia đoạn thẳng đã biến đổi theo cùng một tỷ lệ. Cho phép biến đổi T biến mỗi điểm (x, y) thành một điểm (x′ , y ′ ) x′ = ax + by T : ′ , ad − bc ̸= 0. y = cx + dy −−→ −−→ Gọi A = (xA , yA ), B = (xB , yB ), M = (xM , yM ) và AM = k M B.

Ta có xM − xA = k(xB − xM ) .2) Ta sẽ chỉ ra đây là phương trình một đường thẳng bằng cách chứng minh (md − nc)2 + (na − mb)2 ̸= 0.  md = nc Giả sử. na = mb Vì m2 + n2 ̸= 0, không mất tính tổng quát, ta giả sử m ̸= 0. b = na m Ta có  nc   na  ∆ = ad − bc = a − c = 0.

KIẾN THỨC CƠ SỞ 13 Điều trên là vô lý. Do đó md ̸= nc hoặc na ̸= mb, tức là (x′ , y ′ ) thuộc vào một đường thẳng (1.