No. Try not. Do... or do not. There is no try. - Master Yoda, The Empire Strikes Back (1980)

Tamanho: px
Começar a partir da página:

Download "No. Try not. Do... or do not. There is no try. - Master Yoda, The Empire Strikes Back (1980)"

Transcrição

1 Cálculo Infinitesimal I V Marco Cabral Graduação em Matemática Aplicada - UFRJ Monitor: Lucas Porto de Almeida Lista A - Introdução à matemática No. Try not. Do... or do not. There is no try. - Master Yoda, The Empire Strikes Back (1980) Considerações iniciais: Na matemática, um Axioma é uma hipótese inicial da qual outros enunciados são logicamente derivados. Diferentemente de teoremas, axiomas não podem ser derivados por princípios de dedução e nem são demonstráveis por derivações formais, simplesmente porque eles são hipóteses iniciais. Partindo dos Axiomas, toda a teoria é desenvolvida e os resultados obtidos em sequência, podem (e devem) ser utilizados para que outros teoremas sejam provados. Os teoremas podem ser deduzidos por uma sequência de raciocínios lógicos, a qual chamamos de demonstração. Os tipos mais usados são: Demonstração direta A demonstração direta é aquela em que partindo da hipótese inicial, através de uma série de argumentos verdadeiros e deduções lógicas, concluímos a veracidade da tese. Demonstração por contraposição A contrapositiva de A implica em B é não-b implica em não-a e, pela lógica, são equivalentes. Provar uma é o mesmo que provar a outra. Por exemplo, Se como laranjas, então gosto de frutas. é equivalente a Se não gosto de frutas, então não como laranjas. Pense nisto! Demonstração por contradição O método da demonstração por contradição consiste em

2 supor que o que se quer concluir é falso. Desta suposição, através de uma sequência de deduções lógicas, chegarmos a uma conclusão que contradiz suas hipóteses iniciais ou a um fato que é sabidamente falso. Essa contradição implica a validade do que se queria concluir. Por exemplo. Queremos provar que A é verdadeiro. Suponha que A é falso e deduza desta hipótese que 2 = 3. Isto implica que A é verdadeiro. A razão lógica disto é o princípio do terceiro excluido: ou A é verdadeiro, ou A é falso. Se A falso implicar em algo absurdo, então A é verdadeiro. Na realidade, o porquê desses métodos de demonstração funcionarem também é um teorema, que pertence a uma área que fundamenta a Matemática, a Lógica. Estranho não? Independentemente do método usado, lembre-se de sempre escrever todos os seus passos. Procure ser claro e não omita informações ainda que pareçam irrelevantes. 1. Demonstração direta Vamos ilustrar demonstração direta provando propriedades de conjuntos. Deve-se ter em mente que nem sempre os resultados que julgaremos serem fáceis (ou intuitivos), possuem uma demonstração fácil. Começamos definindo igualdade de conjuntos através do conceito de estar contido. Definição 1 Dados conjuntos A e B dizemos que A B se para todo a A, a B. Definição 2 Dados conjuntos A e B dizemos que A = B se A B e B A. Logicamente (verifique!), A = B se, e somente se, todos os elementos do conjunto A são elementos de B, e todos os elementos de B são elementos de A.

3 Exemplo 1 Sejam A e B dois conjuntos tais que B A. Então A B = A. Prova: Se x A B, então x A ou x B. Como B A, então temos que x B x A. Logo, para todo x A B x A, ou seja, A B A. Mas para todo x A, é fato que x A B, logo A A B. Assim, concluí-se que se B A, então A B = A. Note que ficou faltando definir união de conjuntos. Além disso, na definição de A B, faltou definir a A. Mas, na teoria dos conjuntos, a noção de pertence é similar a ponto e reta na fundamentação da geometria, é um termo primitivo, sem definição. Uma referência clássica é Teoria Ingênua dos Conjuntos (Naive Set Theory) P. Halmos. Seguem como exercício problemas que podem ser resolvidos por demonstração direta. Exercício 1 (a) Mostre que, dados os conjuntos A, B e C, tem-se: A (B C) = (A B) (A C). Exercício 1 (b) Mostre que A (B C) = (A B) (A C). Exercício 1 (c) Mostre que se A B, então, B (A C) = (B C) A, para qualquer conjunto C. 2. Demonstração por Contraposição e Contradição Vamos ilustrar estes tipos de demonstração provando que 2 é um número irracional. Para isso vamos provar primeiramente um resultado que será útil durante a demonstração principal. Em geral, quando provamos um resultado para usá-lo em outra demonstração, damos a ele o nome de Lema. Assim, resultado principal é Teorema, acessório, Lema. Existe também o termo Proposição, que é similar a Teorema. Assim o

4 que é Teorema ou Proposição em algum texto, pode ser Lema em outro, dependendo do objetivo a que se quer chegar. (a) Exemplo de Demonstração por contraposição Lema 1 Se a 2 é par, então a é par. Prova: Vamos utilizar a contraposição para demonstrar isso. Ou seja, iremos provar que se a não é par, então a 2 não é par. Pela princípio da paridade, se um número inteiro não é par, então é ímpar. Logo, iremos provar que se a é ímpar, então a 2 é ímpar. Se a é ímpar, então pode ser escrito da forma a = 2p + 1 para algum p N. Logo, a 2 = (2p + 1) 2 = (2p + 1)(2p + 1) = 4p 2 + 4p + 1 = 2(2p 2 + 2p) + 1 = 2q + 1 com q = 2p 2 + 2p, que é um número ímpar, como queríamos demonstrar. (b) Exemplo de Demonstração por contradição Utilizando o Lema 1 provamos que 2 é irracional pelo o método da contradição. Prova: Suponha, por contradição, que 2 não é irracional, isto é, suponha que 2 é racional. Então, 2 = a/b, com a, b Q. Por definição 2 > 0 (veja exercício abaixo), logo podemos supor que a, b > 0. Além disso, podemos supor que mdc(a, b) = 1 (exercício). Logo, b 2 = a Elevando ambos os lados ao quadrado, 2b 2 = a 2

5 Portanto, a 2 é múltiplo de 2 (=par). Pelo Lema 1, temos que a é par e com isso podemos escrever a = 2k com k N. Substituindo na equação acima, teremos 2b 2 = (2k) 2 = 4k 2 Logo, b 2 = 2k 2. Assim, pelo Lema 1 novamente, b é múltiplo de 2. Mas se a e b são múltiplos de 2, então mdc(a, b) 1, o que contradiz uma de nossas hipóteses. Logo 2 é irracional. Seguem como exercício problemas que podem ser resolvidos utilizando a técnica da demonstração por contradição. Exercício 2 (a) Mostre que p, onde p é um número primo, também é irracional. Exercício 2 (b) Generalize o argumento acima para n p onde p é um número primo e n N. Exercício 2 (c) Agora mostre que n p m onde p é um número primo e m, n N, com mdc(m, n) = 1, também é irracional. Exercício 2 (d) Você sabe que existem infinitos números primos. Mas já parou para pensar sobre como demonstrar isso? Então, vamos lá. Suponha que o conjunto P dos primos é finito: P = {p 1,..., p n }. Então, tome K = p 1 p 2... p n + 1 e chegue a uma contradição. Dica: Mostre que K não é divisível por nenhum p i. Observação: A generalização disso para qualquer progressão kn + p com mdc(k, p) = 1 é o chamado Teorema de Dirichlet, porém a demonstração é surpreendentemente difícil.

6 3. Indução Finita Imagine uma fileira com infinitos dominós, um atrás do outro. Suponha que eles estejam de tal modo distribuídos que, uma vez que um dominó caia, o seu sucessor também cai. O que acontece quando derrubamos o primeiro dominó? Esperamos que, com isso, mesmo que sejam infinitos, todos os dominós caiam. Assim é o princípio da indução finita, que é um método de demonstração muito utilizado quando se quer provar teoremas válidos para todos números naturais. Teorema 1 (Ou axioma?) Para cada n N, seja P (n) uma propriedade sobre n. Suponha que (a) P (1) é verdade. (b) Para todo k N, se P (k) é verdade, então P (k + 1) é verdade. Então, P (n) é verdade para todo n N. Exemplo 2 Vamos provar usando indução que: Seja p um primo e n um inteiro positivo. Então n p n é um múltiplo de p. Esse resultado é conhecido como Pequeno Teorema de Fermat. Prova: O caso n = 1 é óbvio. Então, assumamos que a afirmação vale para todo k n e vamos mosrar que isso implica a validade para o caso n + 1. Veja que (n + 1) p (n + 1) = n p + = n p n + n ( ) p [ n j ] + 1 n 1 i i=1 n i=1 ( ) p n j i

7 Como ( p i) n j é múltiplo de p quando 1 j p 1 e como pela nossa hipótese de indução n p n também é múltiplo de p, concluímos então que (n + 1) p (n + 1) é múltiplo de p, logo, o teorema é válido n N. Exercício 3 (a) Mostre, utilizando indução, que n = n(n+1) 2. Exercício 3 (b) Mostre, utilizando indução, que n 2 = n(n+1)(2n+1) 6. Exercício 3 (c) Mostre, utilizando indução, que n 3 = [ n(n+1) 2 ] 2. Exercício 3 (d) Quanto vale 1 k + 2 k + 3 k n k? É possível dar uma fórmula fechada para essa expressão para todo k N? 4. Mais Além Em matemática, patologias são resultados que de certa maneira vão de encontro às idéias intuitivas, matematicamente falando, de um certo período da história. Um exemplo é a descoberta de que existem números irracionais na Grécia antiga. Parece bobo nos dias de hoje, mas na época foi algo que deixou os matemáticos bastante assustados. Nas questões abaixo, pesquise na internet ou em livros os assuntos e tente escrever sobre eles com suas próprias palavras, com base na sua intuição sobre o que entendeu. Exercício 4 (a) Se um hotel possui infinitos quartos, mas todos estão cheios, é possível esse hotel receber mais hóspedes? Pesquise sobre o Hotel de Hilbert. O livro de Análise de C. Neri e M. Cabral (veja na internet) tem um texto legal sobre isso.

8 Exercício 4 (b) Todas as pessoas do mundo torcem para o mesmo time. Vamos demonstrar isso por indução. Podemos observar que num conjunto que contém uma única pessoa, todas torcem pro mesmo time. Se supusermos que a proposição é verdadeira para todos os conjuntos de dimensão inferior ou igual a n, então se houver n + 1 pessoas num conjunto, retiramos uma delas para obter um conjunto resultante com n pessoas, e pela hipótese de indução, todas as pessoas nesse conjunto torcem pro mesmo time. Devolvemos a pessoa retirada ao conjunto inicial, e retiramos outra diferente. Pela hipótese de indução, todas as n pessoas torcem pro mesmo time. Logo as n + 1 pessoas torcem pro mesmo time. Então para qualquer n N, as n pessoas torcem para o mesmo time. E agora? Isso está errado? E se estiver, onde está o erro? As pessoas, em geral, pensam que a matemática é algo completamente certinho e exato, onde tudo sempre funciona e faz perfeito sentido. Bom, você acaba de ver que elas estão completamente enganadas, e que, mesmo nos dias de hoje, ainda existem diversas coisas que deixam o mundo matemático bastante intrigado.

Denição 1 Dados conjuntos A e B dizemos que A B se para todo a A, a B. Denição 2 Dados conjuntos A e B dizemos que A = B se A B e B A.

Denição 1 Dados conjuntos A e B dizemos que A B se para todo a A, a B. Denição 2 Dados conjuntos A e B dizemos que A = B se A B e B A. Cálculo Innitesimal I - 2015/01 - Marco Cabral Graduação em Matemática Aplicada - UFRJ Monitores: Zair Henrique & Jonathas Ferreira Lista 01 - Introdução à matemática No. Try not. Do... or do not. There

Leia mais

Bases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas.

Bases Matemáticas. Como o Conhecimento Matemático é Construído. Aula 2 Métodos de Demonstração. Rodrigo Hausen. Definições Axiomas. 1 Bases Matemáticas Aula 2 Métodos de Demonstração Rodrigo Hausen v. 2012-9-21 1/15 Como o Conhecimento Matemático é Construído 2 Definições Axiomas Demonstrações Teoremas Demonstração: prova de que um

Leia mais

Cálculo I /01 - Marco Cabral Graduação em Matemática Aplicada - UFRJ Monitores: Gabriel Sanfins & Raphael Lourenço

Cálculo I /01 - Marco Cabral Graduação em Matemática Aplicada - UFRJ Monitores: Gabriel Sanfins & Raphael Lourenço Cálculo I - 01/01 - Marco Cabral Graduação em Matemática Aplicada - UFRJ Monitores: Gabriel Sanfins & Raphael Lourenço Lista 01 - Introdução à Matemática The curiosity and knowledge production in man often

Leia mais

Matemática Discreta - 04

Matemática Discreta - 04 Universidade Federal do Vale do São Francisco Curso de Engenharia da Computação Matemática Discreta - 04 Prof. Jorge Cavalcanti jorge.cavalcanti@univasf.edu.br www.univasf.edu.br/~jorge.cavalcanti www.twitter.com/jorgecav

Leia mais

Técnicas de Demonstração. Raquel de Souza Francisco Bravo 17 de novembro de 2016

Técnicas de Demonstração. Raquel de Souza Francisco Bravo   17 de novembro de 2016 Técnicas de Demonstração e-mail: raquel@ic.uff.br 17 de novembro de 2016 Técnicas de Demonstração O que é uma demonstração? É a maneira pela qual uma proposição é validada através de argumentos formais.

Leia mais

Análise de Algoritmos

Análise de Algoritmos Análise de Algoritmos Técnicas de Prova Profa. Sheila Morais de Almeida DAINF-UTFPR-PG julho - 2015 Técnicas de Prova Definição Uma prova é um argumento válido que mostra a veracidade de um enunciado matemático.

Leia mais

n. 18 ALGUNS TERMOS...

n. 18 ALGUNS TERMOS... n. 18 ALGUNS TERMOS... DEFINIÇÃO Uma Definição é um enunciado que descreve o significado de um termo. Por exemplo, a definição de linha, segundo Euclides: Linha é o que tem comprimento e não tem largura.

Leia mais

Referências e materiais complementares desse tópico

Referências e materiais complementares desse tópico Notas de aula: Análise de Algoritmos Centro de Matemática, Computação e Cognição Universidade Federal do ABC Profa. Carla Negri Lintzmayer Conceitos matemáticos e técnicas de prova (Última atualização:

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/26 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)

Leia mais

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22

Introdução ao Curso. Área de Teoria DCC/UFMG 2019/01. Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG /01 1 / 22 Introdução ao Curso Área de Teoria DCC/UFMG Introdução à Lógica Computacional 2019/01 Introdução à Lógica Computacional Introdução ao Curso Área de Teoria DCC/UFMG - 2019/01 1 / 22 Introdução: O que é

Leia mais

Análise I Solução da 1ª Lista de Exercícios

Análise I Solução da 1ª Lista de Exercícios FUNDAÇÃO EDUCACIONAL SERRA DOS ÓRGÃOS CENTRO UNIVERSITÁRIO SERRA DOS ÓRGÃOS Centro de Ciências e Tecnologia Curso de Graduação em Matemática Análise I 0- Solução da ª Lista de Eercícios. ATENÇÃO: O enunciado

Leia mais

n. 20 INDUÇÃO MATEMÁTICA

n. 20 INDUÇÃO MATEMÁTICA n. 20 INDUÇÃO MATEMÁTICA Imagine uma fila com infinitos dominós, um atrás do outro. Suponha que eles estejam de tal modo distribuídos que, uma vez que um dominó caia, o seu sucessor na fila também cai.

Leia mais

Semana 3 MCTB J Donadelli. 1 Técnicas de provas. Demonstração indireta de implicação. indireta de. Demonstração por vacuidade e trivial

Semana 3 MCTB J Donadelli. 1 Técnicas de provas. Demonstração indireta de implicação. indireta de. Demonstração por vacuidade e trivial Semana 3 por de por de 1 indireta por de por de Teoremas resultados importantes, Os rótulos por de por de Teoremas resultados importantes, Os rótulos Proposições um pouco menos importantes, por de por

Leia mais

1 Conjuntos, Números e Demonstrações

1 Conjuntos, Números e Demonstrações 1 Conjuntos, Números e Demonstrações Definição 1. Um conjunto é qualquer coleção bem especificada de elementos. Para qualquer conjunto A, escrevemos a A para indicar que a é um elemento de A e a / A para

Leia mais

Gabarito da lista de Exercícios sobre Técnicas de Demonstração

Gabarito da lista de Exercícios sobre Técnicas de Demonstração Universidade Federal Fluminense Curso: Sistemas de Informação Disciplina: Fundamentos Matemáticos para Computação Professora: Raquel Bravo Gabarito da lista de Exercícios sobre Técnicas de Demonstração

Leia mais

Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização

Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização Dedução Indução Contra-exemplos Contradição Contrapositiva Construção Diagonalização 1 Provas, lemas, teoremas e corolários Uma prova é um argumento lógico de que uma afirmação é verdadeira Um teorema

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/81 1 - LÓGICA E MÉTODOS DE PROVA 1.1) Lógica Proposicional

Leia mais

Lógica Matemática 1. Semana 7, 8 e 9. Material Previsto para três semanas

Lógica Matemática 1. Semana 7, 8 e 9. Material Previsto para três semanas Lógica Matemática 1 Semana 7, 8 e 9. Professor Luiz Claudio Pereira Departamento Acadêmico de Matemática Universidade Tecnológica Federal do Paraná Material Previsto para três semanas Implicação e equivalência

Leia mais

Aula 1: Introdução ao curso

Aula 1: Introdução ao curso Aula 1: Introdução ao curso MCTA027-17 - Teoria dos Grafos Profa. Carla Negri Lintzmayer carla.negri@ufabc.edu.br Centro de Matemática, Computação e Cognição Universidade Federal do ABC 1 Grafos Grafos

Leia mais

Unidade 1 - Elementos de Lógica e Linguagem Matemáticas. Exemplo. O significado das palavras. Matemática Básica linguagem do cotidiano

Unidade 1 - Elementos de Lógica e Linguagem Matemáticas. Exemplo. O significado das palavras. Matemática Básica linguagem do cotidiano A Pirâmide de aprendizagem de William Glasser Unidade 1 - Elementos de Lógica e Linguagem Matemáticas Matemática Básica Departamento de Matemática Aplicada Universidade Federal Fluminense 2018.1 Segundo

Leia mais

Para Computação. Aula de Monitoria - Miniprova

Para Computação. Aula de Monitoria - Miniprova Para Computação Aula de Monitoria - Miniprova 1 2013.1 Roteiro Provas e Proposições Conjuntos Provas e Proposições Proposição - Sentença que ou é verdadeira ou é falsa. ex: Hoje é sábado. -> É uma proposição.

Leia mais

OS DIFERENTES TIPOS DE DEMONSTRAÇÕES: UMA REFLEXÃO PARA OS CURSOS DE LICENCIATURA EM MATEMÁTICA

OS DIFERENTES TIPOS DE DEMONSTRAÇÕES: UMA REFLEXÃO PARA OS CURSOS DE LICENCIATURA EM MATEMÁTICA Revista da Educação Matemática da UFOP, Vol I, 2011 - XI Semana da Matemática e III Semana da Estatística, 2011 ISSN 2237-809X OS DIFERENTES TIPOS DE DEMONSTRAÇÕES: UMA REFLEXÃO PARA OS CURSOS DE LICENCIATURA

Leia mais

Demonstrações Matemáticas Parte 2

Demonstrações Matemáticas Parte 2 Demonstrações Matemáticas Parte 2 Nessa aula, veremos aquele que, talvez, é o mais importante método de demonstração: a prova por redução ao absurdo. Também veremos um método bastante simples para desprovar

Leia mais

Introdução aos Métodos de Prova

Introdução aos Métodos de Prova Introdução aos Métodos de Prova Renata de Freitas e Petrucio Viana IME-UFF, Niterói/RJ II Colóquio de Matemática da Região Sul UEL, Londrina/PR 24 a 28 de abril 2012 Sumário Provas servem, principalmente,

Leia mais

Lista 2 - Bases Matemáticas

Lista 2 - Bases Matemáticas Lista 2 - Bases Matemáticas (Última versão: 14/6/2017-21:00) Elementos de Lógica e Linguagem Matemática Parte I 1 Atribua valores verdades as seguintes proposições: a) 5 é primo e 4 é ímpar. b) 5 é primo

Leia mais

Uma curiosa propriedade com inteiros positivos

Uma curiosa propriedade com inteiros positivos Uma curiosa propriedade com inteiros positivos Fernando Neres de Oliveira 21 de junho de 2015 Resumo Neste trabalho iremos provar uma curiosa propriedade para listas de inteiros positivos da forma 1, 2,...,

Leia mais

Lista 1 - Bases Matemáticas

Lista 1 - Bases Matemáticas Lista 1 - Bases Matemáticas Elementos de Lógica e Linguagem Matemática Parte I 1 Atribua valores verdades as seguintes proposições: a) 5 é primo e 4 é ímpar. b) 5 é primo ou 4 é ímpar. c) (Não é verdade

Leia mais

a = bq + r e 0 r < b.

a = bq + r e 0 r < b. 1 Aritmética dos Inteiros 1.1 Lema da Divisão e o Algoritmo de Euclides Recorde-se que a, o módulo ou valor absoluto de a, designa a se a N a = a se a / N Dados a, b, c Z denotamos por a b : a divide b

Leia mais

Introdução à Lógica Matemática

Introdução à Lógica Matemática Introdução à Lógica Matemática Disciplina fundamental sobre a qual se fundamenta a Matemática Uma linguagem matemática Paradoxos 1) Paradoxo do mentiroso (A) Esta frase é falsa. A sentença (A) é verdadeira

Leia mais

Apresentação do curso

Apresentação do curso Folha 1 Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica

Leia mais

MA21: Resolução de Problemas - gabarito da primeira prova

MA21: Resolução de Problemas - gabarito da primeira prova MA21: Resolução de Problemas - gabarito da primeira prova Problema 1 (2 pontos) Prove que a maior área dentre todos os retângulos de perímetro 1 é atingida por um quadrado. Dificuldade: MUITO FÁCIL Sejam

Leia mais

Afirmações Matemáticas

Afirmações Matemáticas Afirmações Matemáticas Na aula passada, vimos que o objetivo desta disciplina é estudar estruturas matemáticas, afirmações sobre elas e como provar essas afirmações. Já falamos das estruturas principais,

Leia mais

1. Métodos de prova: Construção; Contradição.

1. Métodos de prova: Construção; Contradição. Universidade Estadual de Santa Cruz Departamento de Ciências Exatas e Tecnológicas Bacharelado em Ciência da Computação Fundamentos Matemáticos para Computação 1. Métodos de prova: Construção; Contradição.

Leia mais

Os números inteiros. Álgebra (Curso de CC) Ano lectivo 2005/ / 51

Os números inteiros. Álgebra (Curso de CC) Ano lectivo 2005/ / 51 Os números inteiros Abordaremos algumas propriedades dos números inteiros, sendo de destacar o Algoritmo da Divisão e o Teorema Fundamental da Aritmética. Falaremos de algumas aplicações como sejam a detecção

Leia mais

Os números primos de Fermat complementam os nossos números primos, vejamos: Fórmula Geral P = 2 = 5 = 13 = 17 = 29 = 37 = 41 = Fórmula Geral

Os números primos de Fermat complementam os nossos números primos, vejamos: Fórmula Geral P = 2 = 5 = 13 = 17 = 29 = 37 = 41 = Fórmula Geral Os números primos de Fermat complementam os nossos números primos, vejamos: Fórmula Geral P = 2 = 5 = 13 = 17 = 29 = 37 = 41 = Fórmula Geral 4 4 13 + 1 = 53 Em que temos a fórmula geral: Exatamente um

Leia mais

Um pouco da linguagem matemática

Um pouco da linguagem matemática Um pouco da linguagem matemática Laura Goulart UESB 3 de Julho de 2018 Laura Goulart (UESB) Um pouco da linguagem matemática 3 de Julho de 2018 1 / 14 Vocabulário matemático Laura Goulart (UESB) Um pouco

Leia mais

19 AULA. Princípio da Boa Ordem LIVRO. META Introduzir o princípio da boa ordem nos números naturais e algumas de suas conseqüências.

19 AULA. Princípio da Boa Ordem LIVRO. META Introduzir o princípio da boa ordem nos números naturais e algumas de suas conseqüências. LIVRO Princípio da Boa Ordem META Introduzir o princípio da boa ordem nos números naturais e algumas de suas conseqüências. OBJETIVOS Ao fim da aula os alunos deverão ser capazes de: Aplicar o princípio

Leia mais

Os números naturais. Capítulo Operações em N

Os números naturais. Capítulo Operações em N Capítulo 1 Os números naturais O conjunto dos números naturais, denotado por N, é aquele composto pelos números usados para contar. Na verdade, o mais correto seria dizer que é o conjunto dos números usados

Leia mais

Cálculo Diferencial e Integral I

Cálculo Diferencial e Integral I Cálculo Diferencial e Integral I Texto de apoio às aulas. Amélia Bastos, António Bravo Dezembro 2010 Capítulo 1 Números reais As propriedades do conjunto dos números reais têm por base um conjunto restrito

Leia mais

Seminário Semanal de Álgebra. Técnicas de Demonstração

Seminário Semanal de Álgebra. Técnicas de Demonstração UNIVERSIDADE FEDERAL DE GOIÁS CÂMPUS CATALÃO Seminário Semanal de Álgebra Técnicas de Demonstração Catalão, 26/11/2013. Universidade Federal de Goiás Campus Catalão Seminário Semanal de Álgebra Orientador:

Leia mais

1 Congruências e aritmética modular

1 Congruências e aritmética modular 1 Congruências e aritmética modular Vamos considerar alguns exemplos de problemas sobre números inteiros como motivação para o que se segue. 1. O que podemos dizer sobre a imagem da função f : Z Z, f(x)

Leia mais

Lógica Computacional. Métodos de Inferência. Passos de Inferência. Raciocínio por Casos. Raciocínio por Absurdo. 1 Outubro 2015 Lógica Computacional 1

Lógica Computacional. Métodos de Inferência. Passos de Inferência. Raciocínio por Casos. Raciocínio por Absurdo. 1 Outubro 2015 Lógica Computacional 1 Lógica Computacional Métodos de Inferência Passos de Inferência Raciocínio por Casos Raciocínio por Absurdo 1 Outubro 2015 Lógica Computacional 1 Inferência e Passos de Inferência - A partir de um conjunto

Leia mais

MA14 - Aritmética Unidade 3. Divisão nos Inteiros (Divisibilidade)

MA14 - Aritmética Unidade 3. Divisão nos Inteiros (Divisibilidade) MA14 - Aritmética Unidade 3 Divisão nos Inteiros (Divisibilidade) Abramo Hefez PROFMAT - SBM Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio

Leia mais

MA12 - Unidade 2 Indução Matemática Semana de 04/04 a 10/04

MA12 - Unidade 2 Indução Matemática Semana de 04/04 a 10/04 MA - Unidade Indução Matemática Semana de 04/04 a 0/04 Nesta unidade mostraremos como o Axioma da Indução, que foi apresentado na Unidade como um dos axiomas pilares dos números naturais, nos fornece um

Leia mais

Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas.

Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Teoria dos Conjuntos Já falamos que, na Matemática, tudo se baseia em axiomas. Já estudamos os números inteiros partindo dos seus axiomas. Porém, não é nosso objetivo ver uma teoria axiomática dos conjuntos.

Leia mais

Análise Real. IF Sudeste de Minas Gerais. Primeiro semestre de Prof: Marcos Pavani de Carvalho. Marcos Pavani de Carvalho

Análise Real. IF Sudeste de Minas Gerais. Primeiro semestre de Prof: Marcos Pavani de Carvalho. Marcos Pavani de Carvalho IF Sudeste de Minas Gerais Prof: Primeiro semestre de 2014 Proposição: É uma afirmação que pode ser classificada em verdadeira ou falsa, mas que faça sentido. Exemplo: Sejam as proposições: A: A soma dos

Leia mais

X Encontro da Olimpíada Regional de Matemática

X Encontro da Olimpíada Regional de Matemática completa X Encontro da Olimpíada Regional de Matemática Florianópolis, 28 de Março de 2015. completa Demonstrando igualdades Seja n um número natural qualquer maior do que 1. Qual será o valor da soma

Leia mais

UMA PROVA DE CONSISTÊNCIA

UMA PROVA DE CONSISTÊNCIA UMA PROVA DE CONSISTÊNCIA Felipe Sobreira Abrahão Mestrando do HCTE/UFRJ felipesabrahao@gmail.com 1. INTRODUÇÃO Demonstradas por Kurt Gödel em 1931, a incompletude da (ou teoria formal dos números ou aritmética)

Leia mais

Demonstrações. Terminologia Métodos

Demonstrações. Terminologia Métodos Demonstrações Terminologia Métodos Técnicas de Demonstração Uma demonstração é um argumento válido que estabelece a verdade de uma sentença matemática. Técnicas de Demonstração Demonstrações servem para:

Leia mais

Para provar uma implicação se p, então q, é suficiente fazer o seguinte:

Para provar uma implicação se p, então q, é suficiente fazer o seguinte: Prova de Implicações Uma implicação é verdadeira quando a verdade do seu antecedente acarreta a verdade do seu consequente. Ex.: Considere a implicação: Se chove, então a rua está molhada. Observe que

Leia mais

Lógica Computacional Aulas 8 e 9

Lógica Computacional Aulas 8 e 9 Lógica Computacional Aulas 8 e 9 DCC/FCUP 2017/18 Conteúdo 1 Lógica proposicional 1 11 Integridade e completude dum sistema dedutivo D 1 111 Integridade do sistema de dedução natural DN 1 112 3 12 Decidibilidade

Leia mais

Introdu c ao ` a L ogica Matem atica Ricardo Bianconi

Introdu c ao ` a L ogica Matem atica Ricardo Bianconi Introdução à Lógica Matemática Ricardo Bianconi Capítulo 4 Dedução Informal Antes de embarcarmos em um estudo da lógica formal, ou seja, daquela para a qual introduziremos uma nova linguagem artificial

Leia mais

Método de indução. José Carlos Santos

Método de indução. José Carlos Santos Método de indução José Carlos Santos O termo «indução» tem origem na Filosofia. A entrada do Dicionário de Filosofia de Simon Blackburn que lhe diz respeito começa do seguinte modo: Indução Termo usado

Leia mais

Análise na Reta - Verão UFPA 1a lista - Números naturais; Corpos ordenados

Análise na Reta - Verão UFPA 1a lista - Números naturais; Corpos ordenados Análise na Reta - Verão UFPA 1a lista - Números naturais; Corpos ordenados A lista abaixo é formada por um subconjunto dos exercícios dos seguintes livros: Djairo G. de Figueiredo, Análise na reta Júlio

Leia mais

LISTA DE EXERCÍCIOS. Demonstrações diretas e por absurdo

LISTA DE EXERCÍCIOS. Demonstrações diretas e por absurdo LISTA DE EXERCÍCIOS Matemática Básica Humberto José Bortolossi http://www.professores.uff.br/hjbortol/ 02 Demonstrações diretas e por absurdo Diga se cada uma das sentenças abaixo é verdadeira ou falsa.

Leia mais

Errata da lista 1: Na página 4 (respostas), a resposta da letra e da questão 13 é {2, 3, 5, 7, 11, 13, 17} (faltou o número 17)

Errata da lista 1: Na página 4 (respostas), a resposta da letra e da questão 13 é {2, 3, 5, 7, 11, 13, 17} (faltou o número 17) Errata da lista 1: Na página 4 (respostas), a resposta da letra e da questão 13 é {2, 3, 5, 7, 11, 13, 17} (faltou o número 17) Lista 1 - Bases Matemáticas Elementos de Lógica e Linguagem Matemática 1

Leia mais

Elementos de Lógica Matemática. Uma Breve Iniciação

Elementos de Lógica Matemática. Uma Breve Iniciação Elementos de Lógica Matemática Uma Breve Iniciação Proposições Uma proposição é uma afirmação passível de assumir valor lógico verdadeiro ou falso. Exemplos de Proposições 2 > 1 (V); 5 = 1 (F). Termos

Leia mais

MA14 - Aritmética Unidade 1 Resumo. Divisibilidade

MA14 - Aritmética Unidade 1 Resumo. Divisibilidade MA14 - Aritmética Unidade 1 Resumo Divisibilidade Abramo Hefez PROFMAT - SBM Julho 2013 Aviso Este material é apenas um resumo de parte do conteúdo da disciplina e o seu estudo não garante o domínio do

Leia mais

Números naturais e cardinalidade

Números naturais e cardinalidade Números naturais e cardinalidade Roberto Imbuzeiro M. F. de Oliveira 5 de Janeiro de 2008 Resumo 1 Axiomas de Peano e o princípio da indução Intuitivamente, o conjunto N dos números naturais corresponde

Leia mais

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito Capítulo 2 Conjuntos Infinitos O conjunto dos números naturais é o primeiro exemplo de conjunto infinito que aprendemos. Desde crianças, sabemos intuitivamente que tomando-se um número natural n muito

Leia mais

Indução Matemática. George Darmiton da Cunha Cavalcanti CIn - UFPE

Indução Matemática. George Darmiton da Cunha Cavalcanti CIn - UFPE Indução Matemática George Darmiton da Cunha Cavalcanti CIn - UFPE Introdução Qual é a fórmula para a soma dos primeiros n inteiros ímpares positivos? Observando os resultados para um n pequeno, encontra-se

Leia mais

Resumo das aulas dos dias 4 e 11 de abril e exercícios sugeridos

Resumo das aulas dos dias 4 e 11 de abril e exercícios sugeridos MAT 1351 Cálculo para funções uma variável real I Curso noturno de Licenciatura em Matemática 1 semestre de 2016 Docente: Prof. Dr. Pierluigi Benevieri Resumo das aulas dos dias 4 e 11 de abril e exercícios

Leia mais

Um pouco de história. Ariane Piovezan Entringer. Geometria Euclidiana Plana - Introdução

Um pouco de história. Ariane Piovezan Entringer. Geometria Euclidiana Plana - Introdução Geometria Euclidiana Plana - Um pouco de história Prof a. Introdução Daremos início ao estudo axiomático da geometria estudada no ensino fundamental e médio, a Geometria Euclidiana Plana. Faremos uso do

Leia mais

MD Métodos de Prova 1

MD Métodos de Prova 1 Métodos de Prova Antonio Alfredo Ferreira Loureiro loureiro@dcc.ufmg.br http://www.dcc.ufmg.br/~loureiro MD Métodos de Prova 1 Introdução Objetivo: ter precisão de pensamento e linguagem para obter a certeza

Leia mais

Introdução ao pensamento matemático

Introdução ao pensamento matemático Introdução ao pensamento matemático Lisandra Sauer Geometria Euclidiana UFPel Uma das principais características da Matemática é o uso de demonstrações (provas) para justificar a veracidade das afirmações.

Leia mais

Capítulo O objeto deste livro

Capítulo O objeto deste livro Capítulo 1 Introdução 1.1 O objeto deste livro Podemos dizer que a Geometria, como ciência abstrata, surgiu na Antiguidade a partir das intuições acerca do espaço, principalmente do estudo da Astronomia.

Leia mais

Demonstrações, Recursão e Análise de Algoritmo

Demonstrações, Recursão e Análise de Algoritmo Demonstrações, Recursão e Análise de Algoritmo Objetivos do Capítulo Após estudar este capítulo, você estará apto a: Realizar demonstrações de conjecturas, usando técnicas de demonstração direta, demonstração

Leia mais

Matemática Discreta. Prof. Nilson Costa 2014

Matemática Discreta. Prof. Nilson Costa 2014 1 Matemática Discreta Prof. Nilson Costa nilson.mtm@hotmail.com 2014 Definições Importantes 2 Proposição: É qualquer afirmação, verdadeira ou falsa, mas que faça sentido. Exemplos: A: Todo número maior

Leia mais

Fermat descobriu duas classes de primos, uma da forma 4n 1 tal como 5, 13, 17, 29, 37, 41, etc. 5 = 13 =

Fermat descobriu duas classes de primos, uma da forma 4n 1 tal como 5, 13, 17, 29, 37, 41, etc. 5 = 13 = Fermat descobriu duas classes de primos, uma da forma n 1 tal como 5, 13, 17, 29, 37, 1, etc. 5 = 13 = Por outro lado nós relevamos uma segunda classe de primos, que são os da fora x n 1, e que são todos,

Leia mais

Apresentação do curso

Apresentação do curso Matemática Básica Humberto José Bortolossi Departamento de Matemática Aplicada Universidade Federal Fluminense Apresentação do curso Parte 1 Parte 1 Matemática Básica 1 Parte 1 Matemática Básica 2 Conteúdo

Leia mais

Números Irracionais e Reais. Oitavo Ano

Números Irracionais e Reais. Oitavo Ano Módulo de Potenciação e Dízimas Periódicas Números Irracionais e Reais Oitavo Ano Números Irracionais e Reais 1 Exercícios Introdutórios Exercício 1. No quadro abaixo, determine quais números são irracionais.

Leia mais

Lógica Computacional DCC/FCUP 2017/18

Lógica Computacional DCC/FCUP 2017/18 2017/18 Raciocínios 1 Se o André adormecer e alguém o acordar, ele diz palavrões 2 O André adormeceu 3 Não disse palavrões 4 Ninguém o acordou Será um raciocínio válido? Raciocínios Forma geral do raciocínio

Leia mais

PCC104 - Projeto e Análise de Algoritmos

PCC104 - Projeto e Análise de Algoritmos PCC104 - Projeto e Análise de Algoritmos Marco Antonio M. Carvalho Departamento de Computação Instituto de Ciências Exatas e Biológicas Universidade Federal de Ouro Preto 7 de outubro de 2016 Marco Antonio

Leia mais

NÚMEROS DE FERMAT. (Pedro H. O. Pantoja, Universidade de Lisboa, Portugal)

NÚMEROS DE FERMAT. (Pedro H. O. Pantoja, Universidade de Lisboa, Portugal) NÚMEROS DE FERMAT (Pedro H. O. Pantoja, Universidade de Lisboa, Portugal) Intrudução: O matemático francês Pierre de fermat (1601-1665) é famoso pelo seu extensivo trabalho em teoria dos números. Suas

Leia mais

Indução Matemática. Matemática Discreta. Indução Matemática. Mayara Midori Omai e Sheila Morais de Almeida UTFPR-PG. Abril

Indução Matemática. Matemática Discreta. Indução Matemática. Mayara Midori Omai e Sheila Morais de Almeida UTFPR-PG. Abril Matemática Discreta Indução Matemática Mayara Midori Omai e Sheila Morais de Almeida UTFPR-PG Abril - 2017 Indução Matemática Se desejamos provar que A(n) B(n) é verdade para números inteiros k maiores

Leia mais

Exercícios de revisão para a primeira avaliação Gabaritos selecionados

Exercícios de revisão para a primeira avaliação Gabaritos selecionados UFPB/CCEN/DM Matemática Elementar I - 2011.2 Exercícios de revisão para a primeira avaliação Gabaritos selecionados 1. Sejam p, q e r proposições. Mostre que as seguintes proposições compostas são tautologias:

Leia mais

Números Inteiros Axiomas e Resultados Simples

Números Inteiros Axiomas e Resultados Simples Números Inteiros Axiomas e Resultados Simples Apresentamos aqui diversas propriedades gerais dos números inteiros que não precisarão ser provadas quando você, aluno, for demonstrar teoremas nesta disciplina.

Leia mais

ESCOLA ONLINE DE CIÊNCIAS FORMAIS CURSO DE INTRODUÇÃO À LÓGICA MATEMÁTICA (2) METALÓGICA DO CÁLCULO PROPOSICIONAL

ESCOLA ONLINE DE CIÊNCIAS FORMAIS CURSO DE INTRODUÇÃO À LÓGICA MATEMÁTICA (2) METALÓGICA DO CÁLCULO PROPOSICIONAL AULA 08 ARGUMENTAÇÃO E REDUÇÃO AO ABSURDO Argumentos DEINIÇÃO 1: Uma forma argumentativa da lógica proposicional (ou simplesmente argumento) é uma sequência finita de fórmulas da lógica proposicional.

Leia mais

Lógica Matemática - Indução

Lógica Matemática - Indução Lógica Matemática - Indução Prof. Elias T. Galante - 017 Breve introdução losóca à indução Raciocinar é inferir, ou seja, passar do que já se conhece de algum modo ao que ainda não se conhece. Este processo

Leia mais

Teorema. Existe alguma raiz primitiva módulo n se, e só se, n = 2, n = 4, n = p k ou n = 2p k onde p é primo ímpar.

Teorema. Existe alguma raiz primitiva módulo n se, e só se, n = 2, n = 4, n = p k ou n = 2p k onde p é primo ímpar. raízes primitivas Uma raiz primitiva módulo n é um inteiro b tal que {1, b, b 2,... ( mod n)} = U(n). Teorema. Existe alguma raiz primitiva módulo n se, e só se, n = 2, n = 4, n = p k ou n = 2p k onde

Leia mais

28. Prove ou apresente um contra-exemplo: O produto de quaisquer três inteiros consecutivos é par.

28. Prove ou apresente um contra-exemplo: O produto de quaisquer três inteiros consecutivos é par. 56 Demonstrações, Recursão e Análise de Algoritmo 24. Suponha que você usou os passos do Exemplo 9 para tentar mostrar que não é um número racional. Em qual passo a prova não seria válida? 25. Prove que

Leia mais

Bases Matemáticas. Relembrando: representação geométrica para os reais 2. Aula 8 Números Reais: módulo ou valor absoluto, raízes, intervalos

Bases Matemáticas. Relembrando: representação geométrica para os reais 2. Aula 8 Números Reais: módulo ou valor absoluto, raízes, intervalos 1 Bases Matemáticas Aula 8 Números Reais: módulo ou valor absoluto, raízes, intervalos Rodrigo Hausen 10 de outubro de 2012 v. 2012-10-15 1/34 Relembrando: representação geométrica para os reais 2 Uma

Leia mais

Existem infinitos números de Carmichael, mas não provaremos isso neste curso.

Existem infinitos números de Carmichael, mas não provaremos isso neste curso. 6 Pseudoprimos 6.1 O Pequeno Teorema de Fermat nos diz que, se n é primo, então temos b n b (mod n) para todo b Z. Portanto, a contrapositiva diz que se temos b n b (mod n) ( ) para algum b Z, então n

Leia mais

Matemática - Geometria Caderno 1: Ângulos triédricos

Matemática - Geometria Caderno 1: Ângulos triédricos Programa PIBID/CAPES Departamento de Matemática Universidade de Brasília Matemática - Geometria Caderno 1: Objetivos Desenvolver e formalizar o raciocínio lógico do aluno. Conteúdos abordados Reconhecimento

Leia mais

Capítulo 2. Conjuntos Infinitos

Capítulo 2. Conjuntos Infinitos Capítulo 2 Conjuntos Infinitos Não é raro encontrarmos exemplos equivocados de conjuntos infinitos, como a quantidade de grãos de areia na praia ou a quantidade de estrelas no céu. Acontece que essas quantidades,

Leia mais

Cap. 5 Estabilidade de Lyapunov

Cap. 5 Estabilidade de Lyapunov Cap. 5 Estabilidade de Lyapunov 1 Motivação Considere as equações diferenciais que modelam o oscilador harmônico sem amortecimento e sem força aplicada, dada por: M z + Kz = 0 Escolhendo-se x 1 = z e x

Leia mais

III Números reais - módulo e raízes Módulo ou valor absoluto Definição e exemplos... 17

III Números reais - módulo e raízes Módulo ou valor absoluto Definição e exemplos... 17 UFF/GMA - Matemática Básica I - Parte III Notas de aula - Marlene - 010-16 Sumário III Números reais - módulo e raízes 17 3.1 Módulo valor absoluto...................................... 17 3.1.1 Definição

Leia mais

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito

Capítulo 2. Conjuntos Infinitos. 2.1 Existem diferentes tipos de infinito Capítulo 2 Conjuntos Infinitos Um exemplo de conjunto infinito é o conjunto dos números naturais: mesmo tomando-se um número natural n muito grande, sempre existe outro maior, por exemplo, seu sucessor

Leia mais

Lógica Proposicional Métodos de Validação de Fórmulas. José Gustavo de Souza Paiva. Introdução

Lógica Proposicional Métodos de Validação de Fórmulas. José Gustavo de Souza Paiva. Introdução Lógica Proposicional Métodos de Validação de Fórmulas José Gustavo de Souza Paiva Introdução Análise dos mecanismos que produzem e verificam os argumentos válidos apresentados na linguagem da lógica Três

Leia mais

Teorema Chinês dos Restos. Tópicos Adicionais

Teorema Chinês dos Restos. Tópicos Adicionais Teorema Chinês dos Restos Teorema Chinês dos Restos Tópicos Adicionais Tópicos Adicionais Teorema Chinês dos Restos 1 Exercícios Introdutórios Exercício 1. Para cada um dos itens abaixo, encontre o menor

Leia mais

Minicurso de Recepc a o a Futuros Matema ticos

Minicurso de Recepc a o a Futuros Matema ticos Universidade Federal Do Rio Grande Do Norte Centro De Cie ncias Exatas e Da Terra Departamento De Matema tica Trabalho de Ensino e Extenc a o Programa de Educac a o Tutorial - PET Matema tica Minicurso

Leia mais

Elementos de Matemática Finita

Elementos de Matemática Finita Elementos de Matemática Finita Exercícios Resolvidos - Princípio de Indução; Algoritmo de Euclides 1. Seja ( n) k n! k!(n k)! o coeficiente binomial, para n k 0. Por convenção, assumimos que, para outros

Leia mais

Cada questão da parte A vale 4 pontos e cada questão da parte B vale 10 pontos (total de pontos do nível III-fase de seleção = 60 pontos).

Cada questão da parte A vale 4 pontos e cada questão da parte B vale 10 pontos (total de pontos do nível III-fase de seleção = 60 pontos). III OLIMPÍADA REGIONAL DE MATEMÁTICA Nível III Ensino Médio DE RIEIRÃO PRETO FASE DE SELEÇÃO - 7 de setembro de 008 Cada questão da parte A vale 4 pontos e cada questão da parte vale 10 pontos (total de

Leia mais

Notas sobre conjuntos, funções e cardinalidade (semana 1 do curso)

Notas sobre conjuntos, funções e cardinalidade (semana 1 do curso) Notas sobre conjuntos, funções e cardinalidade (semana 1 do curso) Roberto Imbuzeiro Oliveira 8 de Janeiro de 2014 1 Conjuntos e funções Neste curso procuraremos fundamentar de forma precisa os fundamentos

Leia mais

Aula 7: Dedução Natural 2

Aula 7: Dedução Natural 2 Lógica para Computação Segundo Semestre, 2014 DAINF-UTFPR Aula 7: Dedução Natural 2 Prof. Ricardo Dutra da Silva -introdução Dada uma premissa A, nós podemos concluir A B para qualquer fórmula B. A justificativa

Leia mais

1 Números Reais (Soluções)

1 Números Reais (Soluções) Números Reais (Soluções). a) x2 4 b) x c) x d) x e) x f) 2 x+2 g) 2 x(x+2) h) x i) x 2 4 j) x(x + ) + x k) log(x) l) 2 log ( x 2 + x 2). 2. a) x = x 2 b) 2 x c) x d) x 0 x = e) x = 4 x = 2 f) x = x = 2

Leia mais

é uma proposição verdadeira. tal que: 2 n N k, Φ(n) = Φ(n + 1) é uma proposição verdadeira. com n N k, tal que:

é uma proposição verdadeira. tal que: 2 n N k, Φ(n) = Φ(n + 1) é uma proposição verdadeira. com n N k, tal que: Matemática Discreta 2008/09 Vítor Hugo Fernandes Departamento de Matemática FCT/UNL Axioma (Princípio da Boa Ordenação dos Números Naturais) O conjunto parcialmente (totalmente) ordenado (N, ), em que

Leia mais

O REI MALIGNO E A PRINCESA GENEROSA: SOBRE BASES NUMÉRICAS E CRITÉRIOS DE DIVISIBILIDADE

O REI MALIGNO E A PRINCESA GENEROSA: SOBRE BASES NUMÉRICAS E CRITÉRIOS DE DIVISIBILIDADE O REI MALIGNO E A PRINCESA GENEROSA: SOBRE BASES NUMÉRICAS E CRITÉRIOS DE DIVISIBILIDADE ANA PAULA CHAVES AND THIAGO PORTO 1. Introdução Os temas centrais deste texto - bases numéricas e critérios de divisibilidade

Leia mais

Polos Olímpicos de Treinamento. Aula 6. Curso de Teoria dos Números - Nível 2. Congruências II. Prof. Samuel Feitosa

Polos Olímpicos de Treinamento. Aula 6. Curso de Teoria dos Números - Nível 2. Congruências II. Prof. Samuel Feitosa Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível 2 Prof. Samuel Feitosa Aula 6 Congruências II Na aula de hoje, aprenderemos um dos teoremas mais importantes do curso: o pequeno teorema

Leia mais

Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão Lista 1. Números Naturais

Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão Lista 1. Números Naturais Universidade Federal de Santa Maria Departamento de Matemática Curso de Verão 01 Lista 1 Números Naturais 1. Demonstre por indução as seguintes fórmulas: (a) (b) n (j 1) = n (soma dos n primeiros ímpares).

Leia mais