Nếu ab chia hết cho c và ƯCLN (a,c) = 1 thì b chia hết cho c
Giải thích
Ta có: ab ⋮ c suy ra: a⋮cb⋮c
Nếu a ⋮ c: theo giả thiết ƯCLN (a,c) = 1 tức a và c là hai số nguyên tố cùng nhau
Suy ra vô lý
Vậy b ⋮ c.
Ta có: ab ⋮ c suy ra: a⋮cb⋮c
Nếu a ⋮ c: theo giả thiết ƯCLN (a,c) = 1 tức a và c là hai số nguyên tố cùng nhau
Suy ra vô lý
Vậy b ⋮ c.