Bases Matemticas

Aula 2 Mtodos de Demonstrao

Rodrigo Hausen

v. 2013-7-31

1/15

Como o Conhecimento Matemtico Organizado

Denies

Denio: um enunciado que descreve o signicado de um termo.

Ex.: (Denio de linha, segundo Euclides) Linha o que tem comprimento e no tem largura.

v. 2013-7-31

2/15

Como o Conhecimento Matemtico Organizado

Denies

Axiomas

Axioma: um ponto de partida de raciocnio, uma proposio assumida como verdadeira.

Ex.: (Primeiro postulado de Euclides) Pode-se traar uma nica linha reta entre dois pontos distintos.

v. 2013-7-31

2/15

Como o Conhecimento Matemtico Organizado

Denies

Axiomas

Teoremas Teorema: uma proposio que se demonstra ser verdadeira, baseada em proposies anteriores.
Ex.: (Teorema de Pitgoras) A soma dos quadrados dos catetos igual ao quadrado da hipotenusa.

v. 2013-7-31

2/15

Como o Conhecimento Matemtico Organizado

Axiomas Denies Demonstraes Teoremas Demonstrao: prova de que um teorema verdadeiro, obtida por regras vlidas.
Em geral, existem vrias maneiras de se demonstrar um teorema.

v. 2013-7-31

2/15

Como o Conhecimento Matemtico Organizado

Axiomas Denies - Demonstraes Teoremas Demonstrao: prova de que um teorema verdadeiro, obtida por regras vlidas.
Em geral, existem vrias maneiras de se demonstrar um teorema.

v. 2013-7-31

2/15

Algumas denies bsicas

Hoje vamos aprender algumas tcnicas de demonstrao utilizando alguns resultados de nmeros naturais. Para isso recordamos algumas denies que utilizaremos: 1. Um nmero inteiro no nulo a divide um nmero inteiro b se existe um inteiro k , tal que b = ak .

v. 2013-7-31

3/15

Algumas denies bsicas

Hoje vamos aprender algumas tcnicas de demonstrao utilizando alguns resultados de nmeros naturais. Para isso recordamos algumas denies que utilizaremos: 1. Um nmero inteiro no nulo a divide um nmero inteiro b se existe um inteiro k , tal que b = ak . 2. Se a divide b , dizemos que b mltiplo de a.

v. 2013-7-31

3/15

Algumas denies bsicas

Hoje vamos aprender algumas tcnicas de demonstrao utilizando alguns resultados de nmeros naturais. Para isso recordamos algumas denies que utilizaremos: 1. Um nmero inteiro no nulo a divide um nmero inteiro b se existe um inteiro k , tal que b = ak . 2. Se a divide b , dizemos que b mltiplo de a. 3. Um nmero inteiro a dito par se 2 divide a, ou seja, se existe nmero inteiro k tal que a = 2k , portanto, a mltiplo de 2.

v. 2013-7-31

3/15

Algumas denies bsicas

Hoje vamos aprender algumas tcnicas de demonstrao utilizando alguns resultados de nmeros naturais. Para isso recordamos algumas denies que utilizaremos: 1. Um nmero inteiro no nulo a divide um nmero inteiro b se existe um inteiro k , tal que b = ak . 2. Se a divide b , dizemos que b mltiplo de a. 3. Um nmero inteiro a dito par se 2 divide a, ou seja, se existe nmero inteiro k tal que a = 2k , portanto, a mltiplo de 2. 4. Um nmero inteiro b dito mpar se 2 no divide b, nesse caso pode-se provar que existe um nmero inteiro k tal que b = 2k + 1

v. 2013-7-31

3/15

Algumas denies bsicas

Hoje vamos aprender algumas tcnicas de demonstrao utilizando alguns resultados de nmeros naturais. Para isso recordamos algumas denies que utilizaremos: 1. Um nmero inteiro no nulo a divide um nmero inteiro b se existe um inteiro k , tal que b = ak . 2. Se a divide b , dizemos que b mltiplo de a. 3. Um nmero inteiro a dito par se 2 divide a, ou seja, se existe nmero inteiro k tal que a = 2k , portanto, a mltiplo de 2. 4. Um nmero inteiro b dito mpar se 2 no divide b, nesse caso pode-se provar que existe um nmero inteiro k tal que b = 2k + 1 5. Um nmero real r dito racional se existirem nmeros inteiros p , q tais que r = p q 6. Um nmero real r dito irrracional se no for racional, ou seja, se no existem inteiros p , q tal que r = p q
v. 2013-7-31 3/15

Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par .

v. 2013-7-31

4/15

Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par .

v. 2013-7-31

4/15

Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par .

v. 2013-7-31

4/15

Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): Tese (concluso):

v. 2013-7-31

4/15

Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): n, m so nmeros pares Tese (concluso):

v. 2013-7-31

4/15

Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): n, m so nmeros pares Tese (concluso): n + m par

v. 2013-7-31

4/15

Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): n, m so nmeros pares Tese (concluso): n + m par Demonstrao: Como n e m so pares, pela denio 3, n = 2k e m = 2 , onde k e so inteiros.

v. 2013-7-31

4/15

Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): n, m so nmeros pares Tese (concluso): n + m par Demonstrao: Como n e m so pares, pela denio 3, n = 2k e m = 2 , onde k e so inteiros. Logo, n+m =

v. 2013-7-31

4/15

Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): n, m so nmeros pares Tese (concluso): n + m par Demonstrao: Como n e m so pares, pela denio 3, n = 2k e m = 2 , onde k e so inteiros. Logo, n + m = 2k + 2 =

v. 2013-7-31

4/15

Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): n, m so nmeros pares Tese (concluso): n + m par Demonstrao: Como n e m so pares, pela denio 3, n = 2k e m = 2 , onde k e so inteiros. Logo, n + m = 2k + 2 = 2(k + )

v. 2013-7-31

4/15

Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): n, m so nmeros pares Tese (concluso): n + m par Demonstrao: Como n e m so pares, pela denio 3, n = 2k e m = 2 , onde k e so inteiros. Logo, n + m = 2k + 2 = 2(k + ) Conclumos que n + m mltiplo de 2, ou seja, n + m par.

v. 2013-7-31

4/15

Demonstrao Direta
A demonstrao direta a forma mais simples de demonstrao, e a mais bvia: para demonstrar que p q assuma que p verdadeiro, e atravs de uma srie de etapas, cada uma seguinte das anteriores, conclui-se q . Exemplo 1 Demonstre que, se n, m so nmeros pares, ento n + m tambm par . Hiptese (assumimos como verdade): n, m so nmeros pares Tese (concluso): n + m par Demonstrao: Como n e m so pares, pela denio 3, n = 2k e m = 2 , onde k e so inteiros. Logo, n + m = 2k + 2 = 2(k + ) Conclumos que n + m mltiplo de 2, ou seja, n + m par.
m da demonstrao
v. 2013-7-31

6
4/15

Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar.

v. 2013-7-31

5/15

Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido:

v. 2013-7-31

5/15

Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar.

v. 2013-7-31

5/15

Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: Tese (concluso):

v. 2013-7-31

5/15

Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: n mpar Tese (concluso):

v. 2013-7-31

5/15

Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: n mpar Tese (concluso): n2 mpar

v. 2013-7-31

5/15

Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: n mpar Tese (concluso): n2 mpar Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k .

v. 2013-7-31

5/15

Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: n mpar Tese (concluso): n2 mpar Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k . Logo, n2 =

v. 2013-7-31

5/15

Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: n mpar Tese (concluso): n2 mpar Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k . Logo, n2 = (2k + 1)2 =

v. 2013-7-31

5/15

Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: n mpar Tese (concluso): n2 mpar Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k . Logo, n2 = (2k + 1)2 = 4k 2 + 4k + 1 =

v. 2013-7-31

5/15

Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: n mpar Tese (concluso): n2 mpar Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k . Logo, n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k ) + 1 =

v. 2013-7-31

5/15

Demonstrao Direta
Exemplo 2 Demonstre que o quadrado de um nmero mpar um nmero mpar. Aqui, a proposio no est no formato se p , ento q , mas d para alterar a frase, sem mudar o seu sentido: Demonstre que, se n mpar, ento n2 tambm mpar. Hiptese: n mpar Tese (concluso): n2 mpar Demonstrao: Como n mpar, n = 2k + 1 para algum inteiro k . Logo, n2 = (2k + 1)2 = 4k 2 + 4k + 1 = 2(2k 2 + 2k ) + 1 = 2 + 1 Onde
v. 2013-7-31

= 2k 2 + 2k um inteiro. Portanto, n2 mpar.

5/15

Demonstrao por Contraposio

Da aula passada: p q equivalente sua contrapositiva no q no p

v. 2013-7-31

6/15

Demonstrao por Contraposio

Da aula passada: p q equivalente sua contrapositiva no q no p Disto resulta que, se no q no p for verdadeira, ento p q tambm , e vice-versa;

v. 2013-7-31

6/15

Demonstrao por Contraposio

Da aula passada: p q equivalente sua contrapositiva no q no p Disto resulta que, se no q no p for verdadeira, ento p q tambm , e vice-versa; ou seja, se demonstrarmos a contrapositiva, a proposio original estar automaticamente demonstrada.

v. 2013-7-31

6/15

Demonstrao por Contraposio

Da aula passada: p q equivalente sua contrapositiva no q no p Disto resulta que, se no q no p for verdadeira, ento p q tambm , e vice-versa; ou seja, se demonstrarmos a contrapositiva, a proposio original estar automaticamente demonstrada. Exemplo 3 Demonstre que, se n2 par, ento n tambm .

v. 2013-7-31

6/15

Demonstrao por Contraposio

Da aula passada: p q equivalente sua contrapositiva no q no p Disto resulta que, se no q no p for verdadeira, ento p q tambm , e vice-versa; ou seja, se demonstrarmos a contrapositiva, a proposio original estar automaticamente demonstrada. Exemplo 3 Demonstre que, se n2 par, ento n tambm . Proposio: n2 par n par. Note que a proposio bem simples, e poderamos usar uma demonstrao direta.

v. 2013-7-31

6/15

Demonstrao por Contraposio

Da aula passada: p q equivalente sua contrapositiva no q no p Disto resulta que, se no q no p for verdadeira, ento p q tambm , e vice-versa; ou seja, se demonstrarmos a contrapositiva, a proposio original estar automaticamente demonstrada. Exemplo 3 Demonstre que, se n2 par, ento n tambm . Proposio: n2 par n par. Note que a proposio bem simples, e poderamos usar uma demonstrao direta. Contudo, ao observar a contrapositiva: Contrapositiva:

v. 2013-7-31

6/15

Demonstrao por Contraposio

Da aula passada: p q equivalente sua contrapositiva no q no p Disto resulta que, se no q no p for verdadeira, ento p q tambm , e vice-versa; ou seja, se demonstrarmos a contrapositiva, a proposio original estar automaticamente demonstrada. Exemplo 3 Demonstre que, se n2 par, ento n tambm . Proposio: n2 par n par. Note que a proposio bem simples, e poderamos usar uma demonstrao direta. Contudo, ao observar a contrapositiva: Contrapositiva: n mpar n2 mpar.

v. 2013-7-31

6/15

Demonstrao por Contraposio

Da aula passada: p q equivalente sua contrapositiva no q no p Disto resulta que, se no q no p for verdadeira, ento p q tambm , e vice-versa; ou seja, se demonstrarmos a contrapositiva, a proposio original estar automaticamente demonstrada. Exemplo 3 Demonstre que, se n2 par, ento n tambm . Proposio: n2 par n par. Note que a proposio bem simples, e poderamos usar uma demonstrao direta. Contudo, ao observar a contrapositiva: Contrapositiva: n mpar n2 mpar. Demonstrao: A contrapositiva verdadeira, conforme demonstramos no exemplo 2. Portanto, a proposio original tambm verdadeira.
v. 2013-7-31 6/15

Demonstrao por Contraposio

Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m par, ento n e m tem a mesma paridade.

v. 2013-7-31

7/15

Demonstrao por Contraposio

Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m par, ento n e m tem a mesma paridade. Proposio: n + m par n e m tem mesma paridade. (note que o universo do discurso so os nmeros inteiros)

v. 2013-7-31

7/15

Demonstrao por Contraposio

Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m par, ento n e m tem a mesma paridade. Proposio: n + m par n e m tem mesma paridade. (note que o universo do discurso so os nmeros inteiros) Contrapositiva: n e m tem paridades diferentes n + m mpar (o universo do discurso ainda o mesmo)

v. 2013-7-31

7/15

Demonstrao por Contraposio

Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m par, ento n e m tem a mesma paridade. Proposio: n + m par n e m tem mesma paridade. (note que o universo do discurso so os nmeros inteiros) Contrapositiva: n e m tem paridades diferentes n + m mpar (o universo do discurso ainda o mesmo) Demonstrao: Hiptese: Tese:

v. 2013-7-31

7/15

Demonstrao por Contraposio

Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m par, ento n e m tem a mesma paridade. Proposio: n + m par n e m tem mesma paridade. (note que o universo do discurso so os nmeros inteiros) Contrapositiva: n e m tem paridades diferentes n + m mpar (o universo do discurso ainda o mesmo) Demonstrao: Hiptese: n e m tem paridades diferentes Tese:

v. 2013-7-31

7/15

Demonstrao por Contraposio

Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m par, ento n e m tem a mesma paridade. Proposio: n + m par n e m tem mesma paridade. (note que o universo do discurso so os nmeros inteiros) Contrapositiva: n e m tem paridades diferentes n + m mpar (o universo do discurso ainda o mesmo) Demonstrao: Hiptese: n e m tem paridades diferentes Tese: n + m mpar

v. 2013-7-31

7/15

Demonstrao por Contraposio

Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m par, ento n e m tem a mesma paridade. Proposio: n + m par n e m tem mesma paridade. (note que o universo do discurso so os nmeros inteiros) Contrapositiva: n e m tem paridades diferentes n + m mpar (o universo do discurso ainda o mesmo) Demonstrao: Hiptese: n e m tem paridades diferentes Tese: n + m mpar Pela hiptese, um dos nmeros par, e o outro mpar.

v. 2013-7-31

7/15

Demonstrao por Contraposio

Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m par, ento n e m tem a mesma paridade. Proposio: n + m par n e m tem mesma paridade. (note que o universo do discurso so os nmeros inteiros) Contrapositiva: n e m tem paridades diferentes n + m mpar (o universo do discurso ainda o mesmo) Demonstrao: Hiptese: n e m tem paridades diferentes Tese: n + m mpar Pela hiptese, um dos nmeros par, e o outro mpar. Para simplicar, escolha n = 2k e m = 2 + 1, para inteiros k e

v. 2013-7-31

7/15

Demonstrao por Contraposio

Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m par, ento n e m tem a mesma paridade. Proposio: n + m par n e m tem mesma paridade. (note que o universo do discurso so os nmeros inteiros) Contrapositiva: n e m tem paridades diferentes n + m mpar (o universo do discurso ainda o mesmo) Demonstrao: Hiptese: n e m tem paridades diferentes Tese: n + m mpar Pela hiptese, um dos nmeros par, e o outro mpar. Para simplicar, escolha n = 2k e m = 2 + 1, para inteiros k e (o caso n mpar e m par pode ser obtido apenas trocando-se n por m). Logo,

v. 2013-7-31

7/15

Demonstrao por Contraposio

Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m par, ento n e m tem a mesma paridade. Proposio: n + m par n e m tem mesma paridade. (note que o universo do discurso so os nmeros inteiros) Contrapositiva: n e m tem paridades diferentes n + m mpar (o universo do discurso ainda o mesmo) Demonstrao: Hiptese: n e m tem paridades diferentes Tese: n + m mpar Pela hiptese, um dos nmeros par, e o outro mpar. Para simplicar, escolha n = 2k e m = 2 + 1, para inteiros k e (o caso n mpar e m par pode ser obtido apenas trocando-se n por m). Logo, n+m =
v. 2013-7-31 7/15

Demonstrao por Contraposio

Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m par, ento n e m tem a mesma paridade. Proposio: n + m par n e m tem mesma paridade. (note que o universo do discurso so os nmeros inteiros) Contrapositiva: n e m tem paridades diferentes n + m mpar (o universo do discurso ainda o mesmo) Demonstrao: Hiptese: n e m tem paridades diferentes Tese: n + m mpar Pela hiptese, um dos nmeros par, e o outro mpar. Para simplicar, escolha n = 2k e m = 2 + 1, para inteiros k e (o caso n mpar e m par pode ser obtido apenas trocando-se n por m). Logo, n + m = 2k + 2 + 1 =
v. 2013-7-31 7/15

Demonstrao por Contraposio

Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m par, ento n e m tem a mesma paridade. Proposio: n + m par n e m tem mesma paridade. (note que o universo do discurso so os nmeros inteiros) Contrapositiva: n e m tem paridades diferentes n + m mpar (o universo do discurso ainda o mesmo) Demonstrao: Hiptese: n e m tem paridades diferentes Tese: n + m mpar Pela hiptese, um dos nmeros par, e o outro mpar. Para simplicar, escolha n = 2k e m = 2 + 1, para inteiros k e (o caso n mpar e m par pode ser obtido apenas trocando-se n por m). Logo, n + m = 2k + 2 + 1 = 2(k + ) + 1 =
v. 2013-7-31 7/15

Demonstrao por Contraposio

Exemplo 4 Sejam n e m nmeros inteiros para os quais n + m par, ento n e m tem a mesma paridade. Proposio: n + m par n e m tem mesma paridade. (note que o universo do discurso so os nmeros inteiros) Contrapositiva: n e m tem paridades diferentes n + m mpar (o universo do discurso ainda o mesmo) Demonstrao: Hiptese: n e m tem paridades diferentes Tese: n + m mpar Pela hiptese, um dos nmeros par, e o outro mpar. Para simplicar, escolha n = 2k e m = 2 + 1, para inteiros k e (o caso n mpar e m par pode ser obtido apenas trocando-se n por m). Logo, n + m = 2k + 2 + 1 = 2(k + ) + 1 = 2q + 1, onde q = k + inteiro. Portanto n + m mpar.
v. 2013-7-31 7/15

Demonstrao por Reduo ao Absurdo

Uma demonstrao por reduo ao absurdo uma tcnica de demonstrao no qual se demonstra que se, alguma proposio do tipo p fosse verdadeira, ocorreria uma contradio lgica, e portanto p s pode ser falso, disto resultando que no p verdadeiro.

v. 2013-7-31

8/15

Demonstrao por Reduo ao Absurdo

Uma demonstrao por reduo ao absurdo uma tcnica de demonstrao no qual se demonstra que se, alguma proposio do tipo p fosse verdadeira, ocorreria uma contradio lgica, e portanto p s pode ser falso, disto resultando que no p verdadeiro. Exemplo 5 Algum dia ser possvel criar um programa de computador que sempre ganhe no xadrez?

v. 2013-7-31

8/15

Demonstrao por Reduo ao Absurdo

Uma demonstrao por reduo ao absurdo uma tcnica de demonstrao no qual se demonstra que se, alguma proposio do tipo p fosse verdadeira, ocorreria uma contradio lgica, e portanto p s pode ser falso, disto resultando que no p verdadeiro. Exemplo 5 Algum dia ser possvel criar um programa de computador que sempre ganhe no xadrez? Suponha, por um momento, que a seguinte proposio vlida: p = existe um programa de computador que sempre ganha no xadrez

v. 2013-7-31

8/15

Demonstrao por Reduo ao Absurdo

Suponha, por um momento, que a seguinte proposio vlida: p = existe um programa de computador que sempre ganha no xadrez

v. 2013-7-31

9/15

Demonstrao por Reduo ao Absurdo

Suponha, por um momento, que a seguinte proposio vlida: p = existe um programa de computador que sempre ganha no xadrez Supondo que tal programa existe, instale a mesma cpia em dois computadores e coloque um para jogar contra o outro.

v. 2013-7-31

9/15

Demonstrao por Reduo ao Absurdo

Suponha, por um momento, que a seguinte proposio vlida: p = existe um programa de computador que sempre ganha no xadrez Supondo que tal programa existe, instale a mesma cpia em dois computadores e coloque um para jogar contra o outro. Ou o jogo terminar empatado (sem nenhum ganhador), ou um dos computadores perder. Em qualquer destes casos, pelo menos uma das duas cpias do programa no vai ganhar o jogo, uma contradio, j que assumimos que o programa sempre ganha.

v. 2013-7-31

9/15

Demonstrao por Reduo ao Absurdo

Suponha, por um momento, que a seguinte proposio vlida: p = existe um programa de computador que sempre ganha no xadrez Supondo que tal programa existe, instale a mesma cpia em dois computadores e coloque um para jogar contra o outro. Ou o jogo terminar empatado (sem nenhum ganhador), ou um dos computadores perder. Em qualquer destes casos, pelo menos uma das duas cpias do programa no vai ganhar o jogo, uma contradio, j que assumimos que o programa sempre ganha. Portanto, no existe (nem nunca existir) um programa que sempre ganhe no xadrez.

v. 2013-7-31

9/15

Demonstrao por Reduo ao Absurdo

Exemplo 6 Demonstre que existem innitos nmeros primos. Hiptese: Tese:

v. 2013-7-31

10/15

Demonstrao por Reduo ao Absurdo

Exemplo 6 Demonstre que existem innitos nmeros primos. Hiptese: Tese: p = Existem innitos nmeros primos

v. 2013-7-31

10/15

Demonstrao por Reduo ao Absurdo

Exemplo 6 Demonstre que existem innitos nmeros primos. Hiptese: (todo e qualquer resultado que no depende deste) Tese: p = Existem innitos nmeros primos

v. 2013-7-31

10/15

Demonstrao por Reduo ao Absurdo

Exemplo 6 Demonstre que existem innitos nmeros primos. Hiptese: (todo e qualquer resultado que no depende deste) Tese: p = Existem innitos nmeros primos Demonstrao: Vamos deixar de lado a tese por um momento e supor o seguinte: Hiptese (absurda): no p = existe uma quantidade nita de nmeros primos. Vejamos at onde ela nos leva.

v. 2013-7-31

10/15

Demonstrao por Reduo ao Absurdo

Exemplo 6 Demonstre que existem innitos nmeros primos. Hiptese: (todo e qualquer resultado que no depende deste) Tese: p = Existem innitos nmeros primos Demonstrao: Vamos deixar de lado a tese por um momento e supor o seguinte: Hiptese (absurda): no p = existe uma quantidade nita de nmeros primos. Vejamos at onde ela nos leva. Por esta nova hiptese, h apenas n nmeros primos, onde n inteiro.

v. 2013-7-31

10/15

Demonstrao por Reduo ao Absurdo

Exemplo 6 Demonstre que existem innitos nmeros primos. Hiptese: (todo e qualquer resultado que no depende deste) Tese: p = Existem innitos nmeros primos Demonstrao: Vamos deixar de lado a tese por um momento e supor o seguinte: Hiptese (absurda): no p = existe uma quantidade nita de nmeros primos. Vejamos at onde ela nos leva. Por esta nova hiptese, h apenas n nmeros primos, onde n inteiro. Podemos colocar os primos p1 , p2 , . . . , pn em ordem, de tal forma que: p1 < p2 < . . . < pn . Com isto, teramos que pn o maior primo de todos.
v. 2013-7-31 10/15

Demonstrao por Reduo ao Absurdo

(continuao do Exemplo 6) Considere o nmero p1 p2 . . . pn + 1.

v. 2013-7-31

11/15

Demonstrao por Reduo ao Absurdo

(continuao do Exemplo 6) Considere o nmero p1 p2 . . . pn + 1. Ele no divisvel por nenhum dos primos p1 , p2 , . . . , pn , portanto ele tambm primo

v. 2013-7-31

11/15

Demonstrao por Reduo ao Absurdo

(continuao do Exemplo 6) Considere o nmero p1 p2 . . . pn + 1. Ele no divisvel por nenhum dos primos p1 , p2 , . . . , pn , portanto ele tambm primo e, alm disso, maior do que todos os demais nmeros primos, incluindo pn .

v. 2013-7-31

11/15

Demonstrao por Reduo ao Absurdo

(continuao do Exemplo 6) Considere o nmero p1 p2 . . . pn + 1. Ele no divisvel por nenhum dos primos p1 , p2 , . . . , pn , portanto ele tambm primo e, alm disso, maior do que todos os demais nmeros primos, incluindo pn . Mas isto contradiz a armao de que pn o maior primo de todos, o que um absurdo!

v. 2013-7-31

11/15

Demonstrao por Reduo ao Absurdo

(continuao do Exemplo 6) Considere o nmero p1 p2 . . . pn + 1. Ele no divisvel por nenhum dos primos p1 , p2 , . . . , pn , portanto ele tambm primo e, alm disso, maior do que todos os demais nmeros primos, incluindo pn . Mas isto contradiz a armao de que pn o maior primo de todos, o que um absurdo! Como o nosso raciocnio foi construdo corretamente aps a hiptese no p , isto nos leva a concluir que no p falsa, consequentemente a proposio p = existem innitos nmeros primos verdadeira.

v. 2013-7-31

11/15

Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional.

v. 2013-7-31

12/15

Demonstrao por Reduo ao Absurdo

Exemplo 7 Demonstre que 2 irracional. Demonstrao: Suponha, por absurdo, que 2 racional.

v. 2013-7-31

12/15

Demonstrao por Reduo ao Absurdo

2 irracional. Demonstrao: Suponha, por absurdo, que 2 racional. Portanto, seria possvel encontrar nmeros inteiros a, b , com b = 0, tais que 2 poderia ser representado como frao a irredutvel b . Exemplo 7 Demonstre que

v. 2013-7-31

12/15

Demonstrao por Reduo ao Absurdo

2 irracional. Demonstrao: Suponha, por absurdo, que 2 racional. Portanto, seria possvel encontrar nmeros inteiros a, b , com b = 0, tais que 2 poderia ser representado como frao a irredutvel b . A partir disto, podemos armar que: ( 2)2 = Exemplo 7 Demonstre que

v. 2013-7-31

12/15

Demonstrao por Reduo ao Absurdo

2 irracional. Demonstrao: Suponha, por absurdo, que 2 racional. Portanto, seria possvel encontrar nmeros inteiros a, b , com b = 0, tais que 2 poderia ser representado como frao a irredutvel b . A partir disto, podemos armar que: a 2 = ( 2)2 = b Exemplo 7 Demonstre que

v. 2013-7-31

12/15

Demonstrao por Reduo ao Absurdo

2 irracional. Demonstrao: Suponha, por absurdo, que 2 racional. Portanto, seria possvel encontrar nmeros inteiros a, b , com b = 0, tais que 2 poderia ser representado como frao a irredutvel b . A partir disto, podemos armar que: a 2 a2 = 2 ( 2)2 = b b Exemplo 7 Demonstre que

v. 2013-7-31

12/15

Demonstrao por Reduo ao Absurdo

2 irracional. Demonstrao: Suponha, por absurdo, que 2 racional. Portanto, seria possvel encontrar nmeros inteiros a, b , com b = 0, tais que 2 poderia ser representado como frao a irredutvel b . A partir disto, podemos armar que: a 2 a2 = 2 2 = ( 2)2 = b b Exemplo 7 Demonstre que

v. 2013-7-31

12/15

Demonstrao por Reduo ao Absurdo

2 irracional. Demonstrao: Suponha, por absurdo, que 2 racional. Portanto, seria possvel encontrar nmeros inteiros a, b , com b = 0, tais que 2 poderia ser representado como frao a irredutvel b . A partir disto, podemos armar que: a 2 a2 = 2 2 = ( 2)2 = b b 2 2 2b = a Exemplo 7 Demonstre que

v. 2013-7-31

12/15

Demonstrao por Reduo ao Absurdo

2 irracional. Demonstrao: Suponha, por absurdo, que 2 racional. Portanto, seria possvel encontrar nmeros inteiros a, b , com b = 0, tais que 2 poderia ser representado como frao a irredutvel b . A partir disto, podemos armar que: a 2 a2 = 2 2 = ( 2)2 = b b 2 2 2b = a Disto temos que a2 par e, pelo que demonstramos no exemplo 3, a tambm par. Exemplo 7 Demonstre que

v. 2013-7-31

12/15

Demonstrao por Reduo ao Absurdo

2 irracional. Demonstrao: Suponha, por absurdo, que 2 racional. Portanto, seria possvel encontrar nmeros inteiros a, b , com b = 0, tais que 2 poderia ser representado como frao a irredutvel b . A partir disto, podemos armar que: a 2 a2 = 2 2 = ( 2)2 = b b 2 2 2b = a Disto temos que a2 par e, pelo que demonstramos no exemplo 3, a tambm par. Como a par, a = 2k para algum inteiro k , e da: 2b 2 = a 2 = Exemplo 7 Demonstre que

v. 2013-7-31

12/15

Demonstrao por Reduo ao Absurdo

2 irracional. Demonstrao: Suponha, por absurdo, que 2 racional. Portanto, seria possvel encontrar nmeros inteiros a, b , com b = 0, tais que 2 poderia ser representado como frao a irredutvel b . A partir disto, podemos armar que: a 2 a2 = 2 2 = ( 2)2 = b b 2 2 2b = a Disto temos que a2 par e, pelo que demonstramos no exemplo 3, a tambm par. Como a par, a = 2k para algum inteiro k , e da: 2b 2 = a2 = (2k )2 = Exemplo 7 Demonstre que

v. 2013-7-31

12/15

Demonstrao por Reduo ao Absurdo

2 irracional. Demonstrao: Suponha, por absurdo, que 2 racional. Portanto, seria possvel encontrar nmeros inteiros a, b , com b = 0, tais que 2 poderia ser representado como frao a irredutvel b . A partir disto, podemos armar que: a 2 a2 = 2 2 = ( 2)2 = b b 2 2 2b = a Disto temos que a2 par e, pelo que demonstramos no exemplo 3, a tambm par. Como a par, a = 2k para algum inteiro k , e da: 2b 2 = a2 = (2k )2 = 4k 2 Exemplo 7 Demonstre que

v. 2013-7-31

12/15

Demonstrao por Reduo ao Absurdo

2 irracional. Demonstrao: Suponha, por absurdo, que 2 racional. Portanto, seria possvel encontrar nmeros inteiros a, b , com b = 0, tais que 2 poderia ser representado como frao a irredutvel b . A partir disto, podemos armar que: a 2 a2 = 2 2 = ( 2)2 = b b 2 2 2b = a Disto temos que a2 par e, pelo que demonstramos no exemplo 3, a tambm par. Como a par, a = 2k para algum inteiro k , e da: (2) 2b 2 = a2 = (2k )2 = 4k 2 b 2 = 2k 2 Exemplo 7 Demonstre que

v. 2013-7-31

12/15

Demonstrao por Reduo ao Absurdo

2 irracional. Demonstrao: Suponha, por absurdo, que 2 racional. Portanto, seria possvel encontrar nmeros inteiros a, b , com b = 0, tais que 2 poderia ser representado como frao a irredutvel b . A partir disto, podemos armar que: a 2 a2 = 2 2 = ( 2)2 = b b 2 2 2b = a Disto temos que a2 par e, pelo que demonstramos no exemplo 3, a tambm par. Como a par, a = 2k para algum inteiro k , e da: (2) 2b 2 = a2 = (2k )2 = 4k 2 b 2 = 2k 2 o que nos diz que b tambm par. Exemplo 7 Demonstre que

v. 2013-7-31

12/15

Demonstrao por Reduo ao Absurdo

2 irracional. Demonstrao: Suponha, por absurdo, que 2 racional. Portanto, seria possvel encontrar nmeros inteiros a, b , com b = 0, tais que 2 poderia ser representado como frao a irredutvel b . A partir disto, podemos armar que: a 2 a2 = 2 2 = ( 2)2 = b b 2 2 2b = a Disto temos que a2 par e, pelo que demonstramos no exemplo 3, a tambm par. Como a par, a = 2k para algum inteiro k , e da: (2) 2b 2 = a2 = (2k )2 = 4k 2 b 2 = 2k 2 o que nos diz que b tambm par. Mas isto uma contradio, a pois se a e b so pares, a frao irredutvel b poderia ser reduzida, um absurdo!
v. 2013-7-31 12/15

Exemplo 7 Demonstre que

Demonstrao por Reduo ao Absurdo

2 irracional. Demonstrao: Suponha, por absurdo, que 2 racional. Portanto, seria possvel encontrar nmeros inteiros a, b , com b = 0, tais que 2 poderia ser representado como frao a irredutvel b . A partir disto, podemos armar que: a 2 a2 = 2 2 = ( 2)2 = b b 2 2 2b = a Disto temos que a2 par e, pelo que demonstramos no exemplo 3, a tambm par. Como a par, a = 2k para algum inteiro k , e da: (2) 2b 2 = a2 = (2k )2 = 4k 2 b 2 = 2k 2 o que nos diz que b tambm par. Mas isto uma contradio, a pois se a e b so pares, a frao irredutvel b poderia ser reduzida, um absurdo! Logo, podemos concluir que o nmero real 2 no pode ser racional, portanto irracional.
v. 2013-7-31 12/15

Exemplo 7 Demonstre que

Resumo: Mtodos de Demonstrao

1. Demonstrao Direta: partindo da hiptese, use diretamente propriedades e regras vlidas at chegar na tese.

v. 2013-7-31

13/15

Resumo: Mtodos de Demonstrao

1. Demonstrao Direta: partindo da hiptese, use diretamente propriedades e regras vlidas at chegar na tese. 2. Demonstrao por Contraposio: para algumas proposies do tipo p q , pode ser mais fcil demonstrar (usando os outros mtodos) no q no p .

v. 2013-7-31

13/15

Resumo: Mtodos de Demonstrao

1. Demonstrao Direta: partindo da hiptese, use diretamente propriedades e regras vlidas at chegar na tese. 2. Demonstrao por Contraposio: para algumas proposies do tipo p q , pode ser mais fcil demonstrar (usando os outros mtodos) no q no p . 3. Demonstrao por Reduo ao Absurdo: dada uma proposio p a ser provada, assuma inicialmente a hiptese no p , e faa um raciocnio direto a partir desta hiptese at achar uma contradio.

v. 2013-7-31

13/15

Resumo: Mtodos de Demonstrao

1. Demonstrao Direta: partindo da hiptese, use diretamente propriedades e regras vlidas at chegar na tese. 2. Demonstrao por Contraposio: para algumas proposies do tipo p q , pode ser mais fcil demonstrar (usando os outros mtodos) no q no p . 3. Demonstrao por Reduo ao Absurdo: dada uma proposio p a ser provada, assuma inicialmente a hiptese no p , e faa um raciocnio direto a partir desta hiptese at achar uma contradio. Dica 1: geralmente, uma boa idia tentar aplicar os mtodos nesta ordem. Dica 2: comum demonstraes do tipo nmero x irracional ou no existe x tal que. . . serem por reduo ao absurdo.
v. 2013-7-31 13/15

Demonstraes do tipo se, e somente se

O seguinte enunciado muito comum: p ( verdade) se, e somente se, q ( verdade)

v. 2013-7-31

14/15

Demonstraes do tipo se, e somente se

O seguinte enunciado muito comum: p ( verdade) se, e somente se, q ( verdade) Ou, na forma simblica, p q (l-se: p , se e somente se, q )

v. 2013-7-31

14/15

Demonstraes do tipo se, e somente se

O seguinte enunciado muito comum: p ( verdade) se, e somente se, q ( verdade) Ou, na forma simblica, p q Isto equivale a duas proposies: se p ento q E se q ento p (l-se: p , se e somente se, q )

Ou, simbolicamente, (p q ) e (q p ).

v. 2013-7-31

14/15

Demonstraes do tipo se, e somente se

O seguinte enunciado muito comum: p ( verdade) se, e somente se, q ( verdade) Ou, na forma simblica, p q Isto equivale a duas proposies: se p ento q E se q ento p (l-se: p , se e somente se, q )

Ou, simbolicamente, (p q ) e (q p ). Cada uma das duas proposies deve ser demonstrada separadamente.

v. 2013-7-31

14/15

Demonstraes do tipo se, e somente se

Exemplo 8 Demonstre que dois inteiros a e b possuem paridades diferentes se, e somente se, a + b nmero mpar.

v. 2013-7-31

15/15

Demonstraes do tipo se, e somente se

Exemplo 8 Demonstre que dois inteiros a e b possuem paridades diferentes se, e somente se, a + b nmero mpar. Demonstrao: Temos que provar as implicaes: 1. a e b possuem paridades diferentes a + b mpar. 2. a + b mpar a e b possuem paridades diferentes

v. 2013-7-31

15/15

Demonstraes do tipo se, e somente se

Exemplo 8 Demonstre que dois inteiros a e b possuem paridades diferentes se, e somente se, a + b nmero mpar. Demonstrao: Temos que provar as implicaes: 1. a e b possuem paridades diferentes a + b mpar. 2. a + b mpar a e b possuem paridades diferentes Note que a implicao 1 a contrapositiva da proposio do exemplo 4, portanto j foi demonstrada ser verdadeira.

v. 2013-7-31

15/15

Demonstraes do tipo se, e somente se

Exemplo 8 Demonstre que dois inteiros a e b possuem paridades diferentes se, e somente se, a + b nmero mpar. Demonstrao: Temos que provar as implicaes: 1. a e b possuem paridades diferentes a + b mpar. 2. a + b mpar a e b possuem paridades diferentes Note que a implicao 1 a contrapositiva da proposio do exemplo 4, portanto j foi demonstrada ser verdadeira. Resta agora demonstrar a implicao 2, usando algum dos mtodos vistos (direto, por contrapositiva, por reduo ao absurdo).

v. 2013-7-31

15/15

Demonstraes do tipo se, e somente se

Exemplo 8 Demonstre que dois inteiros a e b possuem paridades diferentes se, e somente se, a + b nmero mpar. Demonstrao: Temos que provar as implicaes: 1. a e b possuem paridades diferentes a + b mpar. 2. a + b mpar a e b possuem paridades diferentes Note que a implicao 1 a contrapositiva da proposio do exemplo 4, portanto j foi demonstrada ser verdadeira. Resta agora demonstrar a implicao 2, usando algum dos mtodos vistos (direto, por contrapositiva, por reduo ao absurdo). Trabalho para casa: terminar de provar o exemplo 8, ler as notas at a pgina 29, fazer os exerccios das notas e da lista 1.

v. 2013-7-31

15/15