Question

[Nguyễn Việt Bách]

cho a,b là các số nguyên dương 

cmr ab(a²+2)(b²+2) luôn chia hết cho 9

Answer 1

[Akai Haruma]

Lời giải:

Sử dụng bổ đề: Một số chính phương $x^2$ khi chia 3 dư 0 hoặc 1.

Chứng minh:

Nêú $x$ chia hết cho $3$ thì $x^2\vdots 3$ (dư $0$)

Nếu $x$ không chia hết cho $3$. Khi đó $x=3k\pm 1$ 

$\Rightarrow x^2=(3k\pm 1)^2=9k^2\pm 6k+1$ chia $3$ dư $1$

Vậy ta có đpcm

-----------------------------

Áp dụng vào bài:

TH1: Nếu $a,b$ chia hết cho $3$ thì hiển nhiên $ab(a^2+2)(b^2+2)\vdots 9$

TH1: Nếu $a\vdots 3, b\not\vdots 3$

$\Rightarrow b^2$ chia $3$ dư $1$

$\Rightarrow b^2+3\vdots 3$

$\Rightarrow a(b^2+3)\vdots 9$

$\Rightarrow ab(a^2+3)(b^2+3)\vdots 9$

TH3: Nếu $a\not\vdots 3; b\vdots 3$

$\Rightarrow a^2$ chia $3$ dư $1$

$\Rightarrow a^2+2\vdots 3$

$\Rightarrow b(a^2+2)\vdots 9$

$\Rightarrow ab(a^2+2)(b^2+2)\vdots 9$

TH4: Nếu $a\not\vdots 3; b\not\vdots 3$

$\Rightarrow a^2, b^2$ chia $3$ dư $1$

$\Rightarrow a^2+2\vdots 3; b^2+2\vdots 3$

$\Rightarrow ab(a^2+2)(b^2+2)\vdots 9$

Từ các TH trên ta có đpcm.