1

Frum Anlise 2017

Prezados(as) alunos(as),

Na matemtica, em seus diversos ramos e teorias, resultados interessantes a priori so

denominados conjecturas e ao serem demonstrados (provados) podem se tornar um
Teorema, um Corolrio ou um Lema, isso vai depender do grau de sua relevncia. Um
teorema por exemplo, um resultado de grande importncia, tendo implicaes ou
consequncias que sustentam e do sentido para o estudo de uma teoria ou assunto. Um
lema um resultado relevante para se provar um teorema, no tendo grande
expressividade, alm do seu auxlio na prova desse teorema. J um corolrio um resultado
importante (que deve ser provado claro), mas que uma consequncia direta de um
teorema, ou seja, enquanto um teorema mais abrangente, um corolrio mais especfico,
pois tem aplicao em casos particulares. Vejam os exemplos a seguir:

Teorema: A soma dos ngulos internos de um tringulo igual a .

Demonstrao: Seja um tringulo qualquer, vamos mostrar que .

Para provar esse teorema, usaremos o resultado a seguir.

Lema: Se uma reta paralela ao segmento e que passa pelo ponto , ao

prolongarmos os segmentos e , e obtivermos os ngulos , e . Ento, ,
e .

Prova: Como paralelo ao segmento , logo, os ngulos e so ngulos

correspondentes, ou seja, ambos tm a mesma medida, isto , , de maneira anloga
conclui-se que . Alm disso, note que e so opostos pelo vrtice, logo, .
Portanto, , e .

Votando a prova do teorema, temos

 2

Observe que os ngulos , e so suplementares, ou seja, correspondem a meia volta e,

portanto, podemos concluir que

O que prova o resultado do teorema.

Corolrio: Em qualquer tringulo equiltero, cada ngulo interno mede 60.

Demonstrao: Dado um tringulo equiltero , seja um ngulo interno desse tringulo.

Assim, temos

Portanto, cada ngulo interno mede 60.

Para provar, demonstrar um teorema, ou qualquer resultado matemtico, existem vrias

tcnicas interessantes. Nos exemplos apresentados anteriormente, tanto o Teorema como
os outros resultados, foram provados de forma Direta. No entanto, existe uma outra tcnica
muito utilizada pelos matemticos para demonstrar se uma proposio verdadeira, mtodo
esse chamado de Prova por Contradio, tambm conhecido por Reduo ao Absurdo,
que um tipo de tcnica de prova Indireta. Tal mtodo consiste em supor que o que se
quer provar seja falso, ou simplesmente, negar a tese e por meio de argumentos lgico e
manipulaes matemticas chegar numa contradio, ou em um absurdo.

Vejamos a ilustrao a seguir:

Exemplo: Se e so nmeros naturais pares, ento, a soma tambm par.

Demonstrao: Vamos provar esse resultado pelo mtodo da reduo ao absurdo. Mas
primeiro, lembremos que se par, ento , para algum natural, alm disso, um
nmero chamado de mpar, quando , para algum natural. Assim, suponha
por absurdo que e sejam naturais pares, mas que a soma seja mpar (negao da
tese). Assim, se mpar, existe natural tal que

(*)

Como e so pares, logo, so escritos na forma e , com e naturais.

Substituindo e em (*), tem-se que
 3

Chamando de (que um nmero natural), pois a soma de naturais um

nmero natural, conclumos que

Assim, do lado esquerdo da igualdade, temos um nmero par, ou seja, conclumos que 1
par. Absurdo, pois 1 mpar. Portanto, supor que mpar nos d uma contradio,
logo, podemos concluir que necessariamente par. Como queramos demonstrar
(CQD).

Para provar o resultado anterior, seria muito mais fcil faz-lo de forma direta, ou seja,

(que par).

No entanto, muitas vezes, quando a forma direta no eficaz, recorremos tcnica de

reduo ao absurdo, veremos isso mais detalhadamente durante o curso de Anlise
Matemtica. Assim, um mesmo resultado pode ser provado de vrias formas.

Nessa disciplina de Anlise Matemtica, um dos principais objetivos que o aluno aprenda
a fazer demonstraes, provar os resultados matemticos de maneira lgica. Por isso,
propomos que cada cursista, pesquise em um contedo da matemtica, um teorema,
corolrio, exerccio, exemplo, ou qualquer resultado interessante. Enuncie o teorema (ou
resultado a ser provado) e apresente uma prova ou demonstrao matemtica para tal
enunciado.

Vocs podem buscar em livros das mais diversas reas da matemtica, tais como,
geometria plana, geometria analtica, clculo, lgebra, etc. Queremos que cada cursista
apresente um resultado matemtico e faa sua demonstrao. Feito isso, interajam com
pelo menos dois colegas, deem sugestes, perguntem, elogiem, faam crticas construtivas.
Esse um espao bem interessante para conhecermos vrios teoremas ou resultados
interessantes da matemtica, sejam criativos e originais, busquem resultados que ainda no
foram postados no frum.

Bom trabalhos a todos(as).

http://www-di.inf.puc-rio.br/~poggi/discrete.pdf