An Integral Identity Relating Diamond and Square Domains

We establish an integral identity for functions on R^2 that are invariant under discrete diagonal translations. The identity shows that integration over the diamond-shaped region |x| + |y| <= L is exactly one half of the integral over the square domain [-L, L]^2, allowing diamond-domain integrals to be reduced to easier rectangular integrations.