Mudanças entre as edições de "Teorema de que números inteiros positivos são interessantes"
(Valeu pela prévia, Hug, mas esta é a versão original, com toda sua elegância (i.e., fazer com que menos pessoas entendam)) |
|||
Linha 1: | Linha 1: | ||
''Teorema'': '''Todo número inteiro positivo é interessante.''' | ''Teorema'': '''Todo número inteiro positivo é interessante.''' | ||
− | ''Prova'': | + | ''Prova'': |
+ | |||
+ | Vamos supor por absurdo que exista um número inteiro positivo que não seja interessante. | ||
+ | |||
+ | Seja A := { x | x é um número inteiro positivo que não é interessante } | ||
+ | |||
+ | Como estamos supondo que o conjunto A é não vazio, então, pelo princípio da boa ordenação, deve haver um número m <math>\in</math> A que seja o mínimo de A, isto é, o menor inteiro positivo que não é interessante. | ||
+ | |||
+ | Porém, ser o mínimo elemento de um conjunto é algo interessante. Assim, m é interessante, pertencendo ao conjunto dos números não interessantes. ABSURDO. Logo, o conjunto A é vazio. | ||
+ | |||
+ | Portanto, todo número inteiro positivo é interessante, como queríamos demonstrar. |
Edição das 05h05min de 16 de julho de 2008
Teorema: Todo número inteiro positivo é interessante.
Prova:
Vamos supor por absurdo que exista um número inteiro positivo que não seja interessante.
Seja A := { x | x é um número inteiro positivo que não é interessante }
Como estamos supondo que o conjunto A é não vazio, então, pelo princípio da boa ordenação, deve haver um número m Falhou ao verificar gramática (MathML com retorno SVG ou PNG (recomendado para navegadores modernos e ferramentas de acessibilidade): Resposta inválida ("Math extension cannot connect to Restbase.") do servidor "https://wikimedia.org/api/rest_v1/":): {\displaystyle \in} A que seja o mínimo de A, isto é, o menor inteiro positivo que não é interessante.
Porém, ser o mínimo elemento de um conjunto é algo interessante. Assim, m é interessante, pertencendo ao conjunto dos números não interessantes. ABSURDO. Logo, o conjunto A é vazio.
Portanto, todo número inteiro positivo é interessante, como queríamos demonstrar.