Ir al contenido

Cuaterna pitagórica

De Wikipedia, la enciclopedia libre
Las cuatro cuaternas pitagóricas formadas por valores de un solo dígito

Una cuaterna pitagórica es una tupla de números enteros a, b, c y d, de modo que a2 + b2 + c2 = d2. Son soluciones de una ecuación diofántica y, a menudo, solo se consideran valores enteros positivos.[1]​ Sin embargo, para proporcionar una interpretación geométrica más completa, se puede permitir que los valores enteros sean negativos y cero (permitiendo así incluir ternas pitagóricas) con la única condición de que d > 0. En esta configuración, una cuaterna pitagórica (a, b, c, d) define un ortoedro con longitudes de lados enteros | a |, | b | y | c |, cuya diagonal espacial tiene una longitud entera d. Las cuaternas pitagóricas, con esta interpretación, también se denominan "cajas pitagóricas".[2]​ En este artículo se asume, a menos que se indique lo contrario, que los valores de una cuaterna pitagórica son todos números enteros positivos.

Parametrización de cuaternas primitivas

[editar]

Una cuaterna pitagórica se llama primitiva si el máximo común divisor de sus componentes es 1. Cada cuaterna pitagórica es un múltiplo entero de una cuaterna primitiva. El conjunto de las cuaternas pitagóricas primitivas para las que a es impar puede ser generado por las fórmulas

donde m, n, p y q son enteros no negativos con el mayor divisor común 1, de modo que m + n + p + q es impar.[3][4][1]​ Por lo tanto, todas las cuaternas pitagóricas primitivas se caracterizan por la identidad de Lebesgue:

Parametrization alternativa

[editar]

Todas las cuaternas pitagóricos (incluidas las no primitivas, y con repetición, aunque a, b y c no aparezcan en todos los órdenes posibles) se pueden generar a partir de dos enteros positivos a y b de la siguiente manera:

Si a y b tienen paridad diferente, entonces se elige p tal que sea cualquier factor de a2 + b2 de modo que p2 < a2 + b2. A continuación, c = a2 + b2p2/2p y d = a2 + b2 + p2/2p. Téngase en cuenta que p = dc.

Existe un método similar[5]​ para generar todas las cuaternas pitagóricas para las que a y b son pares. Sea l = a/2 y m = b/2 y además sea n un factor de l2 + m2 tal que n2 < l2 + m2. Se tiene que c = l2 + m2n2/n y d = l2 + m2 + n2/n. Este método genera todas las cuaternas pitagóricas exactamente una vez cada una cuando l y m se ejecutan a través de todos los pares de números naturales y n se ejecuta a través de todos los valores permitidos para cada par.

No existe tal método si a y b son impares, en cuyo caso no existen soluciones, como se puede ver en la parametrización de la sección anterior.

Propiedades

[editar]

El número más grande que siempre divide el producto abcd es 12.[6]​ La cuaterna con el producto mínimo es (1, 2, 2, 3).

Relación con cuaterniones y matrices ortogonales racionales

[editar]

Una cuaterna pitagórica primitiva (a, b, c, d) parametrizada por (m,n,p,q) se corresponde con la primera columna de la aplicación matricial E(α) de conjugación α(⋅)α por el cuaternión de Hurwitz α = m + ni + pj + qk restringido al subespacio de abarcado por i, j, k, dado por

donde las columnas son ortogonales dos a dos y cada una tiene norma d. Además, se tiene que 1/dE(α) ∈ SO(3,ℚ), y, de hecho, todas las matrices ortogonales de orden 3×3 con coeficientes racionales surgen de esta manera.[7]

Cuaternas pitagóricas primitivas con norma pequeña

[editar]

Hay 31 cuaternas pitagóricas primitivas en las que todas las entradas son menores a 30:

( 1 , 2 , 2 , 3 )   ( 2 , 10 , 11 , 15 )   ( 4 , 13 , 16 , 21 )   ( 2 , 10 , 25 , 27 )
( 2 , 3 , 6 , 7 )   ( 1 , 12 , 12 , 17 )   ( 8 , 11 , 16 , 21 )   ( 2 , 14 , 23 , 27 )
( 1 , 4 , 8 , 9 )   ( 8 , 9 , 12 , 17 )   ( 3 , 6 , 22 , 23 )   ( 7 , 14 , 22 , 27 )
( 4 , 4 , 7 , 9 )   ( 1 , 6 , 18 , 19 )   ( 3 , 14 , 18 , 23 )   ( 10 , 10 , 23 , 27 )
( 2 , 6 , 9 , 11 )   ( 6 , 6 , 17 , 19 )   ( 6 , 13 , 18 , 23 )   ( 3 , 16 , 24 , 29 )
( 6 , 6 , 7 , 11 )   ( 6 , 10 , 15 , 19 )   ( 9 , 12 , 20 , 25 )   ( 11 , 12 , 24 , 29 )
( 3 , 4 , 12 , 13 )   ( 4 , 5 , 20 , 21 )   ( 12 , 15 , 16 , 25 )   ( 12 , 16 , 21 , 29 )
( 2 , 5 , 14 , 15 )   ( 4 , 8 , 19 , 21 )   ( 2 , 7 , 26 , 27 )

Véase también

[editar]

Referencias

[editar]
  1. a b R. Spira, The diophantine equation x2 + y2 + z2 = m2, Amer. Math. Monthly Vol. 69 (1962), No. 5, 360–365.
  2. R.A. Beauregard and E. R. Suryanarayan, Pythagorean boxes, Math. Magazine 74 (2001), 222–227.
  3. R.D. Carmichael, Diophantine Analysis, New York: John Wiley & Sons, 1915.
  4. L.E. Dickson, Some relations between the theory of numbers and other branches of mathematics, in Villat (Henri), ed., Conférence générale, Comptes rendus du Congrès international des mathématiciens, Strasbourg, Toulouse, 1921, pp. 41–56; reprint Nendeln/Liechtenstein: Kraus Reprint Limited, 1967; Collected Works 2, pp. 579–594.
  5. Sierpiński, Wacław, Pythagorean Triangles, Dover, 2003 (orig. 1962), p.102–103.
  6. MacHale, Des, and van den Bosch, Christian, "Generalising a result about Pythagorean triples", Mathematical Gazette 96, March 2012, pp. 91-96.
  7. J. Cremona, Letter to the Editor, Amer. Math. Monthly 94 (1987), 757–758.

Enlaces externos

[editar]