Recomendaes para Estudantes: Aprendendo a Fazer Demonstraes Matemticas

Por Francisco de Oliveira, Traduzido de "ADVICE FOR STUDENTS FOR LEARNING PROOFS" do professor e autor Joseph A. Gallian da Universidade de Minnesota, Estados Unidos, autor de "CONTEMPORARY ABSTRACT ALGEBRA (*).

INTRODUO Voc deveria, periodicamente, reler este artigo medida que o seu aprendizado avana, uma vez que muitos dos comentrios se referem a situaes que iro surgir ao longo do tempo. Tambm deveria mant-lo mo quando estiver exercitando em casa. As demonstraes matemticas, ou provas, so construdas utilizando-se as definies, teoremas e fatos. Assim, para ser capaz de fazer demonstraes voc deve ter as definies pertinentes, teoremas e fatos memorizados. Quando um novo tpico introduzido pela primeira vez as demonstraes, normalmente, usam apenas definies e idias matemticas bsicas, tais como as propriedades dos nmeros. Depois de ter aprendido alguns teoremas sobre um assunto voc pode us-los para provar outros teoremas. Para aprender a fazer demonstraes escolha vrias declaraes com provas fceis que so dadas no livro texto (NT: refere-se ao livro (*) citado no incio deste artigo). Copie as declaraes, mas no as provas. Ento veja se voc pode prov-las. Os alunos muitas vezes tentam provar uma declarao sem usar a hiptese por inteiro. Tenha em mente que voc deve usar a hiptese. Se voc no pode provar a afirmao dada, olhe para a primeira linha da prova no texto. Isto pode ser o suficiente. Se no for, ento olhe a linha seguinte e assim por diante. Pratique provando as declaraes que voc selecionou at que voc possa fazer as provas sem olhar para o texto. Uma vez que voc tenha dominado esta lista inicial, escolha mais algumas proposies e pratique com elas. Existe uma relao direta entre o seu entendimento do assunto e capacidade para fazer as demonstraes. Demonstraes testam a sua compreenso. Elas tambm testam a sua criatividade. COMO COMEAR Comece uma prova, reescrevendo, de uma forma mais conveniente, o que lhe dado pelo enunciado e o que est sendo pedido para voc provar. Muitas vezes isso envolve a converso de texto para smbolos matemticos e utilizar as definies dos termos usados nas declaraes. Um exemplo : "Prove que o produto de dois nmeros reais no nulos diferente de zero." Este enunciado se converte para: "Se a e b so nmeros reais no nulos, prove que ab 0." Comece a prova com: "Suponha que a 0 e b 0. Prove que ab 0." (Ns provaremos esta afirmao na seo de provas por contradio.) importante comear reescrevendo ambos os pressupostos e a concluso uma vez que isto enfatiza que os pressupostos so o que voc tem para trabalhar e a concluso o seu objetivo.

Exemplos de converso de palavras para smbolos so: n um inteiro par que convertemos para n = 2t, para algum t. n um inteiro mpar que convertemos para n = 2t + 1, para algum t. n um nmero racional que convertemos para n = a/b, onde a e b so inteiros, b 0. n um divisor de m que convertemos em m = nt, para algum t inteiro. n um quadrado que convertemos para n = t2, para algum t inteiro.
PROVA DIRETA Em uma prova direta lhe dado uma ou mais condies e pede-se para provar alguma concluso. Para demonstraes em lgebra abstrata voc pode usar tanto as condies dadas, bem como axiomas, definies e fatos padres sobre nmeros reais, nmeros complexos, lgebra do ensino mdio, e lgebra linear, sem elaborao. Em uma prova direta de uma declarao na forma A implica B, voc comea a sua prova assumindo que A verdadeiro e passa por uma srie de etapas que levam concluso que B vlido. Como exemplo, considere a afirmao: "A soma de dois nmeros racionais racional." Para prov-la, usamos a definio de nmero racional e convertemos a afirmao para:

"Se a,b,c e d so inteiros, b0 e d0, ento a/b + c/d da forma m/n, com m e n inteiros, n 0. " Para provar esta afirmao, observamos que a/b + c/d = (ad + bc)/bd e que, de acordo com a hiptese dada, ad + bc um inteiro (chamemos de m) e bd 0 (chamemos de n), isto : a/b + c/d = m/n Assim a prova est completa. PROVA POR CONTRADIO Prova ou demonstrao por contradio uma forma natural de se proceder quando negando a concluso obtemos algo concreto para manipular. Para provar a afirmao "A implica B" por contradio, comeamos por afirmar que A verdadeira e B no e acabamos por chegar a alguma contradio (possivelmente contradizendo a afirmao A). Por exemplo, uma declarao como "Prove que log23 irracional". Para provar a declarao usamos prova por contradio, da seguinte forma: Assumimos que log23 racional. Assim escrevemos log23 = m/n onde m e n so inteiros, n 0. Aplicamos a definio de logaritmo e temos: 3 = 2m/n, Elevando ambos os membros a n, vem: 3n = 2m. Agora observando essa ltima igualdade temos, no lado esquerdo um nmero mpar e no lado direito um nmero par o que contradiz um fato bsico conhecido sobre os nmeros e, portanto, log23 no racional. Se voc argumentar por contradio, no termine dizendo "uma contradio". Voc deve indicar o que voc est contradizendo (geralmente a hiptese ou um fato conhecido). Aqui est um exemplo onde se contradiz a suposio original. Para provar a afirmao "A soma de um nmero racional com um nmero irracional irracional" por contradio, fazemos da seguinte forma: Seja a um nmero racional e b um nmero irracional. Assumimos que a + b racional. Mas, ento (a + b) + (-a) = b racional. Esta uma contradio com o pressuposto de que b irracional. H mais de 2000 anos atrs, Euclides provou que existem infinitos nmeros primos assumindo que h somente um nmero finito deles. Ao fazer isso, tomando seus produtos, ele foi capaz de chegar a uma contradio. PROVANDO UMA SENTENA "OU" Quando lhe pedido para provar uma sentena "OU" tal como provar "afirmao A ou afirmao B" comece por assumir que uma das duas afirmaes, A ou B, falsa e use isto para provar que a outra afirmao verdadeira. No importa qual das afirmaes A ou B voc supe ser falsa. Se voc assumir que A falsa e no for capaz de provar que B verdadeira, ento assuma que B falsa e tente provar que A verdadeira. Provando uma dessas duas possibilidades uma prova completa. No h necessidade de fazer as duas coisas. Outra maneira de provar uma sentena "A ou B" assumir que ambas as declaraes A e B so falsas e obter uma contradio. A afirmao "Se a e b so nmeros reais no nulos, prove queab diferente de zero" um candidato perfeito para provar por contradio, pois a suposio de que ab = 0 permite-lhe tirar partido de uma propriedade especial do nmero 0. Para provar ab 0 assumimos que a 0, b 0 e ab = 0. Uma vez que b 0, sabemos que b-1 existe. Ento a = a(bb-1) = (ab)b-1 = 0, o que contradiz a suposio de que a 0 . Aqui est outro exemplo. "Se m e n so inteiros e mn par, prove que m ou n par." Para provar isso, assumimos que mn par e m e n so mpares. Ento podemos escrever m = 2s + 1 e n = 2t + 1 para s e t inteiros. Ento mn = (2s + 1)(2t + 1)= 4st + 2s + 2t + 1 = 2(2st + s + t) + 1, o que estranho. Uma vez que isto contradiz a suposio de que mn par, assim a prova est completa. PROVA POR ANLISE DE CASOS Uma maneira comum de construir uma prova direta examinar todos os casos possveis. Considere a afirmao: "Se o produto de dois nmeros inteiros mpar, ento ambos os nmeros so mpares." Comeamos convertendo as palavras da expresso para smbolos, isto , denotamos dois inteiros

por m e n e consideramos os quatro casos possveis: CASO 1. m e n so pares. Neste caso podemos escrever m = 2s e n = 2t para s e t inteiros. Entomn = 2s2t = 2 (2st) e portando mn par. CASO 2. m e n so mpares. Neste caso podemos escrever m = 2s + 1 e n = 2t +1 para s e t inteiros. Ento mn = (2s + 1) (2t + 1) = 4st + 2s + 2t + 1 = 2 (2st + t + s) + 1 . Logomn mpar. CASO 3. m par e n mpar. Neste caso podemos escrever m = 2s e n = 2t + 1 para s e t inteiros. Ento mn = 2s (2t + 1) = 4st + 2s = 2 (2s + s) e, assim, mn par. CASO 4. m mpar e n par. Este caso igual ao caso 3, basta intercambear m e n. Para completar a prova observa-se que o nico caso que no produz um produto par quando ambos os nmeros m e n so mpares.

PROVA POR EXPERIMENTAO Embora no seja possvel, em geral, provar declaraes por experimentao ou teste, muitas provas podem ser feitas com a ajuda da experimentao. Geralmente, experimenta-se alguns poucos exemplos para obterse algum conhecimento ou padro e a partir disso podemos obter uma prova. Considere a afirmao: "Todo inteiro mpar a soma de dois nmeros inteiros consecutivos."Testando alguns casos temos: 3=1+2 5=2+3 7 = 3 + 4. Parece que um padro geral 2n + 1 = n + (n +1) e, na verdade isto nos d uma prova. Aqui est outro exemplo. Considere a afirmao: "Prove que todo inteiro positivo mpar a diferena de dois quadrados." Uma vez que o enunciado do problema diz que devemos olhar para as diferenas de dois quadrados, comeamos listando alguns quadrados e suas diferenas para ver se podemos detectar um padro. Os primeiros seis quadrados so:02 =0
1 =1 2 2 =4 2 3 =9 2 4 = 16 2 5 = 25.
2

Tomando as diferenas dos quadrados sucessivos temos:

1 -0 =1 2 2 2 -1 =3 2 2 3 -2 =5 2 2 4 -3 =7 2 2 5 - 4 = 9.
2 2

Embora observando que tirando a diferena de quadrados sucessivos obtemos todos os inteiros positivos mpares ainda temos que provar que isto sempre ocorre de forma irrefutvel. Observando que(n + 1)2 n2 = n2 + 2n + 1 - n2 = 2n + 1 obtemos a prova completa. Alm disso, esta prova vlida para todos os inteiros mpares, e no apenas os casos positivos. "SE E SOMENTE SE" PROVAS Ao tentar provar uma declarao "se e somente se" altamente no recomendvel usar um "se e somente se" como argumento. Eles so complicados para iniciantes. Em vez disso, se voc est provando que A verdadeiro SE E SOMENTE SE B verdadeiro, primeiro assuma que A verdadeiro e use esta hiptese para provar B verdadeiro. Em seguida, comece assumindo que B verdadeiro e use isto para provar que A verdadeiro. Essa abordagem requer duas provas independentes.

PROVANDO QUE DOIS CONJUNTOS SO IGUAIS Sempre que voc for provar que um conjunto A igual a um conjunto B, inicie assumindo que um elemento x pertence a A e use a propriedade definidora de A para mostrar que x tambm pertence aB. Em seguida, assuma que algum elemento y pertence a B e use a propriedade definidora de B para provar que y tambm pertence a A. Aqui est um exemplo: Para provar que {(n +1)2 - n2| onde n um inteiro} igual ao conjunto de todos os inteiros mpares, fazemos (n + 1)2 - n2 ser um elemento pertencente ao conjunto do lado esquerdo. Desenvolvendo (n + 1)2 -n2 = n2 + 2n +1 - n2 = 2n + 1 mostramos que (n + 1)2 - n2 , tambm, membro do lado direito. Agora fazemos k ser um membro pertencente ao conjunto do lado direito. Uma vez que k mpar, pode ser escrito na forma 2n + 1 para qualquer n e sendo 2n + 1 = (n +1)2 -n2 mostramos quek , tambm, um membro do lado esquerdo e a prova est completa. REFUTANDO Apesar da "prova por exemplo," no ser legtima, voc pode refutar declaraes por meio de um nico exemplo. Considere a afirmao: "A soma de dois nmeros irracionais irracional." Para refutar essa afirmao basta simplesmente observar que 2 e -2 so irracionais, mas a soma, 2+ (- 2) = 0, racional. PROVANDO A UNICIDADE Para provar que um objeto nico assuma que a e b so dois objetos que possuem a propriedade desejada e use esta propriedade, juntamente com outras informaes conhecidas para mostrar que a = b. Para ilustrar, considere a afirmao: "Para qualquer nmero real r da equao x3 = r tem uma nica soluo real." Para provar esta afirmao assumimos que a e b so duas solues de x3 = r e usamos um pouco de lgebra e propriedades dos nmeros reais para provar que a = b. NEGANDO AFIRMAES Tenha cuidado com negaes. A negao de "para todo ..." "existe pelo menos um ..." e vice-versa. Por exemplo, a negao da afirmao "Para todo nmero real x, x 2 > 0" "Existe pelo menos um nmero real x para o qual x2 0." Por outro lado, a negao de "Existe pelo menos um nmero real x para o qual x2 0" "Para todo nmero real x, x 2 > 0 ". Fica fcil de lembrar pensando em uma afirmao como "Todos passaram no exame."cuja negao "Pelo menos uma pessoa no passou no exame." A negao de "Pelo menos uma pessoa no passou no exame." "Todos passaram no exame.". PROVANDO QUE UMA FUNO SOBREJETIVA Provar que uma funo "sobrejetiva" causa confuso entre muitos estudantes. Para provar que alguma funo f de A em B sobrejetora, denotamos por b qualquer elemento de B. Voc deve encontrar algum x em A tal que f(x) = b ( considere que b conhecido e x a incgnita ). Para fazer isso substitua f(x) pela frmula definidora de f(x) e resolva para x em funo de b. Voc deve verificar se a soluo obtida pertence ao conjunto A. Aqui est um exemplo: digamos que vamos provar que f(x) = x2 , sendo f de Reais Positivos em Reais Positivos, sobrejetora. Fazemos b ser qualquer nmero real positivo. Ento devemos resolver a equao x2 = b para x. Assim obtemos x = b e observando que esta uma soluo real positiva provamos que f sobrejetora. Em contrapartida, se temos a mesma funo, agora, de racionais positivos em racionais positivos a funo no sobrejetiva j que no h soluo racional para a equao x2 = 2. REVISE A SUA DEMONSTRAO Depois de completar uma prova ou demonstrao, revise-a para ver se voc usou todas as hipteses. Alm disso, certifique-se que voc tenha fornecido razes para cada etapa da demonstrao.