Một chứng minh của định lý Cauchy – Davenport


Định lý. (Cauchy – Davenport) Cho số nguyên tố p và hai tập khác rỗng các số nguyên A,B. Với mỗi tập X các số nguyên, ký hiệu (X)_p là tập tất cả các số tự nhiên r<p sao cho tồn tại x\in X thỏa mãn x\equiv r\pmod{p}. Khi đó ta có |(A+B)_p|\geq\min (p,|(A)_p|+|(B)_p|-1).

Continue reading “Một chứng minh của định lý Cauchy – Davenport”