El teorema de Pick es un resultado geométrico cuanto menos curioso, si no sorprendente. Nos permite calcular de forma muy sencilla el área de un polígono que cumpla ciertas condiciones. Se debe al matemático austriaco Georg Alexander Pick que lo demostró en 1899.
Vamos con el enunciado del teorema:
Teorema: Supongamos que tenemos una cuadrícula en la que cada vértice corresponde a un punto del plano cuyas coordenadas son números enteros y sea
un polígono simple (es decir, sin agujeros) que cumple que todos sus vértices están situados sobre vértices de la cuadrícula. Es decir, algo así:
Sea
el número de vértices de la cuadrícula que quedan dentro del polígono y sea
el número de vértices de la cuadrícula que están en algún lado del polígono, es decir, los puntos frontera que tienen sus dos coordenadas enteras. Entonces el área del polígono puede calcularse de la siguiente forma:
En el ejemplo que aparece en la imagen, y
. Por tanto
(unidades cuadradas).
Demostración:
Vamos a demostrar este resultado por inducción:
Sea un polígono simple y
un triángulo con un lado común con
. Asumimos que el teorema es cierto para
y para
de forma separada y demostremos que también es cierto para el polígono
conseguido a partir de
añadiendo
. Como
y
comparten un lado, todos los puntos frontera a lo largo del lado común, excepto los puntos extremos del lado, se convierten en puntos interiores de
. Por tanto, llamando
al número de puntos frontera en común, tenemos que
y
. De ello obtenemos que
y
.
Como asumimos que el teorema es cierto para y
de forma separada:
Por tanto, el polígono cumple el teorema.
Se sabe que en dos dimensiones cualquier polígono puede ser triangulado. Por tanto, lo que hemos obtenido es que si el teorema es cierto para un triángulo y para un polígono formado por
triángulos también lo es para un polígono formado por
triángulos.
El último paso de la demostración es comprobar que el resultado es cierto para cualquier triángulo. Veámoslo:
Es fácil ver que el teorema se cumple para cualquier cuadrado de lado 1 (¿de verdad es fácil?). De aquí se deduce que es correcto para cualquier rectángulo con sus lados paralelos a los ejes. A partir de ésto deducimos que la fórmula es cierta para triángulos rectángulos obtenidos a partir de un rectángulo mediante un corte por una de sus diagonales.
Ahora, cualquier triángulo puede convertirse en un rectángulo añadiendo como mucho tres triángulos rectángulos. Como la fórmula es correcta para los triángulos rectángulos y para el rectángulo también lo es para cualquier triángulo.
Con esto concluye la inducción.
Hemos comentando anteriormente que el teorema es válido para polígonos simples, es decir, sin agujeros. Hay una generalización para cualquier polígono en la cual el de la fórmula se sustituye por
, es decir, la característica de Euler de
.
Por otra parte, una superficie llamada el tetraedro de Reeve (de la cual no he encontrado información) demuestra que el teorema de Pick no se puede generalizar a tres dimensiones. Sin embargo, para dimensiones superiores sí hay una generalización vía polinomios de Ehrhart.
Fuente:
- Pick’s Theorem en la Wikipedia (en inglés)
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Demostrar este teorema fue uno de los problemas de la olimpiada matemática regional de Asturias en 1992 (en la que participé). Curiosamente, hasta hoy no sabía que se llamaba el Teorema de Pick 🙂
Gran teorema, sencillo y efectivo. Os planteo un sencillo problema asociado que se me ha ocurrido: Aunque en el enunciado dice «cada vértice corresponde a un punto del plano cuyas coordenadas son números enteros», generalicemos y supongamos que el polígono de vértices tiene coordenadas racionales en . Queremos obtener su área aplicando el teorema de Pick, para ello necesitamos crear una cuadrícula donde cada lado tiene una distancia . Indicar cómo se obtiene la , es decir, cómo construir la cuadrícula óptima para un polígono dado (la cuadrícula óptima se considera aquella que minimiza la cantidad de puntos a tener… Lee más »
^Diamond^: Muy curioso y simple el resultado (y la demostración). Hay una errata insignificante en la demostración. Trabajas tanto con
’s como con
’s para denotar los puntos frontera. Puede confundir a quien lea la prueba.
Por favor, suprime este comentario una vez hecha la corrección.
Efectivamente, Asier. La fórmula también es aprovechable para polígonos con vértices racionales. En definitiva no hacemos sino un cambio de escala. Considera el mínimo común múltiplo de los denominadores y considera el teorema de Pick en la red asociada a esta nueva magnitud. Finalmente te sale entonces la misma fórmula del teorema de Pick, debiendo dividir dicha expresión por el mcm al cuadrado para obtener el área en la unidad original.
M cierto, comencé con
y cuando llevaba escrito medio vi que con
de frontera podía ser mejor y me dejé unos cuantos son cambiar.
Gracias por la aclaración.
Y no hace falta que borre el comentario, no hay problema :).
Sí, esa es la idea, M, pero falta un pequeño detalle para obtener la expresión de
a la que hago referencia.
Una demostración que ví hace algún tiempo: Triangulamos el polígono usando como vértices todos los puntos de coordenadas enteras en el interior y en en el perímetro. (Ninguno de los triángulos que resulten contendrá puntos de coordenadas enteras salvo los vértices) Colocamos encima un poligono idéntico, también triangulado, y lo cosemos o pegamos por los bordes al poligono anterior. (Identificamos los puntos de coordenadas enteras en los perimetros de los dos polígonos, no los del interior) El resultado es topológicamente equivalente a un poliedro con 2i+f vértices (podemos inflar el espacio entre los dos polígonos cosidos por los bordes). Entonces… Lee más »
En esta demostración que aporta Fede, que por lo demás está muy bien, faltaria justificar que cualquier triángulo sin puntos en el interior ni en el perímetro, excepto los vértices, tiene área
. Lo que desde luego es cierto, pero no totalmente obvio.
Muy buena, fede. Me ha gustado!
El Teorema de Pick es uno de los clientes predilectos de EfeL REfeTOfo.
Los problemas 1 y 38 pueden constatar lo que ahora les digo.
¡Visítenlos y disfruten!
Hasta pronto.
🙂
miraa yo tengoo una comprobacion un poco mas sensilla primero se encierra a la figura en un cuadrado y te quedaran 4 triangulos por fuera de la figura de la que queremos sacar el area…despues lo que haremos es sacar el area total del cuadrado y despues sacar el area de cada triangulo al rededor de la figura (los 4 triangulos que se formaron) y restaremos el area total de los 4 triangulos al area total del cuadrado y te kedara solo el area del poligono al que le queremos sakar el area en tu ejemplo quedaria algoo asi area… Lee más »
pues sta curioso
[…] en las clases de todas las edades, y a ello contribuyen la magnífica exposición de Mati y la profundización de gaussianos. En la foto obreros durante la construcción del puente. Esta entrada participa en la edición […]
Hola,
Solo aportar una pequeña referencia para el tetadro de Reeve.
http://mat.uab.cat/matmat/PDFv2010/v2010n05.pdf
Saludos
[…] El teorema de Pick, Gaussianos, 2008 […]
[…] es pot demostrar a partir del mètode d’inducció, i Gaussianos ens ofereix una molt bona demostració. Acabem amb un exemple de l’aplicació del teorema: Què en penses? The […]