UNIVERSIDADE FEDERAL DE SANTA CATARINA

CENTRO DE CINCIAS FSICAS E MATEMTICAS

DEPARTAMENTO DE MATEMTICA
GRADUAO EM LICENCIATURA MATEMTICA










UM ESTUDO SOBRE DEMONSTRAES
EM LIVROS DE ENSINO MDIO









Orientanda Mayna Volker dos Santos
Orientadora Neri Terezinha Both Carvalho







2
Trabalho de Concluso de Curso apresentado por Mayna Volker dos Santos
Curso de Matemtica Habilitao Licenciatura
Departamento de Matemtica
Centro de Cincias Fsicas e Matemticas
Universidade Federal de Santa Catarina






UM ESTUDO SOBRE DEMONSTRAES
EM LIVROS DE ENSINO MDIO








Composio da Banca: Neri Terezinha Both Carvalho (Orientadora)
Nereu Estanislau Burin
Josiane Marques Motta












Florianpolis, 16 fevereiro 2009.
3
Esta Monografia foi julgada adequada como TRABALHO DE CONCLUSO DE
CURSO no curso de Matemtica Habilitao Licenciatura, e aprovada em sua forma final
pela Banca Examinadora designada pela Portaria n 14/ CCM/ 2009.


_______________________________________
Prof . Carmem Suzane Comitre Gimenez
Professora da disciplina

Banca Examinadora:

_______________________________________
Prof . Neri Terezinha Both Carvalho
Orientadora





_______________________________________
Prof . Nereu Estanislau Burin






_______________________________________
Prof . Josiane Marques Motta





4

Se voc quer saber o que diz uma
proposio matemtica, veja o que sua
demonstrao prova.

Ludwing Wittgenstein
5
Agradecimentos

Aos meus pais, Mrcio e Mirna, minha irm Elisa, a vocs meu eterno carinho e gratido.

professora Neri Terezinha Both Carvalho, minha orientadora, pelo apoio e dedicao
durante o desenvolvimento desse trabalho.

Aos professores Nereu Estanislau Burin e Josiane Marques Motta por aceitarem o convite
para participar da Banca Examinadora.

Ao meu namorado Adriano que me deu apoio, fora e carinho nos momentos em que eu
achava que nada ia dar certo. Obrigado por estar ao meu lado.

A todos os colegas e amigos que estiveram comigo nesses quatro anos de estudo e dedicao.

Um agradecimento especial para os amigos Rodrigo Luis de Souza e Thiane Pereira Ponceta
Coliborio, foram quatro anos juntos, horas e horas de estudos, ombro amigo nos momentos
em que a tristeza e o desanimo batiam. Anos que nos aproximaram e nos tornaram amigos,
obrigado pelo apoio e pela amizade.
6
Sumrio
Sumrio ...................................................................................................................................... 6
Introduo .................................................................................................................................. 7
Captulo 1 Tipos de Demonstraes Matemticas ................................................................. 8
1.1. Termos usados para expressar resultados .................................................................. 8
1.2. O que uma prova em Matemtica? .............................................................................. 9
1.2.1. Demostrao por Absurdo ..................................................................................... 10
1.2.2. Demonstrao por Induo .................................................................................... 11
1.2.3. Demonstrao Direta ............................................................................................. 13
1.2.4. Demonstrao por Construo .............................................................................. 15
1.2.5. Demonstrao por Exausto .................................................................................. 18
Captulo 2 Demonstraes em Livros de Ensino Mdio ...................................................... 20
2.1. Demonstraes e o Ensino de Matemtica ................................................................... 20
2.2. Estudo do Livro Matemtica Completa .................................................................... 21
2.3. Estudo do Livro Matemtica Volume nico ............................................................ 27
2.4. Comparao entre os livros Matemtica Completa e Matemtica Volume nico 35
Consideraes Finais ............................................................................................................... 37
Referncias Bibliogrficas ....................................................................................................... 38

7
Introduo


Realizamos um estudo sobre os tipos de demonstraes em Matemtica e buscamos
ver como elas tm lugar nos livros didticos de ensino mdio. Os pesquisadores na rea da
Educao Matemtica vem mostrando a necessidade da implementao de provas e
demonstraes no currculo do ensino bsico. A prova num sentido mais amplo como
contedo um recurso bastante rico para as salas de aula. O exerccio de produzir provas leva
a conjecturas e argumentaes, raciocnios muito importantes para a formao do
conhecimento.
No primeiro captulo estudamos os tipos de demonstraes matemticas e
exemplificamos cada uma delas. No captulo seguinte escolhemos dois livros didticos de
ensino mdio para estudar os tipos, a quantidade de demonstraes e em que contexto elas
aparecem.
Por fim apresentaremos a concluso de nosso estudo.


8

Captulo 1 Tipos de Demonstraes Matemticas

As demonstraes so tcnicas que validam uma conjectura. Os tipos de provas
surgem em funo do tipo de resultado terico e ou do nvel de ensino. Em um processo de
transposio didtica, ao elementarizar um saber, podemos aceitar justificativas mais fracas,
como por exemplo, um convencimento por meio de dobradura, um desenho etc. No
formalismo matemtico,estas justificativas no so aceitas.
Antes de falar dos tipos de demonstrao abordaremos alguns termos utilizados para
expressar um resultado terico e o que se entende por prova matemtica.

1.1. Termos usados para expressar resultados

Neste captulo iremos fazer um estudo sobre os termos usados para designar asseres
matemticas, tipos de demonstraes em matemtica e exemplificaremos cada tipo.
Segundo Polya (1995), na Matemtica, a palavra teorema usada para designar
resultados tericos de grande importncia. Alm deste so usados para expressar resultados os
seguintes termos:
Proposio: uma sentena no associada a algum outro teorema, tem importncia
matemtica menor que a de um teorema.
Lema: um teorema auxiliar. A palavra de origem grega e sua traduo literal
seria que se admite.
Corolrio: um teorema que se demonstra facilmente pelo exame de outro teorema
que se acaba de demonstrar. A palavra de origem grega e sua traduo mais literal
seria galardo, ou recompensa.
Tambm existem termos que denotam afirmaes no demonstrveis, noes mais
elementares que so utilizadas para demonstrar os teoremas, as proposies, os lemas e os
corolrios. So eles:
Axiomas ou Postulados: so afirmaes consideradas como verdadeiras sem
demonstraes. Estes so hipteses iniciais das quais outros enunciados so
logicamente derivados;
Definio: so descries do significado de termos por meio de outros termos que se
supe sejam bem conhecidos.
9
Como exemplo, citamos um axioma de incidncia da geometria Euclidiana dados
dois pontos distintos, existe uma nica reta que contm ambos os pontos.

1.2. O que uma prova em Matemtica?

Uma prova matemtica valida uma afirmao terica. As provas podem ser empricas,
quando baseadas em desenho ou dobraduras; ou formais. A demonstrao um tipo de prova
formal.
A palavra demonstrao usada com vrios sentidos em diferentes contextos. Mas
todos tm a mesma idia: a de justificar ou validar uma afirmao fornecendo razes ou
argumentos. Segundo Moles (1981) em Matemtica e Lngua Materna Demonstrar um fato
construir um sentimento de evidncia deste em um indivduo receptor, comunicando-lhe uma
mensagem cujos elementos formam uma sria de evidncias elementares. Assim, a noo de
demonstrao inclui tanto a de proposies da Matemtica quanto a de proposies cientficas
em geral, ou mesmo proposies de qualquer natureza.
Em matemtica uma afirmao (teorema, proposio, lema, corolrio), que no seja
um axioma ou uma definio, s verdadeira se tiver uma prova, ou seja, uma demonstrao
formal. Essa demonstrao uma sucesso finita de argumentos restrita as regras da lgica
mostrando que um enunciado verdadeiro quando se assume certos axiomas, definies e
teoremas j demonstrados.
Podemos dizer que a idia de demonstrao formal foi transmitida humanidade por
um homem e um livro: Euclides e seus Elementos. Em particular a Geometria no livro de
Euclides, est organizada de maneira sistemtica.
A Geometria, tal como apresentada nos Elementos de Euclides, no uma simples coleo
de fatos, mas sim um sistema lgico. Os axiomas, as definies e as proposies no esto
relacionadas em seqncia aleatria, mas sim dispostos em perfeita ordem. Cada proposio
est de tal maneira situada que ela pode basear-se nos axiomas, definies e proposies que
a precedem. [...] A Geometria euclidiana , no somente um sistema lgico, como tambm o
primeiro e grande exemplo de tal sistema.
(POLYA, 1995, p. 116)
Para Fuchs (1970) o colorido e a variedade da matemtica devem-se ao poder criador
dos matemticos utilizado nas mais variadas demonstraes. As demonstraes constituem os
fios da imensa rede que entrelaa as proposies de uma teoria matemtica.
A seguir sero detalhados alguns tipos de demonstrao, elucidando seus princpios
10
1.2.1. Demostrao por Absurdo

Na prova por absurdo assumimos como hiptese, ou seja, como verdadeiro, o
contrrio do que queremos demonstrar e ento chegamos a uma contradio, isto , uma
proposio que sabemos que falsa.

Exemplo 1:
Provar que existem infinitos nmeros primos.
Demonstrao: Suponha por absurdo, que existem n nmeros primos, isto , uma quantidade
finita, denotados por p
1
, p
2
, ..., p
n.
Seja m = p
1
.p
2
...p
n
+ 1, como m um nmero inteiro maior
que 1, m ou primo ou divisvel por um nmero primo (Teorema fundamental da
Aritmtica).
Note que m no divisvel por nenhum dos nmeros p
1
, p
2
, ..., p
n
, pois o resto da diviso 1.
Portanto m primo, absurdo, pois contradiz a nossa hiptese de que existem n nmeros
primos. Logo nossa hiptese esta errada e, portanto existem infinitos nmeros primos.

Exemplo 2:
Provar que 2 um nmero irracional.
Demonstrao: Suponha por absurdo que 2 um nmero racional, isto , existem p e q
pertencente aos inteiros, tal que
q
p
2 , com mdc(p, q) = 1.
Elevando os dois lados ao quadrado temos:
2
2
2
q
p
,
logo
2
2
2
q
p
e
ento
2 2
2q p
Como
2 2
2q p , ento p
2
par, logo p tambm par. Portanto pode ser escrito da forma 2n,
substituindo na ultima igualdade ficamos com:
2 2
2 2 q n e assim
2 2
2 4 q n , simplificando temos:
2 2
2 q n
11
Note que q tambm um nmero par, absurdo, pois contradiz a nossa hiptese de que
mdc(p,q) = 1. Logo 2 um nmero irracional.
1.2.2. Demonstrao por Induo

O Princpio da Induo um eficiente instrumento para a demonstrao de fatos
referentes aos nmeros naturais. (LIMA, 1998)
A induo matemtica um mtodo de prova usado para demonstrar muitas
proposies. Ele consiste em demonstrar que um enunciado verdadeiro para um valor
inicial, e ento demonstrar que o processo usado para ir de um valor para o prximo valido.
Se ambas as demonstraes forem feitas, ento qualquer valor pode ser obtido usando a
repetio desse processo.
Existem duas formas de demonstrao por induo.

Induo 1 forma
Suponhamos que N n seja dada uma afirmao a(n) tal que :
( i ) a(0) verdadeira.
( ii ) Para N k , a(k + 1) verdadeiro sempre a(k) for verdadeira.
Ento, a(n) verdadeira N n .

Induo 2 forma
Suponhamos que N n seja dada uma afirmao a(n) tal que :
( i ) a(0) verdadeira.
( ii ) Para cada inteiro m > 0, a(m) verdadeira sempre que a(k) for verdadeira para
m k 0 .
Ento, a(n) verdadeira N n .

Exemplo 1:
(Algoritmo de Euclides) Sejam N d n, e 0 d . Ento existem nicos N r q, tais que
r d q n . e d r 0 .
Demonstrao: Vamos fazer a demonstrao usando induo da 2 forma sobre n.
Se d n existem q = 0, r = n, assim podemos assumir 0 d n . Observe que o caso n = 0
est incluido aqui.
12
Ento temos n d n 0 e pela hiptese ( ii ) de induo (2 forma) que N r q ,
1
tais
que r d q d n .
1
onde d r 0 e da segue que r d q n 1
1
onde d r 0 . Assim
existem 1
1
q q e N r como queramos demonstrar.
Vamos provar a unicidade por absurdo. Suponha que existam q
1
, r
1
, q
2
, r
2
N tais que
d r r d q n
1 1 1
0 , . e . 0 , .
2 2 2
d r r d q n Logo,
2 2 1 1
. . r d q r d q .
Como 0 d suficiente provarmos que
2 1
r r pois nesse caso teramos d q d q . .
2 1
, ou seja,
2 1
q q . Suponha por absurdo que
2 1
r r , por exemplo
2 1
r r , neste caso teramos
d q q r r . 0
1 2 2 1
. Mas tambm d r r
2 1
, pois d r
1
e d r
2
, e da segue que
d d q q r r . 0
1 2 2 1
, o que um absudo.

Exemplo 2:
Provar o seguinte enunciado: N n
n n
n ,
2
1
... 3 2 1
Demonstrao: Vamos provar que o enunciado e verdadeiro usando a 1 forma de induo.
Primeiro vamos demonstrar que verdadeiro para n = 1.
2
1 1 1
1
2
2 1
1
1 1
Agora supondo que vale para n = k, vamos mostrar que vale para n = k + 1.
Hiptese de Induo:
2
1
... 3 2 1
k k
k
Adicionando k + 1 em ambos os lados temos:
1
2
1
1 ... 3 2 1 k
k k
k k
2
1 2 1
1 ... 3 2 1
k k k
k k
2
2 1
1 ... 3 2 1
k k
k k
Conclumos que o enunciado verdadeiro para n = k +1, portanto verdadeiro N n .


13
Exemplo 3:
(Induo 1 forma) Suponhamos que N n seja dada uma afirmao a(n) tal que :
( i ) a(0) verdadeira.
( ii ) Para N k , a(k + 1) verdadeiro sempre a(k) for verdadeira.
Ento, a(n) verdadeira N n .
Demonstrao: Seja S o conjunto dos nmeros inteiros no negativos N m tais que a(m)
seja falsa, e suponhamos que S { }. Pelo princpio da boa ordenao
1
, S y
0
tal que
S m m y ,
0
. Como a(0) verdadeira, por hiptese temos que 0 S e portanto 1
0
y ;
mas ainda como S y 1
0
temos que a( 1
0
y ) verdadeira. Agora pela hiptese (ii) segue
que a(
0
y ) = a[( 1
0
y ) + 1] verdadeira o que uma contradio. Logo S = { }.

Exemplo 4:
(Induo 2 forma) Suponhamos que N n seja dada uma afirmao a(n) tal que :
( i ) a(0) verdadeira.
( ii ) Para cada inteiro m > 0, a(m) verdadeira sempre que a(k) for verdadeira para
m k 0 .
Ento, a(n) verdadeira N n .
Demonstrao: Seja S o conjunto dos inteiros no negativos N m tais que a(m) seja falsa e
suponhamos que S { }. Como acima S y
0
tal que S y y y ,
0
, e pela hiptese (i)
0
0
y . Portanto, a(k) verdadeira k ,
0
0 y k e (ii) nos da uma contradio.


1.2.3. Demonstrao Direta

A prova direta uma forma de mostrar que certa afirmao verdadeira atravs de
uma combinao de axiomas, definies e teoremas j estabelecidos por deduo lgica. Em
cada passo, usa-se a implicao "Se p, ento q" com p sendo verdadeiro. Chamamos p de
hiptese e q de tese.
Se e somente se uma forma de expresso para um teorema Se p ento q, e se q ento

1
Princpio de boa ordenao: todo subconjunto S de Z de elementos no negativos possui um primeiro elemento,
isto , y
0
S tal que y
0
y, S y .
14
p ou p se e somente se q. Para demonstrar um teorema dessa forma necessrio provar que
p q e que q p, portanto p e q devem ser afirmaes verdadeiras. Pode-se tambm
demonstrar um teorema desse tipo usando sempre a condicional q p (p se e somente se q).
Dentro da demonstrao direta tambm existe a demonstrao por contraposio. Para
provar que uma proposio condicional p q basta provar que sua contrapositiva
verdadeira, ou seja, p q ( no q implica em no p) verdadeira. Para isso supe-se que
q verdadeira e mostra-se que p verdadeira.

Exemplo 1:
(Teorema do Valor Mdio)
Seja f: [a, b] R contnua. Se f derivvel em (a, b), ento existe c (a, b) tal que
a b
a f b f
c f
) ( ) (
) ( ' .
Demonstrao: Seja g(x) a funo cujo grfico a reta que passa pelos pontos (a, f(a)) e (b,
f(b)), isto , ). ( .
) ( ) (
) ( a f a x
a b
a f b f
x g
A funo h(x) = f(x) g(x) contnua em [a, b] e derivvel em (a, b) porque f e g so. Como
alm disso h(a) = f(a) g(a) = 0 e h(b) = f(b) g(b) = 0, temos h(a) = h(b), e h satisfaz as
hipteses do teorema de Rolle
2
. O teorema de Rolle garante ento que existe um ponto c (a,
b) tal que h(c) = 0, ou seja, f(c) g(c) = 0, ou ainda f(c) = g(c).
Mas
a b
a f b f
c g
) ( ) (
) ( ' para todo x e, assim,
a b
a f b f
c f
) ( ) (
) ( ' .

Exemplo 2:
(Teorema Fundamental do Clculo)
Seja f: [a, b] R uma funo integrvel. Se F: [a, b] R uma primitiva
3
de f, ento
b
a
a F b F dx x f ) ( ) ( ) ( .
Demonstrao: Seja } ... {
2 1 0
b t t t t a P
n
uma partio de [a, b]. Como F
derivvel em {a, b], F derivvel em cada intervalo de P (e tambm contnua nesses
intervalos), satisfazendo portanto as hipoteses do teorema do valor mdio em cada intervalo

2
Teorema de Rolle: Seja f: [a, b] R contnua. Se f derivvel em (a, b) e f(a) = f(b), ento existe c (a, b) tal
que f(c) = 0.
3
Dada uma funo f: [a, b] R, uma funo F: [a, b] R uma primitiva de f se F(x) = f(x) para todo
x [a,b].
15
de P. Ento, pelo teorema do valor mdio aplicado a cada intervalo [t
i-1
, t
i
], obtemos c
i
(t
i-1
, t
i
)
tal que ) ( '
) ( ) (
1
1
i
i i
i i
c F
t t
t F t F
. Como F(c
i
) = f(c
i
), temos ). )( ( ) ( ) (
1 1 i i i i i
t t c f t F t F
Consideremos a partio P pontilhada com os pontos c
1
, c
2
, ..., c
n
aqui obtidos. Ento
) ( ) ( ) (
)) ( ) ( ( ) (
) )( ( ) (
1
1
1
1
a F b F f S
t F t F f S
t t c f f S
n
n
i
i i n
n
i
i i i n

Assim, ). ( ) ( ) ( lim a F b F f S
n
n
Como f integrvel, este limete independe da forma de
pontilhar a Partio P. Portanto,
b
a
n
n
a F b F f S dx x f ). ( ) ( ) ( lim ) (

Exemplo 3:
Proposio - Se a e b so nmeros reais no negativos, ento .
2 2
b a b a
Demonstrao: Vamos provar em duas partes.
Parte 1: Se .
2 2
b a b a
Se , 0 b a a propriedade bd ac d c e b a 0 0 nos fornece imediatamente
2 2
b a , e se b a 0 , tambm claro que
2 2
0 b a .
Parte 2: Se b a b a
2 2
.
Note que . 0 ) )( ( 0
2 2 2 2
a b a b a b b a De 0 , b a temos 0 b a , e at
mesmo 0 a b , pois se fosse 0 b a teramos . 0 ) )( ( a b a b Portanto, devemos ter
tambm 0 a b , ou seja, b a , o que conclui a demonstrao.

1.2.4. Demonstrao por Construo

Uma prova por construo uma demonstrao de existncia de certo objeto
matemtico atravs de uma construo geomtrica.

Exemplo 1:
(Teorema de Pitgoras)
Provar que no tringulo retngulo a soma dos quadrados dos catetos igual ao quadrado da
hipotenusa.
16
Demonstrao:
Seja um quadrado ABCD conforme a figura seguinte:


FIGURA 1

Observe que a rea (S) do quadrado ABCD igual soma da rea do quadrado central com as
reas dos quatro tringulos retngulos que lhe deram origem.
tringulo quadrado
S S S 4
Ento:
2
4
2
bc
a S
Logo:
bc a S 2
2



FIGURA 2

No caso da fig. 2 a rea (S) igual soma das reas dos dois retngulos com as reas dos dois
quadrados.
quadrado retngulo quadrado
S S S S 2
Assim temos:
2 2
2 b bc c S
Como a figura 1 igual figura 2 temos que:
A
B
C
D
A B
C D
17
2 2 2
2 2 b bc c bc a
Logo,
2 2 2
b c a
Portanto a hipotenusa ao quadrado igual soma dos catetos ao quadrado.

Exemplo 2:
(Teorema da Bissetriz Interna)
Uma bissetriz interna de um tringulo divide o lado oposto em segmentos proporcionais aos
lados adjacentes.
Demonstrao: Seja um tringulo ABC e AD uma bissetriz interna (conforme figura 3),
vamos mostrar que
b
y
c
x
.

FIGURA 3
Construa por C uma paralela bissetriz AD, determinando um ponto E na reta AB .
A
B C
D
c
b
x
y
18

FIGURA 4
Como AD CE // , ento o ngulo C E A D A B

(correspondentes) e E C A C A D

(alternos
internos). Como por hiptese C A D D A B

, pois AD bissetriz do ngulo C A B

, ento
C E A E C A

. Logo o tringulo ACE issceles de base CE, assim AC AE , ou seja, AE =
b.
Considerando BC e BE como transversais de um feixe de retas paralelas (identificado por
AD CE // ) e aplicando o Teorema de Tales, temos:

b
c
y
x
, ou seja,
b
y
c
x
.

1.2.5. Demonstrao por Exausto

Embora provar a falsidade por um contra-exemplo sempre funcione, provar por um
exemplo quase nunca funciona. Uma exceo ocorre quando a conjectura uma assero
sobre uma coleo finita. Nesse caso, a conjectura pode ser provada verificando-se que ela
verdadeira para cada elemento da coleo. Uma demonstrao por exausto significa que
foram exauridos todos os casos possveis.


A
B C
D
c
b
x
y
E
19
Exemplo 1:
Prove que se um inteiro entre 1 e 20 divisvel por 6, ento tambm divisvel por 3 .
Demonstrao: Como existe apenas um nmero finito de casos, a hiptese pode ser provada
simplesmente mostrando-se que verdadeira para todos os inteiros entre 1 e 20 como mostra
a tabela a seguir.
Nmero Divisvel por 6 Divisvel por 3
1 no
2 no
3 no
4 no
5 no
6 sim, 6 = 6.1 sim, 6 = 3.2
7 no
8 no
9 no
10 no
11 no
12 sim, 12 = 6.2 sim, 12 = 3.4
13 no
14 no
15 no
16 no
17 no
18 sim, 18 = 6.3 sim, 18 = 3.6
19 no
20 no
Assim, esgotado todas as possibilidades, temos que os nmeros 6, 12 e 18 so
divisveis por 6 e tambm divisvel por 3. Logo todos os nmeros inteiros entre 1 e 20 que
so divisveis por 6 so tambm divisveis por 3.
20
Captulo 2 Demonstraes em Livros de Ensino Mdio

Nos Livros didticos do Ensino Mdio, no Brasil, muito pouco se faz em termos de
demonstraes. Menos ainda no saber realmente ensinado em sala de aula.
Vamos estudar os livros didticos para ver com clareza tipos de demonstraes e reas
da matemtica onde a demonstrao se faz presente neste nvel de ensino.
2.1. Demonstraes e o Ensino de Matemtica

Polya (1987) ressalta que, a Matemtica uma boa escola para o raciocnio
demonstrativo. Na verdade a Matemtica tem quase o mesmo significado que o raciocnio
demonstrativo, o qual est presente nas Cincias na medida em que os seus conceitos se
elevam a um nvel lgico- matemtico suficientemente abstrato e definido. Abaixo deste alto
nvel, no h lugar para raciocnio verdadeiramente demonstrativo. Ainda assim os
professores de Matemtica devem colocar os seus alunos, salvo os das classes mais
elementares, em contato com o raciocnio demonstrativo.
Ainda segundo Polya (1987) entre os dez mandamentos para professores de
Matemtica aprender a demonstrar um deles. Os dez mandamentos so:
1. Tenha interesse por sua matria.
2. Conhea sua matria
3. Procure ler o semblante dos seus alunos; procure enxergar suas expectativas e
suas dificuldades, ponha-se no lugar deles
4. Compreenda que a melhor maneira de aprender alguma coisa descobri-la
voc mesmo.
5. D aos seus alunos no apenas informao, mas know-how, atitudes mentais,
o hbito de trabalho metdico.
6. Faa-os aprender a dar palpites.
7. Faa-os aprender a demonstrar.
8. Busque, no problema que est abordando, aspectos que possam ser teis nos
problemas que viro procure descobrir o modelo geral que est por trs da
presente situao concreta.
9. No desvende o segredo de uma vez deixe os alunos darem palpites antes
deixe-os descobrir por si prprios, na medida do possvel.
10. Sugira; no os faa engolir fora.
21
De acordo com os Parmetros Curriculares Nacionais para o Ensino Mdio (PCNEM)
ao final do ensino mdio o aluno deve compreender que a Matemtica uma cincia com
caractersticas prprias, que se organiza via teoremas e demonstraes.
Nesse captulo faremos o estudo de duas colees de livros didticos do ensino mdio
levando em conta a quantidade e o tipo das demonstraes, bem como o contexto em que so
apresentadas. Os ttulos a serem examinados so: Matemtica Completa dos autores Jos Ruy
Giovanni, Jos Ruy Giovanni Jr. e Jos Roberto Bonjorno, editado pela editora FTD no ano
de 2002; e Matemtica Volume nico do autor Manoel Paiva, editado pela Editora Moderna
no ano de 2005. Estes livros foram escolhidos por serem utilizados em escolas da grande
Florianpolis.
2.2. Estudo do Livro Matemtica Completa

Este livro divido em seis unidades: lgebra, Porcentagem, Trigonometria,
Geometria, Geometria Analtica e Noes de Estatstica. Cada unidade dividida em
captulos.
Como complemento, o livro apresenta as provas do Exame Nacional do Ensino Mdio
(ENEM) de 1998, 1999, 2000, 2001 e 2002.
A primeira demonstrao que o livro apresenta no captulo de Funo Logartmica
(unidade lgebra), no subcaptulo Mudana de Base. Neste momento, no utilizado o termo
demonstrao, mas o desenvolvimento lgico empregado neste caso poderia ser enquadrado
como uma demonstrao direta. A seguir, apresentamos como o livro mostra a propriedade de
mudana de base para logaritmos.
Dado b
a
log , vamos indic-lo em outra base c b
c
log .
Fazendo as substituies:
y
c
x
a
c b y b
a b x b
log
log

y x
c a
Tomando os logaritmos do 1 e do 2 membros de base c, temos:
b a b b a b
c y a x c a
c c a c c a
c c
y
c
x
c
log log . log 1 . log log . log
log . log . log log

a
b
b
c
c
a
log
log
log
22
Essa expresso mostra como se efetua a mudana de um logaritmo de base a para um
logaritmo de base c (arbitrria).
Ainda na unidade lgebra, no captulo de Progresso Aritmtica, subcaptulo Frmula
do termo geral de uma Progresso Aritmtica (P.A.). O autor utiliza o termo demonstrao
para deduzir a frmula do termo geral de uma P.A., a mesma apresentada no livro da
seguinte maneira:
Seja a P.A. (a
1
, a
2
, a
3
, ..., a
n-1
, a
n
) de razo r.
a
1
= a
1
+ 0r
a
2
= a
1
+ 1r
a
3
= a
2
+ r = a
1
+ 2r
a
4
= a
3
+ r = a
1
+ 3r
. .
. .
. .
a
n
= a
n-1
+ r = a
1
+ (n 1)r
an = a
1
+ (n 1)r
Neste mesmo captulo (Progresses Aritmticas) o autor apresenta a demonstrao da
Frmula da soma dos n termos de uma P.A. No captulo seguinte de Progresses Geomtricas
(P.G.) o livro expe as demonstraes da frmula do termo geral de uma P.G. e da frmula da
soma dos n termos de uma P.G. finita, todas so do tipo direta. J para frmula da soma dos
termos de uma P.G. infinita no h demonstrao.
No captulo Binmio de Newton o autor apresenta um raciocnio para deduzir a
frmula do Binmio de Newton e a frmula do termo geral de um Binmio de Newton, que
pode ser considerado um procedimento. Vejamos como o livro apresenta a demonstrao para
a frmula do Binmio de Newton.
Observe os seguintes desenvolvimentos para (x + a)
n
:
Coeficientes dos termos do desenvolvimento
23
3
3
2
3
1
3
0
3
1 3 3 1 3
2
2
1
2
0
2
1 2 1 2
1
1
0
1
1 1 1
0
0
1 0
3 2 2 3 3
2 2 2
1
0
a x a ax x a x n
a xa x a x n
a x a x n
a x n


.
.
.
0 2 2 1
...
2 1 0
x a
n
n
x a
n
ax
n
x
n
a x n n
n n n n n

Portanto,
0 2 2 1
...
2 1 0
x a
n
n
x a
n
ax
n
x
n
a x
n n n n n

Neste caso um desenvolvimento e deduo constituem a demonstrao.
No captulo Teoria das Probabilidades o autor prova que P(A) + P( A )
4
= 1, onde A e
A so dois eventos de um espao amostral U, sendo A o evento complementar de A. H
tambm a prova de que P( B A ) = P(A) + P(B) P( B A ), onde A e B so eventos do
mesmo espao amostral U. Nessas provas o livro utiliza o termo demonstrao, e as mesmas
so do tipo direta.
No estudo dos Polinmios o livro expe a demonstrao do Teorema do Resto, ela
apresentada da seguinte maneira:
O resto da diviso de um polinmio P(x) pelo binmio (ax + b) igual a P(-b/a).
Demonstrao:
P(x) ax + b
r Q(x)
Como o resto da diviso independente de x, isto , igual a uma constante
chamaremos R(x) de r.
Sabemos que P(x) = (ax + b).Q(x) + r.

4
A probabilidade de ocorrer algum elemento do evento complementar de A indicado por ) ( A P .
24
Se x for igual raiz do divisor, isto , x =
a
b
, vem:
r
a
b
P
r
a
b
Q b b
a
b
P
r
a
b
Q b
a
b
a
a
b
P
.
. .

Ainda no estudo dos Polinmios, o autor enuncia o Teorema de DAlembert
5
e o
Teorema Fundamental da lgebra
6
, mas no apresenta demonstrao, ele apenas admite a
existncia desses teoremas.
Na segunda unidade Porcentagem o livro no apresenta nenhuma demonstrao,
apenas definies, exemplos e exerccios.
Na unidade seguinte, Trigonometria, as primeiras demonstraes que aparecem so as
do seno, do cosseno e da tangente dos ngulos notveis e da frmula do comprimento de um
arco de circunferncia.
Ainda na unidade Trigonometria, no captulo Relaes Trigonomtricas e Identidades
Trigonomtricas, h a demonstrao da relao fundamental da trigonometria, essa prova
feita de forma direta. Neste captulo o autor tambm ensina a demonstrar uma identidade
trigonomtrica da seguinte maneira:
Para provar que uma identidade trigonomtrica verdadeira, podemos utilizar ou
aplicar qualquer uma das relaes trigonomtricas j estudadas e escolher um dos seguintes
processos de demonstrao:
1 Processo
Partimos de um membro da identidade (geralmente o mais complicado) e chegamos
ao outro membro.
2 Processo
Vamos transformar o 1 membro da identidade, f(x), em uma funo h(x) e,
separadamente, transformar o 2 membro da identidade, g(x), tambm em uma funo h(x),
levando em considerao a propriedade:

5
Um polinmio P(x) divisvel pelo binmio (ax + b) se, e somente se, 0
a
b
P .
6
Toda equao algbrica P(x) = 0, de grau n ) 1 (n , tem pelo menos uma raiz complexa.
25
) ( ) (
) ( ) (
) ( ) (
x g x f
x h x g
x h x f

So apresentadas no captulo Transformaes Trigonomtricas as demonstraes da
forma fatorada das expresses sen m + sen n, sen m sen n, cos m + cos n e cos m cos n,
todas so demonstraes diretas.
No captulo Resoluo de Tringulo Quaisquer as demonstraes das Leis dos Senos
e Cossenos so feitas por construo. Neste captulo o autor tambm apresenta a prova por
construo de que num tringulo qualquer, a rea igual ao semiproduto das medidas de dois
lados pelo seno do ngulo formado por esses lados.
Na unidade Geometria, no captulo rea das Figuras Geomtricas Planas, o livro
apresenta as demonstraes por construo da rea do paralelogramo, do tringulo, do
losango e do trapzio. Nos captulos de Geometria Espacial aparece tambm por construo
as demonstraes da rea lateral e rea total do cilindro e do cone, as outras frmulas so
apenas enunciadas e consideradas como verdadeiras.
Na unidade Geometria Analtica, no primeiro captulo, Introduo Geometria
Analtica Plana, exposta as demonstraes por construo da frmula da distncia entre dois
pontos no plano cartesiano e das coordenadas do ponto mdio de um segmento. No captulo
dois, Estudando a Reta no Plano Cartesiano, o autor apresenta a demonstrao de forma direta
da equao geral da reta e da frmula para calcular o ngulo formado por duas retas no plano
cartesiano. Vejamos como a segunda aparece no livro.

FIGURA 5

A figura nos mostra duas retas, l
1
e l
2
, no perpendiculares, de coeficientes angulares
m
1
e m
2
, respectivamente.
y
x
l
1
l
2
P

A
B

1

26
O ngulo agudo

, medido no sentido anti-horrio, desde a reta l

1
at a reta l
2
,
considerado o ngulo formado pelas restas l
1
e l
2
.
No tringulo PAB, pela Geometria plana:
1 2
1 2
1 2
1 2
1 2
. 1

tg tg
tg tg
tg tg tg

Como
2
tg = m
2
,
1
tg = m
1
e

agudo, temos:
1 2
1 2
. 1

m m
m m
tg .
Na ltima unidade Noes de Estatstica o autor no apresenta nenhuma demonstrao,
apenas definies, exemplos e exerccios.
Ao analisar o livro percebemos que o mesmo apresenta muitas mostraes, ou seja, da
alguns exemplos com nmeros e com isso conclui para o caso geral. Observe como ele expe
algumas das propriedades de logaritmos.
0 1 log
0 1 1 log
0 5 5 5 1 1 log
0 2 2 2 1 1 log
0
0
5
0
2
a
x x
a
x x
x x
x a a a x
x x
x x

1 log
1 log
1 3 3 3 log
1 2 2 2 log
1
1
3
1
2
a
x a a x a
x x
x x
a
x
a
x
x

Nos exerccios propostos pelo livro, nas unidades Trigonometria e Geometria
aparecem exerccios do tipo: mostre que, demonstre que ou prove que. Na unidade
Trigonometria os mesmos so apresentados nos captulos Relaes Trigonomtricas e
Identidades Trigonomtricas e Transformaes Trigonomtricas, totalizando nove
exerccios. Na unidade Geometria aparece um exerccio no captulo Estudo da Pirmide.
A seguir listaremos esses exerccios.
I. Demonstre que as seguintes identidades trigonomtricas, ficando o processo a
sua livre escolha.
a) 1 cos . sec x x
b) x senx gx cos . cot
c) 2
cos
2
2
2
2
x tg
x
x sen

d) x ec x g
2 2
cos 1 cot
27
e) 1 1 1
2 2
x sen x tg
f) x sen x x x tg
2 2 2 2
sec cos
g)
x
senx
x tg
tgx
sec 1
2

II. Mostre que 1 cos . cos . x ec x x tg .
III. Demonstre que:
(cos a + cos b)(cos a cos b) + (sen a sen b)(sen a + sen b) = 0.
IV. Mostre que (sen x +tg x)(cos x + cotg x) = (1 + sen x)(1 + cos x).
V. Demonstre que tg x. sen 2x = 2sen
2
x.
VI. Fazendo 3a = 2a + a, demonstre que sen 3a = 3sen a 4sen
3
a.
VII. Demonstre que 1 + tg a . tg 2a = sec 2a.
VIII. Demonstre a identidade y sen x sen y x y x . cos cos
2
1
.
IX. Mostre que cos 60 cos 30 sen .
X. Uma pirmide e um prisma tm a mesma base. A altura da pirmide vale o
sxtuplo da altura do prisma. Sendo V
1
o volume da pirmide e V
2
o volume do
prisma, mostre que V
1
= V
2
.



2.3. Estudo do Livro Matemtica Volume nico

Este livro divido em trinta e quatro captulos, e cada captulo dividido em
subcaptulos.
No primeiro captulo Uma Introduo Linguagem dos Conjuntos, o autor j
apresenta uma demonstrao por absurdo. Neste momento no usado o termo demonstrao,
e sim justificativa. Abaixo vamos descrever como a mesma apresentada no livro.
Propriedade: O conjunto vazio subconjunto de qualquer conjunto.
A A 0 (O smbolo lido qualquer que seja.)
Pode-se justificar essa propriedade a partir das duas nicas possibilidades: ou
A 0 ou A 0 . Analisemos a primeira delas: se A 0 , ento existe pelo menos um
elemento que pertence ao vazio e no pertence a A; mas isso absurdo, pois o vazio no
possui elemento algum. Assim, falso que A 0 , portanto verdade que A 0 .
No captulo dois, Temas Bsicos de lgebra e de Matemtica Financeira, aparece um
raciocnio para deduzir a frmula para o clculo do montante com juro composto, que apesar
28
de no aparecer o termo demonstrao, envolve um raciocnio lgico que poderia ser
considerada uma demonstrao direta. No captulo seguinte, Geometria Plana: tringulos e
proporcionalidade, exposto a demonstrao por construo da soma dos ngulos internos de
um tringulo e a demonstrao de forma direta do teorema do ngulo externo de um tringulo
7
.
Ainda no captulo Geometria Plana, no subcaptulo Semelhana de Tringulos, pela
primeira vez o autor utiliza o termo demonstrao para provar que a razo entre alturas
correspondentes igual razo de semelhana de dois tringulos. No subcaptulo seguinte
apresentada a demonstrao das relaes mtricas no tringulo retngulo. Vejamos como ela
exposta.
Vamos demonstrar as seguintes relaes mtricas:

mn h am b
cm bh an c
Pitgoras de teorema c b a bn ch bc ah
2 2
2
2 2 2
) (

Demonstraes
O tringulo retngulo ABC pode ser separado em trs tringulos semelhantes entre si.

FIGURA 6

Assim, temos:
Tringulo ABC semelhante ao tringulo HBA
n
c
h
b
c
a

Logo: bc ah an c
2
bn ch
Tringulo ABC semelhante ao tringulo HAC
h
c
m
b
b
a

Logo: am b
2
bc ah cm bh

7
A medida de um ngulo externo de um tringulo igual soma das medidas dos ngulos internos no-
adjacentes a ele.
29
Tringulo HBA semelhante ao tringulo HAC
h
n
m
h
b
c

Logo: cm bh bn ch mn h
2

Para demonstrar o teorema de Pitgoras, basta adicionar, membro a membro, as
relaes an b
2
e am c
2
, obtendo:
m n a c b am an c b
2 2 2 2

Como n + m = a, conclumos que:
2 2 2
c b a .
No quarto captulo, Geometria Plana: circunferncia, crculo e clculo de reas,
aparecem s demonstraes de forma direta das seguintes propriedades de circunferncias:
Em uma circunferncia, o segmento de reta que liga o centro C ao ponto mdio
de uma corda perpendicular a essa corda.
Em uma circunferncia, o segmento de reta que liga o centro C a uma corda,
perpendicularmente, encontra esta corda no ponto mdio.
A medida de um ngulo inscrito metade da medida do ngulo central
correspondente.
Ainda neste captulo o autor apresenta as demonstraes por construo das frmulas
de clculo de rea do paralelogramo, tringulo, hexgono regular, trapzio, losango.
Nos cinco captulos seguintes, Funo Real de Varivel Real e Inverso de Funes,
Funo Polinomial do 1 grau ou Funo Afim, Funo Polinomial do 2 grau ou Funo
Quadrtica, Funo Modular, Funo Exponencial, o livro no apresenta nenhuma
demonstrao, apenas definies, exemplos e exerccios.
No captulo onze, Funo Logartmica, so demonstradas de forma direta todas as
propriedades dos logaritmos.
No captulo seguinte, Seqncias, aparecem s demonstraes das seguintes
propriedades:
Uma seqncia de trs termos Progresso Aritmtica (P.A.), se e somente se,
o termo mdio igual mdia aritmtica entre os outros dois.
Numa Progresso Aritmtica finita, a soma de dois termos eqidistantes dos
extremos igual soma dos extremos.
Uma seqncia de trs termos, em que o primeiro diferente de zero,
Progresso Geomtrica (P.G.) se, e somente se, o quadrado do termo mdio
igual ao produto dos outros dois.
30
So apresentadas tambm as demonstraes das frmulas do termo geral da P.A. e da
P.G., da soma dos n primeiros termos de uma P.A. e P.G. e da soma dos infinitos termos de
uma P.G..
O prximo captulo que apresenta demonstraes o quatorze, Trigonometria no
Tringulo Retngulo, abaixo vamos descrever as mesmas.
Teorema
Dado um ngulo agudo de medida , tem-se:
cos
sen
tg

Demonstrao
Construindo um ngulo agudo de medida e traando uma perpendicular a um dos
lados do ngulo, temos:

FIGURA 7
Calculando sen e cos , e efetuando
cos
sen
, conclumos que :
tg
c
b
a
c
a
b
sen
cos
.
Teorema
Se a medida de um ngulo agudo, ento: sen cos 90 e
90 cos sen .
Demonstrao
Construindo um ngulo agudo de medida e traando uma perpendicular a um dos
lados do ngulo, temos:

B A
C
c
b
a
31

FIGURA 8
Observe que o nguloC

o complementar de B

, pois:
90

90

C med C med
Assim, temos:
90 cos
90 cos
sen
a
b
a
b
sen

90 cos
90
cos
sen
a
c
sen
a
c

Provamos que: se dois ngulos so complementares, ento o seno de um deles igual
ao cosseno do outro.
Ainda no captulo quatorze aparecem as demonstraes do seno, do cosseno e da
tangente dos ngulos notveis. No captulo seguinte, A Circunferncia Trigonomtrica e as
Extenses dos Conceitos de Seno e de Cosseno, o autor apresenta a demonstrao, que se
enquadra no tipo direta, da Relao Fundamental da Trigonometria.
No captulo dezesseis, o livro expe a demonstrao do teorema: se 0 cos , ento
cos
sen
tg . No estudo do tringulo retngulo o autor j havia apresentado que a tangente
de um ngulo agudo pode ser obtida como a razo de seno pelo cosseno desse ngulo, neste
captulo ele generaliza para qualquer arco trigonomtrico de medida .
No captulo seguinte, Adio de Arcos e Arco Duplo, aparecem s demonstraes das
frmulas de adio de arcos, e seno, cosseno e tangente de arco duplo. No captulo dezoito,
Funes Trigonomtricas e Resoluo de Tringulos, o autor apresenta a prova da lei dos
senos, dos cossenos e do seguinte teorema:
B A
C
c
b
a
32
A rea A de um tringulo MNP, em que NM = a, NP = b e m P N M

, dada por:
sen ab A .
2
1

Nos seis captulos seguintes, Matrizes, Sistemas Lineares, O Conceito de
Determinante e Aplicaes, Os princpios da Anlise Combinatria, Agrupamento e Mtodos
de Contagem, Geometria de Posio e Poliedros, no aparecem nenhuma demonstrao.
No captulo vinte e cinco, Prisma e Pirmide, so apresentadas as demonstraes de
duas Propriedades de Pirmide, que so elas:
A razo entre as reas de dois tringulos semelhantes igual ao quadrado da
razo de semelhana.
Duas pirmides triangulares de mesma altura e bases de mesma rea tm o
mesmo volume.
Para deduzir a frmula do volume da pirmide o autor apresenta um raciocnio lgico,
mas no utiliza o termo demonstrao.
No estudo dos corpos redondos aparece um raciocnio lgico que pode ser considerado
demonstrao para as frmulas da rea lateral, rea total e volume de cilindro circular, rea
lateral, rea total, e volume de cone circular e volume da esfera.
No captulo vinte e sete, Probabilidade, so expostas as propriedades das
probabilidades e suas justificativas, abaixo vamos descrev-las.
Sendo E um espao amostral eqiprovvel, finito e no-vazio, e A um evento de E,
tm-se:
P.1 0 0 P
Justificativa: 0
0 0
0
E n E n
n
P
P.2 1 E P
Justificativa: 1
E n
E n
E P
P.3 1 0 A P
Justificativa: 1 0
0
0 0 A P
E n
E n
E n
A n
E n
n
E n A n n E A
P.4 Sendo A o conjunto dos elementos de E que no pertencem a A, tem-se: 1 A P A P
33
Justificativa: Como E A A e 0 A A , tem-se:
1 A P A P
E n
E n
E n
A n
E n
A n
E n A n A n
O evento A chamado de complementar de A. Se o evento A determinado por uma
propriedade p, ento A determinado pela propriedade ~p (l-se: no p), isto , a negao
de p.
Tambm so apresentadas as justificativas da adio de
probabilidades
E n
B A n
B A P , probabilidade condicional
A n
B A n
A B P / e
multiplicao de probabilidades B P A P B A P . .
No estudo de Geometria Analtica o autor apresenta a demonstrao do teorema Se r
a reta no-vertical que passa pelo ponto P(x
0
, y
0
) e tem coeficiente angular m, ento uma
equao de r y y
0
= m(x x
0
), denominada equao fundamental da reta.
Apresenta tambm a prova de que duas retas r e s no-verticais so perpendiculares se,
e somente se, o coeficiente angular de uma delas igual ao oposto do inverso do coeficiente
angular da outra.
No captulo trinta e dois, O conjunto dos Nmeros Complexos, aparece
demonstrao do seguinte teorema:
Existem quatro, e somente quatro, valores para potncias de i com expoentes inteiros.
So eles: i i i i i i
3 2 1 0
1 1
Demonstrao
Calculemos a potncia
n
i , com n inteiro.
Primeira Parte: 4 n
Dividindo n por 4, obtemos um quociente inteiro q e um resto r, sendo r inteiro e
4 0 r , isto , n = 4q + r. Assim, temos:
r r r q r
q
r q r q n
i i i i i i i i i . 1 . 1 . .
4 4 4

Como r inteiro e 4 0 r , temos que
n
i um dos quatro valores:
i i ou i i i i
3 2 1 0
1 , , 1 .
Segunda Parte: 0 n
Temos:
n
n
i i
1

34
Note que
i
i
1
1
. Multiplicamos o numerador e o denominador dessa frao por i:
i
i
i
i i
i
i
i
2
1
.
. 1 1
.
Assim, temos:
n n n n
i i i . 1 .
Como 0 n , ento 0 n ; logo
n
i um dos quatro valores:
i i ou i i i i
3 2 1 0
1 , , 1 , e, portanto,
n n
i . 1 tambm assume esses quatro valores.
No estudo dos Polinmios o livro apresenta a demonstrao de forma direta do
Teorema do Resto, do Teorema de DAlembert e do Teorema da Decomposio
8
, j o
Teorema Fundamental da lgebra apenas enunciada, mas o autor explica que a
demonstrao do mesmo foi a tese de doutoramento do matemtico alem Carl Friedrich
Gauss, apresentada em 1978.
Nos exerccios propostos pelo livro apenas cinco so do tipo mostre que, prove que ou
demonstre que, os mesmos aparecem nos captulos: Uma Introduo Linguagem dos
Conjuntos, Trigonometria no Tringulo Retngulo, Conjunto dos Nmeros Complexos e
Equaes Polinomiais.
Abaixo listaremos esses exerccios.
I. Prove que o produto de um nmero par qualquer por um nmero mpar
qualquer um nmero par.
II. Prove que o tringulo ABD issceles, depois calcule a medida de x na figura:



III. Prove que o tringulo BCD issceles, depois calcule a medida x do segmento
DE na figura:

8
Todo polinmio de grau n, com
0
1
1
... ) ( , 1 a x a x a x P n
n
n
n
n
pode ser fatorado sob a forma
) ( ... ) )( ( ) (
2 1 n n
r x r x r x a x P . Em que
n
r r r ..., , ,
2 1
so todas as razes de P(x).
B D
A
C
10 cm
x
30
45
35


IV. Demonstre que o conjugado da soma de dois nmeros complexos igual
soma dos conjugados desses complexos.
V. Mostre que:
a) 5 raiz dupla da equao
0 25 10 25 10
2 4 54 6
x x x x x
b) 2 raiz tripla da equao
0 8 12 2 11 6
2 3 4 5
x x x x x

2.4. Comparao entre os livros Matemtica Completa e Matemtica
Volume nico

Abaixo faremos uma tabela com a quantidade e o tipo de demonstraes que cada
livro apresenta na parte de desenvolvimento de contedo. Nessa tabela estamos considerando
tambm os raciocnios lgicos, que apesar de no utilizarem o termo demonstrao, podem
ser considerados como provas.

Tipos de Demonstrao Matemtica Completa Matemtica Volume nico
Direta 18 40
Induo
Absurdo 1
Construo 14 17
30
D
C
x
E
60
A B
50 cm
36
Exausto
Total 32 58

Ao analisar a tabela percebemos que no livro Matemtica Volume nico apresenta
dezoito demonstraes diretas e quatorze demonstraes por construo. J no livro
Matemtica Volume nico aparecem quarenta demonstraes diretas, dezessete
demonstraes por construo e uma demonstrao por absurdo. Assim, o segundo livro
apresenta um nmero maior de provas.
No livro Matemtica Completa as demonstraes aparecem no estudo de Funo
Logartmica, Progresso Aritmtica, Progresso Geomtrica, Binmio de Newton, Teoria das
Probabilidades, Polinmios, Trigonometria, reas das Figuras Geomtricas Planas, Cone,
Geometria Analtica (Equao Geral da Reta e ngulo Formado por Duas Retas).
J no livro Matemtica Volume nico as provas aparecem no estudo dos Conjuntos,
Juro Composto, Geometria Plana (Tringulo, Circunferncia e rea de Figuras Planas),
Funo Logartmica, Progresso Aritmtica, Progresso Geomtrica, Trigonometria,
Geometria Espacial (Prisma, Pirmide, Cilindro, Cone e Esfera), Teoria das Probabilidades,
Geometria Analtica (Equao Fundamental da Reta), Nmeros Complexos e Polinmios.
Abaixo faremos uma tabela comparando a quantidade de exerccios que cada livro
apresenta envolvendo demonstraes.

Matemtica Completa Matemtica Volume nico
Exerccios do tipo: Mostre
que, Prove que ou Demonstre
que.

10

5

Ao analisar a tabela conclumos que no livro Matemtica Completa aparece dez
exerccios envolvendo demonstraes e no livro Matemtica Volume nico aparece cinco
exerccios desse tipo.
No livro Matemtica Completa esses exerccios aparecem no estudo de
Trigonometria (Relaes Trigonomtricas, Identidades Trigonomtricas e Transformaes
Trigonomtricas) e Geometria (Pirmides). No Livro Matemtica Volume nico os
exerccios so propostos no estudo dos Conjuntos, Trigonometria no Tringulo Retngulo,
Nmeros Complexos e Equaes Polinomiais.

37

Consideraes Finais

Ao final desse estudo podemos perceber que nos dois livros, Matemtica Completa e
Matemtica Volume nico, os tipos de demonstraes que aparecem nos mesmos por
construo e direta, a no ser por uma demonstrao por absurdo que apresentada no livro
Matemtica Volume nico.
As demonstraes so escritas de forma clara, fazem uso da linguagem e de objetos
matemticos.
Nos dois livros analisados no estudo das Funes (Funo Afim, Quadrtica, Modular
e Exponencial), Estatstica, Matrizes, Determinante e Sistemas Lineares no so apresentados
nenhuma demonstrao. No livro Matemtica Completa acontece o mesmo tambm no estudo
da Teoria dos Conjuntos, dos Nmeros Complexos e Porcentagem.
Nos exerccios do tipo mostre que, prove que ou demonstra que os dois livros
estudados apresentam uma quantidade pequena, sendo dez no livro Matemtica Completa e
cinco no livro Matemtica Volume nico.
As demonstraes nos livros didticos apesar de poucas, aparecem no estudo de:
Funo Logartmica, Progresso Aritmtica, Progresso Geomtrica, Binmio de Newton,
Teoria das Probabilidades, Polinmios, Trigonometria, reas das Figuras Geomtricas Planas,
Cone, Geometria Analtica (Equao Geral da Reta e ngulo Formado por Duas Retas),
Conjuntos, Juro Composto, Trigonometria, Geometria Espacial (Prisma, Pirmide, Cilindro,
Cone e Esfera), Teoria das Probabilidades e Nmeros Complexos.
Cabe ainda perguntar, e em sala de aula, ser que estas demonstraes so realmente
trabalhadas? O que se faz de demonstrao no Ensino Mdio?
Para responder estas questes, uma observao em sala de aula necessria.





38
Referncias Bibliogrficas

DOLCE, O.; POMPEO, J. N.. Fundamentos de Matemtica Elementar, 9: Geometria
Plana. 7 Ed. So Paulo. Editora Atual, 1993.

FUCHS, W. R.. A Matemtica Moderna. Trad. Marianne Arnsdorff e Jos Manasterski. So
Paulo. Editora Polgono, 1970.

GIOVANNI, J. R.; BONJORNO, J. R.; GIOVANNI Jr., J. R.. Matemtica Completa: ensino
mdio, volume nico. So Paulo. Editora FTD, 2002.

GONALVES, A.. Introduo lgebra. Rio de Janeiro. Impa.

KUHLKAMP, N.. Clculo 1. 2 Ed. Florianpolis. Editora da UFSC, 2001.

LIMA, E. L.. O Princpio da Induo. Revista Eureka, Rio de Janeiro, n. 3, p. 26-43, out.
1998.

MACHADO, N. J.. Matemtica e Lngua Materna: Anlise de uma impregnao mtua. 3
Ed. So Paulo. Cortez Editora, 1993.

MANOEL, P.. Matemtica, volume nico. 1 Ed. So Paulo. Editora Moderna, 2005.

MOLES, A.. A criao cientfica. So Paulo. Perspectiva, 1981.

POINCAR, H.. A Cincia e a Hiptese. Trad. Maria Auxiliadora Kneipp. 2 Ed. Braslia.
Editora Universidade de Braslia, 1988.

POLYA, G.. A Arte de Resolver Problemas: um novo aspecto do mtodo matemtico. Trad.
Heitor Lisboa de Arajo. Rio de Janeiro. Editora Intercincia, 1995.

POLYA, G.. Dez mandamentos para professores. Revista do Professor de Matemtica, So
Paulo, n. 10, p. 02-10, jan. 1987.