Ta có: a^5 - a = a(a^4 - 1) = a(a² - 1)(a² + 1) = a(a - 1)(a + 1)(a² + 1)
= a(a - 1)(a + 1)(a² - 4 + 5)
= a(a - 1)(a + 1)[ (a² - 4) + 5) ]
= a(a - 1)(a + 1)(a² - 4) + 5a(a - 1)(a + 1)
= a(a - 1)(a + 1)(a - 2)(a + 2) + 5a(a - 1)(a + 1)
= (a - 2)(a - 1)a(a + 1)(a + 2) + 5a(a - 1)(a + 1)
Do (a - 2)(a - 1)a(a + 1)(a + 2) là tích của 5 số nguyên liên tiếp => (a - 2)(a - 1)a(a + 1)(a + 2) chia hết cho 5 mà 5a(a - 1)(a + 1) chia hết cho 5
=> (a - 2)(a - 1)a(a + 1)(a + 2) + 5a(a - 1)(a + 1) chia hết cho 5.
=> a^5 - a chia hết cho 5
Mà a^5 chia hết cho 5 => a chia hết cho 5.
( Nếu a không chia hết cho 5 thì a^5 - a không chia hết cho 5 vì a^5 chia hết cho 5)
Chứng minh rằng nếu (5n + 1) là số chẵn thì n là số lẻ.
Giải: Nếu 5n + 1 là số chẵn thì =>
5n + 1 có dạng 2k (k là số tự nhiên)
=> 5n + 1 = 2k
=> 5n = 2k - 1
Do 2k - 1 là số lẻ => 5n là số lẻ (1)
Nếu n là số chẵn thì 5n chẵn => mâu thuẩn với (1)
=> n phải là số lẻ