gốc tọa độ $O$ và đặt $A=(p,q)$
do $(p,q)=1$ nên ko có điểm nguyên nào nằm trên OA và mặt khác ta có OA chia lưới điểm thành hai phần đối xứng nhau nên số điểm nguyên trong nửa phần bằng $\frac{(p-1)(q-1)}{2}$
xét phần nằm dưới OA thì ta có $\sum\limits_{i=1}^{\frac{p-1}{2}}\lfloor \frac{iq}{p} \rfloor$ chính là số điểm nguyên nằm trong nửa phần đầu của phần dưới OA, tức là nếu gọi $B(0,q);C(p,0)$ M là trung điểm OC thì tổng trên là các điểm nguyên nằm trong và trên biên tam giác OMN (MN là đường trung bình tam giác AOC,M thuôc OA)
Tương tự gọi K là trung điểm BA thì $\sum\limits_{i=1}^{\frac{q-1}{2}}\lfloor \frac{ip}{q} \rfloor$ chính là số điểm nguyên năm trong tam giác NKA
Do đó $\sum\limits_{i=1}^{\frac{p-1}{2}}\lfloor \frac{iq}{p} \rfloor+\sum\limits_{i=1}^{\frac{q-1}{2}}\lfloor \frac{ip}{q} \rfloor$ là số các điểm nguyên nằm trong tam giác ONM và ANK theo tính đối xứng và tính chất đường trung bình suy ra số điểm nguyên trong miền đó bằng $\frac{(p-1)(q-1)}{4}$
Ta được đpcm
- perfectstrong, hxthanh, nguyenta98 và 2 người khác yêu thích