Estou iniciando meus estudos em provas e demonstrações, caso tenham indicações de livros ou textos ficaria grato.
Utilizando o Princípio da Boa Ordenação demonstrar porque para todo [tex3]m, n \in \mathbb{Z}[/tex3] temos [tex3]m<n\Leftrightarrow m+1\leq n[/tex3]
Considerei provar por contradição e defini o conjunto A = {[tex3]m, n \in \mathbb{Z} \mid m>n\rightarrow m+1\leq n[/tex3]} , desta forma a existência do conjunto A invalida a proposição.
O conjunto A tem assim um menor elemento, a saber [tex3]m_0[/tex3], que pertence a ele. Porem isso implica:
[tex3]m_0+1\leq n <m_0\rightarrow m_0+1-m_0\leq n-m_0 <m_0-m_0\rightarrow 1\leq n-m_0 <0[/tex3]
O que seria um absurdo, o que me levou a concluir que [tex3]A= \emptyset[/tex3], provando a definição (pensando na implicação inversa chegaria ao mesmo resultado).
Caso alguém possa avaliar se meu raciocínio esta correto, assim como a demonstração.
Agradeço a atenção.
Ensino Superior ⇒ Demonstração Teorema - Propriedade entre inteiros - PBO
Jul 2016
11
13:42
Demonstração Teorema - Propriedade entre inteiros - PBO
Editado pela última vez por Schuler8 em 11 Jul 2016, 13:42, em um total de 1 vez.
-
- Tópicos Semelhantes
- Resp.
- Exibições
- Últ. msg
-
- 0 Resp.
- 2259 Exibições
-
Últ. msg por Tassandro
-
- 1 Resp.
- 2674 Exibições
-
Últ. msg por Karl Weierstrass
-
- 1 Resp.
- 122 Exibições
-
Últ. msg por Juniorhw
-
-
(Olimpíada do Ceará - 90) Demonstração de propriedade da fração
por Auto Excluído (ID:20808) » » em Olimpíadas - 2 Resp.
- 1495 Exibições
-
Últ. msg por Ittalo25
-
-
-
(Olimpíada do Pará - 2004) Demonstração de propriedade da fração
por Auto Excluído (ID:20808) » » em Olimpíadas - 1 Resp.
- 1336 Exibições
-
Últ. msg por Winston
-
![🔴 [ENEM 2025 PPL Live 05] Matemática - Resolução de 156 até 160](/cdn-cgi/image/width=200,dpr=2,quality=85,format=auto,metadata=none,onerror=redirect/https://img.youtube.com/vi/m2T1rBKy2qU/mqdefault.jpg)
![🔴 [ENEM 2025 PPL Live 04] Matemática - Resolução de 151 até 155](/cdn-cgi/image/width=200,dpr=2,quality=85,format=auto,metadata=none,onerror=redirect/https://img.youtube.com/vi/1scCX1e_dZo/mqdefault.jpg)
![🔴 [ENEM 2025 PPL Live 03] Matemática - Resolução de 146 até 150](/cdn-cgi/image/width=200,dpr=2,quality=85,format=auto,metadata=none,onerror=redirect/https://img.youtube.com/vi/fD8ohgS6JKo/mqdefault.jpg)
![🔴 [ENEM 2025 PPL Live 02] Matemática - Resolução de 141 até 145](/cdn-cgi/image/width=200,dpr=2,quality=85,format=auto,metadata=none,onerror=redirect/https://img.youtube.com/vi/np7jAEKAjTE/mqdefault.jpg)
![🔴 [ENEM 2025 PPL Live 01] Matemática - Resolução de 136 até 140](/cdn-cgi/image/width=200,dpr=2,quality=85,format=auto,metadata=none,onerror=redirect/https://img.youtube.com/vi/vb1b6e7VXjw/mqdefault.jpg)
![🔴 [ENEM 2025 Belém Live 09] Matemática - Resolução de 176 até 180](/cdn-cgi/image/width=200,dpr=2,quality=85,format=auto,metadata=none,onerror=redirect/https://img.youtube.com/vi/krrZ-ei9zSY/mqdefault.jpg)