Tham khảo:D

 Cách 1: 
2^m + 2^n = 2^(m + n) 
<=> 2^m = 2^(m + n) - 2^n 
<=> 2^m = 2^n(2^m - 1) 
<=> 2^(m - n) = 2^m - 1 (1) 
Vì m >= 1 nên 2^m - 1 >= 2^1 - 1 =1. Từ (1), ta suy ra 2^(m - n) > = 1 = 2^0 nên m >= n (2). 
Mặt khác, vì vai trò của m và n trong phương trình đã cho là đối xứng nên phương trình đã cho cũng tương đương với 2^(n - m) = 2^n - 1 (3) và (3) cho ta n > = m (4). 
(2) và (4) cho ta m = n và phương trình trở thành 
2^(m + 1) = 2^(2m) 
<=> m + 1 = 2m 
<=> m = 1 
Vậy phương trình có nghiệm m = n = 1. 

Cách 2: 
Trước hết, ta chứng minh rằng nếu a >= 2, b >= 2 thì a + b = ab khi và chỉ khi a = b = 2. 
Thật vậy, không mất tính tổng quát, ta có thể giả sử a <= b. 
Khi đó a + b <= 2b <= ab. Như vậy a + b = ab khi và chỉ khi a + b = 2b và 2b = ab, tức là a = b = 2. 

Trở lại phương trình, đặt a = 2^m >= 2, b = 2^n >= 2, ta có a + b = ab nên a = b = 2, tức 2^m = 2^n = 2 hay m = n = 1.

mình bieetslaf đúng nhưng cac pạn chỉ cho mình cách làm đc ko?mai mình phải nộp bài rồi

Trong một số trường hợp, có thể sử dụng mối quan hệ đặc biệt giữa ƯCLN, BCNN và tích của hai số nguyên dương a, b, đó là : ab = (a, b).[a, b], trong đó (a, b) là ƯCLN và [a, b] là BCNN của a và b. Việc chứng minh hệ thức này khụng khú :

Theo định nghĩa ƯCLN, gọi d = (a, b) => a = md ; b = nd với m, n thuộc Z+ ; (m, n) = 1 (*)

Từ (*) => ab = mnd2 ; [a, b] = mnd

=> (a, b).[a, b] = d.(mnd) = mnd2 = ab

=> ab = (a, b).[a, b] . (**)

* Với \(m\le2\)thì từ (1) suy ra \(n^3-5n+10=2^m\le2^2\Rightarrow n^3-5n+6\le0\)(2)

Mặt khác do \(n\inℕ^∗\)nên \(n^3-5n+6>0,\)điều này mâu thuẫn với (2). Vậy \(m>2\).

* Với  \(m=3\)thì thay vào (1) ta có: \(n^3-5n+10=2^3\Leftrightarrow\left(n^3-2n^2\right)+\left(2n^2-4n\right)-\left(n+2\right)=0\)

\(\Leftrightarrow\left(n-2\right)\left(n^2+2n-1\right)=0\)

Do \(n\inℕ^∗\)nên \(n^2-2n-1>0,\)suy ra \(n-2=0\Leftrightarrow n=2\)

* Với  \(m\ge4\)thì biến đổi (1) thành \(\left(n-2\right)\left(n^2+2n-1\right)=8\left(2^{m-3}-1\right)\)(3)

Nhận thấy: \(\left(n^2+2n-1\right)-\left(n-2\right)=n^2+n+1=n\left(n+1\right)+1\)là số lẻ và \(n\inℕ^∗\),

nên hai số \(n^2+2n-1\)và \(n-2\)là hai số tự nhiên khác tính chẵn lẻ. Do đó từ (3) xảy ra 2 khả năng

a)\(\hept{\begin{cases}n-2=8\\n^2+2n-1=2^{m-3}-1\end{cases}\Leftrightarrow}\hept{\begin{cases}n=10\\2^{m-3}=120\end{cases}}\)

Vì  \(2^{m-3}\)là số tự nhiên có số tận cùng khác 0 nên \(2^{m-3}\ne120\). Do vậy trường hợp này không xảy ra.

b)\(\hept{\begin{cases}n-2=2^{m-3}-1\\n^2+2n-1=8\end{cases}\Leftrightarrow}\hept{\begin{cases}2^{m-3}=n-1\\n^2+2n-9=0\end{cases}}\)

Do phương trình \(n^2+2n-9=0\)không có nghiệm tự nhiên nên trường hợp này cũng không xảy ra. 

Vậy có một cặp số nguyên dương duy nhất thỏa mãn là \(\left(m;n\right)=\left(3;2\right).\)

Cách khác : còn có thể xét các trường hợp của \(n\left(n=1;n\ge2\right)\)trước sau đó mới xét \(m\).

Để tìm tất cả các số nguyên dương k thỏa mãn điều kiện đã cho, ta sẽ giải phương trình theo n.

2n + 11 chia hết cho 2k - 1 có nghĩa là tồn tại một số nguyên dương m sao cho:
2n + 11 = (2k - 1)m

Chuyển biểu thức trên về dạng phương trình tuyến tính:
2n - (2k - 1)m = -11

Ta nhận thấy rằng nếu ta chọn một số nguyên dương nào đó, ta có thể tìm được một số nguyên dương k tương ứng để phương trình trên có nghiệm. Do đó, ta chỉ cần tìm tất cả các số nguyên dương n thỏa mãn phương trình trên.

Để giải phương trình này, ta có thể sử dụng thuật toán Euclid mở rộng (Extended Euclidean Algorithm). Tuy nhiên, trong trường hợp này, ta có thể tìm được một số giá trị n và k thỏa mãn phương trình bằng cách thử từng giá trị của n và tính giá trị tương ứng của k.

Dưới đây là một số cặp giá trị n và k thỏa mãn phương trình đã cho:
(n, k) = (3, 2), (7, 3), (11, 4), (15, 5), (19, 6), …

Từ đó, ta có thể thấy rằng có vô số giá trị n và k thỏa mãn phương trình đã cho.