làm bằng phản chứng + quy nạp thử xem

giả sử tồn tại điều trên ( phản chứng)

giả sử bất đẳng thức trên đúng vs n = k.=>k^3+2016k = 2008^2007+4

vậy ta thử với n bằng k+1. từ đó làm để đưa dần về là ta CM xong

Áp dụng tính chất sau \(\left(a-1\right)\left(a+1\right)=a^2-1\)(\(a\in Z\)) ta được:

\(\left(n+1\right)\left(n+2\right)\left(n+3\right)=\left(n+2\right).\left[\left(n+1\right)\left(n+3\right)\right]=\left(n+2\right).\left[\left(n+2\right)^2-1\right]\)

Do \(n+2\) và \(\left(n+2\right)^2-1\) là hai số nguyên tố cùng nhau nên nếu \(\left(n+1\right)\left(n+2\right)\left(n+3\right)\) là số chính phương thì \(n+2\) và \(\left(n+2\right)^2-1\) cũng là các số chính phương

Do n là các số nguyên dương nên \(n+2\ge2\)

Với \(n+2\ge2\Rightarrow\left(n+2\right)^2-1\) không là số chính phương

\(\Rightarrow\left(n+1\right)\left(n+2\right)\left(n+3\right)\) không là số chính phương

Giả sử tồn tại số nghuyên n thỏa mãn \(\left(2020^{2020}+1\right)⋮\left(n^3+2018n\right)\)

Ta có \(n^3+2018n=n^3-n+2019n=n\left(n-1\right)\left(n+1\right)+2019⋮3\)

Mặt khác \(2020^{2020}+1=\left(2019+1\right)^{2020}+1\) chia 3 dư 2

\(\Rightarrow\) vô lí

Vậy không tồn tại số nguyên n thỏa mãn yêu cầu bài toán