Cuadrado perfecto
Un 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.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c0/SquareProperties.svg/200px-SquareProperties.svg.png)
En álgebra, el cuadrado de un número n se expresa como n², 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
[editar]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:
- Si el último dígito es 0, su cuadrado acaba en 00 y los dígitos precedentes forman un cuadrado.
- 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.
- Si el último dígito es 2 u 8, su cuadrado termina en 4 y los dígitos precedentes forman un número par.
- 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.
- Si el último dígito es 4 o 6, su cuadrado termina en 6 y los dígitos precedentes forman un número impar.
- Si el último dígito es 5, su cuadrado termina en 25 y los dígitos precedentes forman un número par.
- 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:
Teniendo en cuenta lo anteriormente expuesto, se puede proceder a demostrar las propiedades enumeradas más arriba:
|
Ejemplos
[editar]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:
- 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
[editar]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
[editar]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
[editar]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
[editar]Para los primeros cinco cuadrados perfectos
Generalizando para los primeros n cuadrados perfectos resulta la suma
[3]
Construcción de cuadrados perfectos
[editar]- 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
[editar]- Potenciación
- Raíz cuadrada
- Ecuación de segundo grado
- Conjetura de Legendre
- Paradoja de Galileo
- Trinomio cuadrado perfecto
Referencias
[editar]- ↑ Agustín Anfossi, M. A. Flores Meyer (2006). «Lenguaje algebraico». Álgebra. Cuauhtémoc, México. p. 20. ISBN 968-436-213-7.
- ↑ Hofmann. Historia de la Matemática. ISBN 968-18-6286-4
- ↑ Jimmy García et al. Resumen teórico Matemáticas Ciencias ( 1914) Lima Fondo Editorial Rodó
- ↑ Se comprueba multiplicando sus formas típicas y al producto se suma 1
- ↑ Róbinson Castro: Álgebra moderna e introducción a geometría algebraica (2013)
- ↑ Castro: Ibídem
Bibliografía
[editar]- Conway, J. H. and Guy, R. K. The Book of Numbers. New York: Springer-Verlag, pp. 30-32, 1996. ISBN 0-387-97993-X
- Weisstein, Eric W. «Square Number». En Weisstein, Eric W, ed. MathWorld (en inglés). Wolfram Research.
Enlaces externos
[editar]- Suma de cuatro cuadrados Aplicación web que descompone un número natural en la suma de hasta cuatro cuadrados.