Chủ đề này có 2 trả lời

[vanhieu9779]

GPT nghiệm nguyên dương :$2^x+1=x^2.y$

Bài viết đã được chỉnh sửa nội dung bởi BlackSelena: 21-08-2012 - 21:41

[nguyenta98]

GPT nghiệm nguyên dương :$2^x+1=x^2.y$

Giải như sau:
Phương trình suy ra $2^x+1 \vdots x^2$
Hay $2^n+1 \vdots n^2$
Đã được chứng minh như sau:

Giải như sau:
Ta thấy $n$ lẻ
$$2^n+1 \vdots n^2 \Rightarrow 2^{2n}-1 \vdots n^2$$
Giả sử $p$ là ước nguyên tố nhỏ nhất của $n$ suy ra $p$ lẻ và gọi $ord_2(p)=k$ suy ra $2^k-1 \vdots p$ mà $k$ min
Suy ra $2n \vdots k$
Mặt khác $2^{p-1}-1 \vdots p $ (Fermat nhỏ) suy ra $p-1 \vdots k$ suy ra $p-1\geq k \Rightarrow k<p$
Ta đã cm $2n \vdots k \Rightarrow gcd(n,k)=1$ vì nếu $gcd(n,k)>1 \Rightarrow n \vdots r,k \vdots r$ với $r$ nguyên tố mà $k<p \Rightarrow r<p \Rightarrow r$ là ước nguyên tố của $n$ mà $r<p$ vô lý vì $p$ nhỏ nhất
Do đó $gcd(n,k)=1 \Rightarrow 2 \vdots k$
TH1: $k=1 \Rightarrow 2-1 \vdots p$ vô lý
TH2: $k=2 \Rightarrow 2^2-1 \vdots p \Rightarrow p=3$
Suy ra $n=3^x.t$ với $gcd(3,t)=1$
Nên $2^{3^x.t}+1 \vdots 3^{2x}$
Ta sẽ chứng minh $2^{3^x.t}+1 \vdots 3^{x+1}$ và không chia hết cho $3^{x+2}$
Thấy $x=1$ đúng
Giả sử $x=k$ đúng hay $2^{3^k.t}+1 \vdots 3^{k+1}$ và không chia hết cho $3^{k+2}$
Ta sẽ cm $x=k+1$ đúng hay $2^{3^{k+1}.t}+1 \vdots 3^{k+2}$ và không chia hết cho $3^{k+4}$
Thật vậy ta có $2^{3^{k+1}.t}+1=\left(2^{3^k.t}+1\right)\left(\left(2^{3^k.t}\right)^2-2^{3^k.t}+1\right)$
Ta thấy $\left(2^{3^k.t}+1\right) \vdots 3^{k+1}$ mà không chia hết cho $3^{k+2}$ (GTQN)
Mặt khác ta có $\left(\left(2^{3^k.t}\right)^2-2^{3^k.t}+1\right)=a^2-a+1$ với $a=2^{3^k.t} \equiv 2 \pmod{3}$
Suy ra $a^2-a+1=(a-5)(a+4)+21 \vdots 3 $ nhưng không $\vdots 9$
Do đó $2^{3^{k+1}.t}+1 \vdots 3^{k+2}$ mà không chia hết cho $3^{k+3}$ suy ra $đpcm$
Áp dụng vào ta thấy $x>1$ thì $2^{3^x.t}+1 \vdots 3^{x+1}$ mà không chia hết cho $3^{x+2}$ hay không chia hết cho $3^{2x}$ (do $x>1 \Rightarrow 2x>x+1$) như vậy $x=1$
Suy ra $n=3.t$ với vẫn đk $gcd(t,3)=1$
Hay $8^t+1 \vdots t^2$
Tiếp tục giả sử $h$ là ước nguyên tố nhỏ nhất của $t$ chứng minh tương tự trên có $ord_8(h)=1,2$
Nếu $ord_8(h)=1 \Rightarrow 8-1 \vdots h \Rightarrow h=7$ nhưng khi ấy $8^t+1 \equiv 2 \pmod{7}$ vô lý
Nếu $ord_8(h)=2 \Rightarrow (8-1)(8+1) \vdots h$ mà ta đã thấy $ord_8(h)=2$ là số nhỏ nhất thỏa $8^{ord_8(h)}-1 \vdots h$ nên $8-1 \not \vdots h$ vì nếu không thì $1<2$ vô lý với giả sử $ord$ bé nhất
Do đó $8+1 \vdots t$ suy ra $9 \vdots t$ suy ra $t=1$ (do $gcd(t,3)=1$) suy ra $n=3$
Vậy $\boxed{n=3}$

P/S bài rất hay

Do đó $x=3$ nên $2^3+1=3^2.y \Rightarrow y=1$
Vậy $\boxed{(x,y)=(3,1)}$

Bài viết đã được chỉnh sửa nội dung bởi nguyenta98: 21-08-2012 - 21:51

[vanhieu9779]

Giải như sau:
Phương trình suy ra $2^x+1 \vdots x^2$
Hay $2^n+1 \vdots n^2$
Đã được chứng minh như sau:

Do đó $x=3$ nên $2^3+1=3^2.y \Rightarrow y=1$
Vậy $\boxed{(x,y)=(3,1)}$

bạn còn có cách nào ngắn hơn không? cách này vừa dài vừa đọc không hiểu