Entero no negativo

Publicado por ^DiAmOnD^ | 3 enero, 2011 | Juegos | 25 |

Os dejo el problema de esta semana. Ahí va su enunciado:

Sea $b$ un número real que verifica que $a^b$ es natural para cualquier $a$ natural. Demostrar que entonces $b$ es entero no negativo.

Suerte.

3.5 2 votes

Article Rating

¿Te ha gustado la entrada? Puedes invitarme a un café, Gauss te lo agradecerá 😉

Sobre el Autor

^DiAmOnD^

Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes seguirme en Twitter o indicar que te gusta mi página de Facebook. También tengo un blog dedicado a las "escape rooms", por si te apetece pasarte: XRooMers.

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.

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.

25 Comments

más antiguo

más reciente más votado

Inline Feedbacks

View all comments

josejuan

03/01/2011 10:28

Que $b$ no puede ser negativo parece obvio para que $a^{b}$ resulte ser natural para cualquier $a$ natural.

Si $b$ es irracional, parece claro también que el resultado no puede ser entero.

Si fuera $b$ racional no entero, podemos expresar la operación como

$a^{\frac{m}{n}}$ con $m$ y $n$ coprimos (además es $n>1$ ).

Así las cosas, al quedar $n$ fijo, $a$ debe ser divisible por un entero mayor que 1 y menor que $a$ , pero como se ha dicho cualquier natural y ésto incluye todos los primos, no es posible tampoco que $b$ sea racional.

Si $b$ es real, pero no irracional y no racional y no negativo, deberá ser entero no negativo.

Responde

Bitacoras.com

03/01/2011 13:19

Información Bitacoras.com…

Valora en Bitacoras.com: Os dejo el problema de esta semana. AhÃ va su enunciado: Sea un nÃºmero real que verifica que es natural para cualquier natural. Demostrar que entonces es entero no negativo. Suerte. Entra en Gaussianos si quieres hacer algÃ…..

Responde

Eduardo

03/01/2011 15:13

Por el enunciado del problema sabemos que: a^b es natural a es un número natural b es un número Real Para este problema, necesitamos entender el conjunto de los Números Naturales como N={1,2,3,4,5,6,7,8,9,…}, es decir, sin incluir el 0, ya que si el conjunto de los números naturales incluyese al 0, el enunciado sería indemostrable. Veamos por qué: Por las propiedades de las potencias sabemos que cualquier número a elevado a 0 es igual a 1, es decir, a^0=1, pero 0^0 es una indeterminación, por lo que 0 no puede estar incluido en este caso en los números naturales. Procedemos… Lee más »

Eduardo

03/01/2011 16:40

Buenos días,

En la línea 19 dice:

Si o bien p o bien q fuesen negativos entonces p/q sería un número negativo, y los numeros negativos no pertenecen al conjunto de los reales.

Debe decir:

Si o bien p o bien q fuesen negativos entonces p/q sería un número negativo, y los numeros negativos no pertenecen al conjunto de los naturales.

Damiancete

03/01/2011 19:33

Como a^b ha de ser natural para cualquier a natural, supongamos a=2.

– Si elevamos 2 a un entero negativo, el resultado no es natural.

– Si elevamos 2 a un número racional (no entero) cualquiera, el resultado no es natural.

– Si elevamos 2 a un número irracional cualquiera, el resultado no es natural.

Por tanto, b ha de ser un entero no negativo, ya que para cualquier a natural, a^b será natural.

Responde

Tweets that mention Entero no negativo | Gaussianos -- Topsy.com

03/01/2011 21:31

[…] This post was mentioned on Twitter by gaussianos, Galled. Galled said: Entero no negativo http://ping.fm/fk1Mg […]

Responde

05/01/2011 00:28

Vaya! La tesis es esperable, pero no parece que se haya dado una demostración completa.

Responde

Tanius

05/01/2011 03:50

Donde noto más ambigüedad en sus demostracion es cuando mencionan cosas como: «Si $b$ es irracional, parece claro también que el resultado no puede ser entero.»

Quisiera ver una demostración rigurosa de ese hecho 😀

Responde

josejuan

05/01/2011 11:03

Uhm… a mi la de @Damiancete me parece fastidiosamente elegante (por pícara), y, ciertamente, quizás vemos evidentes las proposiciones cuando alguna no lo sea. Vamos a ver: 1. «Si elevamos 2 a un entero negativo, el resultado no es natural.» Sea es ese entero negativo y , entonces queda dicha sucesión (b=-1,-2,… y n=1,2,…) toma valores en el intervalo en el que manifiestamente no hay números naturales. 2. «Si elevamos 2 a un número racional (no entero) cualquiera, el resultado no es natural.» Sin pérdida de generalidad, sea con y coprimos, entero mayor que 1 (n=2,3,…), entero distinto de cero… Lee más »

Responde

Tanius

05/01/2011 11:32

«3. “Si elevamos 2 a un número irracional cualquiera, el resultado no es natural.” Esta desconozco si tiene demostración fácil, pero acudiendo a los grandes monstruos de la matemática, podemos tirar de teorema y listo (véase Alexander).» Consideremos la siguiente definición de potenciación. Sean con . Siempre existe una sucesión de números racionales tal que consta de sólo números racionales convergente a . Entonces definimos Más aún, si es irracional existe una tal sucesión de números racionales (no enteros) que satisface la definición anterior. Procedamos por contradicción. Supongamos que con irracional y natural. Entonces por lo de arriba lo cual… Lee más »

Responde

Tanius

05/01/2011 11:48

En el penúltimo párrafo quise escribir $\displaystyle 2^{1/\log_ m(2)}=m$ (ya no me dejó editar).

Responde

Antonio R

05/01/2011 12:07

(3) es falsa: de lo contrario, los únicos enteros de la forma $2^x$ con $x$ real serían las potencias de 2, lo cual es falso puesto que la función $2^x$ toma todos los valores reales positivos. De hecho $2^a=3$ , siendo $a=\log 3/\log 2$ (que es irracional).

-1

Responde

josejuan

05/01/2011 12:22

Tengo dudas de si aquí pueden aplicarse límites (al menos sin establecer alguna otra restricción adicional). Dicho de otro modo, no puede evaluarse la condición en cada elemento de la sucesión (cada racional) esperando que dicha propiedad pase al límite, sin demostrar que tal propiedad pasa al límite (por ejemplo y como es habitual en análisis con cotas de error). Por otra parte, algo debe estar mal en esa demostración, pues tu juego con los logaritmos ignora completamente la naturaleza de , es decir, ignorando que sea natural, entero, racional o irracional. Además, creo que está mal a partir de… Lee más »

-1

Responde

josejuan

05/01/2011 13:07

ops

Responde

Tanius

05/01/2011 18:58

Efectivamente, mi demostración es incorrecta, pero no precisamente por lo que mencionas, josejuan.

Tuve un error en las cuentas. En realidad $2^{1/\log _m(2)}=m$ implica (tomando logaritmos en base 2) que $\dfrac{1}{\log _m(2)}=\log _2(m)$ .

Lo cual ya sabíamos 😀

Pedro

05/01/2011 23:32

Creo que el problema es que para un número $b$ , cualquier natural $a$ elevado a $b$ es natural. O sea si $b = \frac{\log 3}{\log 2}$ , entonces $1^{\frac{\log 3}{\log 2}} \in \mathbb{N}$ y $2^{\frac{\log 3}{\log 2}} \in \mathbb{N}$ y para $3^{\frac{\log 3}{\log 2}} \in \mathbb{N}$ y para cualquier $a \in \mathbb{N}$ se a de cumplir $a^b \in \mathbb{N}$ .
Por lo que se puede encontrar un número $b \in \mathbb{R}$ o $b \in \mathbb{Q}$ para un valor concreto de $a$ pero no para todos los números naturales.
Ejemplo: $b=3/2$ entonces $4^{3/2} = 8 \in \mathbb{N}$ pero no es válido para $3^{3/2} \not\in \mathbb{N}$

Responde

briggite

Reply to Pedro

29/09/2015 18:26

tiene sñor toda la rason pero como puede sacra el metodo y el resultado

Responde

06/01/2011 00:59

Tal vez pueda ser útil tener en cuenta que por la propiedad del enunciado $(x+1)^b-x^b$ es natural para todo $x$ natural…

Responde

Uli

06/01/2011 18:33

*en el caso de b negativo y su valor absoluto es c ==> a^(-c)=1/(a^c)
sii abs(a)>1 ==> abs(a^c)>1 ==> 0<1/abs(a^c) a^-c no es entero.
*si b tiene una parte no entera c y una parte natural d, siendo c un numero entre 0 y 1: a^d va a ser entero en todos los casos y a^c puede ser como puede no ser entero en todos los casos.
por lo tanto b no puede ser negativo ni tener una parte no entera.

Responde

08/01/2011 00:54

Vamos a responder a la cuestión. Debe ser pues, como se ha dicho, . 1) Supongamos que <1 verifica la propiedad del enunciado y veamos que entonces debe ser . Consideramos el incremento , con natural a elegir convenientemente. Por el teorema del valor medio, existirá tal que . Ahora bien, como <1, tendremos que <. Elijamos natural suficientemente grande tal que sea menor estricto que 1 ( mayor estricto que ), y entonces tendremos que <1, siendo natural. Luego y . 2) En general, si suponemos que está entre otros dos naturales consecutivos < (), consideraremos el incremento ésimo,… Lee más »

Responde

Vayapordios

08/01/2011 20:26

Yo habría explorado la idea de tomar las potencias de 2 con resultado entero y que tienen exponente irracional y demostrar que 3 elevado a cada uno de esos exponentes es siempre irracional.

Me acuerdo de la cita Kepler, esa de que añoraba la claridad de las matemáticas frente a las oscuridades de la física. Si viera los comentarios seguro que cambiaba de opinión unos 170 y tantos grados. Supongo que entre todos las demostraciones del teorema de Pitágoras podremos encontrar la menos intuitiva de todas.

Responde

uuu

15/01/2011 21:56

aunque la demostracion es buena si a^b=4,a=2,b=1/2,con esto a^b,a pertencen a los naturales y b pertenece a los reales pero b!=a los naturales con esto encontre una contradiccion no creo asi que si alguien puede decir cual es el error se lo agradeceria

Responde

briggite

29/09/2015 18:18

3es entero negatibo positibo »v» o »f»

Responde

briggite

29/09/2015 18:20

como podemos saver si es negativo o positivo el
numero entirbidiented q es 3 negativo

Responde

briggite

29/09/2015 18:22

es metodo de susutitucion por metodo negtivo ?