Deje $m = 504$ $p_0, p_1, \ldots, p_{4m-1}$ $2016$ vértices del polígono $\Delta$ ordenados en sentido antihorario manera. Deje $p_{4m} = p_0$ $(x_k,y_k)$ ser las coordenadas de $p_k$. WOLOG, vamos a suponer que todos los $x_k, y_k$ son enteros, y los bordes son horizontales o verticales.
Cíclico reordenación si es necesario, vamos a suponer $y_0 = \min \{ y_k \}$
y $x_0 = \min \{ x_k : y_k = y_0 \}$.
Cambiar el origen de modo que $p_0 = (0,0)$. Es fácil ver por todos los $k$, la paridad de coordenadas satisfacen:
$$p_k = (x_k,y_k) \equiv
\begin{cases}
(0,0), & k \equiv 0 \pmod 4\\
(1,0), & k \equiv 1 \pmod 4\\
(1,1), & k \equiv 2 \pmod 4\\
(0,1), & k \equiv 3 \pmod 4
\end{casos}$$
El uso de Verde del teorema, podemos evaluar el área de $\Delta$ como una integral de línea por encima de su límite de $\partial \Delta$:
$$\verb/Area/(\Delta) = \int_\Delta dx dy = \int_{\partial \Delta} x dy$$
Desde $\partial\Delta$, hay un montón de horizontal o vertical de los segmentos, podemos convertir la última parte integral de una suma correspondiente bordes${}^{\color{blue}{[1]}}$.
Podemos dividir el 2016 bordes del polígono en $4$ grupos.
- $p_{4\ell} \to p_{4\ell+1}$ : no contribuir, porque este es un borde horizontal.
- $p_{4\ell+1} \to p_{4\ell+2}$ : $x$ es constante y un número impar. Desde $y_{4\ell+2} - y_{4\ell+1}$ es también impar, esto contribuye a un número impar de la zona.
- $p_{4\ell+2} \to p_{4\ell+3}$ : no contribuir, porque este es un borde horizontal.
- $p_{4\ell+3} \to p_{4\ell+4}$ : $x$ es constante y de un número par.
Desde $y_{4\ell+4} - y_{4\ell+3}$ es un número entero, esto contribuye a un número para el área.
Esto significa que, en general, tenemos
$$\int_{p_{k} \p_{k+1}} xdy \equiv \begin{cases}
1 \pmod 2, & k \equiv 1 \pmod 4\\
0 \pmod 2, & k \not\equiv 1 \pmod 4
\end{casos}$$
Sumando $k$$0$$4m-1$, obtenemos
$$\verb/Área/(\Delta) = \sum_{k=0}^{4 m-1}
\int_{p_{k} \p_{k+1}} xdy \equiv m \pmod 2$$
Desde $m$ es un entero par, entonces el área de la original polígono $\Delta$.
Notas
- $\color{blue}{[1]}$ - Para aquellos que no quieren utilizar el cálculo, se puede reemplazar la integral de línea mediante el siguiente formulario específico de cordón fórmula:
$$\verb/Area/(\Delta) = \left|\sum_{k=0}^{4m-1} \frac{x_k + x_{k+1}}{2}(y_{k+1} - y_k)\right|$$
El resto de argumentos será exactamente el mismo.