| dbp:proof
|
- The relation means that all are obtained from by translating it by a Gaussian integer. This implies that all have the same area , and contain the same number of Gaussian integers.
Generally, the number of grid points in an arbitrary square with the area is . If one considers a big square consisting of squares , then it contains grid points. It follows , and thus , after a division by . Taking the limit when tends to the infinity gives . (en)
|