BCC101 – Matemática Discreta Lecture 11 - CS 1813 Discrete Math, University of Oklahoma 4/1/2017 BCC101 – Matemática Discreta Demonstração de Teoremas Prova por constradição
Mais estratégias de prova Se a e b são números inteiros, então a2 – 4b ≠ 2. Quais são as hipóteses? Qual é a conclusão? Que estratégia podemos usar para provar o teorema? CS 1813 Discrete Mathematics, Univ Oklahoma Copyright © 2000 by Rex Page
CS 1813 Discrete Mathematics, Univ Oklahoma Prova por contradição Suponha que queremos provar uma conclusão C. A idéia de uma prova por contradição é supor que a conclusão a ser provada é falsa, isto é, supor ¬C, e mostrar que essa suposição nos leva a uma contradição. CS 1813 Discrete Mathematics, Univ Oklahoma Copyright © 2000 by Rex Page
CS 1813 Discrete Mathematics, Univ Oklahoma Prova por contradição Teorema: se a,b ∈ Z então a2-4b≠2 Prova: Suponha, por contradição, que a2-4b=2 Então a2 = 2+4b = 2(1+2b), ou seja a2 é par e, portanto, a é par. Ou seja, a = 2c, para algum inteiro c. Substituindo a por 2c na equação acima obtemos: (2c)2 = 2(1+2b) => 4c2 = 2 (1+2b) Dividindo ambos os lados por 2: 2c2 = 1+2b => 1 = 2b – 2c2 = 2(b-c2) Como b,c ∈ Z, isso significa que 1 é par, o que é um absurdo! Portanto a2-4b≠2. CS 1813 Discrete Mathematics, Univ Oklahoma Copyright © 2000 by Rex Page
Mais estratégias de prova Um número real x é racional se x=a/b, para algum número a ∈Z e algum número b ∈ Z, b≠0. E x é irracional, se ele não é racional. Teorema: √2 é um número irracional Quais são as hipóteses? Qual é a conclusão? Que estratégia podemos usar para provar o teorema? CS 1813 Discrete Mathematics, Univ Oklahoma Copyright © 2000 by Rex Page
CS 1813 Discrete Mathematics, Univ Oklahoma Prova por contradição Teorema: √2 é um número irracional Prova: Suponha, por contradição, que √2 é racional, isto é, √2 =a/b, para a,b∈Z, b≠0. Podemos supor, sem perda de generalidade, que a e b são primos entre si -- mdc(a,b)=1. Então (a/b)2=(√2)2=2 ⇒ a2=2b2, ou seja a2 é par e, portanto, a é par, i.e., a=2k, para algum k∈Z. Então b2=a2/2=(2k)2/2=2k2, ou seja, b2 é par e, portanto, b é par. Mas isso constraiz o fato de que a e b são primos entre si. Portanto, concluimos que √2 é irracional CS 1813 Discrete Mathematics, Univ Oklahoma Copyright © 2000 by Rex Page
Prova por contradição – mais exemplos Teorema: O conjunto dos números primos é infinito. Quais são as hipóteses? Qual é a conclusão? Como pode ser expressa a negação dessa conclusão? Como podemos obter uma contradição, a partir da negação da conclusão? CS 1813 Discrete Mathematics, Univ Oklahoma Copyright © 2000 by Rex Page
CS 1813 Discrete Mathematics, Univ Oklahoma Exercícios Prove que a soma de um número racional e um número irracional é um número irracional Prove que o conjunto dos números pares é infinito Sejam a e b inteiros. Então a2-4b≠2 CS 1813 Discrete Mathematics, Univ Oklahoma Copyright © 2000 by Rex Page