Giả sử $a^{2016}+b^{2017}+c^{2018}\vdots6.$

Ta có $a^{2018}-a^{2016}=a^{2016}(a^2-1)$

$=a^{2016}(a-1)(a+1).$

Trong ba số nguyên liên tiếp $a-1,\ a,\ a+1$ luôn có một số chia hết cho $3$ và có ít nhất một số chẵn.

Do đó $a(a-1)(a+1)\vdots6.$

Suy ra $a^{2016}(a-1)(a+1)=a^{2015}\cdot a(a-1)(a+1)\vdots6.$

Vậy $a^{2018}\equiv a^{2016}\pmod6.$

Tương tự, $b^{2019}-b^{2017}=b^{2017}(b^2-1)$

$=b^{2017}(b-1)(b+1)$

$=b^{2016}\cdot b(b-1)(b+1)\vdots6,$ nên $b^{2019}\equiv b^{2017}\pmod6.$

Lại có $c^{2020}-c^{2018}=c^{2018}(c^2-1)$

$=c^{2018}(c-1)(c+1)$

$=c^{2017}\cdot c(c-1)(c+1)\vdots6,$ nên $c^{2020}\equiv c^{2018}\pmod6.$

Cộng ba đồng dư trên, $a^{2018}+b^{2019}+c^{2020}\equiva^{2016}+b^{2017}+c^{2018}\pmod6.$

Theo giả thiết,

$a^{2016}+b^{2017}+c^{2018}\equiv0\pmod6.$

Suy ra $a^{2018}+b^{2019}+c^{2020}\equiv0\pmod6.$

Hay $a^{2018}+b^{2019}+c^{2020}\vdots6.$

ta có a²⁰¹⁴ và a²⁰¹⁶ có cùng số dư khi chia cho 2 và 3 nên a²⁰¹⁴ và a²⁰¹⁶ có cùng số dư khi chia cho 6.

ta có ^b2015 và b²⁰¹⁷ có cùng số dư khi chia cho 2 và 3 nên b²⁰¹⁵ và b²⁰¹⁷ có cùng số dư khi chia cho 6.

ta có c²⁰¹⁶ và c²⁰¹⁸ có cùng số dư khi chia cho 2 và 3 nên c²⁰¹⁶ và c²⁰¹⁸ có cùng số dư khi chia cho 6.

do đó a²⁰¹⁴ + b²⁰¹⁵ + c²⁰¹⁶ và a²⁰¹⁶ + b²⁰¹⁷ + c²⁰¹⁸ có cùng số dư khi chia cho 6 hay a²⁰¹⁴ + b²⁰¹⁵ + c²⁰¹⁶ chia hết cho 6 thì a²⁰¹⁶ + b²⁰¹⁷ + c²⁰¹⁸ cũng chia hết cho 6.

ta có \(\left(a-3\right);\left(b+2017\right)⋮6\Rightarrow\hept{\begin{cases}\left(a-3\right);\left(b+2017\right)⋮2\\\left(a-3\right)\left(b+2017\right)⋮3\end{cases}}\)

xét cả 2 cái chia hết cho 2 trước thì ta có a và b cùng lẻ

xét 2 cái chia hết ho 3 thì ta có 

a chia hết cho 3 và và b chi 3 dư 2

ở đây ta dùng mod thì cậu có 

\(4\equiv1\left(mod3\right)\Rightarrow4^a\equiv1\left(mod3\right)\)

mà \(a\equiv0\left(mod3\right)\)

      \(b\equiv2\left(mod3\right)\)

=> \(4^a+a+b\equiv0\left(mod3\right)\) => \(4^a+a+b⋮3\) (1) 

mặt khác ta có a,b lẻ => a+b chia hết cho 2 

mà \(4^a⋮2\)

=> \(4^a+a+b⋮2\) (2) 

từ (1) và (2) 

=> \(4^a+a+b⋮6\) (ĐPCM)

$\textbf{1.}$

Ta có $5^{2017}+5^{2015}=5^{2015}(5^2+1)$

$=5^{2015}\cdot26$

$=5^{2015}\cdot13\cdot2.$

Vì $13\mid13\cdot2$ nên $13\mid\left(5^{2017}+5^{2015}\right).$

Vậy $5^{2017}+5^{2015}$ chia hết cho $13.$

$\textbf{2.}$

Giả sử $a^{2014}+b^{2015}+c^{2016}\vdots6.$

Ta có $a^{2016}-a^{2014}=a^{2014}(a^2-1)$

$=a^{2014}(a-1)(a+1).$

Vì $a(a-1)(a+1)\vdots6$ nên $a^{2014}(a-1)(a+1)=a^{2013}\cdot a(a-1)(a+1)\vdots6.$

Suy ra $a^{2016}\equiv a^{2014}\pmod6.$

Tương tự, $b^{2017}-b^{2015}=b^{2015}(b^2-1)$

$=b^{2014}\cdot b(b-1)(b+1)\vdots6,$ nên $b^{2017}\equiv b^{2015}\pmod6.$

Lại có $c^{2018}-c^{2016}=c^{2016}(c^2-1)$

$=c^{2015}\cdot c(c-1)(c+1)\vdots6,$ nên $c^{2018}\equiv c^{2016}\pmod6.$

Cộng ba đồng dư trên, $a^{2016}+b^{2017}+c^{2018}\equiva^{2014}+b^{2015}+c^{2016}\equiv0\pmod6.$

Vậy $a^{2016}+b^{2017}+c^{2018}$ chia hết cho $6.$

ong số học, bội số chung nhỏ nhất (hay còn gọi tắt là bội chung nhỏ nhất, viết tắt là BCNN, tiếng Anh: least common multiple hoặc lowest common multiple (LCM) hoặc smallest common multiple) của hai số nguyên a và b là số nguyên dương nhỏ nhất chia hết cho cả a và b.^[1] Tức là nó có thể chia cho a và b mà không để lại số dư. Nếu a hoặc b là 0, thì không tồn tại số nguyên dương chia hết cho a và b, khi đó quy ước rằng LCM(a, b) là 0.

Định nghĩa trên đôi khi được tổng quát hoá cho hơn hai số nguyên dương: Bội chung nhỏ nhất của a₁,..., a_n là số nguyên dương nhỏ nhất là bội số của a₁,..., a_n.

1/ Chứng minh nó chia hết cho 3:

Nếu cả x,y đều không chia hết cho 3 thì x², y² chia cho 3 dư 1.

\(\Rightarrow z^2=x^2+y^2\) chia cho 3 dư 2. Mà không có số chính phương chia 3 dư 2 nên ít nhất x, y chia hết cho 3.

\(\Rightarrow xy⋮3\)

Chứng minh chia hết cho 4.

Nếu cả x, y đều chẵn thì \(xy⋮4\)

Nếu trong x, y có 1 số lẻ (giả sử là x) thì z là số lẻ

\(\Rightarrow x=2k+1;y=2m;z=2n+1\)

\(\Rightarrow4m^2=4n^2+4n+1-4k^2-4k-1=4\left(n^2+n-k^2-k\right)\)

\(\Rightarrow m^2=\left(n^2+n-k^2-k\right)\)

\(\Rightarrow m⋮2\)

\(\Rightarrow y⋮4\)

\(\Rightarrow xy⋮4\)

Với x, y đều lẻ nên z chẵn

\(\Rightarrow x^2=4m+1;y^2=4n+1;z^2=4p\)

\(\Rightarrow\)Không tồn tại x, y, z nguyên thỏa cái này

Vậy \(xy⋮4\)

Từ chứng minh trên 

\(\Rightarrow xy⋮12\)

2/ \(a+b=c+d\)

\(\Leftrightarrow\left(a+b\right)^2=\left(c+d\right)^2\)

\(\Leftrightarrow2ab=2cd\)

\(\Leftrightarrow-2ab=-2cd\)

\(\Leftrightarrow\left(a-b\right)^2=\left(c-d\right)^2\)

\(\Leftrightarrow\orbr{\begin{cases}a-b=c-d\\a-b=d-c\end{cases}}\)

Kết hợp với \(a+b=c+d\)

\(\Leftrightarrow\orbr{\begin{cases}a=c\\a=d\end{cases}}\)

\(\RightarrowĐPCM\)