Có A=(a+2002)(a+2003) là 2 nguyên liên tiếp

=>A chia hết cho 2 (1)

Có B=ab(a+b) 

Nếu a và b cùng là số chẵn=> ab﴾a+b﴿ chia hết cho 2

Nếu a chẵn,b lẻ﴾hoặc a lẻ,b chẵn﴿ => ab ﴾a+b﴿ chia hết cho 2

Nếu a và b cùng lẻ  => ﴾a+b﴿ chẵn => ﴾a+b﴿chia hết cho 2,vậy ab﴾a+b﴿ chia hết cho 2

=> B=ab﴾a+b﴿ chia hết cho 2 (2)

Từ (1)và(2)=>A và B luôn là bội của 2 (đpcm)

a) Xét các trường hợp p nguyên tố: 

* Xét p = 2 thì p² + 8 = 2² + 8 = 12 (không là số nguyên tố, loại)

* Xét p = 3 thì p² + 8 = 3² + 8 = 17 (là số nguyên tố, thỏa mãn). Khi đó p² + 2 = 3² + 2 = 11 (là số nguyên tố, đpcm)

* Xét p > 3 thì p có dạng 3k + 1 hoặc 3k + 2 (k > 0)

+) Nếu p = 3k + 1 thì p² + 8 = (3k + 1)² + 8 = 9k² + 6k + 9 = 3 (3k²  + 2k + 3)\(⋮\)3 mà 3 (3k² +2k + 3) > 3 nên không là số nguyên tố (loại trường hợp này)

+) Nếu p = 3k + 2 thì p² + 8 = (3k + 2)² + 8 = 9k² + 12k + 12 = 3 (3k²  + 6k + 4)\(⋮\)3 mà 3 (3k²  + 6k + 4) > 3 nên không là số nguyên tố (loại trường hợp này)

Vậy nếu p và p² + 8 là các số nguyên tố thì p² + 2 là số nguyên tố (đpcm)

b) Xét các trường hợp p nguyên tố: 

* Xét p = 2 thì 8p² + 1 = 8.2² + 1 = 33 (không là số nguyên tố, loại)

* Xét p = 3 thì 8p² + 1 = 8.3² + 1 = 73 (là số nguyên tố, thỏa mãn). Khi đó 2p + 1 = 2.3 + 1 = 7 (là số nguyên tố, đpcm)

* Xét p > 3 thì p có dạng 3k + 1 hoặc 3k + 2 (k > 0)

+) Nếu p = 3k + 1 thì 8p² + 1 = 8(3k + 1)² + 1 = 8(9k² + 6k + 1) + 1 = 3(24k² + 16k + 3)\(⋮\)3 mà 3(24k² + 16k + 3) > 3 nên không là số nguyên tố (loại trường hợp này)

+) Nếu p = 3k + 2 thì 8p² + 1 = 8(3k + 2)² + 1 = 8(9k² + 12k + 4) + 1 = 3(24k² + 32k + 11)\(⋮\)3 mà 3(24k² + 32k + 11) > 3 nên không là số nguyên tố (loại trường hợp này)

Vậy nếu p và 8p² + 1 là các số nguyên tố thì 2p + 1 là số nguyên tố (đpcm)

sai đề : phải là: a₁.a₁₄+a₁₄.a₁₂<a₁.a₁₂  nếu thế thì giải như sau

Ta có : a₁ + (a₂ + a₃ + a₄) + … + (a₁₁ + a₁₂ + a₁₃) + a₁₄ + (a₁₅ + a₁₆ + a₁₇) + (a₁₈ + a₁₉ + a₂₀) < 0 ; a₁ > 0 ; a₂ + a₃ + a₄ > 0 ; … ; a₁₁ + a₁₂ + a₁₃ > 0 ; a₁₅ + a₁₆ + a₁₇ > 0 ; a₁₈ + a₁₉ + a₂₀ > 0 => a₂₀ < 0.

Cũng như vậy : (a₁ + a₂ + a₃) + … + (a₁₀ + a₁₁ + a₁₂) + (a₁₃ + a₁₄) + (a₁₅ + a₁₆ + a₁₇) + (a₁₈ + a₁₉ + a₂₀) < 0 => a₁₃ + a₁₄ < 0.

Mặt khác, a₁₂ + a₁₃ + a₁₄ > 0 => a₁₂ > 0.

Từ các điều kiện a₁ > 0 ; a₁₂ > 0 ; a₁₄ < 0 => a₁.a₁₄ + a₁₄a₁₂ < a₁.a₁₂ [dpcm]

Gọi d = ƯCLN ( a;a - b)                  ( d \(\in\) N *)

=> a :  d    ;   a - b : d 

=>  b : d 

=> d \(\in\) ƯC( a;b)

Vì (a;b) = 1 nên d = 1

Vậy (a; a - b) = 1