Chào các em học sinh lớp 8! Hôm nay chúng ta sẽ cùng nhau giải một bài toán số học rất thú vị, liên quan đến các khái niệm “số tự nhiên khác 0”, “nguyên tố cùng nhau” và “số chính phương”.

Đề bài: Cho \(x, y, z\) thuộc tập hợp các số tự nhiên khác 0 (\(\mathbb{N}^*\)), và \(x, y, z\) là các số nguyên tố cùng nhau (ntcn), thỏa mãn điều kiện \( \frac{1}{x} + \frac{1}{y} = \frac{1}{z} \). Hỏi \(x+y\) có phải là số chính phương không?

Chúng ta sẽ đi từng bước một để giải quyết bài toán này nhé!

Bước 1: Biến đổi phương trình đã cho

Ta có phương trình:
\( \frac{1}{x} + \frac{1}{y} = \frac{1}{z} \)
Để cộng hai phân số ở vế trái, ta quy đồng mẫu số:
\( \frac{y}{xy} + \frac{x}{xy} = \frac{1}{z} \)
\( \frac{x+y}{xy} = \frac{1}{z} \)
Bây giờ, ta nhân chéo (hoặc nghịch đảo cả hai vế):
\( z(x+y) = xy \)
Đây là một hệ thức rất quan trọng mà chúng ta sẽ sử dụng. Hãy gọi đây là hệ thức (1).

Bước 2: Phân tích điều kiện “nguyên tố cùng nhau” (ntcn)

Đề bài cho \(x, y, z\) là các số nguyên tố cùng nhau. Điều này có nghĩa là ước chung lớn nhất của ba số này là 1, tức là \( \text{gcd}(x, y, z) = 1 \). Điều này khác với việc chúng đôi một nguyên tố cùng nhau (ví dụ: \(\text{gcd}(x,y)=1\), \(\text{gcd}(x,z)=1\), \(\text{gcd}(y,z)=1\)). Chúng ta sẽ sử dụng định nghĩa \(\text{gcd}(x,y,z)=1\).

Gọi \(d = \text{gcd}(x,y)\). Khi đó, ta có thể viết \(x = da\) và \(y = db\), trong đó \(a, b\) là các số tự nhiên khác 0 và \(\text{gcd}(a,b)=1\).
Thay \(x = da\) và \(y = db\) vào hệ thức (1):
\( z(da + db) = (da)(db) \)
\( zd(a+b) = d^2ab \)
Chia cả hai vế cho \(d\) (vì \(d \in \mathbb{N}^*\) nên \(d \ne 0\)):
\( z(a+b) = dab \) (Đây là hệ thức (2))

Bây giờ, chúng ta sẽ xem xét điều kiện \(\text{gcd}(x,y,z)=1\), tức là \(\text{gcd}(da, db, z)=1\).

Nếu một số nguyên tố \(p\) là ước chung của \(d\) và \(z\), thì \(p\) sẽ là ước của \(da\) (tức \(x\)), \(db\) (tức \(y\)) và \(z\). Điều này mâu thuẫn với \(\text{gcd}(da, db, z)=1\). Vậy, \(d\) và \(z\) phải nguyên tố cùng nhau:
\( \text{gcd}(d,z)=1 \)

Từ hệ thức (2): \( z(a+b) = dab \).
Vì \(d\) là ước của \(dab\), và \(d\) nguyên tố cùng nhau với \(z\) (\(\text{gcd}(d,z)=1\)), nên \(d\) phải là ước của \((a+b)\).
Tức là, \(a+b\) chia hết cho \(d\). Ta có thể đặt \(a+b = kd\) cho một số tự nhiên \(k \in \mathbb{N}^*\).

Thay \(a+b=kd\) vào hệ thức (2):
\( z(kd) = dab \)
\( zk = ab \) (Đây là hệ thức (3))

Bước 3: Phân tích hệ thức \(zk = ab\)

Chúng ta có \(\text{gcd}(a,b)=1\) (vì \(a=x/d, b=y/d\)).
Từ \(zk = ab\), vì \(a\) và \(b\) nguyên tố cùng nhau, nên mọi ước nguyên tố của \(a\) phải là ước của \(z\) hoặc \(k\). Tương tự, mọi ước nguyên tố của \(b\) phải là ước của \(z\) hoặc \(k\).

Đặt \(p = \text{gcd}(a,z)\) và \(q = \text{gcd}(b,z)\).
Do \(\text{gcd}(a,b)=1\), nên \(\text{gcd}(p,q)=1\). (Nếu có một số nguyên tố \(m\) là ước chung của \(p\) và \(q\), thì \(m|p \implies m|a, m|z\) và \(m|q \implies m|b, m|z\). Vậy \(m\) là ước chung của \(a\) và \(b\), điều này mâu thuẫn với \(\text{gcd}(a,b)=1\)).

Vì \(p = \text{gcd}(a,z)\), ta có thể viết \(a=p \cdot a’\) và \(z=p \cdot z_1\), với \(\text{gcd}(a’,z_1)=1\).
Vì \(q = \text{gcd}(b,z)\), ta có thể viết \(b=q \cdot b’\) và \(z=q \cdot z_2\), với \(\text{gcd}(b’,z_2)=1\).

Từ \(z=p z_1\) và \(z=q z_2\), vì \(\text{gcd}(p,q)=1\), ta suy ra \(z\) phải chia hết cho \(pq\). Do đó, ta có thể viết \(z = pq \cdot S\) cho một số tự nhiên \(S\).
Khi đó \(p z_1 = pqS \implies z_1 = qS\).
Và \(q z_2 = pqS \implies z_2 = pS\).

Bây giờ thay \(z=p z_1 = p q S\) và \(a=p a’\), \(b=q b’\) vào hệ thức (3):
\( zk = ab \)
\( (pqS)k = (pa’)(qb’) \)
\( pqSk = pqa’b’ \)
\( Sk = a’b’ \) (Đây là hệ thức (4))

Nhớ lại \(\text{gcd}(a’,z_1)=1\), \(\text{gcd}(b’,z_2)=1\).

Thay \(z_1 = qS\) vào \(\text{gcd}(a’,z_1)=1 \implies \text{gcd}(a’, qS)=1\).
Vì \(\text{gcd}(a,b)=1 \implies \text{gcd}(pa’, qb’)=1\). Điều này có nghĩa là \(a’\) không có ước chung nào với \(q\), và \(a’\) không có ước chung nào với \(b’\).
Vậy \(\text{gcd}(a’,q)=1\).
Từ \(\text{gcd}(a’, qS)=1\), ta suy ra \(\text{gcd}(a’,S)=1\).

Tương tự, thay \(z_2 = pS\) vào \(\text{gcd}(b’,z_2)=1 \implies \text{gcd}(b’, pS)=1\).
Vì \(\text{gcd}(a,b)=1 \implies \text{gcd}(pa’, qb’)=1\), ta suy ra \(\text{gcd}(b’,p)=1\).
Từ \(\text{gcd}(b’, pS)=1\), ta suy ra \(\text{gcd}(b’,S)=1\).

Từ \(\text{gcd}(a’,S)=1\) và \(\text{gcd}(b’,S)=1\), mà \(\text{gcd}(a’,b’)=1\), suy ra \(\text{gcd}(a’b’,S)=1\).

Quay lại hệ thức (4): \(Sk = a’b’\).
Vì \(\text{gcd}(a’b’,S)=1\), và \(S\) là ước của \(a’b’\) (từ \(Sk=a’b’\)), điều này chỉ xảy ra khi \(S=1\).
Vậy \(S=1\).

Khi \(S=1\), ta có:
\(z = pq\)
\(z_1 = q\)
\(z_2 = p\)
\(k = a’b’\)
\(a = pa’\)
\(b = qb’\)

Từ \(\text{gcd}(a’,z_1)=1 \implies \text{gcd}(a’,q)=1\).
Từ \(\text{gcd}(b’,z_2)=1 \implies \text{gcd}(b’,p)=1\).
Mà \(\text{gcd}(a,b)=1 \implies \text{gcd}(pa’,qb’)=1\). Điều này cho thấy \(p, q, a’, b’\) là các số đôi một nguyên tố cùng nhau.

Bước 4: Xác định giá trị của \(a’, b’, d\)

Nhớ lại \(a+b = kd\). Thay các giá trị đã tìm được:
\( pa’ + qb’ = (a’b’)d \)

Vì \(a’\) là ước của \(pa’\), nên \(a’\) phải là ước của \(qb’\). Nhưng \(\text{gcd}(a’,q)=1\) và \(\text{gcd}(a’,b’)=1\). Điều này chỉ có thể xảy ra khi \(a’=1\).
Tương tự, vì \(b’\) là ước của \(qb’\), nên \(b’\) phải là ước của \(pa’\). Nhưng \(\text{gcd}(b’,p)=1\) và \(\text{gcd}(b’,a’)=1\). Điều này chỉ có thể xảy ra khi \(b’=1\).

Vậy \(a’=1\) và \(b’=1\).

Khi đó:
\(k = a’b’ = 1 \cdot 1 = 1\)
\(a = p \cdot a’ = p \cdot 1 = p\)
\(b = q \cdot b’ = q \cdot 1 = q\)
Và từ \(pa’+qb’ = a’b’d\), ta có \(p \cdot 1 + q \cdot 1 = 1 \cdot 1 \cdot d \implies d = p+q\).

Vậy, ta đã tìm được các biểu thức của \(x, y, z\) theo hai tham số \(p\) và \(q\), trong đó \(p,q \in \mathbb{N}^*\) và \(\text{gcd}(p,q)=1\):
\(x = da = (p+q)p\)
\(y = db = (p+q)q\)
\(z = pq\)

Kiểm tra lại điều kiện \(\text{gcd}(x,y,z)=1\):
\( \text{gcd}((p+q)p, (p+q)q, pq) \)
Vì \(\text{gcd}(p,q)=1\), ta có \(\text{gcd}(p+q,p)=1\) và \(\text{gcd}(p+q,q)=1\).
Ước chung lớn nhất của ba số này phải là 1.
Giả sử có số nguyên tố \(m\) là ước chung của \(x, y, z\).
Thì \(m | pq\), suy ra \(m|p\) hoặc \(m|q\).
Nếu \(m|p\), thì \(m| (p+q)p\). Để \(m\) là ước chung của cả ba số, \(m\) cũng phải chia hết cho \( (p+q)q \).
Mà \(m|p\), và \(\text{gcd}(p,q)=1\), nên \(m\) không chia hết cho \(q\).
Vậy \(m\) phải chia hết cho \(p+q\). Nhưng \(\text{gcd}(p,p+q)=1\). Điều này mâu thuẫn.
Tương tự nếu \(m|q\).
Vậy \(\text{gcd}(x,y,z)=1\) được thỏa mãn.

Bước 5: Trả lời câu hỏi: \(x+y\) có phải là số chính phương không?

Bây giờ chúng ta tính \(x+y\):
\( x+y = (p+q)p + (p+q)q \)
\( x+y = (p+q)(p+q) \)
\( x+y = (p+q)^2 \)

Rõ ràng, \(x+y\) có dạng của một số chính phương!

Kết luận:

Vậy, với các điều kiện đã cho, \(x+y\) luôn là một số chính phương.

Hy vọng qua bài giải chi tiết này, các em đã hiểu rõ cách phân tích và giải quyết bài toán. Chú ý quan trọng nhất là việc phân tích điều kiện “nguyên tố cùng nhau” để thu được các mối quan hệ giữa các biến số nhé!