Home » Olimpiada Matemática Española » Solución a igualdad y conclusión

Solución a igualdad y conclusión

Problema 3 de la Fase Local de la Olimpiada Española de Matemáticas 2022 (viernes mañana)
Se dirige a una edad de: 16-17 años

Sean a1, a2, a3, a4, a5 y a6 números reales diferentes, de manera que ninguno de ellos es igual a 0.

Supongamos que (a1² + a2² + a3² + a4² + a5²)(a2² + a3² + a4² + a5² + a6²) = (a1a2 + a2a3 +a3a4 + a4a5 + a5a6)².

Demuestra que los números a1, a2, a3, a4, a5 y a6 están en progresión geométrica.

Solución:

He intentado varias vías de solución, pero es con mucho el problema más complejo de esta fase, salvo que conozcas la desigualdad de Cauchy-Bunyakovsky-Schwarz, en cuyo caso se resuelve directamente.

Voy a citar tres formas de afrontar el problema, aunque por lo que se comentó, la única manera en la que se encontró solución en los casos que oí fue a través de esta tercera vía. Eso hace que sea un problema que no me gusta para esta fase, ya que da por sentado que todos los participantes conocen la desigualdad, o bien que ninguno la conoce, ya que es un factor decisivo en este caso.

Primera forma de resolverlo: comparar con una ecuación de segundo grado (tremendamente creativo, es la solución oficial y probablemente el origen del problema).

La igualdad consiste en un producto de dos números, llamémosles A y B, que es igual a otro número C².

Si transformamos esta igualdad en una resta, tenemos que es equivalente a 0 = C² – AB. Esta expresión se puede comparar con la expresión que hay dentro de la fórmula que permite resolver una ecuación de segundo grado.

Si la multiplicamos por 4, obtenemos 0 = 4C² – 4AB = (2C)² – 4AB. Imaginemos una ecuación de segundo grado que ocasionase esa expresión.

La ecuación correspondiente de segundo grado sería algo así como Ax² – 2Cx + B = 0, y el hecho de que esa igualdad sea cierta, quiere decir que existe una única solución r para esa ecuación, es decir, que existe un valor real (que se puede calcular como C/A, por cierto) que llamaremos r que cumple Ar² – 2Cr + B = 0. Veamos qué quiere decir eso en nuestro caso (por cierto, esto forma parte de una de las auténticas demostraciones de la desigualdad de Cauchy-Bunyakovsky-Schwarz, con lo que en cierta forma el tercer método permite saltar este original y creativo método).

Eso quiere decir, puesto que tendríamos que A = a1² + a2² + a3² + a4² + a5², B = a2² + a3² + a4² + a5² + a6² y 2C = 2a1a2 + 2a2a3 +2a3a4 + 2a4a5 + 2a5a6, que para ese cierto valor r tendríamos (a1² + a2² + a3² + a4² + a5²)r² – (2a1a2 + 2a2a3 +2a3a4 + 2a4a5 + 2a5a6)r + a2² + a3² + a4² + a5² + a6² = 0.

Si quitamos paréntesis y agrupamos, tendremos la expresión a1²r² – 2a1a2r + a2² + a2²r² – 2a2a3r + a3² + a3²r² – 2a3a4r + a4² + a4²r² – 2a4a5r + a5²r² + a5²r² – 2a5a6r + a6² = 0, lo que nos lleva a una suma de cuadrados, exactamente sería (a1r – a2)² + (a2r – a3)² + (a3r – a4)² + (a4r – a5)² + (a5r – a6)² = 0.

Ahora, puesto que todos esos números son números reales, el que la suma sea 0 y sean todos cuadrados, es decir, mayores o iguales que 0, obliga a que todos sean realmente 0.

Es decir, que a2 = ra1, a3 = ra2, a4 = ra3, a5 = ra4 y a6 = ra5, que es precisamente la definición de progresión geométrica.

Segunda forma de resolverlo: verlo como un par de vectores numéricos de 5 dimensiones (geométricamente puede parecer intuitivo, pero requiere un salto en cuanto a propiedades que no corresponde al nivel que se espera de estos estudiantes).

Una vez que se ha estudiado cómo calcular módulos de vectores en el plano y en el espacio, y el producto escalar, a menudo los estudiantes preguntan si se podría hacer en más dimensiones, y la respuesta es que sí, que el producto escalar y el módulo es generalizable a más dimensiones, y se puede utilizar para usos similares en esos entornos.

Si pensamos en un vector cuyas componentes sean (a1, a2, a3, a4, a5) y otro cuyas componentes sean (a2, a3, a4, a5, a6), la igualdad simboliza que el producto escalar al cuadrado es igual al producto de los módulos al cuadrado.

Eso quiere decir que el producto escalar es igual al producto de los módulos (en valor absoluto). Puesto que es conocido que el producto escalar es el producto de los módulos por el coseno del ángulo que forman, eso significa que ambos vectores apuntan en la misma dirección, es decir, que uno de ellos es igual al otro multiplicado por un valor r, que puede ser positivo o negativo (esta idea forma parte de otra demostración indirecta de la desigualdad de Cauchy-Bunyakovsky-Schwarz, con lo que en cierta forma el tercer método permite saltar este método).

Pues bien, eso significa que a2 = ra1, a3 = ra2, a4 = ra3, a5 = ra4 y a6 = ra5, que es precisamente la definición de progresión geométrica.

Tercera forma de resolverlo: he visto varios problemas de desigualdades y la desigualdad de Cauchy-Bunyakovsky-Schwarz es una de mis herramientas más preciadas.

La desigualdad de Cauchy-Bunyakovsky-Schwarz afirma que si tengo dos colecciones de k números reales b1, b2, … bk y c1, c2, … ck, resulta que la suma al cuadrado (b1c1 + b2c2 + … + bkck)² siempre es menor o igual que el producto de las dos sumas (b1² + b2² + … bk²)(c1² + c2² + … + ck²). Además, si se da la igualdad, entonces cada unos de los números ci = rbi para un mismo valor r, también real.

En este caso, es evidente que aplicarlo a la igualdad inicial, puesto que se da la igualdad, quiere decir que existe un valor real r de forma que a2 = ra1, a3 = ra2, a4 = ra3, a5 = ra4 y a6 = ra5, que es precisamente la definición de progresión geométrica.


3 Comments

  1. Creo que habría una cuarta manera, por mera manipulación algebraica y reordenación, aparecen diez binomios (diferencias) al cuadrado y cada uno de ellos debe ser cero, siguiendose de ello la relación geométrica. Es un poco largo pero no precisa de la desigualdad.

      • El primer término produce 25 binomio. Colócalos en una matriz 5×5. La diagonal principal se anula con los cuadrados (5) del segundo término. Luego cada par de términos simétricos respecto a la diagonal principal (diez pares) corresponde a un doble producto del segundo término. Al pasar restando, eso da diez cuadrados de diferencias que deben ser cero, todos. Eso te da todas las relaciones que deben cumplirse entre todos los Ai que indican que es geométrica.

Leave a comment

Tu dirección de correo electrónico no será publicada. Los campos necesarios están marcados *