x4 - 3x3 + 5x2 - 9x + 6
= x4 - x3 - 2x3 + 2x2 + 3x2 - 3x - 6x + 6
= ( x - 1 ) ( x3 - 2x2 + 3x - 6 )
= ( x - 1 ) ( x - 2 ) ( x2 + 3 )
Vì ( x - 1 ) ( x - 2 ) là tích 2 số nguyên liên tiếp nên :
( x - 1 ) ( x - 2 ) ⋮ 2 ⇒ A ⋮ 2 (1)
- Nếu x chia 3 dư 1 thì x - 1 ⋮ 3 ⇒ A ⋮ 3
- Nếu x chia 3 dư 2 thì x - 2 ⋮ 3 ⇒ A ⋮ 3
- Nếu x chia 3 dư 0 thì x3 + 3 ⋮ 3 ⇒ A ⋮ 3
⇒ A ⋮ 3 với mọi x ϵ Z (2)
Mà ƯCLN( 1, 2 ) = 1 (3)
Từ (1) , (2) và (3) ta có :
A ⋮ 2.3 = 6 ⇒ đpcm