Phân số đơn vị

Phân số đơn vị là phân số dương có tử số bằng 1, tức có dạng formula_1 với formula_2 là số nguyên dương. Phân số đơn vị là phân số nghịch đảo của mẫu số của chính nó (ví dụ: formula_3). Khi một vật được chia nhỏ thành nhiều phần bằng nhau, mỗi phần nhỏ là một phần phân số đơn vị của vật lớn.

Phép nhân giữa hai phân số đơn vị cho kết quả là một phân số đơn vị mới, nhưng những phép toán sơ cấp khác (cộng, trừ, chia) thường không cho ra kết quả là phân số đơn vị. Trong hệ thống số học mô đun, các phân số đơn vị có thể được biến đổi thành số nguyên tương đương, từ đó biến phép chia modulo thành phép nhân.

Mọi số hữu tỉ đều có thể được viết dưới dạng tổng các phân số đơn vị riêng biệt – tổng này được gọi là phân số Ai Cập vì chúng được sử dụng trong nền toán học Ai Cập cổ đại. Một số tổng có vô hạn hạng tử dưới dạng này có tầm quan trọng lớn trong lĩnh vực toán học.

Trong lĩnh vực hình học, phân số đơn vị được dùng để biểu thị độ cong của các nhóm tam giác và tiếp điểm của các đường tròn Ford. Bài toán chia đều thường sử dụng đến phân số đơn vị, và vì vậy khái niệm này thường được sử dụng trong việc giảng dạy môn toán, giúp học sinh nắm rõ khái niệm phân số và làm bước đệm để hiểu được các phân số tổng quát hơn. Các phân số đơn vị cũng xuất hiện nhiều trong lĩnh vực xác suất thống kê do nguyên lý phi thiên vị trong lý thuyết xác suất (xác suất là như nhau cho mọi kết quả). Phân số đơn vị cũng có ứng dụng trong các bài toán tối ưu hóa tổ hợp và phân tích quy luật của các tần số trong chuỗi quang phổ của khí hydro.

== Số học ==
Phân số đơn vị là các số hữu tỉ được viết dưới dạng formula_4, trong đó formula_2 là số tự nhiên bất kỳ; vì vậy, phân số đơn vị chính là phân số nghịch đảo của formula_2. Khi một vật được chia thành formula_2 phần nhỏ, mỗi phần nhỏ đó là formula_1 của vật lớn.

=== Số học sơ cấp ===
Phép nhân giữa hai phân số đơn vị cho kết quả là một phân số đơn vị mới:

formula_9

nhưng phép cộng, trừ, hay chia giữa hai phân số đơn vị lại thường cho kết quả không có dạng phân số đơn vị:

formula_10

formula_11

formula_12

Biểu thức cuối cùng cho thấy mọi phân số đều có thể viết dưới dạng thương số của hai phân số đơn vị.

=== Số học mô đun ===
Trong hệ thống số học mô đun, mọi phân số đơn vị có thể được biến đổi thành một số nguyên tương thông qua thuật toán Euclid mở rộng. Số nguyên này sau đó có thể được sử dụng để làm phép chia modulo: phép chia cho formula_13 theo modulo formula_14 có thể tính bằng cách chuyển phân số đơn vị formula_15 thành số nguyên tương đương theo modulo formula_14, rồi sau đó nhân với số đó.

Ví dụ, giả sử hai số formula_13 và formula_14 là hai số nguyên tố cùng nhau (vì nếu không thì phép chia cho formula_13 theo modulo formula_14 không xác định). Sử dụng phép giải thuật Euclid mở rộng cho ước số chung lớn nhất, ta tìm được hai số nguyên formula_21 và formula_22 thỏa mãn bổ đề Bézout:

formula_23

Có thể triệt tiêu hạng tử formula_24 trong biểu thức với modulo formula_14 vì hạng tử này bằng formula_26. Từ đó có:

formula_27

có nghĩa là formula_21 là nghịch đảo modulo của formula_13 – tích của hai số này bằng 1. Từ đó có biểu thức tương đương:

formula_30

Vậy để chia formula_13 (mod formula_14) chỉ cần nhân với số nguyên formula_21 này.

== Kết hợp ==
Một số cấu trúc toán học bao gồm các phân số đơn vị được kết hợp với nhau, thường là bằng cách cộng các phân số với nhau.

=== Tổng hữu hạn ===
Mọi số hữu tỉ dương đều có thể được viết dưới dạng tổng các phân số đơn vị riêng biệt, và mỗi số thường có nhiều cách viết. Ví dụ:

formula_34

Các tổng này được gọi là phân số Ai Cập vì các nền văn minh Ai Cập cổ đại đã dùng những tổng dạng này để biểu diễn các số hữu tỉ nói chung. Đến ngày nay, các nhà toán học vẫn phân tích phương pháp mà người Ai Cập cổ đại đã dùng để chọn một trong số các tổng có thể dùng để biểu thị số và làm các phép toán với chúng. Các phân số Ai Cập cũng xuất hiện trong lý thuyết số hiện đại; bài toán Erdős–Graham, phỏng đoán Erdős–Straus và định nghĩa của số hài hòa Ore đều phụ thuộc vào tổng của các phân số đơn vị.

Trong lý thuyết nhóm hình học, các nhóm tam giác được phân loại thành các trường hợp dạng Euclid, hình cầu, và hình hyperbole theo tiêu chí tổng các phân số đơn vị liên quan bằng 1, lớn hơn 1, hoặc nhỏ hơn 1.

=== Chuỗi vô hạn ===
Nhiều chuỗi vô hạn nổi tiếng có các hạng tử là các phân số đơn vị, bao gồm:

- Chuỗi điều hòa là tổng của mọi phân số đơn vị dương. Chuỗi này phân kì với vô hạn số hạng, và tổng riêngformula_35của chuỗi có giá trị xấp xỉ formula_36, trong đó formula_37 là hằng số Euler-Mascheroni formula_38. <br>Nếu thay thế luân phiên phép cộng và phép trừ trong chuỗi trên, ta có chuỗi mới có tổng bằng logarit tự nhiên của 2:formula_39

- Công thức Leibniz để tính số π là:formula_40
- Bài toán Basel yêu cầu tính chính xác tổng mọi phân số đơn vị có mẫu số là số chính phương:formula_41 <br>Tương tự, hằng số Apéry là một số vô tỉ có giá trị bằng tổng mọi phân số đơn vị có mẫu số là số lập phương.

- Chuỗi hình học nhị phân có dạng:formula_42

=== Ma trận ===
Ma trận Hilbert là ma trận vuông có các phần tử trên đường chéo phụ thứ formula_43 đều bằng formula_44, hoặc nói cách khác là có các phần tử dưới dạng

formula_45

Ví dụ, ma trận sau đây là ma trận Hilbert:

formula_46

Ma trận này có ma trận nghịch đảo có toàn bộ các phần tử là số nguyên. Tương tự, Thomas Richardson định nghĩa nên một ma trận có các phần tử là phân số đơn vị có mẫu số là số Fibonacci:

formula_47

trong đó formula_48 là số Fibonacci thứ formula_49. Ma trận này được gọi là ma trận Filbert, và có các phần tử nguyên trong ma trận nghịch đảo như ma trận Hilbert.

=== Phân số kề nhau và đường tròn Ford ===
Hai phân số tối giản formula_50 và formula_51 được gọi là hai phân số kề nhau (adjacent) nếu

formula_52

từ đó suy ra hai phân số này có hiệu số là phân số đơn vị:

formula_53

Ví dụ, hai phân số formula_54 và formula_55 kề nhau vì formula_56 và formula_57. Tuy nhiên, có một số cặp phân số có hiệu số là phân số đơn vị, nhưng lại không kề nhau – ví dụ, hai phân số formula_58 và formula_59 có hiệu số là phân số đơn vị (formula_58), nhưng lại không kề nhau vì formula_61

Khái niệm phân số kề nhau nêu trên xuất phát từ khái niệm đường tròn Ford. Các đường tròn này có tiếp điểm với trục số là một phân số nhất định, và có đường kính là formula_62, trong đó formula_63 là mẫu số của tiếp điểm. Hai phân số formula_50 và formula_51 kề nhau khi và chỉ khi đường tròn Ford của hai phân số tiếp xúc ngoài với nhau tại duy nhất một điểm.

== Ứng dụng ==
=== Phép chia đều và ứng dụng trong sư phạm toán học ===
Các chương trình giáo dục toán học thường đưa các phân số đơn vị ra giới thiệu trước các loại phân số khác, bởi lẽ các ví dụ trực quan về phân số đơn vị (chia một vật thành nhiều phần bằng nhau) thường dễ hiểu hơn cho người học. Một ứng dụng thường gặp của các phân số đơn vị là bài toán chia đều đồ ăn cho nhiều người; các bài toán theo dạng này thường được dùng làm ví dụ để dạy học sinh cách làm phép tính bằng phân số đơn vị.

=== Xác suất thống kê ===
Trong hàm phân phối đều rời rạc, xác suất của các kết quả là các phân số đơn vị bằng nhau; các giá trị xác suất dưới dạng này thường xuất hiện nhiều trong các bài toán thống kê do nguyên lý phi thiên vị trong lý thuyết xác suất.

Các giá trị xác suất không đều nhau có mối tương quan với phân số đơn vị xuất hiện trong định luật Zipf. Định luật cho rằng trong số nhiều trường hợp, khi chọn các yếu tố từ một chuỗi được sắp xếp theo thứ tự, xác suất yếu tố ở vị trí thứ formula_66 được chọn tỉ lệ thuận với formula_1.

=== Tối ưu hóa tổ hợp ===
Bài toán tối ưu hóa tổ hợp có tên gọi là bài toán đóng thùng (bin packing) yêu cầu đặt các "vật phẩm" có "kích thước" là số hữu tỉ vào các "thùng" có sức chứa bằng 1. Các công trình nghiên cứu bài toán này bao gồm nghiên cứu các dạng bài đóng thùng có kích thước của các vật phẩm là phân số đơn vị, với mục tiêu sử dụng lời giải của các bài toán này làm phép thử cho các phương pháp giải các bài toán đóng thùng dạng tổng quát hơn.

Một bài toán khác ứng dụng lời giải nêu trên là bài toán xếp lịch vòng quay (pinwheel scheduling), trong đó yêu cầu của bài toán là xếp các tin nhắn có độ dài bằng nhau trên một hay nhiều vòng quay quay liên tục, trong đó thời gian chờ giữa hai lần phát cùng một tin nhắn không được vượt quá một giá trị nhất định. Một tin nhắn có thời gian chờ bằng formula_68 lần độ dài của chính nó phải chiếm ít nhất formula_69 thời gian trên vòng quay tương ứng, vậy nên lời giải của bài toán xếp lịch này phải được suy ra từ lời giải của bài toán đóng thùng dưới dạng phân số đơn vị, trong đó các vòng quay là các thùng và các vật phẩm có kích thước formula_69.

Kể cả trong các bài toán có các kích thước vật phẩm tổng quát, một phương pháp giải hữu hiệu là làm tròn lên kích thước của các vật phẩm đến phân số đơn vị liền sau, sau đó áp dụng thuật toán chuyên giải các bài toán đóng thùng có dạng phân số đơn vị. Thuật toán đóng thùng điều hòa sử dụng phương pháp làm tròn này, sau đó gộp các vật phẩm có kích thước bằng nhau sau khi đã làm tròn với nhau.

=== Vật lý ===
Theo công thức Rydberg, các mức năng lượng của các photon được hấp thụ hoặc phát ra bởi nguyên tử hydro tỉ lệ thuận với hiệu số của hai phân số đơn vị. Mô hình Bohr lý giải hiện tượng này – mức năng lượng của các orbital electron trong nguyên tử hydro tỉ lệ nghịch với một số các phân số đơn vị có mẫu số là số chính phương, và mức năng lượng của một photon được lượng tử hóa thành hiệu số năng lượng của hai mức.

Arthur Eddington cho rằng hằng số cấu trúc tinh tế có dạng phân số đơn vị. Ông phỏng đoán phân số này là formula_71 và về sau sửa lại giả thuyết của mình thành formula_72; hiện nay, hằng số này được ước tính bằng khoảng formula_73.