El problema de esta semana es el siguiente:
Sea
una función real de variable real que satisface las siguientes condiciones:
1.- Si
y
, entonces
, para algún
entre
e
.
2.- La ecuacióntiene al menos una solución real. Además, el conjunto de las soluciones tiene máximo, es decir, hay una solución que es mayor o igual que todas las demás.
3.-
4.-
5.-Encontrar el valor de
.
Vamos a por él.
¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉
¿quieres buscar una función en particular que lo cumpla o una expresión general? Porque si es una función particular creo que f(x)=x+1 cumple con todo, bueno el punto 1 sería un poco discutible ya que tiene la particularidad que sería válido para todo z ya que v solo podría valer 1.
Queremos el valor de
, no una expresión general de las funciones que complen todos los puntos.
Sea
la sucesión de raices de
, de la cual podemos suponer sin perdida de generalidad que
…
, analizando análogamente para
observamos que 
y 
Luefo
Oye perdonad no se que ha pasado, escribo la solucion entera en latex pero me sale ese churro…Si alguien me echa un cable, tengo el código entero.
Hola,perdon por desviarme del tema pero quisiera proponer un problema,si ^DiAmOnD^ me lo permite:
Demostrar que si p es primo, el siguiente primo(su primo consecutivo) no puede ser de la forma 2p-1.
envio solucion para el problema que propone Joseph:
primero cabe remarcar que esto solo es cierto siendo p > 3, porque en el caso p = 3, tenemos 2p – 1 = 5.
El problema es trivial teniendo en cuenta el postulado de Bertrand:
para n > 3, entre n y 2n – 2 existe siempre un numero primo estrictamente entre ambos.
Si la proposicion del enunciado fuera cierto, llegariamos a que entre dos primos consecutivos, existe otro primo entre los dos, que es una contradiccion.
me gusta la respuesta del assasin cred
Que bien arnau messegue.Yo llegue a probarlo por un camino mas largo, ya que pensaba que el postulado de bertrand era entre n y 2n,pero este es el postulado debil.
Citando dicho postulado(de la manera correcta y no como yo lo suponía)la solucón,como tu la haz dicho es trivial.
Buen día a todos.
Xavier, el problema está en los símbolos <. Voy aver si te lo arreglo yo.
Xavier, he mirado el comentario y no sé qué le falta al tuyo. Si quieres inténtalo otra vez y utiliza el botón de vista previa para confirmar que todo está bien.
Joseph, ¿cómo pensaste tu la solución del problema? Creo que nos podría resultar interesante saberlo.
Utilice el postulado de Bertrand con n y 2n.Despues supuse dos casos para el primo consecutivo: que fuera 2p-k (con k impar, mayor que 1), y el otro caso que fuera 2p-1,pero haciendo este ultimo llegaba a una contradiccion(depues de manipular de diversdas formas la desigualdad del postulado).
Independientemente del problema anterior, llegue a probar algo a mi parecer interesante:
Teorema:La suma de 2 primos consecutivos P(n) y P(n+1) es mayor que el tercer numero consecutivo.
P(n) + P(n+1) > P(n+2) > P(n+1)
Que es una cota igual o mas pequeña que el postulado fuerte de Bertrand.
Teorema:La suma de 2 primos consecutivos P(n) y P(n+1) es mayor que el tercer numero primo consecutivo.
P(n) + P(n+1) > P(n+2) > P(n+1)
Que es una cota igual o mas pequeña que el postulado fuerte de Bertrand.
Con P(n)>2 ,claro esta !!!!
Joseph, tu problema es trivial utilizando la extensión del postulado de Bertrand, que asegura que para naturales n y k, con n > k, luego en la secuencia n, n + 1, …, n + k – 1 existe un número que tiene un factor primo mayor que k. En particular cogiendo, n = p_(i + 1)+ 1 y k = p_i, se llega a que en la secuencia p_(i + 1) + 1, …, p_(i + 1) + p_i contiene un número cuyo factor primo es mayor que p_i, por lo tanto su factor primo es igual o mayor… Lee más »
Tal como hizo Joseph, me gustaría proponer un difícil pero bello problema de teoría de números, (siempre y cuando ^Diamond^ me lo permita). El problema dice: Considérese una función f : R -> R tal que f(x) = 1/( 2[x] – x + 1). Y considérese la secuencia alfa_n, con alfa_0 = 1, i alfa_(n + 1) = f( alfa_n) para n = 0, 1,2,…. Probar que (alfa_n) = Q^{+} ([x] indica parte entera de x, y Q^{+} indica el conjunto de los racionales positivos) (quien lo saque en menos de un día de tiempo a partir de la fecha… Lee más »
Es una forma más de contar los racionales positivos. La función representa el árbol de Stern-Brocot http://www.cut-the-knot.org/blue/Fusc.shtml#Lemma4
Una prueba se encuentra en http://www.math.upenn.edu/~wilf/website/recounting.pdf
Como contestación al primer problema del post, decir que la única función que cumple las premisas del problema puede demostrase que es f(x)=x+1. Os pongo el razonamiento que he seguido a «grosso modo» porque creo que puede ser interesante: a) Se define F(x)=f(x)-x (más que nada porque me ha ayudado a visualizar mejor el problema) b) / F(x)=-x (por la propiedad 2 del post) c) Si F(x)=0 F(z·(F(y)+y))=0 (por la propiedad 5 del post) d) Del punto c) se deduce que / F(x)=0, ya que en caso contrario usando b) y c) se llegaría a F(0)=0 (en contradicción con la… Lee más »
Por cierto, observar que si el postulado de Bertrand fuera falso, también lo sería la conjetura de Goldbach
g
Al respecto de la cuestión sobre enumeración de los racionales que proponía arnau messegue el 20 de marzo de 2009, acabo de ver que aparece explicada en El libro de las demostraciones (Nivola, 2005), de Aigner y Ziegler, páginas 94-98. También se cita en http://research.att.com/~njas/sequences/A002487