Tercer problema de la primera sesión de la Olimpiada Matemática de Baleares 2013, que se celebró el pasado día 11 de enero. El enunciado es el siguiente:
Sea
el subconjunto de los números enteros que cumple las siguientes condiciones:
a)
b) Si
c) SiDemostrar que:
i) Existen
no nulos tales que
ii)
A por él.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$.
Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.
Y si los símbolos < y > te dan problemas al escribir en LaTeX, te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.
Tienes un 20% de descuento y envío gratis en toda la web de La Tostadora con al menos dos artículos. Usa el código GAUSSIANOS entrando con el enlace de la imagen.
Y usando el código REBAJAS tienes un 30% de descuento hasta el 8 de agosto con al menos 3 artículos.
Si quieres recibir los artículos de Gaussianos en tu mail haz click en la imagen.
Si tienes alguna duda, pregunta o sugerencia visita ForoGauss, nuestro foro (click en la imagen). Seguro que alguien te podrá ayudar
Únete a la iniciativa Yo construí el poliedro de Császár. Haz click en la imagen para conocer todo los detalles.
Y visita este set de Flickr para ver las construcciones de los lectores de Gaussianos.
Visita XRooMers, nuestro nuevo blog sobre escape rooms.
En él encontrarás reseñas e información sobre los juegos de escape que hemos realizado y podrás dar tu opinión sobre ellos y tus propias sugerencias.
Y no te pierdas nuestra clasificación: The XRanking.
¿Seguro que está bien el enunciado? En concreto el apartado b.
Las condiciones que se pone para que x pertenezca a A contienen un => o un ?.
Es decir si p->q no significa que q ->p. pero si tenemos p q alreves si es cierto
¡Buenas! Gurt: Creo que el enunciado es correcto (o puede serlo). De hecho lo que implica (b) es que las raíces de ( en este caso) pertenecen a A y a partir de ahí vas escarbando (yo soy partidario de ir mediante la «cuenta de la vieja» sacando valores del conjunto A). De hecho esa ecuación igualando a un número de A te va suministrando nuevas soluciones pertenecientes al conjunto A. De esa manera he sacado que: {3,6,9,12,36,-3,-6} De donde es obvio sacar que si a=3, b=6, c=-3, d=-6, se verifica (i). Ahora bien para demostrar (ii) he intentado tirar… Lee más »
Información Bitacoras.com…
Valora en Bitacoras.com: Tercer problema de la primera sesión de la Olimpiada Matemática de Baleares 2013, que se celebró el pasado día 11 de enero. El enunciado es el siguiente: Sea el subconjunto de los números enteros que cumple las siguiente……
Pero hete ahí el problema si te fijas bien Ruben, que a mi como mínimo me confunde o me hace dudar de si está bien o no el enunciado. Por ejemplo: La ecuación igualada a 0 (pues 0 pertenece a A) da como solución doble x=+3,-3, ergo 3 y -3 pertenecen a A. Cojamos 3 por ejemplo, entonces 3^2=9 pertenece a A. Cojamos de nuevo la ecuación e igualemos a 9 (perteneciente a A), tenemos pues x^2-6x=0, que da como soluciones x=6 y x=0 (que ya sabíamos que era de A); igualandao la ecuación a 6 (que es de A),… Lee más »
Como 0 pertenece a A, igualamos la ecuación de b) a 0. x = 3 => 3 también pertenece a A y 9 (tres al cuadrado) también pertenece al subconjunto. Vamos repitiendo el proceso sucesivamente: igualando la ecuación a 3, no tiene solución entera así que lo descartamos. Igualándola a 9, nos da 0 (ya sabíamos que pertenecía a A) y 6. Por tanto 36 (6 al cuadrado) también pertenece a A. Si seguimos con este proceso vamos obteniendo un patrón de resultados: -12 -9 -6 -3 0 3 6 9 12 15 18 … Ahí ya tenemos la primera… Lee más »
Es fácil ver que el conjunto A es el de los múltiplos de 3. A partir del término n se obtiene la siguiente ecuación para el término n+1:
cuya solución es
Por lo tanto, se van recorriendo todos los múltiplos de 3, y de ahí se deducen las dos condiciones fácilmente.
Seguramente tenga razon Gurt, y en el enunciado las condiciones deberian tener un «si y solo si» y no un «entonces». De la forma que esta escrito el enunciado, el razonamiento de Yinyi es falso porque no se puede descartar la solucion de la ecuacion igualada a 3 por ser irracional, ya que la condicion es que si la ecuacion pertenece a «A» ENTONCES su solucion tambien; no al revés.
No entiendo las dudas con el enunciado, a mí me parece que está bien. Lo primero que se dice es que A es un subconjunto de los números enteros, entonces no tiene sentido probar con
para ver si pertenece a A o no.
Que alguien me diga en qué parte del enunciado pone explícitamente que b) significa que las raíces de ese polinomio (es decir, lo valores de x para los cuales ese polinomio es cero) deben pertenecer a A. Ese apartado b) está bien claro: Si x es un número entero (recordad que A es un subconjunto de los números enteros) tal que pertenece a A, entonces el propio x también pertenece a A. No pongáis un =0 donde no está porque entonces parece que solamente los valores de x para los cuales ese polinomio es igual a cero son los que… Lee más »
Cierto, gaussianos. Yo estaba particularizando para comenzar a «tirar del hilo» nada más, pero si he confundido a alguien con mi frase inicial, lo siento. La verdad es que la explicación que he dado está bastante pobremente redactada. Gracias por la precisión 😉
Pues yo obtengo que el conjunto de A son todos los enteros: He hecho: 0 pertenece (por ‘a’) 1 si pertenece 4 (por ‘b’) 2 si 1 3 si 0 4 si 1 5 si 4 (si 1) 6 si 9 (si 3 por ‘c’ si 0) 7 si 16 (si 4 si 1) 8 si 25 (si 5 si 1) … para los enteros positivos parece que todo se reduce a que si el 1 pertence a A entonces todos pertenecen a A. Si todos los positivos pertenecen a A, entonces es facil ver que tambien todos los negativos.… Lee más »
pues, estaba demostrando que todos los multiplos de 3 pertenecen como hace golvano, pero la respuesta de Cartesiano me ha cautivado. 4 pertenece si 1 pertence y viceversa (por b). Por c, si 1 pertenece, 1 pertence, osea OK.
Entonces para ver que no se puede encontrar contradiccion basta ver que b no es mas que (x+3)^2, osea que recorre todos los cuadrados (condicion c).
No hay problema. A son todos los enteros!!!
Cartesiano Caotico
Dos cosas.
De tu lista, las entradas que se refieren a múltiplos de 3 (0 pertenece, 3 si 0, 6 si 9 si 3), al contrario que las otras, no son hipotéticas, si no que son ciertas, siempre que se cumpla la primera (0 pertenece), que sabemos que es así.
Además, algunas entradas están mal: ¿2 si 1? ¿5 si 4? ¿Cómo justificas eso?
Por favor, no hagáis caso a la segunda parte de mi comentario anterior. No lo había calculado bien. Perdón.
2 si uno viene de: (2-3)^2=1
y aprovecho para corregir mi entrada anterior b) es (x-3)^2
(no x+3…)
Digo que los elementos del conjunto A se definen recursivamente: 1) Con a) se define la existencia de 0 como elemento de A. 2) Con 0 y b) se define la existencia de 3. 3) Con 3 y c) se define a 9. 4) Con 9 y b) se define a 6 y a 0 (que ya existe) 5) Con 6 y c) se define a 36. 6) Con 36 y b) se define a 9 y -3 7) Con 9 y c) se define a 81. 8) Con 81 y b) se define a 12 y -6 9) Con… Lee más »
A estas alturas, entre que escribía y no escribía el LaTex, creo que ya está todo probado, pero ya que he hecho el esfuerzo… Para i) buscamos 4 valores para a,b,c y d (
nos valen).
En ii), por inducción:
.
![(n+3)^2-6(n+3)+9=[(n+3)-3]^2=n^2 \in A \Rightarrow (n+3) \in A](https://s0.wp.com/latex.php?latex=+%28n%2B3%29%5E2-6%28n%2B3%29%2B9%3D%5B%28n%2B3%29-3%5D%5E2%3Dn%5E2+%5Cin+A+%5CRightarrow+%28n%2B3%29+%5Cin+A+&bg=ffffff&fg=000000&s=0 "(n+3)^2-6(n+3)+9=[(n+3)-3]^2=n^2 \in A \Rightarrow (n+3) \in A")
Sabemos que
Supongamos que
Puesto que
Por lo tanto
Como
, en la expresión anterior, 
c.q.d.
Por fin me animo con el LaTex! La verdad es que queda «divinodelamuerte», pero es entretenido… ¡la práctica hará al experto!
Walton
A mí me salen 24, pasando por 36, 45, 2025 y -2010.
Walton, lo consigo en 23 pasos:
0 + b) ->
3 + c) ->
9 + b) ->
6 + c) ->
36 + c) ->
1296 + b) ->
39 + c) ->
1521 + b) ->
42 + c) ->
1764 + b) ->
45 + c) ->
2025 + c) ->
4100625 + b) ->
-2022 + c) ->
4088484 + b) ->
-2019 + c) ->
4076361 + b) ->
-2016 + c) ->
4064256 + b) ->
-2013 + c) ->
4052169 + b) ->
-2010 + c) ->
4040100 + b) ->
2013
golvano, me parece más correcta tu respuesta, yo he obviado el primer paso:
a) -> 0
Sea p(x)=(x+3)^2 i p(x+3)=x^2, entonces obtenemos que si p(x+3) pertenece a A, entonces x+3 pertenece a A, es decir, si x pertenece a A, x+3 también. Como 0 pertenece a A, podemos decir que todos los múltiplos de 3 también pertenecen, es decir, 2013 pertenece a A
Pues no estoy muy seguro de lo que decis: 1º rtomas: Con la condicion ‘c’ no se demuestra la pertenencia que Simplemente evidencia que es coherente, es decir, no lo niega, pero tampoco lo demuestra. 2º walton, ha encontrado suficientes valores para demostrar el problema, bien hecho! pero aunque no es necesario, ¿el 1 pertence o no? 😀 Para demostrar la existencia del 1 hay que encontrar algún valor cierto (no hipotetico) que implica la pertenencia del 1. O bien demostrar, que no existe forma de negarlo. Aunque parece ser que no es necesario ni siquiera plantearselo, ya que pertenezca… Lee más »
Alguien sería capaz de explicarme que se supone que ha hecho alfarero con p(x+3)?
Para alfarero: tienes una pequeña errata (¡Ay, las prisas!). Tu primera expresión debe ser p(x)=(x-3)^2. Aparte de eso tu solución es perfecta.
Que 1 pertenece a A es indecidible. Es imposible demostrar que 1 no pertenece a A con los datos del enunciado. A podria ser todos los numeros enteros o solo los multiplos de 3 y en ambos casos se cumplen las condiciones del enunciado. Esto lleva a una contradiccion en el enunciado ya que dice asi: «Sea A el subconjunto de los números enteros que cumple …» Este enunciado implica unicidad de A, pero hay al menos 2 subconjuntos de los enteros que cumplen las premisas (sin contradiccion alguna), por lo que el problema esta mal planteado. El enunciado deberia… Lee más »
Eso está bonito…creo que el objetivo del ejercicio iba por ese lado, porque todos estos ejercicios debe tener la «solución» de las soluciones…¿ o no? Eso de suponer que el 1 pertenece, y que al final se saca la conclusión de que el conjunto es el de los enteros, podría ser válido si no existe a), o afirmar que cierto número, no múltiplo de 3, pertenece a A…por ejemplo, si supongo que 2 pertenece a A, hasta ahora, encuentro en A a 4, 1, 5, 25, -2, 8, 64, 11, -5, 121, pero wow, por más que veo no puedo… Lee más »
Hola, soy un estudiante de matemáticas de Zaragoza y me ha gustado mucho est problema. [RESOLUCIÓN] (¡Quien quiera pensarlo que no siga leyendo! ¡esto es solo para quien no sepa por donde cojerlo!) Si nos damos cuenta de un pequeño detalle, como pasa siempre en este arte, sale todo solo… tenemos dos condiciones, si me permitis voy a reordenarlas y «maquillarlas»: 1) x está en A implica x^2 está en A 2) (t-3)^2 está en A implica t está en A Si tomamos x=t-3 es inmediato comprobar utilizando 1) y 2) consecutivamente que: x está en A implica t está… Lee más »
Observemos que la condición b) implica una nueva condición b’) que es la siguiente: si x pertenece a A,36-12x+x*2 (6-x) también pertenece a A. Veámoslo: (6-x)^2-6(6-x)+9 = 36-12x+x^2-36+6x+9 = x*2-6x+9 Esto significa que tenemos únicamente tres mecanismos para generar números que pertenezcan a A conociendo algún valor x de A: 1) Elevar x al cuadrado 2) Sumar 3 a x 3) Restar x de 6 Como solo nos dan un elemento de A que es el 0 las tres opciones citadas nos permitirán obtener cualquier múltiplo de 3 positivo o negativo pero nunca un no múltiplo de 3, luego, con… Lee más »
Corrección: en la segunda línea de mi comentario anterior debe decir
Si x pertenece a A,(6-x) también pertenece a A. Veámoslo:
JJGJJG
Cuando dices «todos los de cada una de las formas» no sé si te entiendo bien. En realidad, si un no múltiplo de 3 (de cualquiera de las dos formas) pertenece al conjunto, todos los no múltiplos de 3 (de las dos formas) pertenecen.
No estoy de acuerdo con golvano. Si un número de la forma 3k+1 pertenece a A y utilizamos los criterios del enunciado (sumar 3, restar 6 o elevar al cuadrado), únicamente podemos obtener números del mismo subconjunto 3k+1 ya que (3k+1)^2 pertenece al mismo subconjunto. Curiosamente, si consideramos que un número del subconjunto 3k+2 pertenece a A, obtendríamos todos los no múltiplos de 3 ya que (3k+2)^2 = 3k’+1. Resumiendo: si nos dan el 0 tendremos todos los múltiplos de 3, si nos dan el 1 tendremos todo el subconjunto 3k+1 y si nos dan el 2 tendremos los dos… Lee más »
JJGJJG
A partir del 1, aplicando b) directamente, se obtienen el 2 y el 4, y a partir de ahí, todos los demás.
Tienes razón, golvano.
1º) Llamo p a un número cualquiera que pertenezca al subconjunto A.
2º)
3º)
4º) Todos los números de la sucesión
forman parte del subconjunto A.
5º) Como sabemos que
daremos a p el valor de 0 y de este modo cualquier número múltiplo de 3 pertenecerá al subconjunto A.
6º) 2013 es múltiplo de 3 con lo cual queda demostrado.
7º) Para demostrar el apartado i) simplemente basta con darse cuenta de que todo número p que pertenezca a A tiene su opuesto -p .
Lo que da la característica de que sean múltiplos de 3, asumiendo la pertenencia de cero, es el 3 de (x-3)^2…o sea, si el término fuese (x-5)^2, serían múltiplos de 5, y así
No sé de donde sacaron lo de las raices… yo esa parte la entendí simplemente como que si
.
Luego como
implica que 
, con ii) sacas que 
. Luego como 0 también está, deduces que 
contiene todos los múltiplos de 3 y ahí el problema se reduce a una migaja, jajaja.
Saludos
Bueno vamos allá: Se tiene 1) 0 está en A 2) Si (x-3)^2 está en A -> x está en A 3) Si x está en A -> x^2 también está en A Supongamos n está en A, sabemos por la condición 3ª que n^2 también lo estará. Por otra parte sabemos que A es no vacío por contener al 0 y que (n+3-3)^2=n^2 está en A, de donde se tiene que n+3 también está en A. Rápidamente vemos que (n+6) también está en A por estarlo n+3, y así sucesivamente con n+9, n+12, .. n+3k … Concluyendo: los elementos… Lee más »
Sea
el conjunto de las soluciones que satisfacen la ecuación 
. Si igualamos la ecuación a una solución 
, entonces 
. Pero si 
es solución, entonces existe una solución 
tal que 
. Entonces 
. Pero si la suma o la diferencia de dos números es igual a tres, las soluciones de estas dos ecuaciones se pueden expresar mediante la clase de residuos 
como:
, entonces 2013 está dentro del conjunto A.
#
#
De aquí se deduce que todas las soluciones serán múltiples de tres, y como
Antes de nada, creo que el problema no está del todo bien formulado. Dice «Sea A el subconjunto…» y eso da a entender que sólo un conjunto satisface esas condiciones cuando es fácilmente comprobable que eso no es cierto. x^2 – 6x + 9 = (x – 3)^2 si x pertenece a A => x^2 pertenece a A =>(x + 3 – 3)^2 pertenece a A => x + 3 pertenece a A. Puesto que 0 pertenece a A => todos los múltiplos positivos de 3 pertenecen a A => 2013 = 3*671 pertenece a A (x-3)^2 = (3n)^2 =>… Lee más »