Conteúdo
Enunciado. Mostre que, se
e
são racionais e
, então existe um racional
tal que
.
Esta é a propriedade que se chama densidade de
: entre dois racionais quaisquer, por mais próximos que estejam, sempre cabe outro. E, repetindo o argumento, cabem infinitos.
Preparação. Escrevemos os dois como fração, com denominadores positivos:
![]()
Da hipótese
, multiplicando cruzado (o que preserva a desigualdade, já que
):
![]()
O candidato. Tomamos a média aritmética dos dois:
![]()
Ele é racional, porque numerador e denominador são inteiros e
. Falta mostrar que ele fica no meio.
Primeiro:
.
![]()
Como
, o numerador é negativo; como
, o denominador é positivo. Logo
, ou seja,
.
Depois:
.
![]()
Deu a mesma expressão, que já sabemos ser negativa. Logo
.
Conclusão. Existe
racional com
, como queríamos demonstrar. ![]()
Vale notar: nada impede repetir o argumento com
e
, depois com
e o novo, e assim por diante. Entre dois racionais há infinitos racionais — e é por isso que não faz sentido falar em “próximo racional depois de
”, ao contrário do que acontece com os inteiros.
Ainda não é membro? Registrar agora
Já se cadastrou? Fala login
Me conte qual é o erro e eu corrijo. Escreva para contato@estudoemserie.com.br, citando o exercício — ou use um dos atalhos abaixo, que já vão preenchidos.