nếu cả 2 số không chia hết cho 7
=> a không chia hết cho 7
b không chia hết cho 7
=>a.b không chia hết cho 7 (trái với đề bài)
vậy 1 trong 2 số a và b phải chia hết cho 7
Gọi a=7m+p , b=7n+q [tex]\left ( m,n,p,q\in \mathbb{N}^{*} ;0< p,q< 7\right )[/tex]
Thay từng giá trị của p, q vào ta luôn có ab ko chia hết cho 7(trái với giả thiết)
=> giả sử sai
=> đpcm