Número de Oro 2018 - P3

Avatar de Usuario
Gianni De Rico

FOFO 7 años - Mención Especial-FOFO 7 años OFO - Medalla de Oro-OFO 2019 FOFO 9 años - Jurado-FOFO 9 años COFFEE - Jurado-COFFEE Matías Saucedo OFO - Jurado-OFO 2020
FOFO Pascua 2020 - Jurado-FOFO Pascua 2020 COFFEE - Jurado-COFFEE Carolina González COFFEE - Jurado-COFFEE Ariel Zylber COFFEE - Jurado-COFFEE Iván Sadofschi FOFO 10 años - Jurado-FOFO 10 años
OFO - Jurado-OFO 2021 FOFO 11 años - Jurado-FOFO 11 años OFO - Jurado-OFO 2022 FOFO Pascua 2022 - Jurado-FOFO Pascua 2022 FOFO 12 años - Jurado-FOFO 12 años
OFO - Jurado-OFO 2023 FOFO 13 años - Jurado-FOFO 13 años OFO - Jurado-OFO 2024
Mensajes: 2212
Registrado: Vie 16 Sep, 2016 6:58 pm
Medallas: 18
Nivel: Exolímpico
Ubicación: Rosario
Contactar:

Número de Oro 2018 - P3

Mensaje sin leer por Gianni De Rico »

Determine todas las ternas $(a,b,c)$ de primos positivos tales que el polinomio cuadrático $aX^2+bX+C$ sea reducible en $\mathbb{Q}[X]$, donde $\mathbb{Q}$ denota el cuerpo de números racionales.
♪♫ do re mi función lineal ♪♫
Avatar de Usuario
Fran5

OFO - Medalla de Oro-OFO 2015 OFO - Jurado-OFO 2016 OFO - Jurado-OFO 2017 FOFO Pascua 2017 - Jurado-FOFO Pascua 2017 FOFO 7 años - Jurado-FOFO 7 años
OFO - Jurado-OFO 2018 FOFO 8 años - Jurado-FOFO 8 años OFO - Jurado-OFO 2019 FOFO Pascua 2019 - Jurado-FOFO Pascua 2019 FOFO 9 años - Jurado-FOFO 9 años
OFO - Jurado-OFO 2020 FOFO Pascua 2020 - Jurado-FOFO Pascua 2020 COFFEE - Jurado-COFFEE Carolina González COFFEE - Jurado-COFFEE Ariel Zylber FOFO 10 años - Jurado-FOFO 10 años
OFO - Jurado-OFO 2021 FOFO 11 años - Jurado-FOFO 11 años OFO - Medalla de Bronce-OFO 2022 FOFO Pascua 2022 - Jurado-FOFO Pascua 2022 FOFO 12 años - Jurado-FOFO 12 años
FOFO 13 años - Jurado-FOFO 13 años OFO - Jurado-OFO 2024
Mensajes: 1125
Registrado: Mié 21 Mar, 2012 1:57 pm
Medallas: 22
Nivel: Exolímpico
Ubicación: Santa Fe

Re: Número de Oro 2018 - P3

Mensaje sin leer por Fran5 »

Spoiler: mostrar
Primero supongamos que $a=b=c$. Luego $ax^2+bx+c=a(x^2+x+1)=a(x+\frac{1}{2})^2+\frac{3}{4}$, que no es reducible en $\mathbb{Q}[x]$

Ahora utilizaremos el siguiente lema de Gauss:

Sea $p \in \mathbb{Z}[x]$. Supongamos que $p = st$ con $s,t \in \mathbb{Q}[x]$. Luego existe $c \in \mathbb{Q}$ tal que $cs, c^{-1}t \in \mathbb{Z}[x]$.

Demo (idea)
Spoiler: mostrar
La demo no es muy trivial, pero una idea es la siguiente:
- Considerar $n \in \mathbb{Z}$ tal que tanto $\tilde{s} = ns$ y $\tilde{t} = nt \in \mathbb{Z}[x]$
- Para cada primo $q | n$, como $q$ divide a todos los coeficientes de $np = nst$, ver que $q$ debe dividir a todos los coeficientes de $ns$ ó $nt$.
- Dividir el correspondiente polinomio $\tilde{s}$ ó $\tilde{t}$ del lado derecho por $q$ para obtener un nuevo polinomio $\tilde{s}$ ó $\tilde{t}$ con coeficientes enteros.
- Seguir hasta haber dividido a $n$ por todos sus divisores primos, de modo que $p = \tilde{s}\tilde{t}$ con $\tilde{s} = cs$ y $\tilde{t} = c^{-1}t$

Luego podemos pensar que $ax^2+bx+c = (mx+n)(kx+l)$, con $m,n,k,l \in \mathbb{Z}$.

Como $(mx+n)(kx+l) = mkx^2 + (ml+kn)x+nl$, obtenemos que $mk=a$, $nl=c$. Luego hay $2$ posibilidades (pues otras son simétricas)
  • $m=a,k=1,n=c,l=1$
    De este modo $b = m+n = a+c$, con lo cual $a$ y $b$ ó $a$ y $c$ deben ser primos gemelos.
  • $m=a, k=1,n=1,l=c$
    De este modo $b = ml+1 = ac+1 \geq 5$. Luego como es primo debe ser $a=2$ ó $c=2$.
En conclusión, las ternas $(a,b,c)$ deberían ser las de la forma

$(a,b,c) = (p,q,2)$, donde $p,q$ primos gemelos
$(a,b,c) = (2,p,q)$, donde $p,q$ primos gemelos
$(a,b,c) = (2,2p+1,p)$, donde $p$ es primo de Germain
$(a,b,c) = (p,2p+1,2)$, donde $p$ es primo de Germain
Comentario:
Spoiler: mostrar
Tanto en el caso de los primos gemelos como en los primos de Germain, se desconoce si existen infinitos primos con tales propiedades
"Al toque Roque // Al pique Quique // Tranca palanca // No pasa nada // Argentina Gana // La tenés adentro //
Responder