Hôm nay, chúng ta sẽ cùng nhau “mổ xẻ” một bài toán chứng minh khá thú vị về số nguyên dương. Đề bài yêu cầu chúng ta chứng minh rằng phương trình:

\(x^2+y^3=(x+y)^2+(xy)^2\)

không có nghiệm nguyên dương. Nghĩa là không có cặp số nguyên dương \((x, y)\) nào thỏa mãn phương trình này cả.

Các em nhớ lại rằng, “số nguyên dương” có nghĩa là các số 1, 2, 3, … (tức là \(x \ge 1\) và \(y \ge 1\)).

Chúng ta sẽ bắt đầu bằng việc đơn giản hóa phương trình đã cho.

Bước 1: Đơn giản hóa phương trình

Phương trình ban đầu là:

\(x^2+y^3=(x+y)^2+(xy)^2\)

Chúng ta sẽ khai triển vế phải. Các em còn nhớ hằng đẳng thức \((A+B)^2 = A^2+2AB+B^2\) chứ?

\((x+y)^2 = x^2+2xy+y^2\)

Và \((xy)^2 = x^2y^2\)

Thay vào phương trình ban đầu, ta được:

\(x^2+y^3 = x^2+2xy+y^2+x^2y^2\)

Bây giờ, hãy chuyển tất cả các hạng tử sang một vế hoặc đơn giản hóa bằng cách triệt tiêu các hạng tử giống nhau ở hai vế.

Ta thấy có \(x^2\) ở cả hai vế. Vậy, hãy trừ \(x^2\) ở cả hai vế đi:

\(y^3 = 2xy+y^2+x^2y^2\)

Các em để ý rằng, tất cả các hạng tử trong phương trình này đều chứa \(y\). Vì chúng ta đang tìm nghiệm nguyên dương, nên \(y \ge 1\), tức là \(y \neq 0\). Do đó, chúng ta có thể chia cả hai vế cho \(y\) một cách an toàn:

\(\frac{y^3}{y} = \frac{2xy}{y} + \frac{y^2}{y} + \frac{x^2y^2}{y}\)

Ta được:

\(y^2 = 2x+y+x^2y \quad (*)\)

Đây là phương trình đã được đơn giản hóa mà chúng ta sẽ làm việc với nó.

Bước 2: Tìm mối liên hệ giữa \(x\) và \(y\) qua bất đẳng thức

Từ phương trình \((*)\): \(y^2 = 2x+y+x^2y\)

Vì \(x, y\) là các số nguyên dương, nên \(2x > 0\) và \(y > 0\).

Điều này có nghĩa là \(y^2\) phải lớn hơn \(x^2y\) (bởi vì \(y^2 = x^2y + (2x+y)\), và \(2x+y\) là một số dương).

\(y^2 > x^2y\)

Vì \(y\) là số nguyên dương nên \(y > 0\), chúng ta có thể chia cả hai vế cho \(y\) mà không làm đổi chiều bất đẳng thức:

\(\frac{y^2}{y} > \frac{x^2y}{y}\)

Ta có được một bất đẳng thức rất quan trọng:

\(y > x^2\)

Bất đẳng thức này cho chúng ta biết rằng \(y\) phải lớn hơn bình phương của \(x\). Vì \(y\) và \(x^2\) là các số nguyên, điều này có nghĩa là \(y\) ít nhất phải lớn hơn \(x^2\) một đơn vị.

Chúng ta có thể đặt hiệu số này bằng một số nguyên dương \(k\):

Đặt \(y – x^2 = k\)

Vì \(y > x^2\), nên \(k\) phải là một số nguyên dương, tức là \(k \ge 1\).

Từ đây, ta có thể biểu diễn \(y\) theo \(x\) và \(k\):

\(y = x^2+k\)

Bước 3: Thay thế vào phương trình và phân tích các trường hợp của \(k\)

Bây giờ, chúng ta sẽ thay \(y = x^2+k\) trở lại vào phương trình \((*)\):

\((x^2+k)^2 = 2x + (x^2+k) + x^2(x^2+k)\)

Khai triển và đơn giản hóa:

\(x^4+2kx^2+k^2 = 2x+x^2+k+x^4+kx^2\)

Chuyển tất cả các hạng tử sang một vế:

\(x^4+2kx^2+k^2 – x^4-kx^2 – x^2 – 2x – k = 0\)

Gộp các hạng tử đồng dạng:

\((2k-k)x^2 – x^2 – 2x + k^2 – k = 0\)

\(kx^2 – x^2 – 2x + k^2 – k = 0\)

Đặt nhân tử chung \(x^2\) và \(k\):

\(x^2(k-1) – 2x + k(k-1) = 0\)

Ta sẽ xét các trường hợp của \(k\) (nhớ rằng \(k\) là số nguyên dương, nên \(k \ge 1\)):

Trường hợp 1: \(k=1\)

Nếu \(k=1\), thay vào phương trình trên:

\(x^2(1-1) – 2x + 1(1-1) = 0\)

\(x^2(0) – 2x + 1(0) = 0\)

\(0 – 2x + 0 = 0\)

\(-2x = 0\)

\(x = 0\)

Nhưng chúng ta đang tìm nghiệm nguyên dương, tức là \(x \ge 1\). Giá trị \(x=0\) không phải là số nguyên dương.

Vậy, trường hợp \(k=1\) không cho nghiệm nguyên dương.

Trường hợp 2: \(k \ge 2\)

Nếu \(k \ge 2\), thì \(k-1\) là một số nguyên dương, và \(k-1 \ge 1\).

Quay lại phương trình: \(x^2(k-1) – 2x + k(k-1) = 0\)

Chúng ta có thể viết lại phương trình này như sau:

\(x^2(k-1) + k(k-1) = 2x\)

Đặt nhân tử chung \(k-1\):

\((k-1)(x^2+k) = 2x\)

Bây giờ, chúng ta sẽ phân tích bất đẳng thức này.

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

Vì \(k \ge 2\), nên \(k-1 \ge 1\).

Và \(x^2+k \ge 1^2+2 = 3\) (vì \(x \ge 1\) và \(k \ge 2\)).

Vậy, vế trái của phương trình \((k-1)(x^2+k) = 2x\) sẽ là:

VT = \((k-1)(x^2+k)\)

Vì \(k-1 \ge 1\) và \(x^2+k \ge 3\), nên:

VT \(\ge 1 \cdot 3 = 3\)

Do đó, chúng ta có bất đẳng thức:

\(3 \le (k-1)(x^2+k)\)

Mà \((k-1)(x^2+k) = 2x\).

Vậy suy ra: \(3 \le 2x\)

Điều này có nghĩa là \(x \ge \frac{3}{2}\). Vì \(x\) là số nguyên, nên \(x\) phải lớn hơn hoặc bằng 2. Tức là \(x \ge 2\).

Bây giờ chúng ta sẽ chia cả hai vế của phương trình \((k-1)(x^2+k) = 2x\) cho \(x\) (vì \(x \ge 1\), nên \(x \neq 0\)):

\((k-1)\left(\frac{x^2+k}{x}\right) = 2\)

\((k-1)\left(x + \frac{k}{x}\right) = 2\)

Hãy xem xét vế trái của phương trình này:

VT = \((k-1)\left(x + \frac{k}{x}\right)\)

Chúng ta biết rằng \(k \ge 2\), nên \(k-1 \ge 1\).

Bây giờ, hãy phân tích biểu thức \(\left(x + \frac{k}{x}\right)\):

Nếu \(x=1\):

VT = \((k-1)(1+\frac{k}{1}) = (k-1)(k+1) = k^2-1\).

Vì \(k \ge 2\), thì \(k^2 \ge 4\), vậy \(k^2-1 \ge 3\).

Vậy, nếu \(x=1\), ta có \(3 \le k^2-1 = 2\), tức là \(3 \le 2\). Đây là một điều vô lý!

Nếu \(x \ge 2\):

Trong trường hợp này, \(x \ge 2\) và \(k \ge 2\).

Ta có: \(k-1 \ge 1\).

Và \(x + \frac{k}{x}\). Vì \(k \ge 2\), ta có \(\frac{k}{x} \ge \frac{2}{x}\).

Vậy, \(x + \frac{k}{x} \ge x + \frac{2}{x}\).

Để tìm giá trị nhỏ nhất của \(x + \frac{2}{x}\) với \(x \ge 2\):

Nếu \(x=2\), thì \(2 + \frac{2}{2} = 2+1=3\).

Nếu \(x=3\), thì \(3 + \frac{2}{3} = 3\frac{2}{3} > 3\).

Càng tăng \(x\), giá trị của \(x + \frac{2}{x}\) càng tăng (vì \(x\) tăng và \(\frac{2}{x}\) giảm nhưng sự giảm của \(\frac{2}{x}\) không đủ để bù lại sự tăng của \(x\)).

Vậy, với \(x \ge 2\) và \(k \ge 2\), ta có \(x + \frac{k}{x} \ge 3\).

Do đó, vế trái của phương trình \((k-1)\left(x + \frac{k}{x}\right) = 2\) là:

VT = \((k-1)\left(x + \frac{k}{x}\right) \ge 1 \cdot 3 = 3\).

Vậy, ta có \(3 \le 2\). Đây là một điều vô lý!

Bước 4: Kết luận

Cả hai trường hợp của \(k\) (là \(k=1\) và \(k \ge 2\)) đều dẫn đến mâu thuẫn (vô lý).

Điều này có nghĩa là không có số nguyên dương \(k\) nào thỏa mãn điều kiện của bài toán.

Mà \(k = y-x^2\), nên không có cặp số nguyên dương \((x,y)\) nào để \(y-x^2\) là một số nguyên dương thỏa mãn điều kiện.

Do đó, phương trình ban đầu:

\(x^2+y^3=(x+y)^2+(xy)^2\)

không có nghiệm nguyên dương.

Các em thấy đấy, bài toán này tuy nhìn có vẻ phức tạp nhưng nếu chúng ta biết cách đơn giản hóa phương trình, tìm mối liên hệ giữa các biến và phân tích kỹ lưỡng từng trường hợp, chúng ta có thể đi đến kết luận một cách chặt chẽ. Kỹ thuật đưa về bất đẳng thức để tìm mâu thuẫn là một phương pháp rất hữu hiệu trong các bài toán chứng minh không có nghiệm đó!

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