Tổng hợp Phương trình nghiệm nguyên là chủ đề trong bài viết hôm nay của chúng tôi. Theo dõi content để biết chi tiết nhé.
B- Nội dung.
Phương pháp 1: áp dụng tính chia hết.
Các tính chất thường dùng :
– Nếu $a vdots m] và $a pm b vdots m] thì $b vdots m].
– Nếu $a vdots m], $b vdots c] thì $a vdots c].
– Nếu $ab vdots c] mà ƯCLN $left( b,c right) = 1] thì $a vdots c].
– Nếu $a vdots m], $b vdots n] thì $ab vdots mn].
– Nếu $a vdots m], $a vdots c] với ƯCLN $left( b,c right) = 1] thì a⋮bc. –
Trong $m] số nguyên liên tiếp, bao giờ cũng tồn tại một số là bội của $m].
1. Phương trình dạng $ax + by = c].
Ví dụ 1: Giải Phương trình nghiệm nguyên sau: $2x + 25y = 8] (1)
Giải:
Có thể dễ dàng thấy rằng $y] chẵn. Đặt $y = 2t] Phương trình (1) trở thành: $x + 25t = 4]
Từ đó ta có nghiệm của Phương trình.
$left{ beginarraylx = 4 – 25t\y = 2t\t in Zendarray right.]
Chú ý: ta còn có cách thứ hai để tìm nghiệm của phương trình trên. Đó là phương pháp tìm nghiệm riêng để giải phương trình bậc nhất hai ẩn. Ta dựa vào định lý sau: Nếu phương trình $ax + by = c]. với $left( a;b right) = 1] có nghiệm là $left( x_0;y_0 right)] thì mọi nghiệm nguyên của hương trình nhận từ công thức.
$left{ beginarraylx = x_0 + bt\y = y_0 – at\t in Zendarray right.]
Định lý này chứng minh không khó (bằng cách thế trực tiếp vào Phương trình) dựa vào định lý này ta chỉ cần tìm một nghiệm riêng của Phương trình $ax + by = c]. Đối với các Phương trình có hệ số $a,b,c] nhỏ thì việc tìm nghiệm riêng khá đơn giản xong với Phương trình có các hệ số $a,b,c] lớn thì không dễ dàng chút nào, do đó ta phải dùng đến thuật toán Ơclít.
2. Đưa về phương trình ước số:
Ví dụ 2: Giải Phương trình nghiệm nguyên sau: $2x + 5y + 3xy = 8] (2)
Giải:
$beginarraylleft( 2 right) Leftrightarrow xleft( 2 + 3y right) + 5y = 8\Leftrightarrow 3left[ xleft( 2 + 3y right) + 5y right] = 24\Leftrightarrow 3xleft( 2 + 3y right) + 5y = 24\Leftrightarrow 3xleft( 2 + 3y right) + 15y + 10 = 34\Leftrightarrow 3xleft( 2 + 3y right) + 5left( 2 + 3y right) = 34\Leftrightarrow left( 2 + 3y right)left( 3x + 5 right) = 34endarray]
Vì $34 = 17.2 = 34.1 = left( – 17 right).left( – 2 right) = left( – 1 right).left( – 34 right)] nên ta có bảng kết quả:
Ví dụ 3: Giải Phương trình nghiệm nguyên sau: $x^2 + 2y^2 + 3xy – 2x – y = 6left( 3 right)]
Giải
$left( 3 right) Leftrightarrow x^2 + xleft( 3y – 2 right) + 2y^2 – y + a = 6 + a] ($a] là một số chưa biết được xác định sau).
Xét Phương trình; $x^2 + left( 3y – 2 right).x + 2y^2 – y + a = 0] Có
$Delta = left( 3y – 2 right)^2 – 4left( 2y^2 – y + a right) = y^2 – 8y + 4 – 4a]
Chọn $a = – 3]
Ta có $Delta = y^2 – 8y + 16 = left( y – 4 right)^2]
$ Rightarrow x_1 = – y – 1;x_2 = – 2y + 3] từ đó ta có Phương trình ước số: $left( x + y + 1 right)left( x + 2y – 3 right) = 3]
Suy ra kết quả: $left( x;y right) in left left( – 6;6 right),left( 0;2 right),left( – 4;2 right),left( – 10; – 6 right) right\]
3.Tách giá trị nguyên.
Ví dụ 4: Giải Phương trình nghiệm nguyên sau:
$xy – x – y = 2left( 4 right)]
Giải:
$left( 4 right) Leftrightarrow xleft( y – 1 right) = y + 2]
Ta có $y = 1] không phải là nghiệm của Phương trình
Với $y ne 1] ta có: $x = fracy + 2y – 1 Leftrightarrow x = 1 + frac3y – 1 Rightarrow y – 1 in U_2 = left – 3; – 1;1;3 right\]
$ Leftrightarrow y in left – 2;0;2;4 right Rightarrow left( x;y right) in left left( 0; – 2 right),left( – 2;0 right),left( 4;2 right),left( 2;4 right) right\]
PHƯƠNG PHÁP 2: PHƯƠNG PHÁP LỰA CHỌN MODULO (hay còn gọi là xét số dư từng vế)
Trước tiên ta có các tính chất cơ bản sau: Một số chính Phương khi chia cho 3 dư 0; 1. chia cho 4 dư 0; 1. chia cho 8 dư $0;1;4]. vv..
1. Xét số dư hai vế.
Ví dụ 5: Tìm nghiệm nguyên của Phương trình: $9x + 2 = y^2 + yleft( * right)]
Giải:
Ta có: $VT = 9x + 2 = 2left( bmod 3 right) Rightarrow VP = y^2 + y = 2left( bmod 3 right) Leftrightarrow yleft( y + 1 right) = 2left( bmod 3 right)]
$ Rightarrow y = 1left( bmod 3 right)] (vì nếu $y = 3k] hoặc $y = 3k + 2] thì $VP equiv 0left( bmod 3 right)].
$ Rightarrow y = 3k + 1] (trong đó $k in Z]) thay vào pt (*) ta có :
$9x + 2 = left( 3k + 1 right)^2 + left( 3k + 1 right) Leftrightarrow 9x = 9k^2 + 9k Leftrightarrow x = k^2 + k]
Vậy $left{ beginarraylx = k^2 + k\y = 3k + 1\k in Zendarray right.]
Ví dụ 6: Giải Phương trình nghiệm nguyên không âm sau:
$left( 2^x + 1 right)left( 2^x + 2 right)left( 2^x + 3 right)left( 2^x + 4 right) – 5^y = 11879]
Giải:
Ta có $2^x;2^x + 1;2^x + 2;2^x + 3;2^x + 4] là 5 số tự nhiên liên tiếp $2^xleft( 2^x + 1 right)left( 2^x + 2 right)left( 2^x + 3 right)left( 2^x + 4 right) vdots 5]
Mặt khác ƯCLN$left( 2^x;5 right) = 1] nên $left( 2^x + 1 right)left( 2^x + 2 right)left( 2^x + 3 right)left( 2^x + 4 right) vdots 5]
Với $y ge 1] thì $VT = left( 2^x + 1 right)left( 2^x + 2 right)left( 2^x + 3 right)left( 2^x + 4 right) – 5^y vdots 5] còn $VP = 11879 equiv 4left( bmod 5 right)] suy ra Phương trình không có nghiệm.
Với $y = 0] ta có : $beginarraylleft( 2^x + 1 right)left( 2^x + 2 right)left( 2^x + 3 right)left( 2^x + 4 right) – 5^0 = 11879 Leftrightarrow left( 2^x + 1 right)left( 2^x + 2 right)left( 2^x + 3 right)left( 2^x + 4 right) = 11880\Leftrightarrow left( 2^x + 1 right)left( 2^x + 2 right)left( 2^x + 3 right)left( 2^x + 4 right) = 9.10.11.12 Rightarrow 2^x + 1 = 9 Leftrightarrow 2^x = 8 Leftrightarrow 2^x = 2^3 Leftrightarrow x = 3endarray]
Vậy Phương trình đã cho có nghiệm duy nhất $3^x + 1 = left( y + 1 right)^2]
Ví dụ 7: Tìm $x,y] nguyên dương thoả $m,n]:
Giải:
$3^x + 1 = left( y + 1 right)^2 Leftrightarrow 3^x = yleft( y + 2 right)left( ** right)]
Ta có $VT = 3^x equiv 1left( bmod 2 right) Rightarrow VP = yleft( y + 2 right) equiv 1left( bmod 2 right)]
Suy ra $y] là số lẻ mà $y] và $y + 2] là hai số lẻ liên tiếp
Từ pt (**) $ Rightarrow left{ beginarrayly = 3^m\y + 2 = 3^n\m + n = xendarray right.]
Ta có $y + 2 > y Rightarrow n > m ge 1]
Nếu $m > 1] thì $y] và $y + 2] đều chia hết cho 3 (vô lí vì $(y;y + 2) = 2]) Vậy $m = 1 Rightarrow n = 0 Rightarrow x = 1 Rightarrow y = 1]
2.Sử dụng số dư để chỉ ra Phương trình vô nghiệm.
Ví dụ 8: Giải Phương trình nghiệm nguyên dương sau:
$19^x + 5^y + 1890 = 1975^4^30 + 2013]
Giải:
Ta có $x,y] nguyên dương $ Rightarrow 5^y vdots 5;1890 vdots 5 Rightarrow VT = 19^x + 5^y + 1890 equiv 19left( mod5 right)]
Mặt khác: $19 equiv – 1left( mod5 right) Rightarrow 19^x equiv left( – 1 right)^xleft( bmod 5 right)]
Nếu $x] chẳn thì $19 equiv 1left( mod5 right)];nếu $x] lẻ thì $19^x equiv left( – 1 right)^xleft( bmod 5 right) equiv 4left( bmod 5 right)]
$ Rightarrow VT equiv 1;4left( mod5 right)] còn $VP equiv 3left( mod5 right)] Do đó Phương trình vô nghiệm.
Ví dụ 9: Tìm các số nguyên dương $x,y] biết: $x^2 + x – 1 = 3^2y + 1]
Giải:
Ta có: $VP = 32y + 1 equiv 0left( mod3 right)left( * right)]
Nếu $x = 3k(k in N*)] thì $VT = x^2 + x – 1 equiv 2left( mod3 right)]
Nếu $x = 3k + 1(k in N)] thì $VT = x^2 + x – 1 equiv 1left( mod3 right)]
Nếu $x = 3k + 2(k in N)] thì $VT = x^2 + x – 1 equiv 1left( mod3 right)]
Vậy với $forall x in Z^ + ] thì $VT = x^2 + x – 1 equiv 1;2left( mod3 right)] (**)
Từ (*) và (**) suy ra không tồn tại các số nguyên dương $x,y] thoả mãn bài toán.
Chú ý: Nhiều bài toán thi vô địch các nước đôi khi phải xét đến Modulo khá lớn VD (IMO năm 1999).
Ví dụ 10: Giải Phương trình nghiệm nguyên sau: $m^2 = n^5 – 4]
Giải:
$m^2 equiv 0;1;3;4;5;9left( mod11 right)] còn $n^5 – 4 equiv 6;7;8left( mod11 right)] suy ra Phương trình vô nghiệm.
Chú ý: Đối với các Phương trình nghiệm nguyên có sự tham gia của các số lập Phương thì Modulo thường dùng là $mod9] Vì $x^3 equiv 0;1;8left( mod9 right)]
Ví dụ 11: Giải Phương trình nghiệm nguyên sau: $x^3 + y^3 + z^3 = 2011left( 8 right)]
Giải:
Dựa vào nhận xét trên: Ta có $x^3 equiv 0;1;8left( mod9 right);y^3 equiv 0;1;8left( mod9 right)z^3 equiv 0;1;8left( mod9 right) Rightarrow VT = x^3 + y^3 + z^3 equiv 0;1;2;3;6;7;8left( mod9 right)]
Còn $VP = 2011 equiv 4left( mod9 right)] nên Phương trình vô nghiệm
Phương pháp 3: DÙNG BẤT ĐẲNG THỨC.
1. Đối với các Phương trình mà các biến có vai trò như nhau thì người ta thường dùng Phương pháp sắp thứ tự các biến.
Ví dụ 12: Giải Phương trình nghiệm nguyên dương sau: $x + y + z = 3xyz]
Giải.
Không mất tính tổng quát ta có thể giả sử $1 le x le y le z]$beginarray*20l Rightarrow 3xyz = x + y + z le 3z\ Rightarrow xy le 1 Rightarrow x = 1;y = 1 Rightarrow z = 1endarray]
Vậy nghiệm của Phương trình là $left( x;y;z right) = left( 1;1;1 right)].
Chú ý: Đối với Phương trình nghịch đảo các biến ta cũng có thể dùng Phương pháp này (nếu vai trò các biến cũng như nhau). Ta có cách giải khác của ví dụ 9:
Chia cả hai vế của Phương trình cho $xyz] ta có: $frac1xy + frac1zx + frac1yz = 3]
Giải:
Không mất tính tổng quát ta có thể giả sử $1 le x le y le z Rightarrow frac1xy + frac1zx + frac1yz = 3 le frac3x^2 Rightarrow x^2 le 1 Rightarrow x = 1]
Suy ra: $y = 1;z = 1].
Ví dụ 13: Giải Phương trình nghiệm nguyên dương sau: $frac1x + frac1y + frac1z = 1]
Giải:
Không mất tính tổng quát ta có thể giả sử $1 le x le y le z Rightarrow frac1x + frac1y + frac1z = 1 le frac3x Rightarrow x le 3]
Lần lượt thử $x = 1] thì Phương trình không có nghiệm nguyên.
Xét $x = 2] ta có $frac12 + frac1y + frac1z = 1 Leftrightarrow frac1y + frac1z = frac12 le frac2y Rightarrow x le 4]
Mặt khác $y ge x = 1 Rightarrow y in left 2;3;4 right\] ta thử lần lượt các giá trị của y:
$y = 2] Phương trình không có nghiệm nguyên.
$beginarray*20ly = 3 Rightarrow z = 6\y = 4 Rightarrow z = 4endarray]
Xét $x = 3] ta có: $frac13 + frac1y + frac1z = 1 Leftrightarrow frac1y + frac1z = frac23 le frac2y Rightarrow y le 3]
Mặt khác $y ge x = 3 Rightarrow y = 3 Rightarrow x = 3]
Vậy nghiệm của Phương trình là: $(x;y;z) in left left( 2;3;6 right),left( 2;4;4 right),left( 3;3;3 right) right\]
Ví dụ 14: Giải Phương trình nghiệm nguyên dương sau: $x! + y! = left( x + y right)!left( * right)]
Giải:
Vì vai trò của $x,y] như nhau nên không mất tính tổng quát ta giả sử $1 le x le y]
Ta có: $left( x + y right)! = x! + y! le 2.y! Rightarrow x le 1] vì nếu $x > 1] thì $2.y! ge left( y + 2 right)!]
$2.y! ge y!left( y + 1 right)left( y + 2 right) Leftrightarrow 2 ge left( y + 1 right)left( y + 2 right)] (vô lí vì $y ge 1])
Vậy $x = 1] Thay vào PT (*) ta có $1 + y! = left( y + 1 right)! Leftrightarrow 1 + y! = y!left( y + 1 right) Leftrightarrow y.y! = 1 Rightarrow y = 1]
Vậy Phương trình có nghiệm $x = y = 1]
2. Áp dụng bất đẳng thức cổ điển.
Ví dụ 15 Tìm Các số nguyên dương $x,y] thoả mãn phương trình : $left( x^2 + 1 right)left( x^2 + y^2 right) = 4x^2y]
Giải :
Áp dụng bất đẳng thức Cô–si ta có :
$x^2 + 1 ge 2x], dấu bằng xảy ra khi $x = 1].
$x^2 + y^2 ge 2xy], dấu bằng xảy ra khi $x = y].
Vì $x,y] nguyên dương nên nhận Các bất đẳng thức trên vế theo vế ta được : $left( x^2 + 1 right)left( x^2 + y^2 right) ge 4x^2y], dấu bằng có khi và chỉ khi $x = y = 1].
Vậy phương trình có nghiệm duy nhất $x = y = 1].
Ví dụ 16: Giải Phương trình nghiệm nguyên sau: $left( x + y + 1 right)^2 = 3left( x^2 + y^2 + 1 right)]
Giải:
Áp dụng BĐT Bunhiacopski ta có $left( x + y + 1 right)^2 le left( 1 + 1 + 1 right)left( x^2 + y^2 + 1 right)]
Dấu bằng xẩy ra khi $frac1x = frac1y = frac11 = 1] hay $x = y = 1]
Vậy Phương trình có nghiệm $x = y = 1]
Ví dụ 17: Giải Phương trình nghiệm nguyên dương sau:
$x^6 + z^3 – 15x^2z = 3x^2y^2x – left( y^2 + 5 right)^3]
Giải:
$beginarraylx^6 + z^3 – 15x^2z = 3x^2y^2x – left( y^2 + 5 right)^3\Leftrightarrow left( x^2 right)^3 + left( y^2 + 5 right)^3 + z^3 = 3x^2zleft( y^2 + 5 right)endarray]
Áp dụng bất đẳng thức côsi cho 3 số ta có: $left( x^2 right)^3 + left( y^2 + 5 right)^3 + z^3 ge 3x^2zleft( y^2 + 5 right)] Dấu$ = ] xảy ra khi $x^2 = y^2 + 5 = z] Từ Phương trình $x^2 = y^2 + 5 Rightarrow left( x – y right)left( x + y right) = 5 Rightarrow x = 3;y = 2 Rightarrow z = 9]
Vậy nghiệm của Phương trình là $left( x;y;z right) = left( 3;2;9 right)].
Ghi chú:
Việc áp dụng bất đẳng thức vào giải phương trình nghiệm nguyên rất ít dùng vì ẩn ý dùng bất đẳng thức rất dễ bị lộ. Tuy nhiên cũng có một vài trường hợp dùng bất đẳng thức khá hay như ví dụ sau:
Ví dụ 18.1: Giải Phương trình nghiệm nguyên dương sau:
$3left( x^4 + y^4 + x^2 + y^2 + 2 right) = 2left( x^2 – x + 1 right)left( y^2 – y + 1 right)]
Giải:
Ta có $left( x + 1 right)^2 ge 0 Leftrightarrow 2x^2 + 4x + 2 ge 0 Leftrightarrow 3left( x^2 + x + 1 right) ge x^2 – x + 1]
Do $x^4 + x^2 + 1 = left( x^2 + 1 right)^2 – x^2 = left( x^2 + x + 1 right).left( x^2 – x + 1 right) ge frac13left( x^2 – x + 1 right)^2]
Tương tự ta cũng có $y^4 + y^2 + 1 ge frac13left( y^2 – y + 1 right)^2left( ** right)]
Cộng theo vế của (*) và (**) ta có
$x^4 + y^4 + x^2 + y^2 + 2 ge frac13left( x^2 – x + 1 right)^2 + frac13left( y^2 – y + 1 right)^2]
$ Leftrightarrow x^4 + y^4 + x^2 + y^2 + 2 ge frac13left[ {left( x^2 – x + 1 right)^2 + left( y^2 – y + 1 right)^2} right] ge frac13.2left( x^2 – x + 1 right)left( y^2 – y + 1 right)]
$ Leftrightarrow 3left( x^4 + y^4 + x^2 + y^2 + 2 right) ge 2left( x^2 – x + 1 right)left( y^2 – y + 1 right)]
Dấu “$ = ]” xảy ra khi $x = y = 1]
Vậy nghiệm của Phương trình là $x = y = 1].
Ví dụ 18.2: Giải Phương trình nghiệm nguyên dương sau với $x,y,z] là các số đôi một khác nhau. $x^3 + y^3 + z^3 = left( x + y + z right)^2]
Giải:
Áp dụng bất đẳng thức $fracx^3 + y^3 + z^33 ge left( fracx + y + z3 right)^3]
$ Rightarrow x^3 + y^3 + z^3 = left( x + y + z right)^2 ge frac{left( x + y + z right)^3}9 Rightarrow x + y + z le 9]
Vì $x,y,z] đôi một khác nhau suy ra $x + y + z ge 1 + 2 + 3 = 6 Rightarrow x + y + z in left 6;7;8 right\]
Lần lượt thử các giá trị của $x + y + z] tìm được $left( x;y;z right) = left( 1;2;3 right)] và các hoán vị của nó.
3. Áp dụng tính đơn điệu của từng vế:
Ta chỉ ra một hoặc một vài giá trị của biến thoả mãn Phương trình rồi chứng minh đó là nghiệm duy nhất.
Ví dụ 19: Giải Phương trình nghiệm nguyên dương sau: $3^x + 4^x = 5^x]
Giải:
Chia cả hai vế của phương trình cho $5^x] ta có: $left( frac35 right)^x + left( frac45 right)^x = 1]
Thử với $x = 1] ta thấy không phải là nghiệm nguyên của phương trình.
Với $x = 2] ta có $VT = VP = 1] thoả mãn bài toán.
Với $x ge 3 Rightarrow left( frac35 right)^x < left( frac35 right)^x] và $left( frac45 right)^x < left( frac45 right)^2] suy ra $left( frac35 right)^x + left( frac45 right)^x < left( frac35 right)^2 + left( frac45 right)^2 = 1]
Vậy phương trình có nghiệm duy nhất $x = 2].
Từ ví dụ 19: suy ra cách làm bài tập sau: Tìm số tự nhiên $x] sao cho $left( sqrt 3 right)^x + left( sqrt 4 right)^x = left( sqrt 5 right)^x]
Đối với phương trình trên ta còn có bài toán tổng quát hơn. Tìm các số nguyên dương $x,y,z] thoả mãn $3^x + 4^x = 5^x].
Đáp số: $x = y = z = 2] nhưng cách giải trên vô tác dụng với bài này.
(Để giải bài này thì hữu hiệu nhất là xét Modulo).
4. Dùng điều kiện $Delta ge 0] hoặc $Delta ‘ ge 0] để phương trình bậc hai có nghiệm.
Ví dụ 20: Giải phương trình nghiệm nguyên sau: $x^2 + 2y^2 = 2xy + 2x + 3y]
Giải:
$x^2 + 2y^2 = 2xy + 2x + 3y Leftrightarrow x^2 – 2xleft( y + 1 right) + 2y^2 – 3y = 0] ta có: $Delta ‘ = left( y + 1 right)^2 – left( 2y^2 – 3y right) = – y^2 + 5y + 1 ge 0 Leftrightarrow frac5 – sqrt 29 2 le y le frac5 + sqrt 29 2]
Vì $y] nguyên nên $y in left 0;1;2;3;4;5 right\]. Thay lần lượt các giá trị của $y] vào phương trình và tìm $x] tương ứng ta được: $left( x;y right) in left left( 0;0 right);left( 2;0 right) right\]
Nhận xét: Nói chung Phương pháp này được dùng khi $fleft( x;y right)] có dạng tam thức bậc hai $fleft( z right) = az^2 + bz + c] trong đó $a < 0]. còn khi $a > 0] thì dùng phương pháp đã nói trong ví dụ 3 để đưa về phương trình ước số một cách nhanh chóng.
Phương pháp 4: PHƯƠNG PHÁP CHẶN HAY CÒN GỌI LÀ PHƯƠNG PHÁP ĐÁNH GIÁ.
Chủ yếu dựa vào hai nhận xét sau:
- Không tồn tại $n in Z] thỏa mãn $a^2 < n^2 < left( a + 1 right)^2] với $a] là một số nguyên.
- Nếu $a^2 < n^2 < left( a + 1 right)^2] với $a;n in Z] thì $n = a + 1].
Ta có ví dụ sau:
Ví dụ 21: Giải phương trình nghiệm nguyên sau: $x^4 + x^2 + 1 = y^2]
Giải:
Xét hiệu $left( x^2 + 1 right)^2 – y^2 = x^2 ge 0 Rightarrow left( x^2 + 1 right)^2 ge y^2]
Xét hiệu $y^2 – x^4 = x^2 + 1 > 0 Rightarrow y^2 > x^4]
Suy ra: $left( x^2 right)^2 < y^2 le left( x^2 + 1 right)^2 Rightarrow y^2 = left( x^2 + 1 right)^2]. Thế vào phương trình ban đầu ta có: $x^2 = 0 Leftrightarrow x = 0]
Nhận xét trên có thể mở rộng với số lập phương ta có ví dụ sau:
Ví dụ 22: Giải phương trình nghiệm nguyên sau: $x^3 – y^3 = 2y^2 + 3y + 1]
Giải:
Bằng cách biến đổi như ví dụ trên ta có: $left( y – 1 right)^3 < x^3 le left( y + 1 right)^3 Rightarrow x = y;x = y + 1]
Lần lượt xét các trường hợp $x = y] và $x = y + 1] ta tìm được nghiệm của phương trình: $left( x;y right) in left left( – 1; – 1 right);left( 1;0 right) right\]
Phương pháp 5: DÙNG TÍNH CHẤT CỦA SỐ CHÍNH PHƯƠNG.
Các tính chất thường dùng :
– Số chính phương không tận cùng bằng $2,3,7,8].
– Số chính phương chia hết cho số nguyên tố $p] thì chia hết cho $p^2].
– Số chính phương khi chia cho 3, cho 4 chỉ cú thể dư 0 hoặc 1.
– Số chính phương chia cho 5, cho 8 thì số dư chỉ cụ thể là 0, 1 hoặc 4.
– Số chính phương lẻ chia cho 4, 8 thì số dư đều là 1.
– Lập phương của một số nguyên chia cho 9 chỉ cú thể dư 0, 1 hoặc 8. …
Dạng 1: sử dụng mệnh đề 1 sau:
với $x,y,z] nguyên và $xy = z^2] với $left( x;y right) = 1] thì $left{ beginarraylx = k^2\y = t^2\kt = zendarray right.voi,k,t in Z]
Thật vậy ta chứng minh bằng phương pháp phản chứng:
Giả sử $x,y] không là số chính phương nên trong phân tích thành số nguyên tố của $x] hoặc $y] tồn tại một số chứa ít nhất một số nguyên tố $p] với số mũ lẻ. (số $p] với số mũ lẻ trái với điều kiện $z^2] là số chính phương) suy ra điều phải chứng minh.
Ví dụ 23:
Giải phương trình nghiệm nguyên sau: $2x^4 + 3x^2 + 1 – y^2 = 0]
Giải:
$2x^4 + 3x^2 + 1 – y^2 = 0 Leftrightarrow left( 2x^2 + 1 right)left( x^2 + 1 right) = y^2]
Ta có: $left( 2x^2 + 1;x^2 + 1 right) = 1]
Suy ra: $left{ beginarraylx^2 + 1 = t^2\2x^2 + 1 = z^2endarray right.]. Từ phương trình $x^2 + 1 = t^2 Leftrightarrow left( x – t right)left( x + t right) = – 1 Rightarrow x = 0 Rightarrow y = 1]
Vậy nghiệm của phương trình là: $left{ beginarraylx = 0\y = 1endarray right.]
Dạng 2: sử dụng mệnh đề 2 sau:
Nếu $n;t] là các số nguyên thoả mãn $nleft( n + 1 right) = t^2] thì hoặc $n = 0] hoặc $n + 1 = 0].
Chứng minh:
Giả sử $n ne 0;n + 1 ne 0 Rightarrow t ne 0]
Vậy $n^2 + n = t^2 Rightarrow 4n^2 + 4n = 4t^2 Leftrightarrow left( 2n + 1 right)^2 = 4t^2 + 1 Leftrightarrow left( 2n + 1 right)^2 – 4t^2 = 1 Leftrightarrow left( 2n + 1 – 2t right)left( 2n + 1 + 2t right) = 1]
Vì $n;t] là các số nguyên nên từ phương trình ước số trên suy ra $n = 0] hoặc $n = – 1 Rightarrow ] (Dpcm) áp dụng mệnh đề trên để giải phương trình nghiệm nguyên trong ví dụ sau:
Ví dụ 24: Giải phương trình nghiệm nguyên sau: $x^2 + 2xy + y^2 + 5x + 5y = x^2y^2 – 6]
Giải:
$x^2 + 2xy + y^2 + 5x + 5y = x^2y^2 – 6 Leftrightarrow left( x + y + 3 right)left( x + y + 3 right) = x^2y^2 Rightarrow x + y + 2 = 0] hoặc $x + y + 3 = 0] từ đó tìm được nghiệm nguyên của phương trình.
Phương trình này vẫn còn có những cách giải khác nhưng việc dùng mệnh đề trên giúp cho lời giải bài toán trở nên ngắn gọn hơn.
Phương pháp 6: PHƯƠNG PHÁP LÙI VÔ HẠN. (HAY CÒN GỌI LÀ PHƯƠNG PHÁP XUỐNG THANG).
Phương pháp này dùng để chứng minh một phương trình $fleft( x,y,z, ldots right)] nào đó ngoài nghiệm tầm thường $x = y = z = 0] thì không còn nghiệm nào khác. Phương pháp này được diễn giải như sau: Bắt đầu bằng việc giả sử $left( x_0,y_0,z_0,… right)] là nghiệm của $fleft( x,y,z, ldots right)]. Nhờ những biến đổi, suy luận số học ta tìm được một bộ nghiệm khác $left( x_1,y_1,z_1,… right)] sao cho các nghiệm quan hệ với bộ nghiệm đầu tiên bởi một tỷ số $k] nào đó. Ví dụ: $x_0 = kx_1;y_0 = ky_1;z_0 = kz_1;…]
Rồi lại từ bộ $left( x_2,y_2,z_2,… right)] sao cho các nghiệm quan hệ với bộ nghiệm $left( x_1,y_1,z_1,… right)] bởi một tỷ số $k] nào đó. Ví dụ: $x_1 = kx_2;y_1 = ky_2;z_1 = kz_2;…] Quá trình tiếp tục dẫn đến $x_0,y_0,z_0,…] chia hết cho $k^s] với $k] là một số tự nhiên tuỳ ý điều này xảy ra khi và chỉ khi $x = y = z = ldots = 0]. Để rõ ràng hơn ta xét ví dụ sau:
Ví dụ 25: Giải phương trình nghiệm nguyên sau: $x^2 + y^2 = 3z^2]
Giải:
Gọi $left( x_0,y_0,z_0 right)] là một nghiệm của phương trình trên. Xét theo $mod3] ta chứng minh $x_0,y_0]; chia hết cho 3. Thật vậy: rõ ràng vế phải chia hết cho 3 suy ra: $x_0^2 + y_0^2 vdots 3] ta có: $x_0^2 equiv 0;1left( bmod 3 right);y_0^2 equiv 0;1left( bmod 3 right)] do đó: $x_0^2 + y_0^2 vdots 3 Rightarrow x_0 vdots 3;y_0 vdots 3] đặt $x_0 = 3x_1;y_0 = 3y_1;z_0 = 3z_1] thế vào và rút rọn ta được $3left( x_1^2 + y_1^2 right) = z_0^2 Rightarrow z_0 vdots 3 Rightarrow z_0 = 3z_1]
Thế vào và rút gọn ta được. $x_1^2 + y_1^2 = 3z_1^2] do đó nếu $left( x_0,y_0,z_0 right)] là một nghiệm của phương trình trên thì $left( x_1,y_1,z_1 right)] cũng là nghiệm của phương trình trên. Tiếp tục quá trình suy luận trên dẫn đến $x_0,y_0,z_0 vdots 3^k] điều đó chỉ xảy ra khi. $x_0 = y_0 = z_0 = 0].
Ví dụ 26: Giải phương trình nghiệm nguyên sau: $x^2 + y^2 + z^2 = 2xyz]
Giải:
Giả sử $left( x_0,y_0,z_0 right)] là một nghiệm của phương trình trên. $x_0^2 + y_0^2 + z_0^2 = 2x_0y_0z_0 Rightarrow x_0^2 + y_0^2 + z_0^2] chẵn (do $2x_0y_0z_0] chẵn) nên có hai trường hợp xảy ra.
Trường hợp 1: Có hai số lẻ, một số chẵn. Không mất tính tổng quát ta giả sử $x_0,y_0z] lẻ; $z_0] chẵn. Xét theo $mod4] ta có: $x_0^2 + y_0^2 + z_0^2 equiv 2left( mod4 right)] còn $2x_0,y_0z_0 vdots 4] (do $z_0] chẵn) $ Rightarrow ] vô lý
Trường hợp 2: cả 3 số đều chẵn. Đặt $x_0 = 2x_1;y_0 = 2y_1;z_0 = 2z_1] thế vào và rút gọn ta có: $x_1^2 + y_1^2 + z_1^2 = 4x_1y_2z_2] lập luân như trên ta được $x_1;y_1;z_1] chẵn
Quá trình lại tiếp tục đến $x_0;y_0;z_0 vdots 2^k] với $k in N*] điều đó xảy ra khi $x_0 = y_0 = z_0 = 0]
Tóm lại nghiệm của phương trình là $left( x_0;y_0;z right)_0 = left( 0;0;0 right)]
Phương pháp 7: Nguyên tắc cực hạn (hay còn gọi là nguyên lí khởi đầu cực trị)
Về mặt hình thức thì phương pháp này khác với phương pháp lùi vô hạn nhưng về ý tưởng sử dụng thi như nhau. đều chứng minh phương trình ngoài nghiệm tầm thường không có nghiệm nào khác.
Phương pháp bắt đầu bằng việc giả sử $left( x_0,y_0,z_0 right)] là nghiệm của $fleft( x;y;z; ldots right)] với điều kiện ràng buộc với bộ $left( x_0,y_0,z_0 right)]. Ví dụ như $x_0] nhỏ nhất hoặc $x_0 + y_0 + z_0 + …] nhỏ nhất…
Bằng những phép biến đổi số học ta tìm được một bộ nghiệm khác $left( x_1;y_1;z_1;… right)] trái với điều kiện ràng buộc trên. Ví dụ khi chọn bộ $left( x_0,y_0,z_0,… right)] với $x_0] nhỏ nhất ta lại tìm được bộ $left( x_1;y_1;z_1;… right)] thoả mãn $x_1 < x_0] từ đó dẫn đến phương trình đã cho có nghiệm $left( x_0,y_0,z_0 right) = left( 0;0;0 right)].
Ta xét ví dụ sau:
Ví dụ 27: Giải phương trình nghiệm nguyên sau: $8x^4 + 4y^4 + 2z^4 = t^4].
Giải:
Giả sử $left( x_0,y_0,z_0,t_0 right)] là nghiệm của $8x^4 + 4y^4 + 2z^4 = t^4] với điều kiện $x_0] nhỏ nhất
Từ phương trình suy ra $t] chẵn. Đặt $t = 2.t_1] thế vào và rút gọn ta được: $4x_0^4 + 2y_0^4 + z_0^4 = 8t_1^4] Rõ ràng $z_0] chẵn. Đặt $z_0 = 2.z_1 Rightarrow 2x_0^4 + y_0^4 + 8z_1^4 = 4t_1^5 Rightarrow y_0] chẵn. Đặt $y_0 = 2.y_1 Rightarrow x_0^4 + 8y_1^4 + 4z_1^4 = 2t_1^4 Rightarrow x_0] chẵn. Đặt $x_0 = 2.x_1 Rightarrow 8x_0^4 + 4y_1^4 + 2z_1^4 = t_1^4 Rightarrow left( x_1,y_1,z_1,t_1 right)] cũng là nghiệm của phương trình trên và dễ thấy $x_1 < x_0] (vô lý do ta chọn $x_0] nhỏ nhất). Do đó phương trình trên có nghiệm duy nhất. $left( x,y,z,t right) = left( 0;0;0 right)].
Chú ý trong ví dụ trên ta cũng có thể chọn $x_0 + y_0 + z_0] nhỏ nhất lý luận như trên ta cũng dẫn đến $x_1 + y_1 + z_1 < x_0 + y_0 + z_0] từ đó cũng dẫn đến kết luận của bài toán.
Phương pháp 8: Sử dụng mệnh đề cơ bản của số học.
Trước tiên ta đến với bài toán nhỏ sau. Cho $p] là số nguyên tố có dạng $p = k.2^t + 1] với $t] nguyên dương; $k] là số tự nhiên lẻ. CMR nếu $x^2^t + y^2^t vdots p] thì $x vdots p,y vdots p].
Chứng minh.
Giả sử $x vdots p Rightarrow y vdots p]. theo Ferma nhỏ $x^p – 1 equiv left( bmod p right);y^p – 1 equiv 1left( bmod p right);p = k.2^t + 1] nên $left{ beginarraylx^k.2^t equiv 1left( bmod p right)\y^k.2^t equiv 1left( bmod p right)endarray right. Rightarrow x^2^t + y^2^t equiv 2left( bmod p right)]
Mặt khác do $k] lẻ nên theo hằng đẳng thức $a^2n + 1 + b^2n + 1] ta có: $x^k.2^t + y^k.2^t = left( x^2^t + y^2^t right).A]. ($A] là một số nào đó).
Rõ ràng $x^2^t + y^2^t equiv 0left( bmod p right)] (do giả thiết $x^2^t + {y^{2^t}} vdots p])
Do đó theo ví dụ 20, ví dụ 21 thì ta có điều phải chứng minh.
Xét trường hợp nhỏ của bài toán trên:
Khi $t = 1]; vì $k] lẻ nên $k = 2s + 1 Rightarrow p = 4s + 3] lúc đó ta có mệnh đề sau:
$P] là số nguyên tố có dạng $p = 4s + 3]. Khi đó nếu $x^2 + y^2 vdots p] thì $x vdots p,y vdots p].
Mệnh đề hết sức đơn giản này lại là một công cụ vô cùng hiệu quả với nhiều bài toán khó.
Ví dụ 28: Giải phương trình nghiệm nguyên sau: $x^2 – y^3 = 7] (đây là phương trình nhỏ của phương trình Mordell) phương trình Mordell là phương trình có dạng $x^2 + k = y^3left( k,x,y in Z right)]
Giải:
Trước tiên ta có bổ đề sau:
Mọi số nguyên tố dạng $A = 4t + 3] đều có ít nhất một ước nguyên tố dạng $p = 4s + 3].
Chứng minh: Giả sử $A] không có ước số nào có dạng $p = 4s + 3] $A = left( 4t_1 + 1 right)left( 4t_2 + 1 right) = 4left( 4t_1t_2 + t_1 + t_2 right) + 1 = 4h + 1] (vô lý). Do đó A có một ước dạng $4t_1 + 3];
Nếu $4t_1 + 3] thì bổ đề được chứng minh.
Nếu $4t_1 + 3] là hợp số lý luận tương tự ta lại có $4t_1 + 3] có một ước số dạng $4t_2 + 3].
Nếu $4t_2 + 3] là hợp số ta lại tiếp tục. Vì quá trình trên là hữu hạn nên ta cố điều phải chứng minh.
Quay lại bài toán. $x^2 = y^3 + 7]
Xét $y] chẵn $ Rightarrow y^3 + 7 equiv 7left( bmod 8 right) Rightarrow x^2 equiv 7left( bmod 8 right)] vô lý do $x^2 equiv 0;1;4left( bmod 8 right)])
Xét $y] lẻ viết lại phương trình dưới dạng $x^2 + 1 = y^3 + 8 Rightarrow x^2 + 1 = left( y + 2 right)left( y^2 – 2y + 4 right)]
Nếu $y = 4k + 1 Rightarrow y + 2 = 4k + 3]
Nếu $y = 4k + 3 Rightarrow y^2 – 2y + 4 = left( 4k + 3 right)2 – 2left( 4x + 3 right) + 4 = 4h + 3] do đó $y] luôn có một ước dạng $4n + 3] và theo bổ đề trên thì $4n + 3] luôn có ít nhất một ước nguyên tố $p = 4s + 3 Rightarrow x^2 + 1 vdots p = 4s + 3] theo mệnh đề trên $x vdots p,y vdots p] (vô lí) Do đó phương trình trên vô nghiệm.
Ví dụ 29: Giải phương trình nghiệm nguyên sau: $x^2 + 5 = y^3]
Giải
Xét $y] chẵn $ Rightarrow y^3 equiv 0left( mod8 right) Rightarrow x^2 + 5 equiv 0left( mod8 right) Rightarrow x^2 equiv 3left( mod8 right)] Vô lý vì $x^2 equiv 0;1;4left( mod8 right)].
Xét $y] lẻ nếu $y = 4k + 3 Rightarrow y^3 equiv 3left( bmod 4 right) Rightarrow x^2 + 5 equiv 3left( bmod 4 right) Rightarrow x^2 equiv 2left( bmod 4 right)] (vô lí vì $x^2 equiv 0;1left( mod4 right)])
Nếu $y = 4k + 3] víêt phương trình dạng $x^2 + 4 = y^3 – 1 Rightarrow x^2 + 4 = left( y – 1 right)left( y^2 + y + 1 right)]
Rõ ràng $y^2 + y + 1 = left( 4k + 1 right)^2 + left( 4k + 1 right) + 1 = 4t + 3]
Do đó $y^3 – 1] có ít nhất một ước nguyên tố $p = 4s + 3]
$ Rightarrow x^2 + 4 vdots p Rightarrow 4s + 3 Rightarrow 4 vdots p Rightarrow p = 2] (vô lý do đó phương trên vô nghiệm cuối cùng để thấy thêm sự hiệu quả cuả mệnh đề này ta đến với bài toán Euler.
Ví dụ 30: Giải phương trình nghiệm nguyên sau: $4xy – x – y = z^2]
Giải:
Cách 1: Lời giải của Euler
Giả sử phương trình có tập nghiệm $left( x,y,z right) = left( a,b,c right)] với $c] là giá trị nhỏ nhất của $z].
Suy ra: $4ab – a – b = c^2 Rightarrow 16ab – 4a – 4b = 4c^2 Rightarrow left( 16ab – 4a right) – left( 4b – 1 right) – 1 = 4c^2left( * right)]
Cộng vào hai vế của (*) $4left( 4a – 1 right)^2 – 8left( 4a – 1 right).c] ta có: ($beginarraylleft( 4a – 1 right)left( 4b – 1 right) – left( 4b – 1 right) – 1 + left[ 4left( 4a – 1 right)^2 – 8left( 4a – 1 right).c right] = 4c^2 + left[ 4left( 4a – 1 right)^2 – 8left( 4a – 1 right).c right]\Rightarrow left( 4a – 1 right)left[ 4left( b + 4a – 1 – 2c right) – 1 right] = 4left[ c – left( 4a – 1 right) right]^2left( ** right)endarray]
Vậy nếu phương trình (*) có nghiệm là $left( a,b,c right)] thì phương trình (*) cũng có nghiệm là $left( a;b + 4a – 1 – 2c;c – 4a + 1 right)]
Vì $c] là giá trị nhỏ nhất của $z] suy ra $z = ^2 > c^2 Rightarrow ]
$beginarrayl4left[ c – left( 4a – 1 right) right]^2 = left( 4a – 1 right)left[ 4b – 1 + 4left( 4a – 1 right) – 8c right] > 4c^2 = left( 4a – 1 right)left( 4b – 1 right) – 1\Rightarrow 4b – 1 + 4left( 4a – 1 right) – 8c > left( 4b – 1 right)\Rightarrow left[ 4b – 1 + 4left( 4a – 1 right) – 8c right] > left( 4b – 1 right)\Rightarrow 4left( 4a – 1 right) – 8x > 0 Rightarrow 4a – 1 > 2cleft( 1 right)endarray]
Vì $a] và $b] có vai trò như nhau nên ta có $4b – 1 > 2cleft( 2 right)]
Từ (1) và (2) suy ra: $4a – 1 ge 2c + 1;4b – 1 ge 2c + 1]
PT (*): $4c^2 = left( 4a – 1 right)left( 4b – 1 right) ge left( 2c + 1 right)^2 – 1 Rightarrow 4c^2 ge 4c^2 + 4c Rightarrow c le 0] vô lí
Suy ra phương trình vô nghiệm.
Cách 2: dùng mệnh đề trên.
$beginarrayl4xy – x – y = z^2 Leftrightarrow 4left( 4xy – x – y right) = 4z^2 Leftrightarrow 16xy – 4x – 4y = 4z^2\Leftrightarrow left( 4x – 1 right)left( 4y – 1 right) = 4z^2 + 1 Leftrightarrow left( 4x – 1 right)left( 4y – 1 right) = left( 2x right)^2 + 1^1endarray]
Rõ ràng $4x – 1;4y – 1] đều có dạng $4t + 3]
Thật vậy: $4x – 1 = 4left( x – 1 right) + 3;4y – 1 = 4left( y – 1 right) + 3].
Do đó $left( 4x – 1 right)left( 4y – 1 right)] có ít nhất một ước nguyên tố $p = 4s + 3 Rightarrow z^2 + 1 vdots p = 4s + 3 Rightarrow 1 vdots p] vô lý do đó phương trình trên vô nghiệm.
Các dạng cơ bản của phương trình vô định nghiệm nguyên đã giới thiệu với các bạn ở trên. Việc sắp xếp các dạng, phương pháp là chủ ý của tôi nên ít nhiều sẽ sai sót. Sau đây là phần nói thêm về một số phương trình nghiệm nguyên khác.
Một số dạng bài tập khác.
1) Phương trình dạng mũ:
(thường sử dụng phương pháp xét modulo nhưng không phải là luôn luôn).
Ví dụ 31: Giải phương trình nghiệm nguyên sau: $2^x + 7 = y^2left( x,y in Z right)]
Giải:
$x = 0] phương trình không có nghiệm nguyên
$x = 1 Rightarrow y = pm 3]
Xét $x ge 2 Rightarrow 2^x equiv 0left( bmod 4 right) Rightarrow 2^x + 7 equiv 3left( bmod 4 right) Rightarrow y^2 equiv 3left( bmod 4 right)] vô lí vì $y^2 equiv 0;1left( mod4 right)] vậy nghiệm của phương trình $left( x;y right) in left left( 1;3 right);left( 1; – 3 right) right\].
Ví dụ 32: Giải phương trình nghiệm nguyên sau: $2^x + 21 = y^2left( x,y in Z right)]
Giải:
Xét $x] lẻ, đặt $x = 2k + 1 Rightarrow 2^x = 2.4^k = 3left( 3 + 1 right)^k equiv 2left( bmod 3 right) Rightarrow 2^x + 21 equiv 2left( bmod 3 right)]
$ Rightarrow y^2 equiv 2left( bmod 3 right)] (Vô lí) vì $y^2 equiv 0;1left( bmod 3 right)]
Xét x chẵn, đặt $x = 2k Rightarrow 2^2k + 21 = y^2 Rightarrow y^2 – 2^2k = 21 Rightarrow left( y – 2^k right)left( y + 2^k right) = 21] là phương trình ước số nên ta dễ dàng tìm được $left( x;y right) in left left( 2;5 right);left( 2; – 5 right) right\]
Ví dụ 33: Giải phương trình nghiệm nguyên dương sau: $2^x + 2^y + 2^z = 2336] với $x < y < z].
Giải:
$2^x + 2^y + 2^z = 2336 Leftrightarrow 2^xleft( 1 + 2^y – x + 2^z – x right) = 2336 = 2^5.73] ta có $1 + 2^y – x + 2^z – x] là số lẻ
Vậy $left{ beginarrayl2^x = 2^5left( 1 right)\1 + 2^y – x + 2^z – x = 73left( 2 right)endarray right.]
Từ (1) suy ra $x = 5] thay vào (2) ta có $1 + 2^y – 5 + 2^z – 5 = 73 Leftrightarrow 2^y – 5 + 2^z – 5 = 72]
$ Leftrightarrow 2^y – 5 + 2^z – 5 = 2^3.9 Leftrightarrow y^y – 5left( 1 + 2^z – y right) = 2^3.9]
$ Leftrightarrow left{ beginarrayl1 + 2^z – y = 9\2^y – 5 = 2^3endarray right. Leftrightarrow left{ beginarrayl2^z – y = 2^3\2^y – 5 = 2^3endarray right. Leftrightarrow left{ beginarraylz – y = 3\y – 5 = 3endarray right. Leftrightarrow left{ beginarrayly = 8\z = 11endarray right.]
Vậy $left( x;y;z right) = left( 5;8;11 right)]
Chú ý: Với cách giải trên ta có thể giải được bài toán sau: tìm nghiệm nguyên của phương trình $2^x + 2^y + 2^z = 2^nleft( x le y le z;n in Z right)]
KQ: $left( x;y;z right) = left( n – 2;n – 2;n – 1 right)]
Ví dụ 34: Giải phương trình nghiệm nguyên dương sau $5x^3 = 3^y + 317]
Giải:
Trong phương trình này có sự tham gia của số lập phương và như đã nói ở phần phương pháp lựa chọn modulo thì trong bài này ta lựa chọn $mod9]
Ta có: với $y = 1] suy ra $x = 4].
Với $y ge 2 Rightarrow 3^y equiv 0left( bmod 9 right) Rightarrow 5x^3 = 3^y + 317 equiv 2left( bmod 9 right)] vô lý vì $5x^3 equiv 0;4;5left( bmod 9 right)]
Suy ra phương trình có nghiệm duy nhất $left( x;y right) = left( 4;1 right)].
Ta đến với bài toán khó hơn.
Ví dụ 35: Giải phương trình nghiệm nguyên dương sau $x^y = y^x]
Giải:
Rõ ràng $x = y] là một nghiệm.
Xét $x ne y] không mất tính tổng quát ta giả sử $x < y Rightarrow sqrt[x]x^y = y Leftrightarrow x^fracyx = y] do $y] nguyên nên $x^fracyx] nguyên $ Rightarrow y vdots x] đặt $y = tx] thế vào ta được: $x^t = tx Rightarrow x^t – 1 = t] rõ ràng $t ge 2] vì đã giả sử $x ne y] ta có $t = 2 Rightarrow x = 2,y = 4] với $t ge 2 Rightarrow y ge 2] ta chứng minh $x^t – 1 > y] do $x ge 2] nên ta chỉ việc chứng minh $2^t – 1 > t] ta chứng minh bằng quy nạp theo $t].
ta có: $t = 3] đúng.
Giả sử khẳng định đúng với $t = k] tức là $2^k – 1 > k] ta chứng minh khẳng định đúng với $t = k + 1] Tức là $2^k succ k + 1]
Thật vậy: theo giả thiết quy nạp ta có: $2^k – 1 > k Rightarrow 2^k > 2k > k + 1] (vì $k > 1])
Do đó phương trình vô nghiệm với $t ge 3]
Vậy nghiệm của phương trình trên là: ($left( x;y right) in left left( a;a right);left( 2;4 right);left( 4;2 right) right\] với $a in Z].
Ví dụ 36: Giải phương trình nghiệm nguyên không âm sau: $2^x – 3^y = 1]
Giải:
Xét theo $mod3]
Ta có: $2^x – 1 = 3^y] xét với $y = 0] suy ra $x = 1].
Xét $y ge 1 Rightarrow 3^y equiv 0left( mod3 right) Rightarrow 2^x – 1 equiv 0left( mod3 right)]
Mặt khác $2^x – 1 = (3 – 1)^x – 1 equiv ( – 1) – 1left( mod3 right) Rightarrow x] chẵn vì $x] chẵn thì $( – 1)^x – 1 equiv 0(mod3)]
Đặt $x = 2k] ta có $2^2k – 1 = 3^y Leftrightarrow left( 2^k – 1 right)left( 2^k + 1 right) = 3^y]$left{ beginarrayl2^k + 1 = 3^u\2^k – 1 = 3^v\u + v = yendarray right. Rightarrow left( 2^k + 1 right) – left( 2^k – 1 right) = 2 = 3^u – 3^v Rightarrow 3^v + 2 = 3^u]
Nếu $u = 0] suy ra $3v = – 1] vô lý.
Nếu $u ge 1 Rightarrow 3^u equiv 0left( mod3 right) Rightarrow 3^v + 2 equiv 0left( mod3 right) Rightarrow v = 0 Rightarrow u = 1 Rightarrow left{ beginarraylx = 1\y = 2endarray right.]
Vậy phương trình có nghiệm là: $(x;y) in left left( 1;0 right);left( 2;1 right) right\]
2) Bài toán với các nghiệm nguyên tố:
Ví dụ 37: Tìm $n in N] để:
a) $n^4 + n^2 + 1] là số nguyên tố.
b) $n^5 + n + 1] là số nguyên tố
c) $n^5 + 4^n] là số nguyên tố
Giải:
a) ta có $n^4 + n^2 + 1 = left( n^2 + n + 1 right)left( n^2 – n + 1 right)] là số nguyên tố khi $n^2 – n + 1 = 1 Rightarrow n = 1]
b) $n^5 + n + 1 = left( n^2 + n + 1 right)left( n^3 – n^2 + 1 right)] là số nguyên tố khi $n^3 – n^2 + 1 = 1 Rightarrow n = 1]
c) Chú ý là $n] lẻ $ Rightarrow n + 1 vdots 2 Rightarrow n^4 + 4^n = left( n^2 + 2^n + 2^fracn + 12 right)left( n^2 + 2^n – 2^fracn + 12 right)] là số nguyên tố khi 1 2 2 2=1 n=1 2 n n n ++- ⇒
Ví dụ 38: Tìm các số nguyên tố $x;y;z] thoả mãn $x^y + 1 = z^2]
Giải
Với $x] lẻ $ Rightarrow x^y + 1 = z^2] chẵn $ Rightarrow z] chẵn mà lại là số nguyên tố nên $z = 2]
$ Rightarrow x^y = 3] (không tồn tại $x;y] thoả mãn).
Xét $x] chẵn: $ Rightarrow x = 2] vậy $x^y + 1 = z^2 Leftrightarrow 2^y + 1 = z^2]
Nếu $y] lẻ đặt $y = 2k + 1: Rightarrow 2^y = 2.4^k equiv 2left( bmod 3 right) Rightarrow 2^y + 1 equiv 0left( bmod 3 right) Rightarrow z^2 vdots 3 Rightarrow z = 3 Rightarrow y = 3]
Nếu $y] chẵn $ Rightarrow y = 2 Rightarrow 5 = z^2] vô lý vậy phương trình đ;cho có nghiệm: $(x;y;z) = left( 2;3;3 right)]
Với cách làm tương tự ta có thể giải quyết được bài toán sau: Tìm các số nguyên tố $x;y;z] thoả mãn $x^y + 1 = z].
3) Các phương trình chứng minh có vô số nghiệm:
Ví dụ 39: Chứng minh rằng phương trình $x^3 + y^3 = z^4] có vô số nghiệm.
Giải:
Ta xây dùng nghiệm của phương trình này. $x^3 + y^3 = z^4 Leftrightarrow left( fracxz right)^3 + left( fracyz right)^3 = z] đặt $fracxz = a;fracyz = b Rightarrow x = az;y = bz] thế vào phương trình ta được $z^3left( a^3 + b^3 right) = z^4 Rightarrow z = a^3 + b^3 Rightarrow x = az = aleft( a^3 + b^3 right);y = bz = bleft( a^3 + b^3 right)]
Vậy phương trình có vô số nghiệm dạng: $left( x;y;z right) = left( aleft( a^3 + b^3 right);bleft( a^3 + b^3 right);a^3 + b^3 right)]
Chú ý công thức trên chưa chắc đa quét hết nghiệm của bài toán xong ta chỉ cần như vậy để giải quyết bài toán này.
Ví dụ 40: Chứng minh rằng phương trình $x^4 + y^3 = z^7] có vô số nghiệm.
Giải:
Ta có $2^a + 2^a = 2^a + 1] Đặt $x = 2^fraca4,y = 2^fraca3] ta có: $x^4 + y^3 = 2^a + 2^a + 2^a + 1] chọn $z = 2^fraca + 17] do $x;y;z] nguyên nên $left{ beginarrayla vdots 3\a vdots \a + 1 vdotsendarray right. Leftrightarrow a = 84t + 48left( t in Z right)]
Vậy phương trình đã cho có vô số nghiệm dạng $left( x;y;z right) = left( 2^21t + 12;2^28t + 16;2^12t + 7 right)].
Các bài tập vận dụng:
Giải các phương trình sau trên $Z].
1) $3x + 7y = 9]
2) $25x + 7y = 16]
3) $x^2 + 3xy – y^2 + 2x – 3y = 5]
4) $x^2 + 3y^2 + xy – 3x – 3 = y]
5) $x_1^4 + x_2^4 + x_3^4 + … + x_14^4 = 1599]
6) $x^2 + y^2 = 16z + 6]
7) $x! + y! = z!]
8) $x! + y! = left( x + y right)!]
9) $19x^3 + 17y^3 = 50]
10) $5x^3 + 11y^3 + 13z^3 = 0]
11) $x^2 = y^2 + 16]
12) $x^2 + y^2 = 6left( z^2 + t^2 right)]
13) $xy – 2y – 3x + x^2 = 3]
14) $5left( x^2 + y^2 + xy right) = 7left( x + 2y right)]
15) $x^3 – y^3 – xy = 15]
16) $x^2 + xy + y^2 = x + y]
17) $1 + x + x^2 + x^3 = y^2] (GVG tỉnh VP năm 2001)
18) $x^3 + y^3 = left( x + y right)^2]
19) $y^3 – x^3 = 2x + 1]
20) $x^4 + x^2 + 4 = y^2 – y]
21) $x^2 + y^2 = 7z^2]
22) $x^2 = y^3 + 16] (HSG 9 tỉnh Thanh Hóa 2009)
23) $x^2 + y^2 + z^2 = x^2.y^2]
24) $6left( 6x^2 + 3y^2 + z^2 right) = 5t^2]
25) $19x^2 + 28y^2 + 2001]
26) $x^2 + xy + y^2 = 2x + y]
27) $x^2.y^2 = z^2left( z^2 – x^2 – y^2 right)]
28) $n^4 + 2n^3 + 2n^2 + 2n + 1 = y^2]
29) $x^3.z^2 + left( y^3 – 2xy right)z + xleft( x – y right) = 0] (AM- 2005)
30) $x^4 + x^2 – y^2 + y + 10 = 0]
31) $2left( x + y + z right) + 9 = 3xyz]
Các bài toán với số nguyên tố.
33) tìm $x in N;x^4 + 4^x] là số nguyên tố.
34) $frac1x + frac1y = frac2pleft( x,y in Z;p in P right)]
35) $left( p – 1 right)! + 1 = p^n] ($n in N,p] là số nguyên tố)
36) $pleft( p + 1 right) + qleft( q + 1 right) = nleft( n + 1 right)] ($left( p;q;n right)] là các số nguyên tố)
37) $p^2 = 8q + 1] ($p;q] là các số nguyên tố).
Các bài toán khó.
38) (APMO) Tìm $n] nguyên dương để phương trình sau có nghiệm.
$x^n + left( 2 – x right)^n + left( 2 + x right)^n]
39) (Brazil 1990) Chứng minh rằng phương trình sau có vô số nghiệm
$a^3 + 1990b^3 = c^4]
40) Tìm $x;y] nguyên dương để : $1! + 2! + 3! + … + x! = y^z]
41) Tìm các số nguyên dương $x,y,z] biết: $2x^x = y^2 + z^z] (Nga 2008)
42) (IMO 2006). Tìm các số nguyên dương $x;y] để: $1 + 2^x + 2^2x + 1 = y^2]
43) Tìm các số nguyên $x,y,z] thoả mãn $28^x = 19^y + 87^z]
44) Tìm các số nguyên dương $n] và $k] thoả mãn $k = sqrt n + 1 – sqrt n – 1 ]
45) Tìm $x,y,z] biết $x^4 + y^4 = z^4left( z,y,z in Z^ + right)]