You are on page 1of 7

T´cnicas de Demonstra¸˜es e co

Gentil Lopes da Silva 27 de novembro de 2008

Resumo:
Aqui reuniremos algumas t´cnicas de demonstra¸oes matem´ticas. Acree c˜ a ditamos que todo aluno de matem´tica deva conhecˆ-las. a e Nota: Este ´ um excerto retirado de um de nossos livros. e

1

T´cnicas (Engenharia) de Demonstra¸˜o e ca
Os problemas em matem´tica dividem-se em duas classes: a Determina¸ao: calcule, encontre, ache, determine,. . . c˜ Demonstra¸ao: mostre, prove, demonstre,. . . c˜

Costumo mesmo dizer que a matem´tica come¸a com os problemas do sea c gundo tipo. De fato, a resolu¸ao da maioria dos problemas do primeiro tipo s˜o c˜ a algoritmicas (mecˆnicas); enquanto os problemas do segundo tipo exigem muito a de criatividade (engenhosidade). Um outro crit´rio que utilizo para distinguir n˜o-matem´tica (algoritmo) e a a de matem´tica, ´ que a n˜o-matem´tica ´ suscept´ de programa¸ao - a exema e a a e ıvel c˜ plo dos poderosos softwares alg´bricos - enquanto que a matem´tica em si (dee a monstra¸oes) n˜o. Para se lidar com matem´tica torna-se indispens´vel o coc˜ a a a nhecimento de algumas t´cnicas de demonstra¸ao. e c˜

1

1 Equivalencias Not´veis a A seguir listamos algumas equivalencias entre proposi¸oes. .1 Opera¸˜es L´gicas sobre Proposi¸˜es co o co das opera¸oes do c´lculo proposicional tamb´m chac˜ a e Os principais operadores (conectivos) l´gicos s˜o os o a Disjun¸ao (“ou”) c˜ Conjun¸ao (“e”) c˜ Nega¸ao c˜ Condicional (“se.1. c˜ o seguintes: ∨ ∧ ¯ −→ ←→ cujas tabelas-verdade s˜o dadas a seguir∗ a p V V F F q V F V F p∨q V V V F p V V F F q V F V F p∧q V F F F p V F p ¯ F V p V V F F q V F V F p −→ q V F V V p V V F F q V F V F p ←→ q V F F V p V V F F p ¯ F F V V q V F V F p ∨q ¯ V F V V Acrescentamos a tabela-verdade da proposi¸ao p ∨q a qual nos ser´ de grande c˜ ¯ a utilidade. 1... as quais podem c˜ ser demonstradas com o aux´ das respectivas tabelas-verdade.ent˜o”) a Bicondicional (“se e somente se”) Faremos um resumo madas opera¸oes l´gicas. ılio ¯ 1) p ⇐⇒ p (Dupla Nega¸ao) c˜ 2) Leis Idempotentes a) p ∨ p ⇐⇒ p b) p ∧ p ⇐⇒ p 3) Leis Comutativas a) p ∨ q ⇐⇒ q ∨ p b) p ∧ p ⇐⇒ q ∧ p 4) Leis Associativas a) p ∨ (q ∨ r) ⇐⇒ (p ∨ q) ∨ r b) p ∧ (q ∧ r) ⇐⇒ (p ∧ q) ∧ r ∗ Estas tabelas definem os respectivos operadores.Gentil 2 1.

ou s˜o ambas verdadeiras o e a (V ) ou s˜o ambas falsas (F ). Londres. isto ´ e o c˜ a e p −→ q ⇐⇒ q −→ p ¯ ¯ Sendo assim acabamos de estabelecer nossa primeira t´cnica de e demonstra¸ao indireta: c˜ ∗ Augustus De Morgan (1806 − 1873) lecionou no University College. p −→ q ⇐⇒ q −→ p ¯ ¯ Para provar isto faremos uso da seguinte identidade: p −→ q = p ∨ q ¯ Esta identidade pode ser obtida das respectivas tabelas-verdade. estas proposi¸oes s˜o equivalentes. Logo. Prova: (i) p −→ q = p ∨ q ¯ (ii) q −→ p = q ∨ p ¯ ¯ ¯ ¯ =p∨q ¯ Isto significa que as proposi¸oes p −→ q e q −→ p assumem c˜ ¯ ¯ sempre os mesmos valores l´gicos. isto ´. e contribuiu para preparar o caminho da L´gica matem´tica moderna. Equivalˆncia Entre Proposi¸oes Aparentadas e c˜ 2.Gentil 3 5) Leis de De Morgan∗ a) ( p ∨ q ) ⇐⇒ p ∧ q ¯ ¯ b) ( p ∧ q ) ⇐⇒ p ∨ q ¯ ¯ 6) Leis Distributivas a) p ∧ ( q ∨ r ) ⇐⇒ (p ∧ q) ∨ (p ∧ r) b) p ∨ ( q ∧ r ) ⇐⇒ (p ∨ q) ∧ (p ∨ r) 1. a o o a .1 A proposi¸ao direta equivale ` contra-rec´ c˜ a ıproca. Proposi¸oes Aparentadas c˜ p −→ q q −→ p p −→ q ¯ ¯ q −→ p ¯ ¯ : : : : Direta Rec´ ıproca Contr´ria a Contrapositiva (contra-rec´ ıproca) 2. Foi matem´tico e l´gico. Consultando a tabela do bicondicional a concluimos que a proposi¸ao c˜ p −→ q ←→ q −→ p ¯ ¯ ´ tautol´gica.

Estamos dizendo o e o que p ∨ f = p. † H: ¯ ¯ Hip´tese. (i) p −→ q = p ∨ q. ¯ p ∧ q −→ q ¯ c˜ (T-3) Redu¸ao ao absurdo H =⇒ T ⇐⇒ ¯ H ∧ T =⇒ f Onde: f ´ uma proposi¸ao de valor l´gico falso (´ qualquer cone c˜ o e tradi¸ao). T : Tese. ¯ p ∧ q −→ f ¯ Nota: Na tabela-verdade da proposi¸ao p ∨ q vemos que quando o c˜ valor l´gico de q ´ F . o c˜ o c˜ . prevalece o valor l´gico de p. (i) p −→ q = p ∨ q. ¯ ¯ (ii) p ∧ q −→ f = (p ∧ q ) ∨ f ¯ = (p ∧ q ) ¯ = p ∨p ¯ ¯ = p ∨ p. H: Nega¸ao da hip´tese. c˜ Prova: Provemos a seguinte equivalˆncia: e p −→ q ⇐⇒ De fato. ¯ (ii) p ∧ q −→ q = (p ∧ q ) ∨ q ¯ ¯ = ( p ∨q ) ∨ q ¯ ¯ =p∨q∨q ¯ = p ∨ q.Gentil 4 (T-1) O teorema direto equivale ao contra-rec´ ıproco† ¯ ¯ H =⇒ T ⇐⇒ T =⇒ H Enunciemos nossa segunda t´cnica de demonstra¸ao indireta: e c˜ (T-2) Anexa¸ao ` hip´tese da nega¸ao da tese c˜ a o c˜ H =⇒ T ⇐⇒ ¯ H ∧ T =⇒ T Prova: Provemos a seguinte equivalˆncia: e p −→ q ⇐⇒ De fato. T : Nega¸ao da tese.

  H2 : a |c o ¯ ¯ H1 ∧ T =⇒ H2 Prova: Para algum n1 e algum n2 inteiros.2 Uma Equivalencia Not´vel a Uma das equivalˆncias mais utilizadas em demonstra¸oes mae c˜ tem´ticas ´ a que segue a e (T-4) Teorema com hip´tese composta (∧) o Se a hip´tese de um teorema ´ formada pela conjun¸ao de duas o e c˜ outras. ¯ ¯ Vejamos alguns exemplos de aplica¸ao desta equivalˆncia: c˜ e 1 ) Em teoria dos n´ meros: Se a divide b e a n˜o divide c ent˜o b n˜o divide c. resulta   H1 :        T : ¯ Observe que b = n1 a =⇒ c = n2 b c c = n2 = b a · n1 c ¯ = n 1 · n 2 ≡ H2 a . u a a a   H1 : a|b  ⇒ T: b | c.Gentil 5 1.1. junta-se a uma das hip´teses a nega¸ao da tese e demonstrae o c˜ se a nega¸ao da outra hip´tese. p ∧ q −→ r = (p ∧ q) ∨ r = (¯ ∨ q ) ∨ r p ¯ = p ∨ q ∨ r. p ∧ r −→ q = (p ∧ r ) ∨ q ¯ ¯ ¯ ¯ = (¯ ∨ r) ∨ q p ¯ ¯ = p ∨ r ∨ q. ´ v´lida a seguinte equivalˆncia e a e H1 ∧ H2 =⇒ T ⇐⇒ ¯ ¯ H1 ∧ T =⇒ H2 Isto ´. ¯ ¯ Por outro lado. c˜ o Prova: Provemos a seguinte equivalˆncia e p ∧ q −→ r ⇐⇒ p ∧ r −→ q ¯ ¯ De fato.

a 4o ) Em Teologia (Unicidade de Deus) Suponhamos que existam dois Deuses D e D′ :   H1 : D ´ Deus e  ⇒ T: D = D′  ′  H2 : D ´ Deus e T: x ∈ N. e n < x < n + 1. a   H1 :  a≤b ⇒ b≤a ¯ ¯ H1 ∧ T =⇒ H2 T: a = b. x ∈ R.   H2 : Prova: Suponha a ≤ b e a = b. a 3o ) Em An´lise: a Se n ∈ N. a a e Sugest˜o: Quando vocˆ estudante encontrar-se frente a um teorema a e tipo H1 ∧ H2 =⇒ T e.Gentil 6 2o ) Em An´lise: a Se a ≤ b e b ≤ a ent˜o a = b. a   H1 :  x>n ⇒ x<n+1 ¯ ¯ H1 ∧ T =⇒ H2 Prova: Se x > n e x ∈ N ent˜o x ≥ n + 1. o que contraria H2 . ent˜o x ∈ N. Jesus Cristo n˜o ´ Deus. Ent˜o existe e a algum atributo em D n˜o partilhado por D′ . tente demonstrar o equivalente o ¯ ¯ H1 ∧ T =⇒ H2 (T-5) O seguinte teorema n˜o ´ raro em matem´tica: a e a H1 ⇐⇒ H2 =⇒ T . Corol´rio 1. ap´s bater o desespero (ou antes mesmo).   H2 : ¯ Prova: H1 ∧ T : Suponhamos que D ´ Deus e que D = D′ . por conseguinte D′ n˜o ´ a a e Deus. ent˜o a < b.

p ∨ q −→ r = (p ∨ q) ∨ r = (¯ ∧ q ) ∨ r p ¯ = p∨r ∧ q∨r ¯ ¯ = p −→ r ∧ q −→ r p −→ r ∧ q −→ r . Ainda. Portanto subsiste a seguinte equivalˆncia e H1 =⇒ H2 =⇒ T (ii) H2 =⇒ T =⇒ H1 ¯ Consideremos a contrapositiva: H1 =⇒ H2 =⇒ T . Ent˜o. Isto e significa que assumindo H1 devemos demonstrar H2 =⇒ T . devee mos mostrar que H2 acarreta T . Isto ´.Gentil 7 ´ E um teorema. H1 ∧ H2 =⇒ T Esta conclus˜o pode ser provada assim: a ¯ H1 −→ H2 −→ T = H1 ∨ H2 −→ T ¯ ¯ = H 1 ∨ H2 ∨ T = (H1 ∧ H2 ) ∨ T = H1 ∧ H2 −→ T. tipo “se e somente se”. isto ´ e H1 =⇒ H2 =⇒ T H1 ⇐= H2 =⇒ T Ent˜o a (i) H1 =⇒ H2 =⇒ T Observemos que a tese do teorema acima ´ um outro teorema. o e c˜ ´ v´lida a seguinte equivalˆncia e a e H1 ∨ H2 =⇒ T ⇐⇒ H1 =⇒ T ∧ H2 =⇒ T ⇐⇒ H1 ∧ H2 =⇒ T Prova: Provemos a seguinte equivalˆncia e p ∨ q −→ r ⇐⇒ De fato. a ¯ ¯ ¯ H1 −→ H2 −→ T = H1 −→ H2 ∨ T ¯ ¯ = H1 −→ H2 ∧ T Portanto subsiste a seguinte equivalˆncia e ¯ ¯ (H2 =⇒ T ) =⇒ H1 ⇐⇒ H1 =⇒ H2 ∧ T (T-6) Teorema com hip´tese composta (∨) o Se a hip´tese de um teorema ´ formada pela disjun¸ao de duas outras.