En matemáticas es bien conocido el teorema de los cuatro cuadrados, que dice que todo número entero positivo puede expresarse como suma de los cuadrados de cuatro números enteros. La primera demostración conocida de este resultado se debe a Lagrange, y data de 1770, aunque después ha habido alguna mejora en dicha demostración, como la de Legendre en 1798 que fue terminada por Gauss, y algunas generalizaciones, como el teorema de los números poligonales de Fermat o una debida a Ramanujan.
El caso es que las sumas de cuadrados nos pueden dar más sorpresas aparte de la de este teorema, y una de ellas, de la que vamos a hablar hoy, tiene cierta relación con un cuadro de un artista ruso.
El cuadro en cuestión se titula Contando en sus cabezas, y el autor es el pintor ruso Nikolai Bogdanov-Belsky (1868-1945). Aquí tenéis la obra:
En ella se ven unos niños intentando dar la solución a una operación matemática que, se entiende, el profesor les ha planteado escribiéndola en una pizarra. Como veis, la operación es la siguiente:
Es sencillo dar el resultado correcto de dicha operación sin necesidad de realizar todas las operaciones a lo bestia. En los comentarios podéis dejar las ideas que se os ocurran, y si no se os ocurre ninguna podéis echar un ojo a los comentarios de este post de Guillermo en La Aldea Irreductible, ya que en ellos aparecen algunas posibilidades.
El caso es que el resultado que parecen buscar con mucho esfuerzo los niños que aparecen en el cuadro es, evidentemente, 2. Y una forma de obtenerlo (aunque incluiría hacer cuentas a lo bruto) es saber que tanto como
dan como resultado
. Por tanto obtendríamos
que es claramente 2.
Es curioso, ¿verdad? Si sumamos los cuadrados de los números 10, 11 y 12 nos da el mismo resultado que se obtiene al sumar los cuadrados de los dos números siguientes, 13 y 14:
¿Será esta igualdad un caso aislado? ¿Será éste el único caso en el que ocurre algo parecido? ¿O simplemente se trata de un caso particular de un resultado más general? Pues sí amigos: esta igualdad es en realidad un caso concreto de una propiedad más general que involucra sumas de cuadrados. Dicha propiedad es la siguiente:
Para
, si sumamos
cuadrados de números naturales consecutivos comenzando con el cuadrado del número
obtenemos el mismo resultado que si sumamos los cuadrados de los siguientes
números naturales.
Vamos a analizar algunos casos particulares:
- Para
tenemos que
. En este caso sumaríamos
cuadrados de números consecutivos comenzando por el
,
, y obtenemos el mismo resultado que si tomamos el cuadrado del siguiente número natural,
(tomamos uno nada más porque
). Es decir:
que sabemos que es cierto.
- Para
tenemos que
. En este caso sumaríamos
cuadrados de números consecutivos comenzando por el
, que es el caso comentado anteriormente y sacado del cuadro ruso:
. Obtendríamos el mismo resultado que si tomamos la suma de los cuadrados de los
siguientes números naturales. Es decir:
que también hemos visto que es cierto.
- Para
tenemos que
. En este caso sumaríamos
cuadrados de números consecutivos comenzando por el
,
, y obtenemos el mismo resultado que si sumamos los cuadrados de los siguientes
números naturales. Nos quedaría:
Podéis comprobar (os dejo que uséis calculadora) que en ambos lados de la igualdad obtenemos como resultado
.
- Para
comenzamos en
y sumaríamos
cuadrados de números consecutivos comenzando por el
, obteniendo el mismo resultado que si sumamos los cuadrados de los siguientes
números naturales:
En ambos caso nos sale
.
Y podríamos seguir con estas reglas, obteniendo siempre el mismo resultado a ambos lados de cada una de las igualdades obtenidas. Precioso resultado, ¿verdad?…
…bueno, en realidad todavía no es un resultado propiamente dicho, ya que no hemos demostrado que esto ocurra siempre. Hemos dado unas reglas y parece que con ellas nuestra propuesta de resultado se va cumpliendo para los primeros valores de , pero eso no significa que se cumpla para todos. Es decir, lo que hemos planteado es una conjetura. Para que se convierta en un resultado matemático correcto debemos dar una demostración.
Bien, yo he intentado demostrar este hecho por inducción a pelo y la verdad es que es extremadamente engorroso. De hecho he estado un buen rato con ello, pero el proceso es tan farragoso que he desistido. Pero hay una forma relativamente sencilla de demostrarlo, y es la que aparece en este post de Visualizing Math (que es el post que me recordó el tema del cuadro del que me había hablado el propio Guillermo hace ya bastante tiempo). Vamos a intentar reproducirla.
Para empezar vamos a escribir lo que queremos demostrar, que es que si sumamos los cuadrados de números consecutivos comenzando por el
obtenemos el mismo resultado que si sumamos los cuadrado de los
números siguientes. Es decir, queremos comprobar que la siguiente igualdad es cierta:
Lo que vamos a hacer es trastear esa igualdad y llegar a otra en la que a ambos lados de la misma obtenemos igual resultado. El primer paso es tomar las restas de cada término de la parte derecha con el que está en la misma posición en la parte izquierda (en el orden en el que están colocados ahora). Es decir, tomamos la resta del último de la derecha menos el último de la izquierda, la resta del penúltimo de la derecha menos el penúltimo de la izquierda, y así sucesivamente. Es decir, pasamos a la derecha todos los términos menos el primero y los ordenamos en forma de restas como hemos comentado. El objetivo ahora será ver que si sumamos todos los resultados obtenidos de esas restas nos da exactamente el único término que ha quedado a la izquierda, .
La resta de los dos últimos términos es
Si consideramos el primer término como el cuadrado de la suma de y
y usamos la identidad notable del cuadrado de una suma (vale, para algo nos valen las identidades notables), el cuadrado del primer término de dicha suma se cancela con el término que teníamos restando, quedando la resta inicial así:
Hacemos lo mismo con las restas que tendríamos. Por ejemplo, la última resta quedaría así:
Tomando ahora el primer término como el cuadrado de la suma de y
, y operando igual que antes, el cuadrado del primer término de dicha suma se cancela con el que teníamos restando (como antes). Nos queda lo siguiente:
Vamos a ver ahora qué nos quedaría al sumar todos los resultados de todas esas restas. Tendríamos el término sumado
veces (una por cada resta), que por tanto quedaría
y después tendríamos varios términos multiplicados todos por . Sacando factor común ese
obtendríamos la siguiente expresión:
Si nos fijamos, dentro del paréntesis grande aparece el término sumado
veces, por lo que dicha suma puede expresarse como
El resto de término que aparecen dentro de ese paréntesis grande son . Sabemos que esa suma vale
Recapitulando, la suma de los resultados de todas las restas que habíamos calculado es la siguiente:
Operando todo esto llegamos fácilmente a que su valor es
que es precisamente el valor de . Con ello queda demostrada nuestra conjetura.
Sí, cierto, esta demostración también queda un pelín engorrosa, pero como he comentado antes no os imagináis lo que es intentar demostrar esta conjetura directamente con inducción. A mí no se me ha ocurrido ninguna otra forma que pueda ser más amigable que la descrita en esta entrada, pero puede que a alguno de vosotros se os encienda la bombilla y encontréis alguna manera de simplificar esta demostración, o quizás alguna otra más sencilla. Si es así os agradecería que nos los contarais en los comentarios.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Información Bitacoras.com
Valora en Bitacoras.com: En matemáticas es bien conocido el teorema de los cuatro cuadrados, que dice que todo número entero positivo puede expresarse como suma de los cuadrados de cuatro números enteros. La primera demostración conocida de este …
Sea T1 la suma de cuadrados desde 1 hasta k=2n^2+n-1. Usando la fórmula de la suma de cuadrados consecutivos, T1=(2k^3+3k^2+k)/6, sustituyendo k y desarrollando tenemos que T1=(16n^6+24n^5-10n^3-n^2-n)/6.
T2 es la suma de cuadrados desde 1 hasta k=2n^2+2n, T2=(16n^6+48n^5+60n^4+40n^3+14n^2+2n)/6.
T3 es la suma de cuadrados desde 1 hasta k=2n^2+3n, T3=(16n^6+72n^5+120n^4+90n^3+29n^2+3n)/6.
Se comprueba fácilmente que T3-T2=T2-T1=(24n^5+60n^4+50n^3+15n^2+n)/6.
Hace unos años demostré :
Dado cualquier número impar n=2k+1, existe una única secuencia de «n» números naturales consecutivos de forma que la suma de los cuadrados de los «k+1» menores coincide con la suma de los cuadrados de los «k» mayores.
La demostración se basa en la fórmula de la suma de los cuadrados de los primeros «n» naturales:
1^2+2^2+3^2+…….+
Hola que buen post, hace un tiempo hice un post en mi blog sobre este cuadro: http://cosas.wordpress.com/2010/05/09/un-problema-dificil/ claro no con la profundidad y claridad de este. Me encató el tema. Saludos
Ya había leído una anécdota de Euler sobre este uso curioso de la suma, que se habría valido de el.
<>
La información la tomé de aquí: http://divulgadores.com/euler-y-diderot/
Ya había leído una anécdota de Euler sobre este uso curioso de la suma, que se habría valido de el. “Durante el reinado de Catalina II Denis Diderot, filósofo y enciclopedista francés, fue invitado a visitar la corte rusa. Reconocido ateísta divulgaba sus ideas entre la juventud rusa. Esto divertía a la emperatriz pero algunos de sus consejeros le sugirieron que seria conveniente controlar las ideas que Diderot exponía. La emperatriz que no quería actuar de forma directa para callar a Diderot urdió el siguiente plan. Se informó a Diderot que un sabio matemático, que resulto ser Leonhard Euler, tenía… Lee más »
Se me ha ocurrido un problema del tipo del aquí planteado y del que no he encontrado información en la red: Averiguar cuántos puntos de coordenadas enteras hay en la superficie de una esfera con centro en el origen y radio R entero. Son las distintas soluciones enteras de la ecuación x^2+y^2+z^2=R^2. Existen cuatro formas de descomponer un R^2 en suma de tres cuadrados: 0^2+0^2+R^2 que aporta 6 puntos de coordenadas enteras. 0^2+a^2+b^2 que aporta 24 puntos- a^2+a^2+b^2 que aporta también 24 puntos. a^2+b^2+c^2 que aporta cuarenta y ocho puntos. Ni 0^2+a^3+a^2 ni a^2+a^2+a^2 pueden sumar un cuadrado perfeco. Bajo… Lee más »
JJGJJG, la serie existe en OEIS:
https://oeis.org/A016725
Gracias, Mmonchi, veo que, además, tengo un par de errores.
El recíproco también es cierto. Si la suma de los cuadrados de n+1 números consecutivos es igual a la suma de los cuadrados de los n siguientes, entonces el primero de los números es 2n^2+n.
Basta con escribir (r – n)^2 +… +r^2 = (r+1)^2 +… + (r + n)^2
para comprobar que r = 2n^2 + 2n.
También es curioso que dicha secuencia de números va de un número triangular de orden par al anterior del siguiente número triangular (de orden impar).
Creo que es la misma demostración pero de otra manera…
Se trata de demostrar lo siguiente:
O lo que es lo mismo:
De esta forma tenemos sumatorios con los mismos límites.
Ahora defino:
Con lo que la ecuación nos queda:
Donde el segundo término de la ecuación queda:
Por lo tanto podemos eliminar el término
a ambos lados de la ecuación, con lo que nos queda:
Sustituyo
y expando:
Con lo que finalmente obtenemos:
Y dado que
Finalmente nos queda:
Y queda demostrado 🙂
Para entender este cuadro creo que hay que tener en cuenta que en esa época y en el Este de Europa era muy común que los niños memorizaran la tabla de cuadrados hasta el 15 o el 20. De esta forma el problema es mucho más fácil y tiene sentido como problema de cálculo mental.
Escribí una entrada en mi blog sobre este tema:
http://toomatesbloc.blogspot.com.es/2015/01/bogdanov-y-el-calculo-mental.html
Gerard.