Chào các em học sinh lớp 9 thân mến,

Hôm nay, chúng ta sẽ cùng nhau khám phá một bài toán rất thú vị trong số học. Đây là một bài toán kinh điển, nhưng chúng ta sẽ chứng minh nó theo một cách đặc biệt: không sử dụng phép phân tích ra thừa số nguyên tố. Điều này đòi hỏi chúng ta phải tư duy sâu hơn về các khái niệm ước chung lớn nhất (UCLN) và tính chất chia hết.

Bài toán của chúng ta như sau:

Đề bài: Chứng minh rằng nếu tích của hai số nguyên tố cùng nhau là một số chính phương, thì mỗi số đó là một số chính phương.

Chúng ta hãy cùng nhau đi vào lời giải chi tiết nhé!

Lời giải:

Gọi hai số nguyên đó là \(a\) và \(b\).

Theo đề bài, chúng ta có hai giả thiết:

1. Hai số \(a\) và \(b\) là hai số nguyên tố cùng nhau. Điều này có nghĩa là UCLN của chúng bằng 1. Ta viết là \( \text{UCLN}(a, b) = 1 \) hay \( \text{gcd}(a, b) = 1 \).
2. Tích của chúng là một số chính phương. Tức là \( a \cdot b = k^2 \) với \(k\) là một số nguyên dương nào đó.

Mục tiêu của chúng ta là chứng minh rằng \(a\) là một số chính phương và \(b\) cũng là một số chính phương.

Bước 1: Thiết lập mối quan hệ với UCLN

Chúng ta biết rằng \(a \cdot b = k^2\). Hãy xét ước chung lớn nhất của \(a\) và \(k\).

Đặt \(d = \text{gcd}(a, k)\).

Vì \(d\) là UCLN của \(a\) và \(k\), nên chúng ta có thể viết:

• \( a = d \cdot m \)
• \( k = d \cdot n \)

Trong đó, \(m\) và \(n\) là hai số nguyên dương và chúng nguyên tố cùng nhau (tức là \( \text{gcd}(m, n) = 1 \)). Đây là một tính chất cơ bản của UCLN.

Bước 2: Thay thế vào phương trình và đơn giản hóa

Bây giờ, chúng ta thay các biểu thức \(a = d \cdot m\) và \(k = d \cdot n\) vào phương trình ban đầu \(a \cdot b = k^2\):

\( (d \cdot m) \cdot b = (d \cdot n)^2 \)

\( d \cdot m \cdot b = d^2 \cdot n^2 \)

Vì \(d\) là một ước của \(a\) và \(k\), nên \(d\) phải khác 0. Do đó, chúng ta có thể chia cả hai vế cho \(d\):

\( m \cdot b = d \cdot n^2 \)

Bước 3: Áp dụng tính chất chia hết và UCLN

Từ phương trình \( m \cdot b = d \cdot n^2 \), chúng ta thấy rằng \(m\) là ước của \(d \cdot n^2\).

Chúng ta biết rằng \( \text{gcd}(m, n) = 1 \). Điều này cũng có nghĩa là \( \text{gcd}(m, n^2) = 1 \). (Nếu một số nguyên tố \(p\) là ước của \(m\) và \(n^2\), thì \(p\) phải là ước của \(n\), mâu thuẫn với \( \text{gcd}(m, n) = 1 \)).

Bây giờ, chúng ta sử dụng một tính chất quan trọng trong số học (có thể được chứng minh thông qua định lý Bezout, nhưng chúng ta sẽ chấp nhận nó ở đây):

Tính chất: Nếu một số \(X\) chia hết cho tích \(Y \cdot Z\), và \(X\) nguyên tố cùng nhau với \(Y\), thì \(X\) phải chia hết cho \(Z\).

Áp dụng tính chất này cho \( m \cdot b = d \cdot n^2 \):

• \(X = m\)
• \(Y = n^2\)
• \(Z = d\)

Chúng ta có \(m\) là ước của \(d \cdot n^2\) (tức là \(m | d \cdot n^2\)).

Chúng ta có \( \text{gcd}(m, n^2) = 1 \).

Theo tính chất trên, suy ra \(m\) phải chia hết cho \(d\). Hay \( m | d \).

Bước 4: Chứng minh \(a\) là số chính phương

Vì \(m | d\), chúng ta có thể viết \( d = q \cdot m \) với \(q\) là một số nguyên dương nào đó.

Nhớ lại biểu thức ban đầu của \(a\): \( a = d \cdot m \).

Thay \(d = q \cdot m\) vào biểu thức của \(a\):

\( a = (q \cdot m) \cdot m \)

\( a = q \cdot m^2 \)

Vậy, \(a\) có dạng \(q\) nhân với một số chính phương (\(m^2\)). Để \(a\) là một số chính phương, chúng ta cần chứng minh \(q = 1\).

Bước 5: Chứng minh \(b\) là số chính phương và kết luận \(q=1\)

Chúng ta có \( m \cdot b = d \cdot n^2 \).

Thay \(d = q \cdot m\) vào phương trình này:

\( m \cdot b = (q \cdot m) \cdot n^2 \)

Chia cả hai vế cho \(m\) (vì \(m\) là một phần của \(a\), \(m \ne 0\)):

\( b = q \cdot n^2 \)

Tương tự như \(a\), \(b\) cũng có dạng \(q\) nhân với một số chính phương (\(n^2\)).

Bây giờ chúng ta sử dụng giả thiết cuối cùng: \( \text{gcd}(a, b) = 1 \).

Thay \(a = q \cdot m^2\) và \(b = q \cdot n^2\) vào:

\( \text{gcd}(q \cdot m^2, q \cdot n^2) = 1 \)

Theo tính chất của UCLN, chúng ta có thể đưa thừa số chung ra ngoài:

\( q \cdot \text{gcd}(m^2, n^2) = 1 \)

Chúng ta đã biết \( \text{gcd}(m, n) = 1 \). Điều này có nghĩa là \(m\) và \(n\) không có ước số chung nào ngoại trừ 1.

Do đó, \(m^2\) và \(n^2\) cũng không có ước số chung nào ngoại trừ 1 (nếu có một số nguyên tố \(p\) là ước của \(m^2\) và \(n^2\), thì \(p\) phải là ước của \(m\) và \(n\), mâu thuẫn với \( \text{gcd}(m, n) = 1 \)).

Vậy, \( \text{gcd}(m^2, n^2) = 1 \).

Thay giá trị này trở lại vào phương trình UCLN:

\( q \cdot 1 = 1 \)

Suy ra \( q = 1 \).

Cuối cùng, chúng ta thay \(q=1\) trở lại các biểu thức của \(a\) và \(b\):

• \( a = 1 \cdot m^2 = m^2 \)
• \( b = 1 \cdot n^2 = n^2 \)

Như vậy, \(a\) là bình phương của \(m\) và \(b\) là bình phương của \(n\).

Điều này có nghĩa là cả \(a\) và \(b\) đều là các số chính phương.

Kết luận:

Chúng ta đã chứng minh được rằng, nếu tích của hai số nguyên tố cùng nhau là một số chính phương, thì mỗi số đó là một số chính phương.

Bài chứng minh này hoàn toàn không sử dụng phép phân tích ra thừa số nguyên tố, mà dựa trên các tính chất của ước chung lớn nhất và tính chia hết. Đây là một cách tiếp cận rất đẹp và sâu sắc trong số học.

Hy vọng các em đã hiểu rõ bài toán này. Chúc các em học tốt!