Chào các em học sinh thân mến,

Hôm nay, chúng ta sẽ cùng nhau giải quyết một bài toán thú vị liên quan đến số vô tỉ và sự xấp xỉ các số thực. Đây là một bài toán đòi hỏi sự hiểu biết về tính chất của số thực và nguyên lý cơ bản của xấp xỉ.

Đề bài: Cho \(alpha\) là một số vô tỉ dương và các số \(p,q\) nguyên dương. Chứng minh rằng với mọi số thực dương \(beta\) tùy ý, luôn tồn tại vô hạn các cặp số \((p,q)\) thỏa mãn bất đẳng thức dưới đây:

\(|alpha – p/q^2| < (1 + beta)/q\)

Chúng ta cùng phân tích và giải bài toán này nhé!

1. Phân tích bài toán và chiến lược giải quyết

Yêu cầu của bài toán là chứng minh sự tồn tại của vô hạn các cặp số nguyên dương \((p,q)\) thỏa mãn một bất đẳng thức cho trước. Bất đẳng thức này có vẻ hơi khác so với các dạng xấp xỉ Diophantine thông thường \(|x – p/q| < C/q^k\). Hãy cùng biến đổi bất đẳng thức để dễ nhìn hơn:

Bất đẳng thức cần chứng minh là: \(|alpha – p/q^2| < (1 + beta)/q\)

Vì \(q\) là số nguyên dương, nên \(q > 0\). Chúng ta có thể nhân cả hai vế của bất đẳng thức với \(q^2\) (là một số dương) mà không làm đổi chiều bất đẳng thức:

\(q^2 \cdot |alpha – p/q^2| < q^2 \cdot (1 + beta)/q\)

\(|alpha q^2 – p| < (1 + beta)q\)

Đây là dạng bất đẳng thức mà chúng ta muốn chứng minh. Nó có ý nghĩa là chúng ta cần tìm vô hạn các cặp \((p,q)\) sao cho số nguyên \(p\) “gần” với số thực \(\alpha q^2\). Cụ thể hơn, khoảng cách giữa \(\alpha q^2\) và \(p\) phải nhỏ hơn \((1+\beta)q\).

Chiến lược:

Chúng ta biết rằng mọi số thực \(x\) luôn có thể được xấp xỉ bởi một số nguyên \(p\) gần nhất, sao cho khoảng cách \(|x – p|\) không vượt quá \(1/2\). Tức là, với bất kỳ số thực \(x\), luôn tồn tại một số nguyên \(p\) (ví dụ: \(p = \text{round}(x)\), số nguyên gần \(x\) nhất) sao cho \(|x – p| \le 1/2\).

Nếu chúng ta có thể chứng minh rằng \(1/2 < (1+\beta)q\) cho mọi \(q\) đủ lớn, thì bất kỳ cặp \((p,q)\) nào được chọn theo cách trên sẽ thỏa mãn bất đẳng thức.

2. Chứng minh chi tiết

Cho \(\alpha\) là một số vô tỉ dương và \(\beta\) là một số thực dương bất kỳ.

Bước 1: Chọn một số nguyên dương \(q\).

Với mỗi số nguyên dương \(q\), chúng ta xét số thực \(x = \alpha q^2\).
Vì \(\alpha\) là số vô tỉ và \(q\) là số nguyên dương, nên \(q^2\) cũng là số nguyên dương. Do đó, \(\alpha q^2\) cũng là một số vô tỉ.

Bước 2: Tìm số nguyên \(p\) gần với \(\alpha q^2\).

Theo tính chất cơ bản của số thực, với bất kỳ số thực \(x = \alpha q^2\), luôn tồn tại một số nguyên \(p\) sao cho \(|x – p| \le 1/2\).
Cụ thể, chúng ta có thể chọn \(p = \lfloor \alpha q^2 + 1/2 \rfloor\) (số nguyên gần \(\alpha q^2\) nhất).
Khi đó, ta có: \(|\alpha q^2 – p| \le 1/2\).

Bước 3: So sánh \(1/2\) với \((1+\beta)q\).

Chúng ta đã chọn \(\beta\) là một số thực dương, tức là \(\beta > 0\).
Do đó, \(1 + \beta > 1\).

Vì \(q\) là số nguyên dương, nên \(q \ge 1\).

Kết hợp hai điều này, ta có:

\((1 + \beta)q \ge (1 + \beta) \cdot 1 = 1 + \beta\)

Vì \(1 + \beta > 1\), suy ra \((1 + \beta)q > 1\).

Rõ ràng, \(1/2 < 1\). Do đó, chúng ta có thể kết luận rằng:

\(1/2 < (1 + \beta)q\)

Bước 4: Kết hợp các bất đẳng thức.

Từ Bước 2, chúng ta có: \(|\alpha q^2 – p| \le 1/2\).
Từ Bước 3, chúng ta có: \(1/2 < (1 + \beta)q\).

Ghép hai bất đẳng thức này lại, ta được:

\(|\alpha q^2 – p| \le 1/2 < (1 + \beta)q\)

Điều này có nghĩa là:

\(|\alpha q^2 – p| < (1 + \beta)q\)

Bước 5: Trở lại dạng bất đẳng thức ban đầu.

Chia cả hai vế của bất đẳng thức trên cho \(q^2\) (là một số dương), ta được:

\(|\alpha – p/q^2| < (1 + \beta)/q\)

Vậy, với mỗi số nguyên dương \(q\), chúng ta luôn có thể tìm được một số nguyên \(p\) sao cho bất đẳng thức đã cho được thỏa mãn.

Bước 6: Đảm bảo \(p\) là số nguyên dương và có vô hạn cặp.

Chúng ta cần đảm bảo rằng \(p\) là số nguyên dương.

Vì \(\alpha > 0\) và \(q \ge 1\), nên \(\alpha q^2 > 0\).

Khi chúng ta chọn \(p = \lfloor \alpha q^2 + 1/2 \rfloor\), \(p\) sẽ là số nguyên dương nếu \(\alpha q^2 \ge 1/2\).
Vì \(\alpha\) là một số dương cố định, chúng ta luôn có thể chọn \(q\) đủ lớn để \(\alpha q^2 \ge 1/2\). Ví dụ, chọn \(q\) sao cho \(q^2 \ge 1/(2\alpha)\), tức là \(q \ge 1/\sqrt{2\alpha}\).
Chúng ta có thể chọn một số nguyên \(q_0 = \max(1, \lceil 1/\sqrt{2\alpha} \rceil)\).
Khi đó, với mọi số nguyên dương \(q \ge q_0\), \(\alpha q^2 \ge 1/2\), và do đó, \(p = \lfloor \alpha q^2 + 1/2 \rfloor\) sẽ là một số nguyên dương.

Vì chúng ta có thể chọn \(q\) là bất kỳ số nguyên dương nào lớn hơn hoặc bằng \(q_0\), có vô số các giá trị \(q\) như vậy. Mỗi giá trị \(q\) này sẽ cho ta một giá trị \(p\) tương ứng, tạo thành một cặp \((p,q)\) thỏa mãn bất đẳng thức.

Vì \(\alpha\) là số vô tỉ, \(\alpha q^2\) không bao giờ là số nguyên. Do đó, \(|\alpha q^2 – p|\) luôn khác 0. Điều này không ảnh hưởng đến việc chứng minh bất đẳng thức, mà chỉ đảm bảo rằng việc xấp xỉ là không chính xác hoàn toàn.

Kết luận:

Với mỗi số nguyên dương \(q \ge q_0\) (trong đó \(q_0\) là số nguyên dương đủ lớn để đảm bảo \(p\) dương), chúng ta có thể tìm một số nguyên dương \(p\) sao cho \(|\alpha q^2 – p| \le 1/2\). Vì \(1/2 < (1+\beta)q\) với mọi \(q \ge 1\) và \(\beta > 0\), nên \(|\alpha q^2 – p| < (1+\beta)q\). Chia cho \(q^2\), ta được \(|\alpha - p/q^2| < (1+\beta)/q\).

Vì có vô số các số nguyên dương \(q \ge q_0\), chúng ta tạo ra được vô hạn các cặp số nguyên dương \((p,q)\) thỏa mãn bất đẳng thức đã cho.

Vậy, bài toán đã được chứng minh.

Các em có thấy bài toán này thú vị không? Nó cho thấy rằng ngay cả những số vô tỉ cũng có thể được xấp xỉ một cách “khá tốt” bởi các phân số với mẫu số đặc biệt.

Chúc các em học tốt!