Teorema de Pick
Uso del teorema de Pick para calcular el área del polígono.
El teorema de Pick es una fórmula que relaciona el área de un polígono simple cuyos vértices tienen coordenadas enteras (los polígonos reticulares)[1] con el número de puntos en su interior y en su borde (frontera) que tengan también coordenadas enteras. Un punto cuyas coordenadas sean enteras se conoce como punto entero. El teorema de Pick establece:
|
El teorema, como se muestra aquí es solo válido para polígonos simples, es decir, polígonos de una sola pieza que no tienen agujeros. Para una versión más general del teorema el "−1" de la fórmula puede ser reemplazado con "−χ(P){displaystyle -chi (P)}
Georg Alexander Pick describió el resultado en 1899. El tetraedro de Reeve muestra que no existe un análogo del teorema de Pick en tres dimensiones que exprese el volumen de un politopo contando los puntos en su interior y borde. Sin embargo, existe una generalización en dimensiones superiores mediante polinomios de Ehrhart. La fórmula también se generaliza a la superficie de los poliedros.
Demostración
El resultado se demuestra por inducción matemática.
Considera un polígono P y un triángulo T con una arista en común con P. Asumimos que el teorema de Pick es cierto de forma independiente tanto para P como para T; queremos mostrar que también se obtiene añadiendo T a P. Dado que P y T comparten una arista, todos los puntos del borde a lo largo de la arista en común se añaden como puntos interiores, excepto los dos puntos en los extremos que se añaden como puntos en el borde. Así, siendo c el número de puntos en el borde en común, tenemos que
- iPT=(iP+iT)+(c−2),bPT=(bP+bT)−2(c−2)−2,{displaystyle {begin{aligned}i_{PT}&=(i_{P}+i_{T})+(c-2),\b_{PT}&=(b_{P}+b_{T})-2(c-2)-2,end{aligned}}}
de manera que
- iP+iT=iPT−(c−2),bP+bT=bPT+2(c−2)+2.{displaystyle {begin{aligned}i_{P}+i_{T}&=i_{PT}-(c-2),\b_{P}+b_{T}&=b_{PT}+2(c-2)+2.end{aligned}}}
Dado que se está asumiendo que el teorema es cierto para P y T,
- APT=AP+AT=(iP+bP2−1)+(iT+bT2−1)=(iP+iT)+bP+bT2−2=iPT−(c−2)+bPT+2(c−2)+22−2=iPT+bPT2−1.{displaystyle {begin{aligned}A_{PT}&=A_{P}+A_{T}\&=(i_{P}+{frac {b_{P}}{2}}-1)+(i_{T}+{frac {b_{T}}{2}}-1)\&=(i_{P}+i_{T})+{frac {b_{P}+b_{T}}{2}}-2\&=i_{PT}-(c-2)+{frac {b_{PT}+2(c-2)+2}{2}}-2\&=i_{PT}+{frac {b_{PT}}{2}}-1.end{aligned}}}
Sabiendo que cualquier polígono puede triangularse, si el teorema es cierto para P, pudiendo ser construido mediante n{displaystyle n}
Siendo cierto el teorema para cuadrados de lado 1, se puede deducir igualmente por inducción que lo es para rectángulos con lados paralelos a los ejes. Con ello, también es cierto, mediante aritmética básica, para los triángulos rectángulos resultantes de seccionar el rectángulo por cualquier diagonal, sabiendo que
- AT=AR2,iR=2iT+id,bR=(bT−id)+(bT−id−2),{displaystyle {begin{aligned}A_{T}&={frac {A_{R}}{2}},\i_{R}&=2i_{T}+i_{d},\b_{R}&=(b_{T}-i_{d})+(b_{T}-i_{d}-2),end{aligned}}}
siendo id{displaystyle i_{d}}
Cualquier triángulo T puede inscribirse un rectángulo R con lados paralelos a los ejes añadiendo como mucho tres triángulos rectángulos U, V, W (con hipotenusas en las aristas de T no paralelas a alguno de los ejes). Su área queda determinada como diferencia entre el área de R y el área de U, V, W. Con ello, también es cierto el teorema para T, mediante aritmética básica, por ser cierto el teorema para todas ellas y sabiendo que
- iR=iT+(iU+idU)+(iV+idV)+(iW+idW),bR=(bU−idU−1)+(bV−idV−1)+(bW−idW−1),bT=idU+idV+idW+3,{displaystyle {begin{aligned}i_{R}&=i_{T}+(i_{U}+i_{d_{U}})+(i_{V}+i_{d_{V}})+(i_{W}+i_{d_{W}}),\b_{R}&=(b_{U}-i_{d_{U}}-1)+(b_{V}-i_{d_{V}}-1)+(b_{W}-i_{d_{W}}-1),\b_{T}&=i_{d_{U}}+i_{d_{V}}+i_{d_{W}}+3,end{aligned}}}
siendo id{displaystyle i_{d}}
Por tanto, el teorema es cierto para cualquier triángulo, demostrando que también lo es para el polígono P y por inducción para cualquier polígono PT.
Referencias
↑ Clemens y otros: "Geometría.Con aplicaciones y solución de problemas"
Véase también
- Polígono simple
- Polígonos
- Áreas
