''Se n é um número natural, entre n e 2n existe sempre pelo menos um primo.''
Eu consegui demonstrar isso fragmentando a demonstração em 2 partes:
* Se n não é primo (tenho certeza de que está certo)
* Se n é primo (tenho dúvidas a respeito da veracidade dessa parte)
A demonstração é assim:
Dentre os números naturais, podem haver números que satisfazem e que não satisfazem a proposição. Mas sabemos que , dentre os que não satisfazem, existe um que foi o primeiro de todos a não satisfazer. Vamos supor que esse número é n e que ele não seja primo.
Como ele é o primeiro, sabemos que (por hipótese) entre n e 2n não há primos. No entanto isso acarreta em um absurdo, pois o seu antecessor (n - 1) possui entre ele e 2(n - 1), apenas alguns números entre n e 2n e o próprio n que não é primo.
Daí ele passa a ser o primeiro. Esse absurdo prova a primeira parte.
Vamos supor que o primeiro de todos a não satisfazer a proposição seja o n-ésimo primo, ou seja, entre
e 
não existe um primo. Podemos, com isso, afirmar duas coisas:
(óbvia)
(O próximo primo está fora do intervalo)Subtraíndo a primeira inequação da segunda, vemos o absurdo:
A questão é que eu não tenho certeza quanto á veracidade da segunda proposição. Além disso, pode-se ver claramente que a demonstração depende das duas demonstrações. Está correto ??
![{(0,05)}^{-\frac{1}{2}}=\frac{10}{\sqrt[5]}](/latexrender/pictures/19807748a214d3361336324f3e43ea9a.png "{(0,05)}^{-\frac{1}{2}}=\frac{10}{\sqrt[5]}")
![{(0,05)}^{-\frac{1}{2}}=\frac{10}{\sqrt[2]{5}}](/latexrender/pictures/3d7908e5b4e397bf635b6546063d9130.png "{(0,05)}^{-\frac{1}{2}}=\frac{10}{\sqrt[2]{5}}")
, ou seja, 1 dividido por 20 é igual a 0.05 . Sendo assim, a função final é igual a vinte elevado à meio. ![{0,05}^{-\frac{1}{2}} = {\frac{1}{20}}^{-\frac{1}{2}} = {\frac{20}{1}}^{\frac{1}{2}} = \sqrt[2]{20}](/latexrender/pictures/c0100c6f4d8bdbb7d54165e6be7aff04.png "{0,05}^{-\frac{1}{2}} = {\frac{1}{20}}^{-\frac{1}{2}} = {\frac{20}{1}}^{\frac{1}{2}} = \sqrt[2]{20}")
da seguinte forma:
.
da seguinte forma:
.