Question

[Một người bình thường vô danh]

  Cho n ∈ N. Chứng minh rằng:

a) 5ⁿ⁺² + 26.5ⁿ + 8²ⁿ⁺¹ ⋮ 59.

b) ( 4²ⁿ - 3²ⁿ - 7 ) ⋮ 168 ( n ≥ 1 ).

Answer 1

[Lê Thị Thục Hiền]

a) \(5^{n+2}+26.5^n+8^{2n+1}=25.5^n+26.6^n+8.8^{2n}\)

\(=5^n.51+8.64^n\)

Có \(64\equiv5\) (mod 59)

\(\Rightarrow64^n\equiv5^n\) (mod 59)

\(\Rightarrow8.64^n\equiv8.5^n\) (mod 59)

\(\Rightarrow5^n.51+8.64^n\equiv8.5^n+5^n.51\) (mod 59)

mà \(8.5^n+5^n.51=59.5^n\)\(\equiv0\) (mod 59)

\(\Rightarrow5^n.51+8.64^n\equiv8.5^n+5^n.51\equiv0\) (mod 59) 

\(\Rightarrow5^{n+2}+26.5^n+8^{2n+1}⋮59\)

b) \(4^{2n}-3^{2n}-7=16^n-9^n-7\)

Có \(16^n-9^n-7=\left(16-9\right)\left(16^{n-1}+...+9^{n-1}\right)-7=7\left(16^{n-1}+...+9^{n-1}\right)-7⋮\)\(7\) (I)

Có \(16\equiv1\) (mod 3) \(\Rightarrow16^n\equiv1\) (mod 3) mà \(7\equiv1\) (mod 3)

\(\Rightarrow16^n-7\equiv0\) (mod 3) mà \(9^n\equiv0\) (mod 3)

\(\Rightarrow16^n-9^n-7⋮3\) (II)

Có \(9^n\equiv1\) (mod 8)\(\Rightarrow9^n+7\equiv8\) (mod 8) 

\(\Rightarrow9^n+7⋮8\)  mà \(16^n=2^n.8^n⋮8\) 

\(\Rightarrow16^n-9^n-7⋮8\) (III)

Do \(\left(3;7;8\right)=1\)\(,3.7.8=168\)

Từ (I) (II) (III) \(\Rightarrow16^n-9^n-7⋮168\) 

\(\Rightarrow\) Đpcm

Answer 2

[Nguyễn Hoài Đức CTVVIP]

a) 5n+2+26.5n+82n+1=25.5n+26.6n+8.82n5n+2+26.5n+82n+1=25.5n+26.6n+8.82n

=5n.51+8.64n=5n.51+8.64n

Có 64≡564≡5 (mod 59)

⇒64n≡5n⇒64n≡5n (mod 59)

⇒8.64n≡8.5n⇒8.64n≡8.5n (mod 59)

⇒5n.51+8.64n≡8.5n+5n.51⇒5n.51+8.64n≡8.5n+5n.51 (mod 59)

mà 8.5n+5n.51=59.5n8.5n+5n.51=59.5n≡0≡0 (mod 59)

⇒5n.51+8.64n≡8.5n+5n.51≡0⇒5n.51+8.64n≡8.5n+5n.51≡0 (mod 59)