FOFO de Pascua 2019 Problema A: Para vos Fermat... Ah no, pará

Problemas que aparecen en el Archivo de Enunciados.
Avatar de Usuario
AgusBarreto

OFO - Medalla de Bronce-OFO 2015 OFO - Medalla de Bronce-OFO 2016 OFO - Jurado-OFO 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 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 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
Mensajes: 157
Registrado: Sab 15 Sep, 2012 6:28 pm
Medallas: 18
Nivel: Exolímpico
Ubicación: San Martín, Buenos Aires

FOFO de Pascua 2019 Problema A: Para vos Fermat... Ah no, pará

Mensaje sin leer por AgusBarreto »

Demostrar que hay infinitos enteros positivos que no son expresables de la forma $x^2 + y^3$ con $x$ e $y$ enteros no negativos.
Avatar de Usuario
AgusBarreto

OFO - Medalla de Bronce-OFO 2015 OFO - Medalla de Bronce-OFO 2016 OFO - Jurado-OFO 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 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 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
Mensajes: 157
Registrado: Sab 15 Sep, 2012 6:28 pm
Medallas: 18
Nivel: Exolímpico
Ubicación: San Martín, Buenos Aires

Re: FOFO de Pascua 2019 Problema A: Para vos Fermat... Ah no, pará

Mensaje sin leer por AgusBarreto »

Aquí vamos a publicar la solución oficial.
Avatar de Usuario
Turko Arias

Colaborador-Varias OFO - Medalla de Plata-OFO 2016 OFO - Medalla de Oro-OFO 2019 FOFO Pascua 2019 - Medalla-FOFO Pascua 2019 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
Mensajes: 594
Registrado: Lun 28 Nov, 2011 11:39 am
Medallas: 17
Nivel: Ñandú
Ubicación: La Plata, Provincia de Buenos Aires

Re: FOFO de Pascua 2019 Problema A: Para vos Fermat... Ah no, pará

Mensaje sin leer por Turko Arias »

Spoiler: mostrar
Sea $n$ un entero positivo, notamos que si $a$ es un entero positivo menor o igual que $n$ y existen enteros no negativos $x, y$ tales que $a=x^2+y^3$, entonces $x \leq \sqrt{n}$ e $y \leq \sqrt[3]{n}$. Luego, podemos afirmar que si $W(n)$ es la cantidad de enteros positivos menores o iguales que $n$ que pueden ser expresados como suma de un cuadrado perfecto y un cubo perfecto (ambos no negativos) entonces $W(n)=$(posibles valores de $x$)$*$(posibles valores de $y$) $\leq (\sqrt{n}+1) (\sqrt[3]{n}+1)=n^{\frac{5}{6}}+n^{\frac{1}{3}}+n^{\frac{1}{2}}+1$ (ya que tanto $x$ como $y$ pueden valer cero).
Sea $L(n)$ la cantidad de enteros positivos menores o iguales que $n$ que no pueden ser expresados como suma de un cuadrado perfecto y un cubo perfecto (ambos no negativos), entonces $L(n)=n-W(n)$, con lo que $n-n^{\frac{5}{6}}-n^{\frac{1}{3}}-n^{\frac{1}{2}}-1= n(1- \frac{1}{\sqrt[6]{n}} -\frac{1}{\sqrt[3]{n^2}}-\frac{1}{\sqrt{n}} - \frac{1}{n}) \leq n-W(n)=L(n)$. Pero claramente:
$
\lim_{n \to \infty}n(1- \frac{1}{\sqrt[6]{n}} -\frac{1}{\sqrt[3]{n^2}}-\frac{1}{\sqrt{n}} - \frac{1}{n}) =+\infty
$
Con lo que podemos afirmar que $
\lim_{n \to \infty} L(n) =+\infty
$ :o :o :o
y, por ende, existen infinitos enteros positivos que no pueden ser escritos como $x^2+y^3$ con $x$ e $y$ enteros no negativos.
Comentario:
Spoiler: mostrar
El límite no es más que una forma fancy de rematar el hecho de que nuestra cota inferior crece todo lo que queramos, y por ende, la expresión que está siendo acotada por abajo también va creciendo todo lo que queramos. Para ver esto basta, a grandes rasgos, con ir saltando de potencia sexta perfecta en potencia sexta perfecta, para que las raíces queden lindas, y creo que con prolijidad se puede ir operando para que quede :mrgreen:
Fundamentalista del Aire Acondicionado

Y todo el orgullo de ser bien bilardista
Avatar de Usuario
Elsa Muray

OFO - Medalla de Bronce-OFO 2018
Mensajes: 23
Registrado: Vie 26 Ene, 2018 3:10 pm
Medallas: 1
Nivel: 1
Ubicación: La Plata

Re: FOFO de Pascua 2019 Problema A: Para vos Fermat... Ah no, pará

Mensaje sin leer por Elsa Muray »

Turko Arias escribió: Lun 22 Abr, 2019 2:49 pm
Spoiler: mostrar
Sea $n$ un entero positivo, notamos que si $a$ es un entero positivo menor o igual que $n$ y existen enteros no negativos $x, y$ tales que $a=x^2+y^3$, entonces $x \leq \sqrt{n}$ e $y \leq \sqrt[3]{n}$. Luego, podemos afirmar que si $W(n)$ es la cantidad de enteros positivos menores o iguales que $n$ que pueden ser expresados como suma de un cuadrado perfecto y un cubo perfecto (ambos no negativos) entonces $W(n)=$(posibles valores de $x$)$*$(posibles valores de $y$) $\leq (\sqrt{n}+1) (\sqrt[3]{n}+1)=n^{\frac{5}{6}}+n^{\frac{1}{3}}+n^{\frac{1}{2}}+1$ (ya que tanto $x$ como $y$ pueden valer cero).
Sea $L(n)$ la cantidad de enteros positivos menores o iguales que $n$ que no pueden ser expresados como suma de un cuadrado perfecto y un cubo perfecto (ambos no negativos), entonces $L(n)=n-W(n)$, con lo que $n-n^{\frac{5}{6}}-n^{\frac{1}{3}}-n^{\frac{1}{2}}-1= n(1- \frac{1}{\sqrt[6]{n}} -\frac{1}{\sqrt[3]{n^2}}-\frac{1}{\sqrt{n}} - \frac{1}{n}) \leq n-W(n)=L(n)$. Pero claramente:
$
\lim_{n \to \infty}n(1- \frac{1}{\sqrt[6]{n}} -\frac{1}{\sqrt[3]{n^2}}-\frac{1}{\sqrt{n}} - \frac{1}{n}) =+\infty
$
Con lo que podemos afirmar que $
\lim_{n \to \infty} L(n) =+\infty
$ :o :o :o
y, por ende, existen infinitos enteros positivos que no pueden ser escritos como $x^2+y^3$ con $x$ e $y$ enteros no negativos.
Comentario:
Spoiler: mostrar
El límite no es más que una forma fancy de rematar el hecho de que nuestra cota inferior crece todo lo que queramos, y por ende, la expresión que está siendo acotada por abajo también va creciendo todo lo que queramos. Para ver esto basta, a grandes rasgos, con ir saltando de potencia sexta perfecta en potencia sexta perfecta, para que las raíces queden lindas, y creo que con prolijidad se puede ir operando para que quede :mrgreen:
Pensé que eras menos asqueroso
2  
Avatar de Usuario
Turko Arias

Colaborador-Varias OFO - Medalla de Plata-OFO 2016 OFO - Medalla de Oro-OFO 2019 FOFO Pascua 2019 - Medalla-FOFO Pascua 2019 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
Mensajes: 594
Registrado: Lun 28 Nov, 2011 11:39 am
Medallas: 17
Nivel: Ñandú
Ubicación: La Plata, Provincia de Buenos Aires

Re: FOFO de Pascua 2019 Problema A: Para vos Fermat... Ah no, pará

Mensaje sin leer por Turko Arias »

Elsa Muray escribió: Lun 22 Abr, 2019 4:03 pm
Turko Arias escribió: Lun 22 Abr, 2019 2:49 pm
Spoiler: mostrar
Sea $n$ un entero positivo, notamos que si $a$ es un entero positivo menor o igual que $n$ y existen enteros no negativos $x, y$ tales que $a=x^2+y^3$, entonces $x \leq \sqrt{n}$ e $y \leq \sqrt[3]{n}$. Luego, podemos afirmar que si $W(n)$ es la cantidad de enteros positivos menores o iguales que $n$ que pueden ser expresados como suma de un cuadrado perfecto y un cubo perfecto (ambos no negativos) entonces $W(n)=$(posibles valores de $x$)$*$(posibles valores de $y$) $\leq (\sqrt{n}+1) (\sqrt[3]{n}+1)=n^{\frac{5}{6}}+n^{\frac{1}{3}}+n^{\frac{1}{2}}+1$ (ya que tanto $x$ como $y$ pueden valer cero).
Sea $L(n)$ la cantidad de enteros positivos menores o iguales que $n$ que no pueden ser expresados como suma de un cuadrado perfecto y un cubo perfecto (ambos no negativos), entonces $L(n)=n-W(n)$, con lo que $n-n^{\frac{5}{6}}-n^{\frac{1}{3}}-n^{\frac{1}{2}}-1= n(1- \frac{1}{\sqrt[6]{n}} -\frac{1}{\sqrt[3]{n^2}}-\frac{1}{\sqrt{n}} - \frac{1}{n}) \leq n-W(n)=L(n)$. Pero claramente:
$
\lim_{n \to \infty}n(1- \frac{1}{\sqrt[6]{n}} -\frac{1}{\sqrt[3]{n^2}}-\frac{1}{\sqrt{n}} - \frac{1}{n}) =+\infty
$
Con lo que podemos afirmar que $
\lim_{n \to \infty} L(n) =+\infty
$ :o :o :o
y, por ende, existen infinitos enteros positivos que no pueden ser escritos como $x^2+y^3$ con $x$ e $y$ enteros no negativos.
Comentario:
Spoiler: mostrar
El límite no es más que una forma fancy de rematar el hecho de que nuestra cota inferior crece todo lo que queramos, y por ende, la expresión que está siendo acotada por abajo también va creciendo todo lo que queramos. Para ver esto basta, a grandes rasgos, con ir saltando de potencia sexta perfecta en potencia sexta perfecta, para que las raíces queden lindas, y creo que con prolijidad se puede ir operando para que quede :mrgreen:
Pensé que eras menos asqueroso
No te pases de vivo que te quedas sin clases hasta el próximo selectivo de IMO eh
2  
Fundamentalista del Aire Acondicionado

Y todo el orgullo de ser bien bilardista
Responder