Foros de matemática
28/07/2017, 10:03:08 am *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Renovado el procedimiento de inserción de archivos GEOGEBRA en los mensajes.
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: 0.999... = 1  (Leído 1533 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Samir M.
Physicsguy.
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 895

I'm back.


Ver Perfil
« : 06/02/2017, 11:13:52 am »

Sea [texx]a = 0.999 \dots[/texx]. Entonces [texx]a \leq 1[/texx]. Supongamos que [texx]a < 1[/texx]. Entonces [texx]1 - a > \epsilon[/texx] para algún [texx]\epsilon > 0[/texx]. Para este [texx]\epsilon[/texx] existe un [texx]n \in \mathbb{N}[/texx] tal que [texx]\epsilon > \dfrac{1}{10^n}[/texx]. Es decir, [texx]1-a > \dfrac{1}{10^n}[/texx]. Ahora formamos un [texx]b = 0.\underbrace{999 \dots}_{n+1}[/texx] donde la cantidad de nueves es [texx]n+1[/texx]. Es obvio que [texx]b < a[/texx]. Pero, por otro lado, [texx]1-b \leq \dfrac{1}{10^n}[/texx], es decir, [texx]b > a[/texx]. Contradicción. Por tanto, [texx]a = 1[/texx].
En línea

[texx]d\omega(X,Y) = X(\omega(Y))-Y(\omega(X))-\omega([X,Y])[/texx]
ilarrosa
Moderador Global
Pleno*
*

Karma: +0/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 954


Ver Perfil WWW
« Respuesta #1 : 06/02/2017, 11:39:07 am »

Este es un asunto que con frecuencia genera mucha polémica y sinceramente no entiendo por qué. Hay que partir de saber de que estamos hablando. Si se entiende lo que significa la representación decimal infinita de un número, no parece haber dudas.

Creo que estamos de acuerdo que 0.999... donde la cadenas de nueves no acaba, solo puede interpretarse como

[texx]0.999... = 0.9 + 0.09 + 0.009 + ... = 9\displaystyle\sum_{n=1}^\infty\frac{1}{10^n} = 9\frac{\frac{1}{10}}{1 - \frac{1}{10}}= 9\frac{1}{10 - 1} = 1[/texx]

Pero también está aquello de

[texx]\frac{1}{3}= 0.333....\Longrightarrow{}1 = 3·\frac{1}{3}= 0.999...[/texx]
En línea

Daría todo lo que se por la mitad de lo que ignoro (R. Descartes)
O incluso por mucho menos ...
mathtruco
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Chile Chile

Mensajes: 4.494

El gran profesor inspira


Ver Perfil
« Respuesta #2 : 06/02/2017, 12:06:26 pm »

Gracias Samir M. por compartir esta demostración, no la conocía.

Este es un asunto que con frecuencia genera mucha polémica y sinceramente no entiendo por qué.

Yo creo que la polémica viene de asumir que cada número tiene una única representación decimal, por lo que la duda me parece razonable y el resultado es uno de esos que hacen bang en la cabeza cuando uno recién lo advierte. Bueno, después uno se acostumbra a eso de las series (que la suma de infinitos numeros positivos converge, que es igualmente loco) y se hace natural.

Un hilo relacionado:    0,99999 o 1
En línea

Quien pregunta es ignorante durante un minuto; quien no pregunta, es ignorante durante toda su vida.
feriva
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 6.444



Ver Perfil
« Respuesta #3 : 06/02/2017, 12:13:55 pm »

Hola, Samir, al ver la cuestión en discusiones semi-públicas, ya imagino que la duda no es tuya (por eso y porque sabes muchas matemáticas) pero me gustaría hacer un comentario.

Una cosa sobre esto que he comentado más de una y más de dos veces en el foro: ¿nunca has considerado dividir en una base distinta de base 10? Es decir, la división a mano es un algoritmo en el que subdividimos cada unidad en diez partes; tenemos 1/3 y el primer paso empieza siendo añadir un cero detrás del 1 interpretando que tenemos ahora 10 (perdón, diez) subunidades. Ocurre que nuestra base se descompone en los primos 2*5 a la vez que tenemos un divisor primo que no es 2 ni 5; y la división no termina. Pero qué pasa aquí 1/5 ó aquí 1/2, que uno de los componentes de la base sí es divisible entre  2 y la divisibilidad encaja. Por esto precisamente todos los múltiplos de 2 y de 5 nunca dan un número periódico al ser divididos (cuando 2 ó 5 dividen a otros, perdón, que lo he dicho al revés) entre otro natural cualquiera (usando base 10, digo).

Basta hacer la división subdividiendo cada unidad en tres, en vez de en diez partes, y ese 10 querrá decir 3 subunidades, y el cociente no será un número periódico; será un número no entero que vendrá dado en base tres, pero la división se acabará y ese número será equivalente a 0,333... Vamos, no el número, el número es el mismo número racional, equivalente será la notación en su base.   

Saludos.
En línea

Samir M.
Physicsguy.
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 895

I'm back.


Ver Perfil
« Respuesta #4 : 06/02/2017, 01:22:52 pm »

Sí, ilarrosa. Es un camino directo. El problema es que a quien le mostraba la demostración no creo que tenga idea de series. Y concuerdo con mathtruco, para mí el problema es el mismo. Ese bang que comentas es de los que más gracia me hacen por cómo juegan con la intuición. Y pf, feriva, ya me entretuve mucho en bachillerato resolviendo problemas de olimpiadas, donde salían con mucha frecuencia problemas relacionados con los cambios de base numéricos. Es un buen ejercicio que todo estudiante de ciencias debería plantearse alguna vez.

Saludos.
En línea

[texx]d\omega(X,Y) = X(\omega(Y))-Y(\omega(X))-\omega([X,Y])[/texx]
mathtruco
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Chile Chile

Mensajes: 4.494

El gran profesor inspira


Ver Perfil
« Respuesta #5 : 06/02/2017, 02:49:54 pm »

El problema es que a quien le mostraba la demostración no creo que tenga idea de series.

Entonces una explicación más livianita (intuitiva) puede ser más apropiada:  sabiendo que entre dos reales hay infinitos de reales, pregúntale como escribiría un número entre [texx]0.\bar{9}[/texx] y [texx]1[/texx], por ejemplo, como escribiría en número que está justo en medio: [texx]0.\bar{9}\leq\dfrac{0.\bar{9}+1}{2}\leq 1[/texx].

Aunque es menos formal, me parece más fácil de digerir que los argumentos de "existe un [texx]\epsilon[/texx]...", pero todo dependerá de a quien se está intentando convencer.
En línea

Quien pregunta es ignorante durante un minuto; quien no pregunta, es ignorante durante toda su vida.
ilarrosa
Moderador Global
Pleno*
*

Karma: +0/-0
Conectado Conectado

Sexo: Masculino
España España

Mensajes: 954


Ver Perfil WWW
« Respuesta #6 : 06/02/2017, 03:32:47 pm »

Para personas con alguna formación matemática no debe haber dudas una vez aceptado lo que significa 0.999... Para personas sin ella, me parece que el argumento más contundente es el de 3 por 1/3, en dura competencia con este que expone  mathtruco.

Saludos,
En línea

Daría todo lo que se por la mitad de lo que ignoro (R. Descartes)
O incluso por mucho menos ...
sugata
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 1.390


Ver Perfil
« Respuesta #7 : 06/02/2017, 04:11:44 pm »

Para personas con alguna formación matemática no debe haber dudas una vez aceptado lo que significa 0.999... Para personas sin ella, me parece que el argumento más contundente es el de 3 por 1/3, en dura competencia con este que expone  mathtruco.

Saludos,

Totalmente de acuerdo.
En línea
Samir M.
Physicsguy.
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 895

I'm back.


Ver Perfil
« Respuesta #8 : 06/02/2017, 04:18:40 pm »

Algo de formación matemática sí que tiene, pero no lo entendió como bien habéis intuido :cara_de_queso: Confieso que me he quedado un poco atontado con el ejemplo de mathtruco; muy bueno!

Un saludo a todos y gracias por vuestros comentarios!
En línea

[texx]d\omega(X,Y) = X(\omega(Y))-Y(\omega(X))-\omega([X,Y])[/texx]
Juan Pablo
Moderador Global
Pleno*
*

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 3.913


Ver Perfil
« Respuesta #9 : 06/02/2017, 05:23:16 pm »

Aunque  ha salido unas cuantas veces (otra alternativa):

[texx]x = 0.99999999 \cdots = 0.\hat{9}[/texx] entonces [texx]10 \cdot x = 9.\hat{9} [/texx] queda:

[texx]9 \cdot x = 10 \cdot x - x = 9[/texx]

Editado

Este hilo también puede ayudar :

http://rinconmatematico.com/foros/index.php?topic=78716.0


En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.1 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!