Triángulos de lados enteros, particiones y el Teorema de Pick
Triángulos de lados enteros, particiones y el Teorema de Pick
Triángulos de lados enteros, particiones y el Teorema de Pick
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
•••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••8 Triángulos <strong>de</strong> <strong>lados</strong> <strong>enteros</strong>, <strong>particiones</strong>. . .6m• • • •• • •• • •• • • •y = 6m−x• • •y = x• •• • • • •• •y = 1 2 (6m−x)• • •(3m,3m)• • • •• •• •(2m,2m)• •• • •• •• • •• • • • • • • • • •6mFigura 7: P(n) para n = 6m.Sobre la recta y = 6m − x hay 3m + 1 puntos: (3m, 3m), (3m + 1, 3m −1), . . . , (6m, 0).Sobre la recta y = 6m−x2hay 2m + 1 puntos: (6m, 0), (6m − 2, 1), . . .,(2m, 2m).De esto se sigue que hay F(P) = 6m puntos <strong>de</strong> N 2 que están sobre lafrontera <strong>de</strong> P . Por <strong>el</strong> <strong>Teorema</strong> <strong>de</strong> <strong>Pick</strong>, <strong>el</strong> número <strong>de</strong> puntos <strong>de</strong> N 2 que estánen <strong>el</strong> interior <strong>de</strong> P esI(P) = A(P) − F(P)2+ 1 = 3m 2 − 3m + 1.En resumen, P (n) = [3m 2 − 3m + 1] + [6m − (3m + 1)] = 3m 2 .Para <strong>el</strong> caso n = 6m + 1, m ∈ N, <strong>el</strong> polígono que contiene a P(n) apareceen la figura 8.Un razonamiento análogo con <strong>el</strong> polígono P <strong>de</strong> vértices (2m + 1, 2m),(2m + 1, 2m + 1), (3m, 3m), (3m + 1, 3m) y (6m + 1, 0) lleva a los siguientesresultados: A(P)= 3m 2 + m − 1/2, F(P)= 6m + 1, I(P)= 3m 2 − 2m yP (n) = 3m 2 + m.Las gráficas <strong>de</strong> los polígonos que contienen a P(n) para los casos n =6m + r; r = 2, 3, 4, 5 se pue<strong>de</strong>n ver <strong>de</strong>spués <strong>de</strong> la figura 8.
••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••10 Triángulos <strong>de</strong> <strong>lados</strong> <strong>enteros</strong>, <strong>particiones</strong>. . .6m+3• • • • • • • • • • • • • • •• • • • • • • • • • • • •y = (6m+3)−x• • • •y = x• • •• • •• • • •• • •y = 1 2 [(6m+3)−x] (3m+1,3m+1)• •• • • • •• •• •(3m+2,3m+1)• •(2m+1,2m+1)• •• •• •• •• • •• •• • •• • • • • • • • • •6m+36m+4• • • • • • • • • • • • • • •• • • • • • • • • • • • •y = (6m+4)−x• • • •• • •y = x• • •• • • •y = 1 2 [(6m+4)−x]• •• • •(3m+2,3m+2)• • • • •(2m+2,2m+2)• •• •• • •(2m+2,2m+1)• •• • •• •• • •• •• • • • • • • • • •• •6m+4
•••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••••E. Guerrero, M. A. Marmolejo, H. Mesa 116m+5• • • • • • • • • • • • • • • • • •• • • • • • • • • • • • • • •• • • • • • • • • • • • •y = (6m+5)−xy = xy = 1 2 [(6m+5)−x]• • • •• • •• • •• • • •• •(3m+2,3m+2)• • •(3m+3,3m+2)• • • • •(2m+2,2m+2)• •• •(2m+3,2m+1)• •• • •• •• • •• •• • • • • • • • • •• •6m+5En la tabla 1 se recogen los valores <strong>de</strong> A(P); F(P); I(P) y P (n) paralos casos n = 6m + r, r = 0, 1, 2, . . . , 5.n A(P) F(P) I(P) P (n)6m 3m 2 6m 3m 2 − 3m + 1 3m 26m + 1 3m 2 + m − 1/2 6m + 1 3m 2 − 2m 3m 2 + m6m + 2 3m 2 + 2m 6m + 2 3m 2 − m 3m 2 + 2m6m + 3 3m 2 + 3m + 1/2 6m + 3 3m 2 3m 2 + 3m + 16m + 4 3m 2 + 4m + 1 6m + 4 3m 2 + m 3m 2 + 4m + 16m + 5 3m 2 + 5m + 3/2 6m + 5 3m 2 + 2m 3m 2 + 5m + 2Tabla 1Al <strong>de</strong>l final <strong>de</strong> la sección 2 se observó que T (n) es <strong>de</strong> or<strong>de</strong>n n 2 /48; <strong>de</strong>la r<strong>el</strong>ación P (n) = T (2n) se concluye que P (n) es <strong>de</strong> or<strong>de</strong>n n 2 /12. En latabla 2 se comparan estos valores.De esta tabla se <strong>de</strong>duce que P (n) = {n 2 /12}. Teniendo en cuenta lar<strong>el</strong>ación T (2n) = P (n) = T (2n − 3) se llega a que T (n) = {n 2 /48} para npar y que T (n) = {(n + 3) 2 /48} para n impar, que es la fórmula dada porTanton [8].MATMATerials MATemàticsVolum 2006, treball no. 1, 14 pp.2 Publicació <strong>el</strong>ectrònica <strong>de</strong> divulgació <strong>de</strong>l Departament <strong>de</strong> Ma<strong>de</strong> la Universitat Autònoma <strong>de</strong> Barc<strong>el</strong>onawww.mat.uab.cat/matmat
12 Triángulos <strong>de</strong> <strong>lados</strong> <strong>enteros</strong>, <strong>particiones</strong>. . .n P (n) n 2 /126m 3m 2 3m 26m + 1 3m 2 + m 3m 2 + m + 1/126m + 2 3m 2 + 2m 3m 2 + 2m + 4/126m + 3 3m 2 + 3m + 1 3m 2 + 3m + 9/126m + 4 3m 2 + 4m + 1 3m 2 + 4m + 16/126m + 5 3m 2 + 5m + 2 3m 2 + 5m + 25/12Tabla 25. Triángulos escalenos y <strong>particiones</strong> <strong>de</strong>sigualesEn esta sección T e (n) <strong>de</strong>nota <strong>el</strong> conjunto <strong>de</strong> triplas or<strong>de</strong>nadas enterast e (i, j, k) tales que i + j + k = n; i > j > k ≥ 1 y a<strong>de</strong>más i, j, k correspon<strong>de</strong>na las longitu<strong>de</strong>s <strong>de</strong> los <strong>lados</strong> <strong>de</strong> un triángulo escaleno. También, P e (n) <strong>de</strong>nota<strong>el</strong> conjunto <strong>de</strong> <strong>particiones</strong> or<strong>de</strong>nadas enteras p e (i, j, k) <strong>de</strong> n ∈ {6, 7, 8, . . .}en tres partes <strong>de</strong>siguales: i + j + k = n; i > j > k ≥ 1. Se escribe T e (n) yP e (n) para <strong>de</strong>notar <strong>el</strong> número <strong>de</strong> <strong>el</strong>ementos <strong>de</strong> los conjuntos P e (n) y T e (n),respectivamente.Los números T e (n) y P e (n) se <strong>de</strong>terminan fácilmente <strong>de</strong> los resultadosobtenidos en la sección anterior. En efecto; <strong>de</strong> una parte, T e (2n) = P e (n) =T e (2n − 3), <strong>de</strong>bido a que las aplicaciones t e (i, j, k) → t e (i − 1, j − 1, k − 1)<strong>de</strong> T e (2n) a T e (2n − 3) y p e (i, j, k) → t e (n − k, n − j, n − i) <strong>de</strong> P e (n) a T e (n)son biyecciones. Estas son las mismas aplicaciones que se consi<strong>de</strong>raron en lasección anterior para mostar que T (2n) = P (n) = T (2n − 3).De otra parte, P e (n) es <strong>el</strong> número <strong>de</strong> puntos (i, j) <strong>de</strong> la cuadrícula ˜C ={(i, j) ∈ N 2 : 1 ≤ i ≤ n, 1 ≤ j ≤ n} que verifican i > j > k := n−(i+j) ≥ 1;esto es, P e (n) es <strong>el</strong> número <strong>de</strong> puntos <strong>de</strong>l conjuntoP e (n) = {(i, j) ∈ N 2 : i > j; i + j < n; i + 2j > n}.Para los casos n = 6m + r; r = 0, 1, 2, . . . , 5, los números P e (n) correspon<strong>de</strong>nprecisamente a los que aparecen en la columna I(P) (número <strong>de</strong>puntos <strong>de</strong> ˜C que son interiores a P ) <strong>de</strong> la Tabla 1. Es <strong>de</strong>cir, P e (n) ≡ I(P).Una observación <strong>de</strong> las columnas I(P) ≡ P e (n) y P (n) <strong>de</strong> la Tabla 1rev<strong>el</strong>a que, para n = 6, 7, 8, . . ., P e (n) = P (n − 3). Por lo tanto, valen lassiguientes r<strong>el</strong>aciones:T e (2n) = T e (2n − 3) = P e (n) = P (n − 3); n = 6, 7, 8, . . . ,que implican la fómula⎧⎪⎨T e (n) =⎪⎩{(n−6) 248{(n−3) 248}, si n es par}, si n es impar.
E. Guerrero, M. A. Marmolejo, H. Mesa 13Note que T e (n) = T (n − 6) y que, en consecuencia, T is (n) := T (n) −T e (n) ≡ T (n)−T (n−6) es <strong>el</strong> número <strong>de</strong> triángulos isósc<strong>el</strong>es <strong>de</strong> <strong>lados</strong> <strong>enteros</strong>y <strong>de</strong> perímetro n (aquí se incluye <strong>el</strong> único triángulo equilatero <strong>de</strong> lado k ∈{1, 2, 3, . . .}, en <strong>el</strong> caso n = 3k). Cuando n = 2k, usando la tabla 2 se pue<strong>de</strong>escribir:{ } { }k2 (k − 3)2T is (n) = P (k) − P (k − 3) = −12 12{ } { }2k − 3 n − 3== .44Así mismo, cuando n = 2k + 1,{ } { }(k + 2)2 (k − 1)2T is (n) = P (k + 2) − P (k − 1) =−1212{ } 2k + 1==4En resumen, se llega a la expresión⎧{ ⎪⎨ n−3}4 , si n es parT is (n) =⎪⎩}, si n es impar,{ n4{ n4}.que también aparece en Hirschhorn [2]. Curiosamente, en este trabajo se<strong>de</strong>muestra la fórmula dada por Tanton, empezando precisamente por establecerla r<strong>el</strong>ación T e (n) = T (n − 6).Por ejemplo; si n = 15, hay T (15) = 7 triángulos incongruentes <strong>de</strong> <strong>lados</strong><strong>enteros</strong>, <strong>de</strong> los cuales T e (15) = 3 son escalenos y T is (15) = 4 son isósc<strong>el</strong>es(incluído <strong>el</strong> equilátero <strong>de</strong> lado 5).6. ConclusionesSi bien es cierto que en la literatura hay diversos trabajos don<strong>de</strong> seestablecen las fórmulas para P (n), T (n), T e (n) y T is (n); en este trabajo seha explotado la sencillez <strong>de</strong>l <strong>Teorema</strong> <strong>de</strong> <strong>Pick</strong> para <strong>de</strong>ducirlas. La i<strong>de</strong>a esque con este enfoque se pueda interesar en <strong>el</strong> tema a un grupo amplio <strong>de</strong>lectores.Referencias[1] Andrews G. (1979) A note on partitions and triangles with integerssi<strong>de</strong>s. The American Mathematical Monthly, Vol. 86, No. 6, p. 477-478.MATMATerials MATemàticsVolum 2006, treball no. 1, 14 pp.2 Publicació <strong>el</strong>ectrònica <strong>de</strong> divulgació <strong>de</strong>l Departament <strong>de</strong> Ma<strong>de</strong> la Universitat Autònoma <strong>de</strong> Barc<strong>el</strong>onawww.mat.uab.cat/matmat
14 Triángulos <strong>de</strong> <strong>lados</strong> <strong>enteros</strong>, <strong>particiones</strong>. . .[2] Hirschhorm M. (2003) Triangles with integers Si<strong>de</strong>s Mathematics Magazine,Vol. 76, No.4, p. 306-308.[3] Jara, P.; Ruiz, C. (2008) El <strong>Teorema</strong> <strong>de</strong> <strong>Pick</strong>. Aparece en:ESTALMAT-Andalucía; http://www.ugr.es/~anillos/textos/pdf/2008/pick.pdf[4] Jordan J., Walch R. and Wisner R. (1979) Triangles with integers si<strong>de</strong>s.The American Mathematical Monthly, Vol. 86, No. 8, p. 686-689.[5] Matthias B. A real short proof of <strong>Pick</strong>’s theorem.http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.35.8363&rep=rep1&type=pdf[6] Ramírez J. L. (2010) El <strong>Teorema</strong> <strong>de</strong> <strong>Pick</strong> y Re<strong>de</strong>s <strong>de</strong> Puntos. MAT 2Materials Matemàtics, Volum 2010, no. 5.[7] Sally J. D. and Sally P.J., Jr. (2007) Roots to Research: A Vertical Dev<strong>el</strong>opmentof Mathematical Problems. American Mathematical Society.ISBN: 978-0-8218-4403-8.[8] Tanton J. (2002) Young stu<strong>de</strong>nts approach integer triangles. Focus, thenewsletter of the Mathematical Association of America, Vol.22, No.5,p. 4-6.[9] Varberg D. (1985) <strong>Pick</strong>’s theorem revisited. The American MathematicalMonthly, Vol.92, No.8 , p. 584-587.Eugenio Guerrero R.eugueruz02@gmail.comMigu<strong>el</strong> A. Marmolejo L.mimarmol@univalle.edu.co
E. Guerrero, M. A. Marmolejo, H. Mesa 15Departamento <strong>de</strong> MatemáticasUniversidad <strong>de</strong>l ValleCalle 13 100-00Cali-ColombiaHéber Mesa P.heber.mesa@correounivalle.edu.coPublicat <strong>el</strong> 20 d’octubre <strong>de</strong> 2011MATMATerials MATemàticsVolum 2006, treball no. 1, 14 pp.2 Publicació <strong>el</strong>ectrònica <strong>de</strong> divulgació <strong>de</strong>l Departament <strong>de</strong> Ma<strong>de</strong> la Universitat Autònoma <strong>de</strong> Barc<strong>el</strong>onawww.mat.uab.cat/matmat