Cuadrado perfecto

Un trinomio cuadrado perfecto en matemáticas, o un número cuadrado, es un número entero que es el cuadrado de algún otro; dicho de otro modo, es un número cuya raíz cuadrada es un número natural.

Un número es un cuadrado perfecto si se puede ordenar en una figura cuadrada. Por ejemplo, 9 es un número cuadrado perfecto ya que puede ser escrito como 3 × 3, y se puede ordenar del siguiente modo:

32 = 9

Un número entero positivo que no tiene divisores cuadrados (excepto el 1) se denomina número libre de cuadrados.

Elevar 5 al cuadrado nos proporciona el área de un cuadrado de lado 5.

En álgebra, el cuadrado de un número n se expresa como , y equivale a n × n. La operación algebraica de elevar al cuadrado un número n nos proporciona el área de un cuadrado geométrico cuyo lado mide n. Por esta razón, tal operación se conoce como elevar al cuadrado.[1]

Un número natural n elevado al cuadrado se puede linealizar por medio de la siguiente expresión:

Así, por ejemplo:

Con el mismo resultado que la multiplicación:

Propiedades

La fórmula general para el n-ésimo número cuadrado es n2. Esta expresión es igual a la suma de los n primeros números impares, demostrable por inducción matemática, registrada en la siguiente fórmula:

Un cuadrado par se puede expresar como la suma de dos impares consecutivos. Pues si cumple la condición cabe y se plantea la ecuación:

Un número primo de la forma se puede expresar como la suma de dos cuadrados:

Los babilonios usaban tablas de cuadrados para la multiplicación[2] aplicando la fórmula:

El teorema de los cuatro cuadrados de Lagrange establece que cualquier número entero positivo puede ser escrito como la suma de cuatro cuadrados perfectos. Tres cuadrados no son suficientes para ser representados como números de la forma 4k(8m + 7). Un número positivo puede ser representado como una suma de dos cuadrados precisamente si la factorización en números primos no contiene potencias impares de la forma 4k + 3. Esta es una generalización del problema de Waring.

Según el último dígito del número n cuyo cuadrado se quiere calcular se puede comprobar que dicho cuadrado tendrá las siguientes propiedades:

  1. Si el último dígito es 0, su cuadrado acaba en 00 y los dígitos precedentes forman un cuadrado.
  2. Si el último dígito es 1 o 9, su cuadrado termina en 1 y los dígitos precedentes forman un múltiplo de 4.
  3. Si el último dígito es 2 u 8, su cuadrado termina en 4 y los dígitos precedentes forman un número par.
  4. Si el último dígito es 3 o 7, su cuadrado termina en 9 y los dígitos precedentes forman un múltiplo de 4.
  5. Si el último dígito es 4 o 6, su cuadrado termina en 6 y los dígitos precedentes forman un número impar.
  6. Si el último dígito es 5, su cuadrado termina en 25 y los dígitos precedentes forman un número par.
  7. Por tanto, ningún cuadrado perfecto entero acaba en 2, 3, 7 ni 8.
Demostración
Algunas consideraciones iniciales a tener en cuenta son que:
  • Cualquier número entero puede reescribirse separando las unidades del resto de cifras de la siguiente forma:
  • Cualquier número par puede representarse como el producto de 2 por otro número entero (dado que cuenta con al menos un 2 en su descomposición factorial, siempre se puede sacar como factor común):
  • Cualquier número impar puede representarse como el consecutivo de un número par (al restarle una unidad, quedará un número par, que al tener al menos un 2 en su descomposición factorial, podrá a su vez sacarse como factor común):
  • El producto de cualquier número entero por un número par será par (al contar con al menos con un 2 en su descomposición factorial aportado por el factor par):
  • El producto de dos números impares será impar (al no contar con ningún 2 en su descomposición factorial):
  • La suma de un número par no cambia la paridad del número entero original:
ç
  • La suma de un número impar sí cambia la paridad del número entero original:

Teniendo en cuenta lo anteriormente expuesto, se puede proceder a demostrar las propiedades enumeradas más arriba:

  • Dado un entero acabado en 0 (), su cuadrado acaba en 00 y los dígitos precedentes forman un cuadrado:
  • Dado un entero acabado en 1 o 9 (), su cuadrado termina en 1 y los dígitos precedentes forman un múltiplo de 4:
Si fuese par, , quedando demostrado que es múltiplo de 4. Si es par, entonces será impar, y viceversa. Por lo que el resultado siempre será un número par por tratarse de un producto por un número par.
De modo similar al caso anterior, si fuera par, , quedando demostrado que es múltiplo de 4. Si es par, entonces tanto como serían pares por tratarse de productos con un número par, y sería la suma de tres número pares, por lo tanto su resultado sería par. Si es impar, tanto como serían impares por tratarse de productos entre número impares, por lo que sería la suma de dos números impares, lo que sería un número par, al que se sumaría 4, otro número par que no cambiaría la paridad par de la suma total. De modo que el resultado en ambas situaciones se obtendría el número par que confirma que se trata de un múltiplo de 4.
  • Dado un entero acabado en 2 u 8 (), su cuadrado termina en 4 y los dígitos precedentes forman un número par:
  • Dado un entero acabado en 3 o 7 (), su cuadrado termina en 9 y los dígitos precedentes forman un múltiplo de 4:
De forma similar a las vistas anteriormente, si fuese par, , quedando demostrado que es múltiplo de 4. Si es par, entonces será la suma de dos números pares, que da un número par. Si es un número impar, será la suma de dos números impares, que da un número par. Por lo que el resultado final siempre será un múltiplo de 4.
Igualmente, si fuese par, , quedando demostrado que es múltiplo de 4. Si es par, entonces será la suma de tres números pares, que da un número par. Si es un número impar, será la suma de dos números impares, que da un número par, y a este se sumaría otro número par que no cambiaría la paridad del resultado. Por lo que nuevamente se comprueba que al final se obtendrá un múltiplo de 4.
  • Dado un entero acabado en 4 o 6 (), su cuadrado termina en 6 y los dígitos precedentes forman un número impar:
  • Dado un entero acabado en 5 (), su cuadrado termina en 25 y los dígitos precedentes forman un número par:
Al tratarse el factor del producto de un número y su consecutivo, siempre se tratará del producto de un número par por un número impar, cuyo resultado es otro número par.

Ejemplos

12 = 1
22 = 4
32 = 9
42 = 16
52 = 25

La cantidad de factores (divisores) de un número cuadrado perfecto es siempre impar. O dicho de otro modo, se cumple que para todo número natural que no es cuadrado perfecto, la cantidad de sus factores es un número par.

Todo número natural se puede descomponer en factores primos y sus correspondientes exponentes: ,

donde N es un número natural, son números primos y a,b,c... sus correspondientes exponentes. Dado que todos los posibles divisores de N son una combinación de este producto desde a=0,1,2,..a, b=0,1,2,...b y c=0,1,2,...c, la cantidad de divisores de N es:

n = (a+1).(b+1).(c+1)... donde n es la cantidad de factores o divisores de cualquier número natural.

Puesto que en un número cuadrado perfecto los exponentes a, b, c, ... son números pares, todos los factores de n serán impares y por tanto el producto también es un número impar. Esto puede comprobarse revisando el Anexo:Tabla de divisores

Los primeros 50 cuadrados perfectos son:

02 = 0 ((sucesión A000290 en OEIS))
12 = 1
22 = 4
32 = 9
42 = 16
52 = 25
62 = 36
72 = 49
82 = 64
92 = 81
102 = 100
112 = 121
122 = 144
132 = 169
142 = 196
152 = 225
162 = 256
172 = 289
182 = 324
192 = 361
202 = 400
212 = 441
222 = 484
232 = 529
242 = 576
252 = 625
262 = 676
272 = 729
282 = 784
292 = 841
302 = 900
312 = 961
322 = 1024
332 = 1089
342 = 1156
352 = 1225
362 = 1296
372 = 1369
382 = 1444
392 = 1521
402 = 1600
412 = 1681
422 = 1764
432 = 1849
442 = 1936
452 = 2025
462 = 2116
472 = 2209
482 = 2304
492 = 2401
502 = 2500

Cuadrados siguientes y anteriores a otro

Puede calcularse un cuadrado a partir del anterior o del anterior cuadrado par/impar respecto de uno dado.

  • La distancia entre un cuadrado y el siguiente, resulta de sumar al cuadrado primero, 2 veces el lado del siguiente y restarle 1: Si para 42 = 16, para 52 = 42 + (2 * 5) - 1 = 16 + 10 - 1 = 25.

Ejemplos:

cuadrado 0, calcular cuadrado 1: 00 + (2 * 1) - 1) = 00 + 02 -1 = 00 + 01 = 01
cuadrado 1, calcular cuadrado 2: 01 + (2 * 2) - 1) = 01 + 04 -1 = 01 + 03 = 04
cuadrado 2, calcular cuadrado 3: 04 + (2 * 3) - 1) = 04 + 06 -1 = 04 + 05 = 09
cuadrado 3, calcular cuadrado 4: 09 + (2 * 4) - 1) = 09 + 08 -1 = 09 + 07 = 16
cuadrado 4, calcular cuadrado 5: 16 + (2 * 5) - 1) = 16 + 10 -1 = 16 + 09 = 25
cuadrado 5, calcular cuadrado 6: 25 + (2 * 6) - 1) = 25 + 12 -1 = 25 + 11 = 36
cuadrado 6, calcular cuadrado 7: 36 + (2 * 7) - 1) = 36 + 14 -1 = 36 + 13 = 49

Otra manera de calcular la distancia es teniendo en cuenta la siguiente propiedad: La diferencia entre cada número cuadrado y el consecutivo(si se comienza con el 0) son todos los números impares, en orden ascendente:

0 + 1 = 1

1 + 3 = 4

4 + 5 = 9

9 + 7 = 16


  • La distancia entre un cuadrado y 2 más adelante, resulta de sumar al cuadrado primero, 4 veces el (lado deseado -1): Si para 42 = 16, para 62 = 42 + (4 * (6-1)) = 16 + 20 = 36

Ejemplos:

cuadrado 0, calcular cuadrado 2: 00 + (4 * (2 - 1) = 00 + 04 = 04
cuadrado 2, calcular cuadrado 4: 04 + (4 * (4 - 1) = 04 + 12 = 16
cuadrado 4, calcular cuadrado 6: 16 + (4 * (6 - 1) = 16 + 20 = 36
cuadrado 6, calcular cuadrado 8: 36 + (4 * (8 - 1) = 36 + 28 = 64

cuadrado 1, calcular cuadrado 3: 01 + (4 * (3 - 1) = 01 + 08 = 09
cuadrado 3, calcular cuadrado 5: 09 + (4 * (5 - 1) = 09 + 16 = 25
cuadrado 5, calcular cuadrado 7: 25 + (4 * (7 - 1) = 25 + 24 = 49

Ambos casos resultan de interés con números muy grandes, para hallar en bucles el siguiente cuadrado o el siguiente cuadrado de lado par/impar, especialmente en computación donde las sumas son mucho menos costosas que las multiplicaciones y las multiplicaciones por potencias de 2 pueden ser realizadas con instrucciones de desplazamiento de bits. A su vez las multiplicaciones ('2 * x' o por '4 * x' según el caso), dentro de un bucle puede mantenerse como una suma si se guarda el valor previo de suma. Fíjese como en ambos casos a la derecha del todo, el siguiente cuadrado, para ambos casos se resuelven con sumas.

La operación a la inversa es fácilmente deducible, es decir hallar el cuadrado anterior a otro dado.

  • La distancia entre un cuadrado y el anterior, resulta de restar al cuadrado primero, 2 veces el lado actual y sumarle 1: Si para 62 = 36, para 52 = 62 - (2 * 6) + 1 = 36 - 12 + 1 = 25
  • La distancia entre un cuadrado y 2 más atrás, resulta de restar al cuadrado, 4 veces el (lado actual -1): Si para 62 = 36, para 42 = 62 - (4 * (6-1)) = 36 - 20 = 16

Cuadrados como sumas

El n-ésimo número cuadrado puede ser calculado del resultado obtenido en las dos anteriores posiciones y al que se le añade el (n  1)-ésimo cuadrado de sí mismo, sustrayendo el (n  2)-enésimo cuadrado, y añadiendo 2 (). Por ejemplo, 2×52  42 + 2 = 2×25  16 + 2 = 50  16 + 2 = 36 = 62.

Es a menudo útil notar que el cuadrado de cualquier número puede ser representado como la suma 1 + 1 + 2 + 2 +... + n  1 + n  1 + n. Por ejemplo, el cuadrado de 4 o 42 es igual a 1 + 1 + 2 + 2 + 3 + 3 + 4 = 16. Este es el resultado de añadir una columna y columna de grosor uno al grafo cuadrado de lado tres (como en un tablero de tres en raya). Se puede añadir también tres lados y cuatro a la parte superior para obtener un cuadrado. Esto puede ser también útil para encontrar el cuadrado de un número grande de forma inmediata. Por ejemplo, el cuadrado de 52 = 502 + 50 + 51 + 51 + 52 = 2500 + 204 = 2704. Es más fácil así:1572=1502 + 7 sumandos que buscamos a continuación: 150+151= 301. Es el primer sumando y los demás son más fácil de encontrar,303, 305,307, 309, 311, 313. Conclusión 22500+ 301+ 303 + 305 +307 + 309 + 311 + 313 = 24649

Un número cuadrado puede ser considerado también como la suma de dos números triangulares consecutivos. La suma de dos números cuadrados consecutivos es un número cuadrado centrado. Cada cuadrado impar es además un número octogonal centrado.

Números cuadrados pares e impares

El cuadrado de un número par siempre es par (de hecho es divisible por 4), ya que (2n)2 = 4n2.

El cuadrado de un número impar siempre es impar, ya que (2n + 1)2 = 4(n2 + n) + 1.

De esto se sigue que la raíz cuadrada de un cuadrado perfecto par siempre es par, y la raíz cuadrada de un cuadrado perfecto impar siempre es impar. Este hecho se emplea mucho en las demostraciones (véase raíz cuadrada de 2).

Suma de los primeros n cuadrados

Para los primeros cinco cuadrados perfectos

Generalizando para los primeros n cuadrados perfectos resulta la suma

[3]

Construcción de cuadrados perfectos

  • El producto de dos pares consecutivos aumentado en 1 es cuadrado perfecto

.

Ejemplo: 52·54 + 1 = 2809, cuadrado de 53.[4]

  • El producto de dos impares consecutivos más 1 es un cuadrado perfecto.

Por ejemplo, 95·97 + 1 = 9216. En los dos casos hallamos el cuadrado de la media aritmética de los factores.

  • El producto de cuatro enteros consecutivos aumentado en 1 es un cuadrado perfecto.

[5] Por ejemplo 13·14·15·16 + 1 = 43681, cuadrado de 209.

  • El producto de un múltiplo de un número por el múltiplo transconsecutivo del mismo más el cuadrado del generador es cuadrado perfecto.

Por ejemplo, 7, 14, 21, 28, 35 son múltiplos de 7. Luego 21·35 + 49 = 784, cuadrado de 28.[6]

Véase también

Referencias

  1. Agustín Anfossi, M. A. Flores Meyer (2006). «Lenguaje algebraico». Álgebra. Cuauhtémoc, México. p. 20. ISBN 968-436-213-7.
  2. Hofmann. Historia de la Matemática. ISBN 968-18-6286-4
  3. Jimmy García et al. Resumen teórico Matemáticas Ciencias ( 1914) Lima Fondo Editorial Rodó
  4. Se comprueba multiplicando sus formas típicas y al producto se suma 1
  5. Róbinson Castro: Álgebra moderna e introducción a geometría algebraica (2013)
  6. Castro: Ibídem

Bibliografía

Enlaces externos

Este artículo ha sido escrito por Wikipedia. El texto está disponible bajo la licencia Creative Commons - Atribución - CompartirIgual. Pueden aplicarse cláusulas adicionales a los archivos multimedia.