Anda di halaman 1dari 73

Universidade Federal da Paraba

Centro de Cincias Exatas e da Natureza


Departamento de Matemtica
Mestrado Prossional em Matemtica em Rede Nacional - PROFMAT

A Reta de Euler e a
Circunferncia dos Nove Pontos:
Um Olhar Algbrico
por
Antonio Marcos da Silva Souto

sob orientao do
Prof. Dr. Pedro Antonio Gmez Venegas

Dissertao apresentada ao Corpo Docente do Mestrado Prossional em Matemtica em Rede Nacional PROFMAT
CCEN-UFPB, como requisito parcial
para obteno do ttulo de Mestre em
Matemtica.

Agosto/2013
Joo Pessoa - PB

O presente trabalho foi realizado com apoio da CAPES, Coordenao de Aperfeioamento de

Pessoal de Nvel Superior.

S728r

Souto, Antonio Marcos da Silva.


A reta de Euler e a circunferncia dos nove pontos: um
olhar algbrico / Antonio Marcos da Silva Souto.-- Joo
Pessoa, 2013.
72f.
Orientador: Pedro Antonio Gmez Venegas
Dissertao (Mestrado) - UFPB/CCEN
1. Geometria. 2. lgebra Linear. 3. Geogebra. 4. Pontos
notveis do tringulo. 5. Reta de Euler. 6. Circunferncia dos
nove pontos.

UFPB/BC

CDU: 514(043)

Agradecimentos
Ao meu Senhor Jesus Cristo, pela fora suprida nos momentos difceis.
Aos meus pais, Martinho Souto de Almeida e Vernica Maria da Silva Souto,
por me educarem com amor e humildade, suas vidas so meus exemplos.
minha querida esposa Rosngela Ktia e meus amados lhos Aninha, Andr
e Alcia, por suportarem com pacincia a minha ausncia durante as viagens e nos
momentos de recluso forada pelas rigorosas atividades do curso.
Ao meu orientador Dr. Pedro Antonio Gmez Venegas, por me guiar nessa difcil
e rdua tarefa em um prazo de tempo to curto e em um perodo to doloroso da
sua vida.
Aos professores Dra. Jacqueline Rojas e Dr. Ramn Mendoza, por aceitarem
participar da banca examinadora.
Aos meus amigos/colegas de turma que transformaram os momentos de tenso
em saborosas experincias de unio e amizade, j estou com saudade.
Aos coordenadores Dr, Joo Marcos e Dr. Bruno Henrique, por aceitarem assumir o pioneiro desao de iniciar e prosseguir o PROFMAT na UFPB.
Aos meus Tios/padrinhos Dr. Antnio Souto Coutinho e Lizete de Farias Coutinho, que sempre me apoiaram nesta e em outras jornadas, por me acolherem e me
hospedarem durante os interminveis ns de semana com muito carinho;
Ao meu amigo, colega, ex-professor e companheiro de viagem, Jos Edmar Bezerra Jnior, que me encorajou a prosseguir consigo at o m, por no me deixar s
nos 1000 quilmetros semanais de jornada;
SBM, ao IMPA e ao MEC por disponibilizar ao docente do Ensino Bsica a
oportunidade de realizar o quase utpico sonho da formao em nvel de mestrado;
Ao Instituto Federal de Educao, Cincia e Tecnologia de Pernambuco - IFPE,
em particular direo do campus Pesqueira, por compreender as ausncias e me incentivar at o nal, principalmente com o Dr. Glauco Reinaldo e MSc. Olavo Otvio.

Dedicatria

A todos os meus colegas professores da


rede municipal e estadual de Ensino
que desejam obter esta titulao mas,
com suas jornadas sobrehumanas e
baixos salrios, abdicam de seus sonhos
para honrarem com muita dignidade a
nossa prosso.

Resumo

Este trabalho o resultado de uma pesquisa sobre a reta de Euler e a circunferncia dos nove pontos. Foi utilizado o software geogebra para ilustrar as construes
geomtricas e apresentar algumas atividades prticas para o estudo dos pontos notveis do tringulo, da reta de Euler e da circunferncia dos nove pontos aos estudantes
do Ensino Mdio. Todavia, o trabalho se baseou nas demonstraes, com o uso da
lgebra Moderna e da lgebra Linear, da existncia e das propriedades do objeto
desta pesquisa, sobretudo da propriedade universal dos pontos no plano, fundamental nestas demonstraes.
Palavras-chave: Geometria, lgebra Linear, Geogebra, Pontos Notveis no Tringulo, Reta de Euler, Circunferncia dos Nove Pontos.

Abstract

This work is the result of a research on the Euler line and the circumference of the
nine points. The software geogebra was used to illustrate geometric constructions
and present some practical activities for the study of notable points of the triangle, the Euler line and the circumference of the nine points to high school students.
However, the work was based on the proof, with the use of Modern Algebra and
Linear Algebra, the existence and properties of the object of this research, especially
the universal property of points in the plane, critical in these demonstrations.
Keywords: Geometry, Linear Algebra, Geogebra, Notable Points of a Triangle,
Euler Line, Nine-points Circle.

vi

Sumrio
1 A Geometria Dinmica na Construo dos Elementos da Circunferncia dos Nove Pontos
1
1.1 Recortes Histricos das Descobertas Geomtricas do Sculo XIX
1.1.1 As "pr-descobertas"de Euler no nal do sculo XVIII .
1.1.2 Sculo XIX: A re-descoberta da geometria . . . . . . . .
1.1.3 Um belo desfeche para um sculo brilhante . . . . . . . .
1.2 Construo da Circunferncia dos Nove Pontos no Geogebra . .
1.2.1 Os pontos notveis do tringulo . . . . . . . . . . . . . .
1.2.2 A construo da reta de Euler . . . . . . . . . . . . . . .
1.2.3 A construo da circunferncia dos nove pontos . . . . .

2 Denies Algbricas

2.1 Espao Am e Espao Vetorial . . . . . . . . . . . . .


2.1.1 Espao vetorial real . . . . . . . . . . . . . . .
2.1.2 Espao am . . . . . . . . . . . . . . . . . . .
2.1.3 Observaes importantes . . . . . . . . . . . .
2.2 Retas, Planos e Tringulos . . . . . . . . . . . . . . .
2.2.1 Retas . . . . . . . . . . . . . . . . . . . . . .
2.2.2 Planos . . . . . . . . . . . . . . . . . . . . . .
2.2.3 Tringulos . . . . . . . . . . . . . . . . . . . .
2.3 Propriedade Universal de Pontos num Plano P . . . .
2.3.1 Propriedade Universal de pontos em um plano
2.3.2 Propriedade Universal de pontos num plano P
2.3.3 Ponto mdio entre dois pontos . . . . . . . . .
2.4 Ortogonalidade . . . . . . . . . . . . . . . . . . . . .
2.4.1 Denio de produto interno . . . . . . . . . .
2.4.2 Distncia entre dois pontos do espao am . .
2.4.3 Projeo ortogonal vetorial . . . . . . . . . . .
2.4.4 Projeo ortogonal am . . . . . . . . . . . .
2.4.5 Relao entre as projees vetorial e am . . .
2.4.6 Algumas implicaes . . . . . . . . . . . . . .
vii

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.

. 1
. 1
. 2
. 3
. 4
. 5
. 10
. 13

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

17

17
18
20
22
24
25
28
30
31
31
32
34
34
34
36
37
38
39
40

3 Os Elementos e a construo da Circunferncia dos Nove Pontos 45


3.1
3.2
3.3
3.4
3.5
3.6

O Baricentro . . . . . . . . . . . . . . .
O Incentro . . . . . . . . . . . . . . . . .
O Circuncentro . . . . . . . . . . . . . .
O Ortocentro . . . . . . . . . . . . . . .
A Reta de Euler . . . . . . . . . . . . . .
A Circunferncia dos Nove Pontos . . . .
3.6.1 Os Pontos de Euler . . . . . . . .
3.6.2 Circunferncia . . . . . . . . . . .
3.6.3 A circunferncia dos nove pontos
3.6.4 Consideraes Finais . . . . . . .

Referncias Bibliogrcas

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.

45
47
49
50
51
53
53
53
54
59

61

viii

Introduo
Como o prprio nome sugere, a Geometria, do grego Geo (terra), metria (medida),
apresenta-se como ramo da Matemtica til para resolver questes do cotidiano como
medir pores de terras entre innitas outras aplicaes. Uma interveno pedaggica que apresentasse ao estudante de forma prtica a Geometria que fascinou e
at divertiu nossos precursores da Grcia antiga foi o que nos motivou a escolher
a Reta de Euller e a Circunferncia de Nove Pontos como o tema desse trabalho,
apesar de no ter algum conhecimento prvio, o que nos forou a pesquisar muito.
Neste perodo pudemos valorizar uma ferramenta pedaggica muito til que foi nos
apresentada quando cursvamos a disciplina MA36 - Recursos Computacionais no
Ensino de Matemtica - a Geometria Dinmica. Nesta, conhecemos de forma mais
profunda, o software livre Geogebra que nos ajudou na visualizao geomtrica de
tudo que amos conhecendo.
Aps algumas construes da Reta de Euler com auxlio do software, passamos
a desenvolver a Circunferncia dos Nove Pontos e algumas de suas propriedades.
Posteriormente, diante de um artigo que apresentava a Cnica dos nove pontos, as
construes dinmicas nos atraiam mais ainda e surgiu uma pergunta, por que a
Matemtica do Ensino Bsico priva seus estudantes de conhecer estas maravilhas
oferecerecendo uma Geometria burocrtica e supercial, limitando-se a apresentar
o conhecimento dos pontos Notveis do Tringulo, o baricentro, o circuncentro, o
incentro e o ortocentro, que, na nossa prtica, no servia para nada, j que se sabe
a importncia do baricentro na determinao do ponto de centro de massa do tringulo, do circuncentro que o ponto central da circunferncia que circunscreve o
tringulo e do incentro, que o centro da circunferncia inscrita no tringulo e no
havia, at ento, uma utilizao para o ortocentro, quando descobrimos que este de
grande importncia no encontro do ponto central da Circunferncia dos Nove Pontos.
Todavia, ao conhecer o artigo A Reta de Euler e a Circunferncia de Nove Pontos, dos autores Rojas e Mendoza, veja [20], pude ter um novo olhar que, at ento,
no havia experimentado, a utilizao da lgebra e seus conceitos para determinar e provar a existncia de cada ponto notvel do tringulo, a colinearidade do
baricentro, circuncentro e ortocentro, que denem uma reta, a reta de Euler e a
ix

circunferncia dos nove Pontos, sendo essa obra a base do nosso trabalho. Por outro
lado, utilizamos os conceitos apresentados nesse artigo junto ao de outros autores
para ilustrarmos a ideia de Vetor, to esquecida na educao bsica e to torturante
para aqueles estudantes a quem so apresentados os conceitos iniciais da Mecnica
Clssica to bruscamente no inicio do primeiro ano do Ensino Mdio.
Dedicamos o captulo 2 para apresentao das denies, teoremas e proposies
que sero teis no objetivo desse trabalho, que , demonstrar as propriedades e existncias dos pontos notveis, reta de Euler e circunferncia dos nove pontos, sobre a
tica da lgebra, que sero apresentadas no captulo 3.
No captulo inicial, faremos um breve recorte histrico das descobertas estudadas
nesse trabalho e com o auxlio da Geometria Dinmica como ferramenta didticopedaggica, apresentaremos alguns conceitos e construes geomtricas que pretendem ilustrar e facilitar o processo Ensino-aprendizagem, sobretudo do estudante do
Ensino Mdio, de elementos da geometria plana e Analtica.

Captulo 1
A Geometria Dinmica na
Construo dos Elementos da
Circunferncia dos Nove Pontos
Apresentaremos, inicialmente, os elementos geomtricos de grande importncia
na construo de duas maravilhosas descobertas da geometria: a reta de Euler e
a circunferncia dos nove pontos. Iniciaremos com um comentrio histrico sobre
essas descobertas, seus descobridores e o frtil momento que viveu a comunidade
matemtica, sobretudo os gemetras, no sculo XIX.

1.1 Recortes Histricos das Descobertas Geomtricas do Sculo XIX


1.1.1 As "pr-descobertas"de Euler no nal do sculo XVIII
Um dos mais fascinantes elementos da geometria Euclidiana , sem dvida, o tringulo. Essa gura geomtrica que to til para enrijecer as construes, denir
regies planas, oferecer relaes trigonomtricas, entre inmeras outras aplicaes
prticas no cotidiano ps-moderno como no funcionamento do GPS1 , por exemplo,
conhecido bem antes dos Elementos de Euclides 2 . Seus pontos notveis3 tambm so conhecidos h alguns sculos antes da nossa era, porm, de acordo com o
1 OGlobal

, em portugus, Sistema de posicionamento global.


de 13 volumes escrita pelo matemtico Euclides de Alexandria (360a.c.- 295 a.c.)
que se tornou a base para a chamada geometria euclidiana por volta de 300 anos antes da era
vigente.
3 Pontos de interseco de cevianas (segmentos de reta notveis do tringulo). Os mais utilizados
so o baricentro, o incentro, o circuncentro e o ortocentro (mais detalhes na subseo 1.2.1, pgina
5).
Positioning System

2 coletnea

Recortes Histricos das Descobertas Geomtricas do sculo XIX

Captulo 1

autor [13] at o sculo XVII, no encontramos algum registro de novas descobertas


relevantes e estudos sobre a geometria do tringulo at o teorema de Ceva4 em 1678.
O estudo das cevianas e dos pontos notveis pela interseco delas denidas,
so apresentados aos estudantes ainda na educao bsica de forma mecnica e em
muitos casos como mera curiosidade, fazendo com que o educando no sinta a menor
atrao nem simpatia por esse assunto. Em seus momentos rarssimos de prtica
pedaggica, alguns educadores recorrem construo geomtrica com rgua e compasso para ilustrar esses belssimos elementos que trazem para alguns discpulos
alguma alegria quando vem a exatido dessa construo.
Esse mtodo geomtrico de construir os pontos notveis do tringulo despertou
em Euler5 algumas curiosidades como a brilhante observao de que os pontos baricentro, circuncentro e ortocentro so colineares, independentemente do tringulo.
Denominamos esta reta que contm esses pontos notveis, em sua homenagem, de
Reta de Euler. De acordo, novamente, com o autor [13], a demonstrao desse
teorema foi analtica, o que nos leva a crer que deve ter construdo uma grande
quantidade de tringulos diferentes at encontrar a lei.
Essas descobertas s raticam quo brilhante era a mente desse verdadeiro gnio
da Matemtica, pois, chegou concluso de inmeros trabalhos sem uma ferramenta
tecnolgica imprescindvel nos estudos atuais como, por exemplo, um computador
munido com um programa de Geometria Dinmica.

1.1.2 Sculo XIX: A re-descoberta da geometria


No h dvidas que os trabalhos geomtricos de Euler impulsionaram sobremaneira os estudos mais aprofundados no incio do sculo XIX. A primeira demonstrao sinttica das descobertas de Euler s veio em 1803 com Carnot6 , que inaugurou
assim uma verdadeira corrida aos novos conhecimento da geometria do tringulo,
4 Proposto

pelo matemtico italiano Giovanni Ceva (1647-1734), conforme o autor [11], na pgina 32, este teorema arma que as cevianas (segmentos de reta que ligam os vrtices de um
tringulo a um ponto do lado oposto a ele, que tem o seu nome em homenagem ao prprio Giovanni Ceva) geradas pelos vrtices de um tingulo A, B, C e pelos pontos dos lados opostos
D, E, F , respectivamente, so concorrentes se BD CE AF = F B DC EA.
5 O matemtico Leonhard Euler (1707-1783) nasceu na sua, na Basilia e segundo o autor
[9], foi talvez o homem que mais calculou e escreveu em toda a histria da humanidade. o
responsvel por inmeras contribuies na lgebra, Aritmtica, Geometria e Fsica que at hoje
so ferramentas poderosas nesses ramos do conhecimento.
6 Lazare Micolas Marguerite Carnot (1753-1823), matemtico e fsico, demonstrou a existncia
da reta de Euler no seu trabalho Geometria de Position.

Recortes Histricos das Descobertas Geomtricas do sculo XIX

Captulo 1

que at ento, pareciam concludos pelos gregos.


Segundo [6], mais um ponto pertencente a reta de Euler foi encontrado por Poncelet7 e Brianchon8 em um artigo publicado em conjunto, intitulado Recherches sur
la dtermination d'une hyperbole quilatre, nos Annales de Gergonne de 1820-1821
(veja [7]). Trata-se do centro de uma circunferncia a qual pertencem os trs pontos
mdios dos lados, os trs pontos chamados de p de altura9 de um tringulo e seus
trs pontos10 de Euler. Esse teorema mais conhecido como teorema da circunferncia dos nove pontos mas tambm recebe o nome de alguns dos seus idealizadores
como crculo de Euler11 , crculo de Poncelet, crculo de Brianchon ou crculo de
Feuerbach12 , entre esses, mais comum encontrarmos os crditos dados, equivocadamente, ao ltimo. Segundo o autor [6], novamente, isso se deve ao fato de ter
produzido uma pequena monograa independente dos estudos de Poncelet e Brianchon no ano de 1822, com uma demonstrao da circunferncia dos nove pontos.
Feuerbach, nesse mesmo trabalho, apresentou tambm importantes descobertas
sobre a circunferncia dos nove pontos, entre as quais, destaca-se a demonstrao de
que esta tangente s trs circunferncias ex-inscritas13 do mesmo tringulo. Este
teorema , para muitos, um dos mais belos teorema da geometria ps-Euclides.

1.1.3 Um belo desfeche para um sculo brilhante


Na segunda metade do sculo XIX, uma grande quantidade de trabalhos foram
publicados, impulsionados por essas descobertas que abriram novamente o campo da
pesquisa na geometria. Na sua ltima dcada, segundo o autor [11], alguns textos14
7 Jean

Victor Poncelet (1788-1867) foi um matemtico francs que se destacou principalmente


no estudo da Geometria Projetiva.
8 Charles-Julien Brianchon (1783-1864) foi um matemtico francs contemporneo de Poncelet.
9 Ponto de menor distncia entre o vrtice de um tringulo e o seu lado oposto. Ver seo 3.4,
pgina 50.
10 Ponto mdio do segmento denido por um vrtice de um tringulo e o ortocentro desse tringulo. Ver a subseo 3.6.1, na pgina 53.
11 Como Euler havia descoberto que a circunferncia passava pelos pontos mdios e os ps das
alturas, restava apenas descobrir que passava tambm pelos pontos mdios entre o ortocentro e o
vrtice de um tringulo, por isso, em sua homenagem, so dados a ele os nomes desses pontos e
at da circunferncia dos nove pontos.
12 Karl Wilhelm Feuerbach (1800-1834), matemtico alemo que contribuiu bastante com a geometria, mesmo com seu breve tempo de vida.
13 Circunferncia cujo centro a interseco das bissetrizes dos ngulos externos do tringulo e
tangente ao mesmo.
14 Sua armao se baseou nos escritos de Jonh Wellesley Russel, no seu livro Pure Geometry,
[26].

Construo da Circunferncia dos Nove Pontos no Geogebra

Captulo 1

de Geometria projetiva apresentaram uma descoberta fascinante: a cnica dos nove


pontos, que, a exemplo da circunferncia dos nove pontos, contm os pontos mdios
do tringulo, porm, em lugar dos ps de altura e dos pontos de Euler, so utilizados
outros pontos que so gerados por um ponto qualquer pertencente a reta de Euler
que, com um dos vrtices, dene o ponto mdio entre eles e o ponto de interseco
entre o lado oposto e a reta que contm esse ponto e um dos vrtice, completando,
assim, os nove pontos.
A variao desse ponto na reta de Euler apresenta vrias formas de cnicas como
hiprboles, elipses e at parbolas, que nos faz deduzir que se esse ponto utua, pode
coincidir com o ortocentro e, como sabemos, construiremos, assim, a circunferncia
dos nove pontos, que nada mais que uma forma especial de Cnica dos Nove Pontos.
Todavia, a beleza plstica dessa descoberta, que, segundo esse autor, at meados
do sculo XX foi material obrigatrio nas selees para o doutoramento em Matemtica de Universidades como Oxford e Cambridge, foi esquecida e negligenciada pelas
Instituies de Ensino Superior a ponto de, em 2002, esse autor descobrir de forma
analtica, a Cnica dos Nove Pontos e s depois de uma busca intensa, perceber que
essa descoberta j havia sido publicada h mais de um sculo.

1.2 Construo da Circunferncia dos Nove Pontos


no Geogebra
No ensino dos pontos notveis do tringulo15 , comum encontrarmos nos livros
didticos e na prtica docente de parte dos professores, uma apresentao mecnica
desses pontos. certo que, enriquecido com uma grande quantidade de ilustraes,
para queles estudantes que j despertaram o desejo pela descoberta na matemtica,
a teoria da construo desses pontos, as cevianas, as curiosidades e suas utilizaes
so absorvidas, contudo, o aluno no constri seus prprios conhecimentos. Mesmo
quando os educadores recorrem construo geomtrica com rgua e compasso, no
d para trabalhar "dinamicamente"com essas construes pois, torna-se invivel a
reproduo de inmeras situaes diferentes com essas ferramentas.
No nosso trabalho, escolhemos um dos muitos programas gratuitos, ou software
livres, o Geogebra, cuja plataforma ilustra as guras desse trabalho. Segundo sua
pgina virtual16 , um software de matemtica dinmica gratuito e multi-plataforma
para todos os nveis de ensino, que combina geometria, lgebra, tabelas, grcos,
15 Contedo
16 Pode

geralmente trabalhado no Ensino Fundamental e aprofundado no Ensino Mdio.


ser baixado gratuitamente no endereo eletrnico www.geogebra.org.

Construo da Circunferncia dos Nove Pontos no Geogebra

Captulo 1

estatstica e clculo em um nico sistema.

1.2.1 Os pontos notveis do tringulo


A construo do baricentro
Tambm conhecida como centride, talvez, o ponto mais utilizado de forma
prtica no nosso cotidiano, sobre tudo na construo civil, j que este ponto o centro de massa do tringulo. Neste trabalho, representaremos o baricentro por G17 .
Esse ponto encontrado traando-se as medianas18 correspondentes a cada vrtice
e encontrando o seu ponto de interseco que G.
Na utilizao do Geogebra, o professor pode, inicialmente, levantar questionamentos sobre como encontrar esse ponto mdio. claro que o programa traz consigo
essa ferramenta que, bastando escolher os dois pontos, apresenta o seu ponto mdio.
Porm, a sugesto de problemas que requisitem o raciocnio geomtrico ao aluno,
solidicar esses conhecimentos trazendo segurana e satisfao.
A reproduo dos passos da construo com rgua e compasso uma boa atividade, ilustrada na gura 1.1, que, nesse caso reproduz a construo do ponto mdio
de um tringulo.

Figura 1.1: Ilustrao da construo do ponto mdio de um dos lados do tringulo


ABC .
Um fato curioso que tambm pode ser levantado que, ao contrrio de alguns
17 G

de centro gravitacional, j que em caso de gravidade constante e um corpo homogneo, o


centro de massa se confundi com o centro gravitacional.
18 Retas que passam por um vrtice de um tringulo e pelo ponto mdio do seu lado oposto.

Construo da Circunferncia dos Nove Pontos no Geogebra

Captulo 1

polgonos no-convexos19 , o baricentro do tringulo interno. Essa informao


pode ser vericado no programa. Outra propriedade que pode ser vericada,
que G divide qualquer uma das medianas em duas partes proporcionais tais que o
segmento entre G e o vrtice o dobro da outra parte, como ilustra a gura 1.2.

Figura 1.2: Segmento CG = 2GM C .

A construo do incentro
O incentro o ponto equidistante aos seus lados de um tringulo, ou seja, o
centro da circunferncia que inscreve esse tringulo. A construo que nos faz encontrar esse ponto bastante interessante pois podemos trabalhar vrios conceitos
como lugar geomtrico, bissetriz20 e distncia entre uma reta a um ponto.
Sabe-se que a bissetriz, alm de ser a que divide um ngulo em dois ngulos
congruentes, tambm o lugar geomtrico dos pontos equidistantes a duas retas.
Inicialmente, o conceito de distncia entre um ponto e uma reta pode ser apresentado
e trabalhado com os estudantes, que dar segurana para os mesmos utilizarem a
ferramenta "reta perpendicular". Para reproduzir o lugar geomtrico dos pontos
supracitados, como sugesto, faremos essa demonstrao da construo de forma
intuitiva e dinmica. Apresentaremos, excepcionalmente, neste exemplo, os passos
abaixo que esto ilustradas na gura 1.3:
1. Acione a ferramenta "controle deslizante"e xe seus limites entre 0 e 10;
19 Chamamos

de no-convexo o polgono que apresenta vrtices nos dois semi-planos denidos


pela reta que contm algum dos lados.
20 a reta que passa por um vrtice do tringulo dividindo o ngulo interno gerado pelos lados
adjacentes a esse vrtice em dois ngulos iguais. Podemos dizer tambm que, dadas duas retas
concorrentes, a bissetriz o lugar geomtrico equidistante a essas retas.

Construo da Circunferncia dos Nove Pontos no Geogebra

Captulo 1

Figura 1.3: Lugar geomtrico dos pontos equidistantes aos lados AB e AC representados pela ferramenta "rastro"ativada no Geogebra.

Figura 1.4: Construo da circunferncia inscrita no tringulo ABC no Geogebra.


2. Com a ferramenta "circulo dados centro e raio", trace a circunferncia com
centro em A (ou B , ou C ) e xe o raio = a (valor do controle deslizante), logo
aps, marque os pontos D e E , interseces da circunferncia com os lados
AC e AB do tringulo;
3. Com a ferramenta "reta perpendicular"ativada, trace as retas perpendiculares
aos lados que passem pelos ponto D e E e marque o ponto F , interseco entre
as retas perpendiculares;
4. Posicione o controle deslizante na posio 0, ative a ferramenta "rastro",
acione-o no ponto F e ligue a "Animao"do controle deslizante.
A gura 1.4, ilustra a construo da circunferncia inscrita no tringulo. As
mesmas atividades realizadas na seo anterior com o baricentro podero ser repro7

Construo da Circunferncia dos Nove Pontos no Geogebra

Captulo 1

duzidas com o incentro. Alm de orientar os alunos para averiguar se I realmente


interno e se o nico ponto de interseco das trs bissetrizes com a manipulao
dos vrtices do tringulo uma boa oportunidade de construir o conhecimento dessas propriedades.
A demonstrao algbrica dessas propriedades sero apresentadas no captulo 3,
seo 3.2, pgina 47.

A construo do circuncentro
O circuncentro o ponto O equidistante dos vrtices de um tringulo, logo o
centro da circunferncia que o circunscreve. Para encontrar este ponto, necessrio
traar as mediatrizes21 dos lados do tringulo e obter o nico ponto de interseco
entre elas.
A gura 1.5, ilustra a construo desse ponto que, pela sua simplicidade, deixamos como exerccio aos leitores que podem ainda construir outras atividades interativas com o software. As demonstraes algbricas esto apresentadas na seo 3.3,
pgina 49.

Figura 1.5: Tringulo ABC com o circuncentro O.


21 Retas

perpendiculares aos lados de um tringulo que cruzam esses lados no seu ponto mdio.
Podemos tambm denir mediatriz como o lugar geomtrico equidistante das extremidades de um
segmento de acordo com [12].

Construo da Circunferncia dos Nove Pontos no Geogebra

Captulo 1

A construao do ortocentro
O ortocentro o nico ponto de interseco das alturas22 de um tringulo. Pela
etimologia da palavra, que uma composio de orto (do grego orthos, que, na
geometria, signica reto) e centro, por razes bvias, percebe-se facilmente que se
trata de um ponto que encontrado pelo cruzamento de segmentos ortogonais, que,
no seu caso, passa pelos vrtices opostos.
Para traarmos essas alturas no Geogebra, de forma simples, construmos a reta
perpendicular a um dos lados que passa pelo vrtice oposto a esse lado, inclusive, no
caso do tringulo obtusngulo23 , que, nos lados que compe tal ngulo, no apresenta
ponto de interseco, pois, nesse caso, a perpendicular no concorre com esse lado
do tringulo. Para observarmos o p da altura em qualquer tipo de tringulo,
necessrio que o estudante trace a reta que contm o lado que compe o ngulo
obtuso e marque a interseco dessa reta com a sua perpendicular que passa pelo
vrtice oposto.

Figura 1.6: Construo do ortocentro H exterior ao tringulo ABC no Geogebra.


Na gura 1.6, vemos um caso do ortocentro H do tringulo obtusngulo ABC .
Essa construo permite aos educandos, manipular os vrtices at coincidi-los com
H . A ferramenta "ngulo"dar a informao obvia que esse ngulo de 90o . As
demonstraes algbricas foram apresentadas na seo 3.4, pgina 50.
22 A

altura de um tringulo em relao a um vrtice o segmento de reta denida por esse vrtice
e um ponto pertencente reta a qual contm seu lado oposto, de menor comprimento, ou seja, o
segmento perpendicular reta que contm um dos lados que passa pelo vrtice oposto a esse lado.
23 Tringulo que apresenta um de seus ngulos com valor maior que 90o , nesse caso, em um dos
lados que formam esse ngulo obtuso, o p da altura (extremidade da altura oposta ao vrtice)
est localizado no prolongamento desse lado.

Construo da Circunferncia dos Nove Pontos no Geogebra

Captulo 1

Nos livros de Matemtica da Educao Bsica, no encontramos alguma "utilidade"especial para esse ponto. Para o educador que tem como base a educao
construtiva (ou construtivista), bastante complicado apresentar um conceito, propriedade ou ente geomtrico sem uma aplicao prtica. Essa "carncia"poderia ser
abrandada se fossem includas no currculo deste nvel educacional, contedos mais
aprofundados da geometria plana que trariam mais beleza e curiosidade, como por
exemplo, a reta de Euler, que veremos a seguir.

1.2.2 A construo da reta de Euler

Figura 1.7: Construo dos quatro pontos notveis O, G, H e I do tringulo ABC


no Geogebra.
Para construir a reta de Euler no Geogebra, importante, primeiramente, encontrar os 4 pontos notveis do tringulo. Essa construo, aparentemente causar
uma certa poluio visual que poder ser amenizada com a padronizao de cores
diferentes para cada grupo de retas, como ilustramos na gura 1.7. O estudante
perceber que, ao manipular os vrtices do tringulo, os pontos se aproximam ou
se afastam, um dos outros. Cabe ao educador, levantar um questionamento: ser
que existe um tipo de tringulo cujos pontos notveis coincidem? essa atividade
instigar o aluno a buscar, com o mximo de tentativas possvel, unir esses pontos.
Atividades como essa, levantaro a possibilidade de trabalhar alguns outros conceitos como as propriedades dos tringulos issceles e equilteros. Uma alternativa
para encontrar, rapidamente, posies convenientes para os vrtices tais que resolva
esse problema acionar o boto "ngulo"nos trs vrtices e, a medida que a diferena entre os ngulos forem diminuindo, esses pontos se aproximam, at quando se
tornam o mesmo ponto, o que acontece quando os ngulos so congruentes entre si,
ou seja, de 60o . Para tanto, o aluno ter que levantar, preliminarmente, a conjectura
de que esse caso ocorrer com o tringulo equiltero.

10

Construo da Circunferncia dos Nove Pontos no Geogebra

Captulo 1

Figura 1.8: Tringulo equiltero com os quatro pontos notveis O, G, H e I do


tringulo ABC coincidentes representados no Geogebra.
Porm, convm salientar que encontrar esse posicionamento dos vrtices, requisita uma percia mas anada por parte dos aprendizes, e pode durar um tempo
maior, principalmente se o arredondamento do ngulo estiver em 2 casas decimais,
nesse caso, podemos permitir que haja um arredondamento para 1 ou at nenhuma
casa decimal.
Se o professor no quiser levantar de imediato essa conjectura, pode tambm sugerir que se trace uma circunferncia de centro em qualquer um dos pontos notveis,
exceto o circuncentro, como ilustramos na gura 1.8, que passe por qualquer um dos
vrtices. Nesse caso, o estudante deve mover os vrtices at que todos estejam inclusos na circunferncia, quando ele concluir, observar que os pontos notveis estaro
coincidindo. Essa atividade pode ser repetida variando o ponto notvel e o vrtice
que determinaro a circunferncia. Aps essa etapa, o professor pode, ento, sugerir
a medida dos ngulos ou dos lados do tringulo para que os estudantes tirem suas
concluses.
Aps manipular muito essa ltima construo, o professor pode sugerir aos educandos que observem o posicionamento de H, I, G e O e procure algum alinhamento
entre eles. Ora, sabemos que sempre haver alinhamento entre dois deles, por isso,
importante procurar esse alinhamento em, no mnimo trs deles. Uma boa sugesto traar uma reta determinada por dois dos quatro pontos e observar se existe
tal alinhamento. Aps algumas tentativas, eles percebero que tero diculdades
para traar uma reta que contenha I e outros dois pontos. Podemos ento inserir o
conceito da reta de Euler.
Vimos na seo 1.1.1, pgina 1, que Euler descobriu com um mtodo muito
semelhante, todavia, sem o computador, nada prtico, que os pontos O, G e H
11

Construo da Circunferncia dos Nove Pontos no Geogebra

Captulo 1

Figura 1.9: Tringulo ABC com os quatro pontos notveis O, G, H e I e a reta de


Euler no Geogebra.
pertencem a uma reta que recebeu o nome de Reta de Euler. Todavia, necessrio a
demonstrao algbrica dessa descoberta, que apresentaremos na seo 3.5, pgina
51.

O incentro e a reta de Euler


A gura 1.9, ilustra a reta de Euler e os pontos notveis do tringulo e essa construo instiga um questionamento que pode ser levantado para o estudante: ser
que I pode pertencer reta de Euler?
Diante desse problema, espera-se que o estudante desperte a curiosidade de encontrar essa situao especial e, aps seguidas tentativas poder encontrar o nico
caso em que observamos os quatro pontos alinhados. Com auxlio da ilustrao na
gura 1.10, medindo os ngulos desse tringulo, concluiremos que esse issceles.
importante a demonstrao dessa conjectura criada pelos educandos nessa
etapa, muito elementar por sinal, j que, no caso do tringulo issceles, sabemos
das suas propriedades, que a altura, a mediana, a mediatriz e a bissetriz em relao
ao vrtice cujo ngulo oposto base so todos coincidentes. Como I pertence
bissetriz, logo pertence a todas as outras retas, donde conclumos que tambm
pertence reta de Euler a qual coincide com essas retas, conforme vimos na ltima
gura mencionada.
importante salientarmos que, se esse tringulo tambm for equiltero, ento
no teremos a reta de euler, pois, como vimos no incio desta subseo, os quatro
pontos coincidem, no havendo, assim, dois pontos distintos para determinar a reta.
Essas informaes, demonstraes e comentrios sero apresentados na seo 3.5,
12

Construo da Circunferncia dos Nove Pontos no Geogebra

Captulo 1

Figura 1.10: Tringulo issceles com os quatro pontos notveis O, G, H e I na reta


de Euler representados no Geogebra.
51.

1.2.3 A construo da circunferncia dos nove pontos


A circunferncia dos nove pontos, conforme apresentado na seo 1.1, pgina 1,
contm nove pontos especiais, seis dos quais j apresentados: Os trs pontos mdios
dos lados e os trs ps de altura. Os outros trs pontos so os Pontos de Euler.

A construo dos pontos de Euler


Esses pontos dividem o segmento cujas extremidades o ortocentro e um dos
vrtices em dois segmentos congruentes. No Geogebra, com a ferramenta "Ponto
Mdio"ativada, suciente marcar essas extremidades, como ilustramos na gura
1.11, para que os Pontos de Euler EA , EB e EC , em relao aos vrtices A, B e C ,
respectivamente, sejam denidos.

Figura 1.11: Pontos de Euler do tringulo ABC representados no Geogebra.

13

Construo da Circunferncia dos Nove Pontos no Geogebra

Captulo 1

Figura 1.12: Os nove pontos do tringulo ABC que pertencem a circunferncia dos
nove pontos representados no Geogebra.

Construo intuitiva da circunferncia dos nove pontos


Para construmos a circunferncia dos nove pontos, intuitivamente, podemos usar
as ferramentas do Geogebra e partir da conjectura que esses nove pontos pertencem
a uma nica circunferncia. Essa estratgia levar o aluno, aps marcar no tringulo
ABC os pontos mdios MA , MB e MC , os ps de altura HA , HB e HC e os pontos de
Euler EA , EB e EC , a tentar encontrar uma forma de construir uma circunferncia,
sem dispor do centro da mesma.
Essa conjectura pode ser levantada, se observarmos os nove pontos, representados na gura 1.12, distribudos nos tringulo ABC , que realmente d a impresso
de se tratar de pontos de uma circunferncia. Possivelmente, quando Euler descobriu, intuitivamente os seis pontos, o matemtico observou em seus desenhos essa
possibilidade e tirou suas concluses. A reproduo dessas descobertas que revolucionaram a geometria, pode ser uma prtica que leve os estudantes a gostar mais
da Matemtica e de suas curiosidades. A circunferncia pode ser encontrada com
a ferramenta "Circulo Denido Por Trs Pontos", ou seja, marcando trs pontos
quaisquer, O programa traar a nica circunferncia que os contm.
Um fato importante que, atravs de outras tentativas com permutaes entre
os nove pontos, o aluno perceber que, mesmo marcando os trs pontos mdios ou
os trs ps de altura, sempre ser traada a mesma circunferncia.
Outra estratgia interessante, propor ao aluno a impossibilidade de usar a ferramenta sugerida na atividade anterior. Nesse caso ele ter que, com os nove pontos
marcados, com outras ferramentas, traar essa circunferncia. Sugerimos, ento, que
usemos o circuncentro do tringulo denido por qualquer dos grupos de trs pontos
para encontrar o centro N dessa circunferncia, ilustrada na gura 1.13.
14

Construo da Circunferncia dos Nove Pontos no Geogebra

Captulo 1

Figura 1.13: Circunferncia dos nove pontos do tringulo ABC traada com centro
no circuncentro do tringulo EA EB EC no Geogebra.
Ainda podemos levantar outra questo: Onde est esse ponto N ? O professor
pode indagar, por exemplo, qual a relao entre a reta de Euler e a circunferncia
dos nove pontos, sugerindo que sejam construdas, em um mesmo desenho, ambos
elementos. Nesse caso, o estudante, notar que N pertence a reta de Euler.
Se N pertence a reta de Euler, qual a relao com os pontos O, G e H ? O estudante pode usar as ferramentas de medies de segmentos para conjecturar possveis
relaes. Se o mesmo zer uma tabela entre os segmentos possveis, perceber que
em todos os casos, a relao entre HN e N O de congruncia. Podemos utilizar
uma ferramenta simples para provar essa hiptese. Conforme ilustra a gura 1.14,
basta traar uma circunferncia de centro em N e marcar o ponto H ou O. Repetir
a mesma sequncia com o outro ponto escolhido e comparar as circunferncias que
sero as mesmas.
Essa importante descoberta nos permite encontrar uma utilidade para o ponto

H , que, como j relatamos, de acordo com os programas de Geometria da Educao


Bsica, no teria nenhuma serventia. Nesse caso, o ponto H , junto com o ponto O,
denem o centro N da circunferncia dos nove pontos que o ponto mdio entre eles.

As demonstraes algbricas de todas as construes apresentadas sobre a circunferncia dos nove ponto e da reta de Euler e suas relaes esto nas sees 3.5 e
3.6, pginas 51 e 53, respectivamente.

15

Construo da Circunferncia dos Nove Pontos no Geogebra

Captulo 1

Figura 1.14: Reta de Euler com os pontos O, G, H e N e a relao HN = N O no


Geogebra.

16

Captulo 2
Denies Algbricas
Durante nossa experincia docente em uma escola de Ensino Mdio da rede Estadual de Pernambuco, na componente curricular Fsica, constatamos uma enorme
diculdade dos estudantes, sobretudo no primeiro ano quando trabalhado o contedo Mecnica, na construo do conhecimento dos conceitos de vetores e sua
utilizao prtica na disciplina. Este fato compreensvel, pois, os conceitos bsicos dessa ferramenta matemtica so apresentados aos educandos apenas no terceiro
ano. Todavia, podemos, preliminarmente, introduzir o conceito informal j nos anos
nais do Ensino Fundamental, j que, de acordo com [23], A palavra vetor vem de
um radical latino que signica carregar. Um vetor formado quando um ponto
deslocado - ou carregado - por uma certa distncia em uma certa direo. Visto de
outro modo, um vetor carrega duas peas de informao: seu comprimento e sua
direo. A ideia informal de carregar algo de uma certa posio, uma certa distncia, em uma certa direo e encontrar a sua posio nal uma boa estratgia e
utilizaremos uma viso algbrica sobre esse ente geomtrico.
Nesse captulo apresentaremos as denies algbricas que auxiliaro a construo dos pontos notveis do tringulo, da Reta de Euler e da circunferncia dos nove
pontos, segundo o Artigo de Rojas & Mendonza, ver [20] e o autor [15] mescladas
com conceitos bsicos de Geometria Plana e Analtica.
Apresentaremos a seguir, as denies que julgamos necessrias para prosseguirmos.

2.1 Espao Am e Espao Vetorial


Quando observamos a frase "carregar algo de uma posio, uma certa distncia,
em uma certa direo" podemos ver facilmente a distino de duas informaes:
"uma posio" e "uma certa distncia, em uma certa direo", a primeira apresenta
uma ideia esttica j a segunda dinmica, como no caso da ilustrao: estava em
17

Captulo 2

Denies Algbricas

Afogados da Ingazeira e viajei Joo Pessoa, onde Afogados da Ingazeira e Joo


Pessoa so posies estticas enquanto viajei denota movimento. A mesma viagem
feita nesta ilustrao poderia ser realizada entre outras duas cidades diferentes das
utilizadas, porm, com mesma distncia e mesma direo entre elas.
Podemos admitir que Afogados da Ingazeira, Joo Pessoa, Recife ou Caruaru,
fazem parte de um conjunto de cidades, que podem ser representados por pontos e as
innitas possibilidades de diferentes viagens fazem parte do seu conjunto, que, como
vimos antes, podem ser representados por vetores, logo se faz necessrio distinguirmos estes dois "espaos". Informalmente, admitamos que Espao Am o conjunto
dos pontos e Espao Vetorial o espao que contm todos os vetores. Todavia, faz-se
necessrio formalizarmos os conceitos com os quais trabalharemos neste captulo.

2.1.1 Espao vetorial real


Inicialmente, recorremos a denio de [1] para denirmos um espao vetorial:

Denio 1 Seja V um conjunto no-vazio qualquer de objetos no qual esto de-

nidas duas operaes, a adio e a multiplicao por escalares (nmeros reais). Por
adio entendemos uma regra que associa a cada par de objetos u e v um objeto
u+v, chamado a soma de u com v; por multiplicao por escalar entendemos uma
regra que associa a cada escalar k e cada objeto v em V um objeto kv, chamado o
mltiplo de v por k. Se os seguintes axiomas so satisfeitos por todos objetos u, v e
w em V e quaisquer escalares k e l, ento dizemos que V um espao vetorial e os
objetos de V sero chamados de vetores.
(a) Se u e v so objetos em V ento u + v um objeto em V;
(b) u + v = v + u;
(c) u + (v + w) = (u + v) + w;
(d) Existe um objeto ~0 em V, chamado vetor nulo ou vetor zero de V, tal que ~0 + u =
u + ~0 = u para cada u em V;
(e) Para cada u em V, existe um objeto -u, chamado um negativo de u, ou simtrico
de u, tal que u + (-u) = (-u) + u = ~0;
(f) Se k qualquer escalar e v um objeto em V, ento kv um objeto em V;
(g) l(u + v) = lu + lv;
(h) (k + l)v = kv + lv;
(i) k(lu) = (kl)u;
(j) 1u = u

18

Captulo 2

Denies Algbricas

Dentro de um espao vetorial V, existem subconjuntos S tais que eles so um


espao vetorial. Tais conjuntos sero chamados subespao de V. Este conceito ser
de grande importncia para denirmos projees ortogonais vetoriais.

Denio 2 Sejam V um espao vetorial e S um subconjunto no vazio de V. O

subconjunto S um subespao vetorial de V se S um espao vetorial em relao


adio e a multiplicao por escalar denidas em V,ou seja, se estiverem satisfeitas
as condies:

I Para quaisquer u, v S, tem-se:


u+v S

II Para quaisquer k R, u S, tem-se:


ku S

Da denio de subespao, podemos realizar as seguintes observaes:


Todo espao vetorial admite no mnimo dois subespaos: o conjunto {0}, chamado subespao zero ou subespao nulo, e o prprio espao vetorial V. Esses
dois so os subespaos triviais de V. Os demais subespaos so denominados
subespaos prprios de V.
Todo subespao S de V contm o vetor nulo.

Para prosseguirmos, vejamos algumas das principais propriedades dos subespaos.


A interseco de dois subespaos S1 e S2 , S = S1 S2 um subespao de V.
O conjunto S formado por todos os vetores de V que forem a soma de vetores
de S1 com vetores de S2 , que denotaremos por S = S1 + S2 um subespao de
V. Veja [27], pgina 35.

Denio 3 Sejam S1 e S2 dois subespaos vetoriais


de V. Diz-se que V a soma
L
direta de S1 e S2 , e se representa por V = S1

S2 , se V = S1 + S2 e S1 S2 = {0}

Das observaes anteriores podemos enunciar o seguinte teorema:

Teorema 4 Se V a soma direta de S1 e S2 , todo vetor v V se escreve, de modo


nico, na forma:

v =u+w

onde u S1 e w S2 .

19

Captulo 2

Denies Algbricas

Demonstrao: De V = S1

S2 , vem, para qualquer v V:


v =u+w

(2.1)

onde u S1 e w S2 .
Suponhamos que v pudesse exprimir-se tambm pela forma
v = u0 + w0

(2.2)

onde u0 S1 e w0 S2 . As igualdades (2.1) e (2.2) permitem escrever


u + w = u0 + w0 u u0 = w0 w

onde u u0 S1 e w w0 S2 . Tendo em vista que, de acordo com a Denio 3,


S1 S2 = {0}, temos
u u0 = w0 w = 0

isto ,
u = u0 e w0 = w

2.1.2 Espao am


Agora, utilizaremos integralmente a denio de espao am em [20] (ver pgina
77), a saber:

Denio 5 Sejam E um conjunto, V um espao vetorial real e : E V E

uma funo que associa a cada par (P, v) E V um ponto em E, que denotaremos
por P v , satisfazendo as seguintes condies:
(i) para cada P E, a funo de V em E dada por v 7 P v uma bijeo;
(ii) (P u) v = P (u + v), para quaisquer P E e u, v V.

Os autores, a partir dessa denio, denominam de espao am sobre V um par


(E, ) que satisfaz as condies acima e de ao transitiva sem pontos xos a funo
, nomenclaturas estas que tambm adotaremos nesse trabalho.

Apresentaremos alguns exemplos de Espao Am, encontrados no artigo de Rojas


e Mendoza (ver [20], pgina 77), os quais demonstraremos.

Exemplo 1 Sejam V um espao vetorial sobre R, E um subspao vetorial de V e


: E V E a adio de vetores em V, ou seja, P v = P + v . Ento

20

Captulo 2

Denies Algbricas
(E, ) espao am V = E

Demonstrao: ()

Como (E, ) um espao am sobre V, para cada P E a funo


P : V E
v 7 P (v) = P + v

bijetiva.
Como E um subespao vetorial de V, 0 E. Logo,
0 (v) = 0 + v = v E.

Assim, temos que V E. Por outro lado, como E V, segue-se V = E.


() Para demonstrar que (E, ) espao am suciente provar que ela cumpri
os itens (i) e (ii) da denio 5. Se V = E, ento para cada P V, seja P : V V
determinado por (v) = P + v .

(i)

injetiva
(u) = (v) P + u = P + v u = v.
sobrejetiva
Dado Q V, seja v = Q P V, ento podemos escrever
P (v) = P + Q P = Q.

(ii) Dados P E, u e v V,
(P v) u = (P + v) u = (P + v) + u = P + (v + u) = P (v + u).

Exemplo 2 Seja V um subespao vetorial de W e E = Q + V, para algum Q W.

Tome : E V E a adio de vetores em W(isto , P v = P + v ). Ou seja, a


translao de um subespao vetorial V um espao am sobre V.

Demonstrao: Para cada P E, seja P : V E denido por P (v) = P + v


(i)

injetiva

j foi provado na demonstrao (i) do exemplo 1.

21

Captulo 2

Denies Algbricas
sobrejetiva
Dados L E e u W, tome L = Q + v e P (u) = L
P (u) = L
P +u = Q+v
u = (Q P ) + v

logo, P (u) = P + u = P + Q P + v = Q + v

(ii) Verica-se facilmente.

Exemplo 3 Sejam T : V W uma aplicao linear no nula e w um vetor no

nulo na imagem de T . Sejam V = {v V | T (v) = 0} (o ncleo de T ), E = {v


V | T (v) = w} (a imagem inversa de w por T ) e : E V E dada pela adio de
vetores em V . Observe que E no um espao vetorial e o par (E, ) um espao
am sobre V.

Demonstrao:
Como T : V W linear, tem-se que T (0) = 0. Observe que E 6= e no
subespao de V, pois 0 / E, logo E no um espao vetorial.
P : V E claro que uma bijeo e satisfaz (ii).

2.1.3 Observaes importantes


Aps as denies apresentadas, podemos fazer as seguintes observaes:

A bijeo exigida na denio 5 em (i), garante que: dados P, Q, E, P Q


denotar o nico vetor em V tal que

P P Q = Q.

(2.3)

P ~0 = P para todo P E.

De fato, essa observao faz sentido pois a mesma bijeo exigida em (i) tambm garante que h um s vetor v V tal que P v = P , da denio 1,
22

Captulo 2

Denies Algbricas

item (g) temos que ~0 = v + (v) e da mesma denio, item (b), temos que
(P (v + (v)) = (P v) (v), mas P (v + (v)) = P ~0, logo

(P (v + (v)) = (P v) (v) P 0 = P (v) ~0 = v.

ainda de (e), v + (v) = ~0 v + ~0 = ~0, que segundo (d) v = ~0.

Sejam P, P 0 E dados, verica-se que P P 0 = ~0 P = P 0 .

De fato, P P 0 = ~0 P ~0 = P 0 P = P 0 . A recproca:

P = P 0 P ~0 = P 0 P P 0 = ~0.


Dados P, Q e R em E temos que: P Q + QR = P R.

De fato, utilizando a denio 5, item (ii), temos


P (P Q + QR) = (P P Q) QR

e a identidade (2.3) garante que

P P Q = Q,

logo
Ora, mas se

(P P Q) QR = Q QR = R.

P (P Q + QR) = R = P P R,

ento


P Q + QR = P R.

(2.4)

~
P Q + QP = P P = 0,

(2.5)

QP + (QP ) = ~0,

(2.6)

P Q = QP .

De fato, sabemos agora que

mas j demonstramos que

23

Captulo 2

Denies Algbricas

logo, igualando (2.5) e (2.6), temos


P Q + QP = QP + (QP )

somando QP em ambos os membros, conclumos que

P Q = QP .

A cada par de pontos (P, Q) E E associamos uma seta com ponto inicial
em P e extremo nal em Q.

Intuitivamente podemos concluir a veracidade da informao pois, se P, Q E,


v V e, segundo a denio 5, item(i), P v = Q bijetora, logo s h um

vetor v = P Q tal que P seja a origem e Q o extremo nal.


Aps observarmos os detalhes acima, podemos ver o motivo pelo qual no utilizamos,
nesse trabalho, a linguagem convencional da Geometria Analtica a qual diz que

P Q = QP Q = P + P Q, pois em ambientes de "objetos"de naturezas distintas,


no faz muito sentido um ponto adicionado a um vetor, mas, concordando com [20],
um ponto P ser "carregado"por um vetor v at atingir o ponto Q, nos parece mais
elegante.

2.2 Retas, Planos e Tringulos


Para trabalharmos com retas e planos, a dimenso do espao Vetorial V deve ser
adequadamente denida. Adotaremos dimV 2.
Convm ainda adotarmos algumas denies de combinaes lineares entre vetores. Utilizaremos a denio de [24] a seguir.

Denio 6
(i) O vetor v mltiplo do vetor u se existe R tal que v = u.
(ii) O vetor v combinao linear dos vetores v1 , v2 , ..., vn quando existem nmeros
reais 1 , 2 , ..., n , tais que v = 1 v1 + 2 v2 + ... + n vn .

Aps as denies acima, cabem ainda algumas observaes relevantes:


24

Captulo 2

Denies Algbricas

Na denio 6, item (i), tambm podemos dizer que v e u so linearmente


dependentes(LD). Neste caso, se no houver R tal que v = u, dizemos
que v e u so Linearmente Independentes(LI);
vetor nulo ~0 multiplo de qualquer vetor u, uma vez que ~0 = 0.u;
Se v 6= ~0 multiplo de u, ento u tambm mltiplo de v . De fato, se R
1
tal que v = u 6= ~0, temos 6= ~0 e u 6= ~0. Logo, u = v .

2.2.1 Retas
Seja (E, ) um espao am sobre V, xados P E e v V denimos o seguinte
subconjunto de E, que chamaremos de reta,
R(P, v) = {P tv | t R}.
v chamado vetor diretor (v 6= 0).

Observemos que, como P 0 = P , ento P R(P, v). Se Q R(P, v), ento

P Q = tv , para algum t R. Com efeito

Q = P tv P Q = tv.

Evidentemente, se A, B E, A 6= B , esses dois pontos pertencem reta R(A, AB),


que passa por A e B , j que

B = A 1AB e

A = A 0AB .

Essa denio de reta similar que conhecemos da geometria analtica


Q = P + t~v se P, Q V.

Observamos que R(P, u) = R(P, v) se e somente se u = v , para algum R.


Em geral temos a seguinte proposiao:

Proposio 1 Dados dois pontos P, Q E e dois vetores u, v V, as retas R(P, u)

e R(Q, v) sero iguais se, e somente se, P Q e u forem mltiplos de v 1 ,ou seja,

R(P, u) = R(Q, v) P Q = v, u = v,

para algum , R.
1 ou,

sem perda de generalidade, se P Q e v forem mltiplos de u

25

Captulo 2

Denies Algbricas

Demonstrao: ()

Partindo da igualdade
R(P, u) = R(Q, v)

vemos que P e Q pertencem a ambas retas, logo, a armao P R(Q, v) garante


P = Q tv

para algum t R, que implica

P Q = (t)v.

Fazendo t = , ento

P Q = v.

(2.7)

Agora, como Q R(P, u), podemos escrever


Q = P u,

para algum R, que

P Q = u.

(2.8)

Como P 6= Q, isto , 6= 0, das equaes (2.7) e (2.8), vem que


u = v u =

Faa

= R e teremos

v.

u = v.

()

Partindo agora da suposio que u = v , ento para qualquer que seja X

R(P, u) vale a expresso

X = P u,

para algum R. Como u = v , temos


X = P (v) X = P ()v

que implica
X R(P, v).

Das observaes da subseo 2.1.3, pgina 22, temos que

P Q = QP

26

(2.9)

Captulo 2

Denies Algbricas

logo, a expresso

P Q = v

pode ser escrita como

QP = ()v,

de onde conclumos que


P = Q ()v.

Agora substituindo P em (2.9), temos


X = (Q +()v) ()v.

Nas mesmas observaes em 2.1.3, vemos que essa ltima igualdade equivale a
X = Q ()v + ()v

X = Q ( )v.

Ou seja, X R(Q, v), que nos garante armar que


R(P, u) R(Q, v).

Agora, seja X R(P, v), temos que X = Q tv . Como


1
u=v

P v = Q.

Ento
X = (P v) tv = P ( + t)v,
1
substituindo v por u temos

X=P

( + t)
u X R(P, u).

Assim,
R(Q, v) R(P, u)

que nos garante


R(P, u) = R(Q, v)

Para facilitar a apresentao, utilizaremos a denotao RA,B para representar a

reta R que passa pelos pontos A e B , ou seja, a reta R(A, AB) = R(B, AB).
27

Captulo 2

Denies Algbricas

2.2.2 Planos
Seja (E, ) um espao am sobre V e P R, u, v vetores sobre V, linearmente
independentes, denotaremos por P = P(P, u, v) o plano que passa por P e contm
os vetores diretores u e v por
P(P, u, v) = {P (u + v) | , R}.

Proposio 2 Sejam u1 e v1 vetores L.I. em V, os planos P(P, u, v) e P(Q, u1 , v1 )

so iguais se e somente se os vetores P Q, u, v so combinao linear de u1 e v1 , ou


seja

P(P, u, v) = P(Q, u1 , v1 ) P Q, u, v [u1 , v1 ].

Demonstrao:

() Como P(P, u, v) = P(Q, u1 , v1 ), em particular P P(Q, u1 , v1 ), isto ,


existem , R tais que

P = Q (u1 + v1 ) QP = u1 + v1 .

Podemos escrever essa ltima expresso como

P Q = ()u1 + ()v1 .

Escrevendo t = e s = temos

P Q = tu1 + sv1 .

Assim P Q [u1 , v1 ].
Como P u P(P, u, v) = P(Q, u1 , v1 ), isto
P u = Q (1 u1 + 1 v1 ), para algum, 1 , 1 R.

Como
P = Q (u1 + v1 ),

ao substituirmos na igualdade acima temos


Q (u1 + v1 ) u = Q (1 u1 + 1 v1 )

que implica
Q [(u1 + v1 ) + u] = Q (1 u1 + 1 v1 )

28

Captulo 2

Denies Algbricas

ento
(u1 + v1 ) + u = 1 u1 + 1 v1 u = ()u1 + ()v1 + 1 u1 + 1 v1 .

Pondo em evidncia os vetores u1 e v1 , chegamos a


u = (1 )u1 + (1 )v1 .

Escrevendo t0 = 1 e s0 = 1 , chegaremos a
u = t0 u1 + s0 v1 ,

assim conclumos que u [u1 , v1 ].


Usando o mesmo argumento para P v P(Q, u1 , v1 ), temos que
v = tu1 + sv1 ,

que o que nos restava demonstrar.


() Seja X P(P, u, v), ento
X = P (u + v).

(2.10)

Como u = t0 u1 + s0 v1 e v = tu1 + sv1 , escrevendo 0 = t0 + t00 e 0 = s0 + s00 temos


que
X = P (0 u1 + 0 v1 ).

Por outro lado, P Q = tu1 + sv1 , que implica



P = Q (t)u1 + (s)v1 .

Assim, substituindo P em (2.10), temos



X = Q (t)u1 + (s)v1 (0 u1 + 0 v1 )

X = Q [ (t)u1 + (s)v1 + (0 u1 + 0 v1 )]

X = Q (0 t)u1 + ( 0 s)v1 .

Ento X P(Q, u1 , v1 ), isto ,


P(P, u, v) P(Q, u1 , v1 ).

Observe que a condio u = t0 u1 + s0 v1 e v = tu1 + sv1 e o fato que so L.I.


implicam que os subespaos [u, v] e [u1 , v1 ] so iguais, ento de maneira anloga
temos que
P(Q, u1 , v1 ) P(P, u, v).

Portanto
P(P, u, v) = P(Q, u1 , v1 ).

29

Captulo 2

Denies Algbricas

2.2.3 Tringulos
Por ser o objeto principal da nossa pesquisa, necessitamos de algumas denies
bsicas e essenciais a respeito do tringulo para darmos prosseguimento.

Denio 7 Trs pontos A, B, C E, determinam o tringulo ABC no espao

am E se, e somente se os vetores AB e AC forem linearmente independentes em


V.

Observao:
Sabemos que, pela equao (2.4), pgina 23,

BC = BA + AC

Em particular, se AB, AC so L.I., ento A 6= B e A 6= C .

Por outro lado, como BC = AB + AC , ento BC 6= ~0, caso contrrio, teramos




~0 =
AB + AC , absurdo por que AB e AC so L.I., ento B 6= C .

(i) Assim, se A, B e C determinam um tringulo, ento os pontos A, B e C so dois


a dois distintos.

(ii) Os pontos A, B e C no so colineares.


De fato, se os pontos A, B e C so colineares, ento o ponto C R =

R(A, AB) que implica AC = AB , contradizendo a denio do tringulo,


donde conclumos que A, B e C no podem ser colineares.

Proposio 3 Se os pontos A, B e C determinam um tringulo em E, ento existe


um nico plano passando por A, B e C que denotaremos por PA,B,C .

Demonstrao: Como A, B e C determinam um tringulo, ento podemos


denir o seguinte plano:

PA,B,C = P(A, AB, AC).

Que contm os pontos A, B e C , de fato:

A = A (0AB + 0AC) P;

B = A (AB + 0AC) P;

C = A (0AB + AC) P.

30

Captulo 2

Denies Algbricas

Isto Prova a existncia.


Para provar a unicidade, considere P(P, u, v) um plano que contm A, B e C .
Ento devemos provar que
P(P, u, v) = PA,B,C,

ou, equivalentemente, pela proposio 2, devemos provar que AP , AB e AC so


combinao linear de u e v .
Como P(P, u, v) contm A, B e C , ento

A
=
P

(u
+
v)

P A = u + v

0
0
B = P ( u + v) P B = 0 u + 0 v

C = P (u + v)
P C = u + v

isto , P A, P B e P C pertencem ao subespao gerado por u e v .

Por outro lado, AB = P B P A e AC = P C P A implica que AB e AC


tambm so combinao linear de u e v . Logo os planos
P(P, u, v) = PA,B,C, .

2.3 Propriedade Universal de Pontos num Plano P


Esta propriedade de grande importncia para prosseguirmos no nosso trabalho
e encontrar os pontos notveis do tringulo, a reta de Euler e o Crculo de nove
pontos. A propriedade universal que apresentamos a seguir aparece em alguns trabalhos como o artigo [18] e o material do Profmat em [24], porm, utilizaremos a
demonstrao de [20] na maior parte desta subseo.

2.3.1 Propriedade Universal de pontos em um plano


Partiremos de um plano PA,B,C tal que A, B, C E. Recorrendo mais uma vez
a equao do plano, ou seja,

PA,B,C = P(A, AB, AC)

= {A ( AB + AC) | , R}.

Seja P um ponto qualquer de PA,B,C , ento, P se escreve como


31

Captulo 2

Denies Algbricas

P = A ( AB + AC),

Onde , R que implica

AP = AB + AC.

Utilizaremos agora um outro ponto qualquer O E, temos que


AP = AO + OP ,

AB = AO + OB


AC = AO + OC,

logo,



AP = AO + OP = (AO + OB) + (AO + OC)

OP = AO + AO + OB + AO + OC.

Colocando AO em evidncia temos

OP = (1 + + )AO + OB + OC,

sabemos tambm que AO = OA, logo, podemos escrever

OP = (1 )OA + OB + OC,

admitindo = 1 , chegamos ento a equao

OP = OA + OB + OC,

independente da escolha do ponto O.

2.3.2 Propriedade Universal de pontos num plano P


A propriedade universal que enunciaremos a seguir nos garante que a representao de P E na forma

P = O (OA + OB + OC)

com = 1 , (, xos), independente da escolha do ponto O E.


32

Captulo 2

Denies Algbricas

Proposio 4 Seja P = PA,B,C plano em E e , e nmeros reais tais que


+ + = 1, ento existe um nico ponto P P tal que


OA + OB + OC = OP

para todo O E.

Demonstrao: Seja O E um ponto qualquer, podemos denir o vetor

v = OA + OB + OC.

Considere o ponto O v E que chamaremos P = O v , ento

OP = v = (1 )OA + OB + OC



= OA + (OA + OB) + (OA + OC)

= OA + AB + AC,

logo

AP = AO + OP = AB + AC,

isto mostra que P P .

Para mostrar a unicidade, considere O1 , P1 E e v1 = O1 A + O1 B + O1 C

tais que v1 = O1 P1 .
Note que



v1 = (O1 O + OA) + (O1 O + OB) + (O1 O + OC)

= O1 O + OA + O1 O + OB + O1 O + OC

= ( + + )O1 O + OA + OB + OC


= O1 O + v = O1 O + OP = O1 P .

Entretanto, v1 = O1 P1 , de onde conclumos que O1 P = O1 P1 , que implica



~0 =
O1 P O1 P1 = P1 O1 + O1 P = P1 P

Portanto P1 = P
Essa propriedade ser de grande importncia, pois, com ela, iremos caracterizar
alguns dos pontos notveis do tringulo. Por hora, iremos faz-lo apenas com o
ponto mdio entre dois pontos.
33

Captulo 2

Denies Algbricas

2.3.3 Ponto mdio entre dois pontos


1

Usando a propriedade universal em P , sabemos que, em particular, se = =


2
e = 0, com , , R, existe um nico ponto P P , que chamaremos de ponto
mdio entre A e B e denotaremos por: MAB
ou ainda,
1 
OA + OB .
2
Como tambm arbitrria a escolha de O, podemos fazer O = A e assim
MAB = O

MAB = A

1 
AB .
2

Que a equao do ponto mdio. bastante razovel se pensarmos que se carre


garmos o ponto A at a metade do vetor AB , chegaremos ao nico ponto mdio
MAB .

2.4 Ortogonalidade
Geralmente, no estudo da geometria analtica, denimos produto interno com
auxlio das coordenadas cartesianas dos pontos que determinam os vetores envolvidos2 , no entanto, no convm utilizarmos essa linguagem no contexto em que
estamos abordando. Faremos uso da denio para um espao vetorial geral com o
auxlio dos autores [27], ver pginas 106 e 107, e [5], ver pginas 221 e 222.

2.4.1 Denio de produto interno


Denio 8 Seja V um espao vetorial real e u, v e w V . Diremos que um

produto interno sobre V uma funo que a cada par de vetores u e v , associa um
nmero real, denotado hu, vi, tal que os seguintes axiomas sejam vericados:

i hu, vi = hv, ui;


ii hu, v + wi = hu, vi + hu, wi;
iii hku, vi = khu, vi, para todo k R;
iv hu, ui > 0 e hu, ui = 0 u = 0.
Observaes:
2 Por

exemplo, o produto interno ou produto escalar usual entre os vetores u = (xu , yu ) e


v = (xv , yv ) em R2 , de acordo com a geometria analtica, o nmero real hu, vi tal que hu, vi =
xu xv + yu yv .

34

Captulo 2

Denies Algbricas
O nmero real hu, vi chamado produto interno de u e v;

Dos quatro axiomas da denio acima decorrem as propriedades:

I h0, ui = hu, 0i = 0, para todo u V;


II hu + v, wi = hu, wi + hv, wi;
III hu, kvi = khu, vi;
IV hu, v1 + v2 + . . . + vn i = hu, v1 i + hu, v2 i + . . . + hu, vn i.
Demonstrao:
I Basta fazer
hu, 0i =
=
=
=

h0, ui (i)
h0.v, ui
0hv, ui (iii)
0.

II De fato,
hu + v, wi = hw, u + vi (i)
= hw, ui + hw, vi (ii)
= hu, wi + hv, wi (i).

III fcil ver que


hu, kvi = hkv, ui (i)
= khv, ui (iii)
= khu, vi (i).

IV Para provar essa propriedade separaremos a primeiro parcela da soma dos vetores das demais, ou seja

35

Captulo 2

Denies Algbricas

hu, v1 + v2 + . . . + vn i =
=
=
=

hu, v1 + (v2 + v3 + . . . + vn )i
hu, v1 i + hu, v2 + v3 + . . . + vn i
hu, v1 i + hu, v2 + (v3 + v4 . . . + vn )i
hu, v1 i + hu, v2 i + hu, v3 + v4 . . . + vn i.

Repetindo a operao seguidamente, chegaremos a


hu, v1 + v2 + . . . + vn i = hu, v1 i + hu, v2 i + . . . + hu, vn i.

Seja V um espao vetorial com produto interno h , i, diz-se que dois vetores v e
w so ortogonais se hv, wi = 0 e escrevemos vw.
Se V um espao vetorial com produto interno, denimos a norma (o comprimento) de um vetor v em relao ao produto interno por
kvk =

p
hv, vi.

Se kvk = 1, isto , hv, vi = 1, v chamado vetor unitrio. Em geral, se v um


vetor qualquer no nulo, podemos denir o vetor
u=

v
kvk

que resulta unitrio.

2.4.2 Distncia entre dois pontos do espao am


Normalmente, comum no estudo da geometria analtica, falarmos de comprimento, norma ou mdulo3 do vetor, porm, com o tratamento que estamos dando
neste trabalho, no faz sentido usarmos este conceito, pois, no incio, comparamos
um vetor a algo que transporta um ponto at outro ponto, ou seja, temos a direo
e a distncia entre estes pontos para mensurar. Ento deniremos a distancia entre
dois pontos a seguir.
3O

mdulo tambm conhecido como norma ou comprimento do vetor. Na geometria analtica, este comprimento encontrado utilizando Pitgoras, ou seja, admitindo que as coordenadas no plano cartesiano dos pontos A e B so respectivamente (xA , yA ) e (xB , yB ) e o vetor

v tal que
p v = AB , chamaremos de mdulo ou norma de v o nmero Real kvk de forma que
kvk = (xB xA )2 + (yB yA )2 .

36

Captulo 2

Denies Algbricas

Denio 9 Dados dois pontos A e B de E, dizemos que a distncia entre A e B ,

que denotaremos de d(A, B), o nmero real no negativo cujo quadrado equivale
ao produto interno entre o vetor por eles denidos e ele mesmo, ou seja


2

d(A, B) = hAB, ABi

ou ainda
q

d(A, B) = hAB, ABi.

Algumas consequncias
Dados os Pontos A, B, C, D E,

AB = CD d(A, B) = d(C,
q D).
q


De fato temos d(A, B) = hAB, ABi = hCB, CDi = d(C, D).

d(A, B) = 0 AB = ~0. q

De fato temos d(A, B) = hAB, ABi = 0 hAB, ABi = 0 AB = 0.

2.4.3 Projeo ortogonal vetorial


Seja V um espao vetorial com produto interno h , i e v um vetor em V no
nulo. Denotaremos por [v] = {v| R} o subespao de V gerado pelo vetor v e
por [v] = {w V|hw, vi = 0} o subespao de V formado pelos vetores ortogonais
ao vetor v , ento verica-se que V soma direta dos subespaos [v] e [v] , isto
V = [v] [v] .

Em particular, isto mostra que qualquer vetor u V decompe-se de maneira nica


como a soma de um elemento de [v] e um de [v] , isto , u = v1 + v2 com v1 [v] e
v2 [v] . Escrevendo v1 = p(u), ento, p(u) = u v2 .
Por outro lado, observemos que p(u) [v], isto , p(u) = v , para algum R,
ento,
hp(u), vi = hv, vi = hu v2 , vi = hu, vi

e assim

hu, vi
hv, vi

logo
p(u) =

hu, vi
v.
hv, vi

37

Captulo 2

Denies Algbricas

2.4.4 Projeo ortogonal am


Para denir uma projeo sobre o espao am, devemos fazer algo anlogo ao
caso vetorial, para isto, tomaremos em lugar do subspao [v] de V a reta R(P, v)
em E e ser a ao de V sobre E, que nos permitir representar de maneira nica
o ponto X E por
X = (X) w

com (X) R e w [v] .


Denio 10 Fixe uma Reta R(P, v) em E e seja : E E a funo que associa
a cada X E o nico ponto (X) E, satisfazendo as seguintes condies:
(i) (X) R e

(ii) (X)Xv.
(X) ser denominado projeo ortogonal am de X sobre a reta R.

Observemos que as condies (i) e (ii) determinam de maneira nica (X). De


fato se (X) R ento, podemos fazer (X) = P tv para algum t R, ou ainda,

P (X) = tv . Tambm podemos observar que se (X)X for ortogonal a v , ento

temos h(X)X, vi = 0. Que nos permite concluir que existe um nico valor para
t R. De fato,

0 = h(X)X, vi

= h((X)P + P X), vi

= h(tv + P X), vi

= thv, vi + hP X, vi

ento

hP X, vi
thv, vi = hP X, vi t =
hv, vi

portanto, substituindo o valor de t


(X) = P tv

hP X, vi
= P
v
hv, vi

= P p(P X).

Sendo (X) a projeo ortogonal am do ponto X E e p(P X) a projeo orto


gonal vetorial do vetor P X , observe que h uma relao entre essas duas projees.
38

Captulo 2

Denies Algbricas

2.4.5 Relao entre as projees vetorial e am


Fixada a reta R = R(P, v), sejam X um ponto em E e u um vetor em V. A
seguir determinaremos a projeo ortogonal am do ponto X u, isto , (X u)
ou equivalentemente, descobriremos Y R e o vetor w V, ortogonal ao vetor v
tal que X u = Y w
O ponto (X) p(u) pertence a reta R.

Sabemos que (X) = P p(P X) e p(P X) [v]. Logo





(X) p(u) =
P p(P X) p(u)



= P p(P X) + p(u)
= P v, para algum R,

pois p(u) tambm pertence a [v].

Os vetores (X)X e u p(u) so ortogonais ao vetor v (portanto sua soma

tambm).

De fato, pela denio 10, item (ii), uma das condies necessrias (X)Xv
e na seo 2.4.3, vemos que p(u) = u v2 , com p(u) [v] e v2 [v] , ou seja,
v2 = u p(u) [v] u p(u)v.


(X)X+up(u)
v
,
basta
ver
que
(X)Xv
(i.e.
h
(X)X, vi =
Para provar que

0) e u p(u) v (i.e. hu p(u), vi = 0), logo

0 = h(X)X, vi + hu p(u), vi

= h(X)X + u p(u), vi

que implica, como pretendamos,




(X)X + u p(u) v



O ponto (X) p(u) (X)X + u p(u) = X u

De fato, as propriedades de associatividade da ao e comutatividade da


soma de vetores nos permitem concluir que
39

Captulo 2

Denies Algbricas



(X) p(u) (X)X + u p(u) =




= (X) p(u) + (X)X + u p(u) =




= (X) p(u) + (X)X + u p(u) =



= [(X) (X)X + p(u) ] u p(u) =




= [ (X) (X)X p(u)] u p(u) =
= [X p(u)] u p(u) =
= X u.

Esta ltima igualdade nos garante que os pontos (X) p(u) e X u denem


um vetor (X) p(u) X u v . Portanto, o ponto (X) p(u) a projeo
ortogonal de X u em R, ou seja, da denio 2.4.3, da projeo ortogonal am,
temos
(X u) = (X) p(u).

Se chamarmos de Y = X u, teremos u = XY e consequentemente, a sua

projeo ser dado por

p(XY ) = (X)(Y ).

Figura 2.1: Relao da projeo ortogonal vetorial com a projeo ortogonal am.
Baseado na gura 2 do artigo [20].

2.4.6 Algumas implicaes


Veremos a seguir algumas implicaes destas igualdades acima demonstradas.
40

Captulo 2

Denies Algbricas

Projeo ortogonal e pontos mdios


Proposio 5 Dados os pontos A e B E e MAB seu ponto mdio. Ento (MAB )

o ponto mdio entre (A) e (B), ou seja



AMAB = MAB B (A)(MAB ) = (MAB )(B).

1
2

De fato, se AMAB = MAB B , ento MAB = A AB . Podemos ento escrever


1 
(MAB ) = A AB
2
1 
= (A) p AB
2
1
= (A) p(AB)
2
1
= (A) (A)(B)
2

Que garantia de que (MAB ) ponto mdio entre (A) e (B).

Projeo ortogonal e mediatriz


Dado um ponto P R, R P , h uma nica reta L P que passa pelo ponto
P e ortogonal a R, ou seja, os vetores de R e L so ortogonais.

Existncia: Seja a reta R = R(P, v) e o plano P = P(P, u1 , v1 ), ento em par-

ticular temos que P v = P (u1 + v1 ) para algum , R, isto ,


v = u1 + v1 . Assumindo sem perda de generalidade que os vetores u1 e v1
so unitrios, ento temos que o vetor u = u1 + v1 pertence ao subespao
gerado por u1 e v1 e ademais ortogonal ao vetor v (hu, vi = + = 0).
Tome ento a reta L = R(P, u).

Unicidade: Vem do fato que a dimenso do subespao W = [u1 , v1 ] dois e a


dimenso do subespao ortogonal [v] com respeito de W 1.

Proposio 6 Suponha que R = R(P, v) e L = R(P, u), com uv, e, seja X um

ponto do plano P = P(P, u, v). Ento so equivalentes:

(a) X L
(b) (X) = P (Projeo am com respeito a reta R)
41

Captulo 2

Denies Algbricas

Figura 2.2: Relao entre ortogonal e mediatriz. Baseado na gura 3 do artigo [20].

(c) d(X, Q1 ) = d(X, Q2 ), para quaisquer Q1 , Q2 R tais que P o ponto mdio


entre Q1 e Q2 .

Demonstrao: (a) (b) Se X L, ento, pela denio da equao da reta,

X = P tu, para algum t R. logo

(X) =
=
=
=

(P tu)
(P ) tp(u)
P t~0
P ~0 = P

pois (P ) = P e p(u) = ~0 (P R e uv).


(b) (c) temos X P tal que (X) = P a projeo ortogonal am de X em


R. Fazendo XP = u1 e tomando Q1 e Q2 R tais que Q1 Q2 = Q1 P + P Q2 , com

Q1 P = P Q2 = u2 , observamos que u1 ortogonal reta R e u2 um vetor diretor

de R, logo temos u1 u2 (pois (P ) = X XP = X(X)v ).

Podemos observar na gura 2.2, que XQ1 = u1 u2 , logo para encontrarmos


a d(X, Q1 ), utilizaremos a denio 9, pgina 9, da distncia entre os pontos em

42

Captulo 2

Denies Algbricas

relao ao produto interno. Sendo assim, temos


d(X, Q1 )2 =
=
=
=
=

hu1 u2 , u1 u2 i
hu1 u2 , u1 i hu1 u2 , u2 i
hu1 , u1 i hu1 , u2 i hu1 , u2 i + hu2 , u2 i
hu1 , u1 i 2hu1 , u2 i + hu2 , u2 i
hu1 , u1 i + hu2 , u2 i.

Observe que o termo 2hu1 , u2 i = 0, pois u1 u2 . Pela mesma gura, temos XQ2 =
u1 + u2 , que, seguindo o mesmo raciocnio, apresenta o mesmo resultado, ou seja
d(X, Q2 )2 =
=
=
=
=

hu1 + u2 , u1 + u2 i
hu1 + u2 , u1 i + hu1 + u2 , u2 i
hu1 , u1 i + hu1 , u2 i + hu1 , u2 i + hu2 , u2 i
hu1 , u1 i + 2hu1 , u2 i + hu2 , u2 i
hu1 , u1 i + hu2 , u2 i

que garante d(X, Q1 )2 = d(X, Q2 )2 d(X, Q1 ) = d(X, Q2 ).


(c)(a)Admitindo que d(X, Q1 ) = d(X, Q2 ), para quaisquer Q1 , Q2 R tais

que P o ponto mdio entre Q1 e Q2 e X P , observe que (XQ1 + XQ2 )Q1 Q2 ,
j que


hXQ1 + XQ2 , Q1 Q2 i = hXQ1 + XQ2 , Q1 X + XQ2 i

= hXQ1 + XQ2 , XQ2 XQ1 i


= hXQ2 + XQ1 , XQ2 i hXQ2 + XQ1 , XQ1 i




= hXQ2 , XQ2 i + hXQ1 , XQ2 i hXQ2 , XQ1 i hXQ1 , XQ1 i


= hXQ2 , XQ2 i hXQ1 , XQ1 i
= d(X, Q2 ) d(X, Q1 ) = 0.

Utilizando a equao do ponto mdio entre dois pontos, j que P ponto mdio
de Q1 e Q2 , escolhendo O = X , conclumos que:
1
XP = (XQ2 + XQ1 ).
2

Mas como os pontos Q1 e Q2 pertencem a reta R(P, v), ento Q1 Q2 multiplo

de v , ou seja, Q1 Q2 = tv para algum t R, logo, podemos concluir que XP v .


43

Captulo 2

Denies Algbricas

Agora, como uv e XP v , e u e XP so coplanares, ento esses dois vetores so

linearmente dependentes, ou seja, XP = su para algum s R, ou ainda,

P X = (s)u X = P (s)u.

Como L = R(P, u), conclumos que X L.


Com as denies apresentadas, seguiremos, no prximo captulo, com os pontos
notveis do tringulo e o objetivo maior desse trabalho que a reta de Euler e a
circunferncia dos nove pontos.

44

Captulo 3
Os Elementos e a construo da
Circunferncia dos Nove Pontos
Vimos no primeiro captulo as construes geomtricas. Neste captulo utilizaremos as denies apresentadas no captulo anterior para vericarmos a existncia
e a construo dos pontos notveis do tringulo, da reta de Euler e da circunferncia dos nove pontos com um outro olhar algbrico, diferente do apresentado no
Ensino de Educao Bsico e, at mesmo, na graduao, com ilustraes de construes geomtricas com auxlio do software Geogebra1 para ilustrar os conceitos
apresentados.

3.1 O Baricentro
Teorema 11 As trs medianas de qualquer tringulo se interceptam em um nico

ponto G, denominado baricentro, que as divide em duas partes tais que o segmento
cujas extremidades so o vrtice e o baricentro o dobro do outro segmento.

Demonstrao: Seja o tringulo ABC formado pelos pontos A, B e C E


e os pontos mdios de cada lado do tringulo, opostos aos vrtices A, B e C , respectivamente, MA , MB e MC E, as medianas de ABC sero representadas pelas
retas RA,MA , RB,MB e RC,MC que passam pelos pontos A e MA , B e MB , C e MC ,
respectivamente, conforme ilustra a gura 3.1.
Iniciaremos provando a primeira parte do teorema, ou seja, que o baricentro o
nico ponto de interseco das medianas com ajuda de [24] e utilizando a propriedade universal dos pontos em P , veja a proposio 4, na pgina 33, ou seja, dado
um ponto O qualquer no plano, ento, h um nico ponto G tal que
1 vide

seo 1.2, pgina 4.

45

Os Elementos e a Construo da Circunferncia dos Nove Pontos

Captulo 3

Figura 3.1: Tringulo ABC com o Baricentro G

OG = OA + OB + OC , com + + = 1.
1
Tomemos = = = e teremos
3
1 1 1
OG = OA + OB + OC
3
3
3

ou ainda,

1
G = O (OA + OB + OC).
3

Com a certeza que G nico, basta, agora, mostrar que o ponto G pertence s
retas que contm as medianas do tringulo ABC , ou seja, que G o baricentro do
tringulo ABC . Podemos tomar O = A e teremos a identidade
1
G = A (AA + AB + AC)
3

1
= A (0 + AB + AC)
3
1
= A (AB + AB + BC)
3
1
= A (2AB + BC)
3
1
1
= A (2AB + 2 BC)
3
2
2 1
= A (AB + BC)
3
2
2
= A (AB + BMA )
3
2
= A (AMA ).
3

46

Os Elementos e a Construo da Circunferncia dos Nove Pontos

Captulo 3

Que garante que G RA,MA . De forma anloga, podemos fazer tambm G =


2
2
B (BMB ) e G = C (CMC ), basta fazermos O = B e depois O = C .
3

Esta mesma equao tambm nos garante a segunda parte do teorema, ou seja,
que G divide o segmento de reta formado por um vrtice e o ponto mdio do lado
oposto a esse vrtice em duas partes, sendo o segmento com suas extremidades denidas pelo vrtice e pelo ponto G o dobro do segmento denido por G e o ponto
mdio do lado oposto.
De fato, tomemos sem perda de generalidade, o caso demonstrado de
2
2
G = A (AMA ) AG = (AMA )
3
3

2 1
3
3

AG = 2GMA .

logo, GMA = GA + AMA = AMA + AMA = (AMA ), donde conclumos que

3.2 O Incentro
Teorema 12 As bissetrizes internas de um tringulo se interceptam em um s ponto

I , denominado incentro, que equidistante aos lados desse tringulo.

Demonstrao: Considere o tringulo ABC em E. Denotemos por a, b e c o


comprimento do lado BC, AC e AB , respectivamente. Seja p = a + b + c o permetro
do tringulo ABC . Por simplicidade consideremos os vetores unitrios

BC ~ CA
AB
~a =
, b=
, ~c =
.
a
b
c

Observe que BC + CA + AB = ~0 implica
a~a + b~b + c~c = ~0.

A seguir considere as retas




lA =  A t(~c ~b)|t R
lB = B t(~a ~c)|t R


lC = C t(~b ~a)|t R

47

Os Elementos e a Construo da Circunferncia dos Nove Pontos

Captulo 3

Observe que as retas lA , lB e lC so bissetrizes do tringulo ABC pelo vrtice A, B


e C , respectivamente.
A seguir vamos determinar o ponto de interseo das retas lA e lB . Seja P

lA lB , ento

P = A t(~c ~b) = B s(~a ~c)

para algum t, s R. Estas igualdades nos garantem

AP = t(~c ~b), BP = s(~a ~c)

de onde conclumos que



BP + P A = BA = c~c = s(~a ~c) t(~c ~b) = s~a + t~b (s + t)~c.

como c~c = a~a + b~b, podemos escrever






(s + t)
(s + t)
~
s~a + tb = c~c + (s + t)~c = 1
c~c = 1
(a~a + b~b).
c
c

Tendo em considerao que os vetores ~a e ~b so L.I. conclumos que:



(i) s =




(s + t)
(s + t)
a e (ii) t = 1
b.
1
c
c

De (i) e (ii) segue-se que


igualdade t =

t
bs
s
= que implica em t = . Aps substituirmos a
a
b
a

bs
em (i) obteremos que
a
s=

bc
ac
et= .
p
p


bc
bc~
Assim P = A
~c b . Por outro lado, pela propriedade universal dos pontos
p
p
em P , sabemos que existe um nico ponto I E tal que


a b c
I =O
.OA + .OB + .OC
p
p
p
a

para todo O E, j que


+ + = 1. Em particular escolhendo O = A,
p
p
p
conclumos que




b c
b
c ~
I = A .AB + .AC = A .c~c .bb = P
p
p
p
p

48

Os Elementos e a Construo da Circunferncia dos Nove Pontos

Captulo 3

que o ponto de interseo de lA e lB .


De maneira anloga, podemos fazer o mesmo para lA e lC e encontraremos
I = lA lB lC que o incentro do tringulo ABC .
Quanto a ltima parte do teorema, como a bissetriz o conjunto dos pontos
equidistantes de dois lados do tringulo e I lA , lB , lC , ento I equidistante aos
lados do tringulo.

3.3 O Circuncentro
Teorema 13 As mediatrizes de um tringulo se interceptam em um nico ponto O,
denominado Circuncentro, que equidistante aos vrtices desse tringulo.

Demonstrao:

Sejam os pontos A, B e C PABC os vrtices do tringulo ABC , os pontos


MA , MB e MC , respectivamente, os pontos mdios dos lados BC, AC e AB , denotaremos por RMA , RMB e RMC as mediatrizes dos lados BC, AC e AB , respectivamente, ilustrados na gura 1.5, pgina 8.
Tomando as Mediatrizes RMC e RMA , que, evidentemente so concorrentes, observamos que h um ponto X tal que RMC RMA = {X}.
Se utilizarmos a proposio 6, da pgina 41, ento podemos tomar no lado BC ,
o ponto mdio MA entre A e B e a mediatriz, em relao a AB , RMA . Como
X R
MA , ento
X R
MA (X) = MA d(X, B) = d(X, C).

Podemos concluir, analogamente por permutao de A, B e C , que


d(X, A) = d(X, B), d(X, A) = d(X, C),

ou seja,
d(X, A) = d(X, B) = d(X, C).

Se X tambm pertence a RMB e RMC , logo, fazendo X = O, conclumos que O


o nico ponto de interseco das trs mediatrizes de ABC .
49

Os Elementos e a Construo da Circunferncia dos Nove Pontos

Captulo 3

3.4 O Ortocentro
Teorema 14 As alturas de um tringulo se interceptam em um nico ponto H ,
denominado Ortocentro.

Demonstrao: Sejam O E o circuncentro do tringulo ABC , dena o ponto

H por


H = O (OA + OB + OC).

Sejam HA = (A), HB = (B) e HC = (C) as projees ortogonais de A, B


e C sobre RBC 2 , RAC e RAB , respectivamente. Observe que, como ilustra a gura
3.2, os pontos HA , HB e HC so os ps das alturas do tringulo ABC .

Figura 3.2: Tringulo ABC com o ortocentro H .


Tomemos, sem perda de generalidade, o p de altura HA e o vetor que denido

por esse ponto e H , ou seja HA H que pode ser escrito como



HA H = HA A + AH.

Por outro lado, se HA = (A), ento HA H ortogonal ao vetor BC . Se provarmos

que AH tambm ortogonal a BC ento HA A, que a diferena entre esses dois

vetores, ser ortogonal a BC e, por passar pelo vrtice A, ser a altura em relao
ao lado BC .

Partindo da equao


H = O (OA + OB + OC),
2 Reta

que passa pelos pontos B e C .

50

Os Elementos e a Construo da Circunferncia dos Nove Pontos

Captulo 3

que tambm pode ser escrita como



OH = OA + OB + OC

logo, podemos fazer





OH OA = OB + OC OH + AO = OB + OC AH = OB + OC.

Agora, para termos AHBC , usaremos o produto interno:




hAH, BCi = hOB + OC, BO + OCi


= hOB + OC, BOi + hOB + OC, OCi




= hOB, BOi + hOC, BOi + hOB, OCi + hOC, OCi




= hOB, OBi hOC, OBi + hOB, OCi + hOC, OCi


= hOB, OBi + hOC, OCi
= d2 (O, B) + d2 (O, C) = 0.

Como AHBC , podemos concluir que o vetor HA H tambm ortogonal ao

vetor BC , logo
(H) = HA .

Se permutarmos os vertices do tringulo ABC , concluiremos que (H) = HB e


(H) = HC , ou seja, H pertence as trs alturas do tringulo ABC .

3.5 A Reta de Euler


Teorema 15 O baricentro G, o Circuncentro O e o Ortocentro H , de um tringulo

so colineares.

Demonstrao: deixando o caso trivial de G = O, de lado, j que nesse caso,

G = O colinear com H , admita G 6= O, logo OG um vetor no nulo em V.

Partindo da equao do baricentro, temos


1
G = O (OA + OB + OC)
3

ou, equivalentemente,

1
OG = (OA + OB + OC)
3

51

Os Elementos e a Construo da Circunferncia dos Nove Pontos

Captulo 3

mas, utilizando a equao



H = O (OA + OB + OC)

que tambm pode ser escrita como



OH = OA + OB + OC

logo, podemos reescrever a equao anterior como


1
OG = OH
3

que implica

OH = 3OG.

Agora, com muita simplicidade, podemos provar que O, G e H so colineares:

O = O 0OG

G = O OG

H = O OH = O 3OG

Podemos concluir ento que o vetor OG transporta o ponto O para os pontos

conforme
O, G e H , ou seja, todos esses pontos notveis pertencem reta RO,
OG
ilustramos na gura 3.3.

Figura 3.3: Tringulo ABC com os pontos O, G e H e a reta de Euler

52

Os Elementos e a Construo da Circunferncia dos Nove Pontos

Captulo 3

3.6 A Circunferncia dos Nove Pontos


Para denir a circunferncia dos nove pontos, primeiramente, iremos denir os
trs pontos de Euler a seguir.

3.6.1 Os Pontos de Euler


Os pontos chamados Pontos de Euler so os pontos mdios entre o ortocentro H
e cada vrtice do tringulo ABC . Denotaremos por EA o ponto de Euler referente
ao vrtice A e por raciocnio anlogo, os outros dois pontos EB e EC , conforme a
gura 3.4.
Utilizando a equao do ponto mdio entre dois pontos, podemos denir uma
equao do ponto de Euler EA , que o ponto mdio entre o ortocentro H e o vrtice
A do tringulo ABC , como sendo
1
EA = A AH.
2

Figura 3.4: Tringulo ABC com os pontos EA , EB , e EC , denominados pontos de


Euler.

3.6.2 Circunferncia
At aqui, j denimos a reta, o plano e um tringulo. A seguir, deniremos uma
circunferncia em E.
53

Os Elementos e a Construo da Circunferncia dos Nove Pontos

Captulo 3

Denio 16 Dados um ponto P0 E e r um nmero real positivo, a circunferncia


em E de centro em P0 e raio r, denotada por C(P0 , r) denida por
C(P0 , r) = {Q E | d(Q, P0 ) = r}.

3.6.3 A circunferncia dos nove pontos


Seja N E ponto mdio entre o circuncentro O e o ortocentro H , ou seja, pela
equao do ponto mdio podemos fazer
1
N = O OH
2

e r a metade da distncia entre O e cada vrtice do tringulo ABC em E, ou seja


1
1
1
r = d(O, A) = d(O, B) = d(O, C).
2
2
2

A representao do ponto N na reta de Euler est ilustrados na gura 3.5.

Figura 3.5: Reta de Euler com Ortocentro H , Circuncentro O e o ponto mdio N


entre os pontos O e H .

Teorema 17 Seja o tringulo ABC E, os pontos MA , MB , MC , HA , HB , HC ,


EA , EB e EC pertencem circunferncia C(N, r) de centro em P0 e raio r, denominada circunferncia de Nove pontos.

Demonstraremos esse teorema dividindo os nove pontos em trs grupos de trs


pontos:
54

Os Elementos e a Construo da Circunferncia dos Nove Pontos

Captulo 3

O grupo dos pontos mdios MA , MB , MC , dos lados BC, CA e AB , respecti-

vamente;

O grupo dos pontos de Euler EA , EB , EC , ponto mdio do segmento determinado pelo ortocentro H e pelos vrtices A, B e C , respectivamente;
O grupo dos ps da altura HA , HB , HC , respectivamente, pelos vrtices A, B
e C;

Para mostrar que os pontos dos dois primeiros grupos pertencem circunferncia
dos nove pontos utilizaremos a propriedade universal dos pontos em P (Proposio
4), na pgina 33. Para mostrar que os pontos do ltimo grupo pertencem C(N, r),
utilizaremos, basicamente, a noo de projeo ortogonal am, sobretudo a equao
do ponto mdio, na subseo 2.3.3, pgina 34 e a proposio 6, pgina 41.

Os pontos mdios do tringulo ABC pertencem circunferncia de nove


pontos
De acordo com a equao
1
N = O OH,
2

e temos a equao


OH = OA + OB + OC.

Assim podemos escrever


N =O

1 
OA + OB + OC .
2

Da equao do ponto mdio, vem que


MA = O

1 
OB + OC
2

logo,

1 
OA + OB + OC
2
1 
1
= [O OB + OC ] OA
2
2
1
= MA OA.
2

N = O

55

Os Elementos e a Construo da Circunferncia dos Nove Pontos

Ou equivalentemente,

Captulo 3

1
MA N = OA
2

que implica

1
d(MA , N ) = d(O, A) = r.
2
donde conclumos que MA C(N, r).

Se usarmos raciocnio anlogo, permutando os pontos MA , MB e MC , chegaremos concluso que essa demonstrao tambm serve para mostrar que MB e MC
pertencem circunferncia dos nove pontos como ilustra a gura 3.6.

Figura 3.6: Pontos mdios MA , MB e MC do tringulo ABC pertencentes circunferncia C(N, r).

Os pontos de Euler pertencem circunferncia dos nove pontos


Voltando a usar a equao do ponto mdio, j que N divide o segmento OH em
segmentos congruentes, logo a equao
1
N = O (OO + OH),
2

Em que O um ponto qualquer de E. Em particular, tomando O = A temos


1
N = A (AO + AH),
2

56

Os Elementos e a Construo da Circunferncia dos Nove Pontos

Captulo 3

Figura 3.7: Pontos de Euler EA , EB e EC do tringulo ABC pertencentes circunferncia C(N, r).
que tambm pode ser escrita como
1  1
1
N = A (AH + AO) N = A AH AO.
2
2
2

Observe que, segundo a equao dos pontos de Euler,


1
EA = A AH
2

que pode ser substituda na equao anterior, chegando expresso


1
N = EA AO
2

1
AO
EA N =
2
1
d(EA , N ) =
d(A, O) = r
2
donde conclumos que EA C(N, r). Da mesma forma que zemos com os pontos

mdios, podemos tambm, com raciocnio anlogo por permutao dos ponto de
Euler EA , EB e EC , concluirmos que EB e EC tambm pertencem circunferncia
dos nove pontos conforme ilustra a gura 3.7.

Os ps das alturas de um tringulo pertencem circunferncia dos nove


pontos
Chamaremos de a funo que associa um ponto P E sua projeo ortogonal
am (P ) E no lado BC do tringulo ABC .
57

Os Elementos e a Construo da Circunferncia dos Nove Pontos

Captulo 3

Da denio de ortocentro na seo 3.4, pgina 51, vem que as projees ortogonal am do ponto H nas retas RB,C , RA,C e RA,B so, respectivamente HA , HB
e HC , ou seja
(H) = HA .

da mesma forma, da denio de circuncentro na seo 3.3, pgina 49, tambm


podemos observar que a projeo ortogonal am do ponto O nas retas RB,C , RA,C
e RA,B so, respectivamente MA , MB e MC , ou seja,
(O) = MA .

Figura 3.8: projees ortogonais ans dos pontos H , N e O na reta RB,C .


Na gura 3.8 ilustramos as projees (H), (N ) e (O) onde deduzimos que as
retas RH,HA , RN,(N ) e RO,MA so paralelas. Logo, da equao do ponto mdio vem
que, se N ponto mdio entre H e O, ento (N ) ponto mdio entre (H) = HA
e (O) = MA .
Agora, da proposio 6, vem que, fazendo P = (N ), Q1 = HA e Q2 = MA ,
conclumos que
1
N RN,(N ) (N ) = HA HA MA d(N, HA ) = d(N, MA ) = r
2

provando que HA C(N, r).


bvio que, como zemos com os pontos mdio e os ps das alturas, se usarmos
um raciocnio anlogo permutando os ponto HA , HB e HC , chegaremos concluso
que HB e HC tambm pertencem circunferncia dos nove pontos.

58

Os Elementos e a Construo da Circunferncia dos Nove Pontos

Captulo 3

3.6.4 Consideraes Finais


A circunferncia dos nove pontos est representada gracamente na gura 3.10.
A seguir, faremos algumas consideraes que julgamos importantes:
1. Os ponto MA , EA e N so colineares.
De fato, das equaes

MA N = 21 OA,

EA N = 12 AO,

j demonstradas, podemos fazer

1
OA
MA N =
2
1
= AO
2

= EA N

e concluirmos que MA N e EA N so linearmente dependentes, logo, MA , EA e

N pertencem mesma reta que pode ser escrita como P(N, AO), como ilustra
a gura 3.9.

Figura 3.9: Alinhamento de EA , N e MA .

59

Os Elementos e a Construo da Circunferncia dos Nove Pontos

Captulo 3

Figura 3.10: Circunferncia dos nove pontos


2. A distncia entre os pontos MA e EA equivalem ao dimetro da circunferncia
dos nove pontos.
De fato, considerando que
d(MA , N ) = d(N, EA ) = r;
N um ponto entre MA e EA 3
O dimetro D o segmento que mede 2r.

Podemos concluir, em especial, que d(MA , EA ) o dimetro da circunferncia


de centro em N e raio r.
3. Vrias outras propriedades dos pontos notveis do tringulo podem ser demonstradas pelos mesmos mtodos algbricos apresentados nesse trabalho,
como, por exemplo, G divide OH na proporo GH = 2OG.
4. Ao concluirmos o trabalho, sugerimos que essa pesquisa possa prosseguir na
procura de demonstraes de outros elementos da geometria, sobretudo a cnica dos nove pontos que nos pareceu belssima e um timo objeto de estudo.

3N

est entre MA e EA , pois, MA BC e EA est entre H e A, vrtice oposto ao lado BC ;

60

Referncias Bibliogrcas
[1] Anton. H., lgebra Linear com Aplicaes. Porto Alegre: Bookmam, (2001).
[2] Baumgart, J. K., Tpicos da Histria da Matemtica Para Uso em Sala de
Aula. So Paulo: Atual, (1992).
[3] Berlingho, W. P., A Matemtica Atravs dos Tempos: Um Guia Fcil e Prtico
Para Professores e Entusiastas, 2ed. So Paulo: Blucher, (2010).
[4] Bernardino, L. M. F., Temas Escolhidos de Geometria do tringulo, Dissertao
de Mestrado, Universidade do Algarve, Faro, Pt, (2008).
[5] Boldrini, J. L., lgebra Linear, 3 ed., So paulo: Harper & Row do Brasil,
pp.219-252, (1980)
[6] Boyer, C. B. Histria da Matemtica. 2ed. So Paulo: Blucher, (1996).
[7] Brianchon, C., Poncelet, J. Recherches sur la dtermination d'une hyperbole
quilatre, au moyen de quatre conditions donnes. Annales de Mathmatiques
pures et appliques, tome 11 pp.205 - 220, (1820-1821).
[8] Carneiro, E., Giro, F., Centro de Massa e Aplicaes Geometria Eureka,
So Paulo: SBM, 21, pp 29-37, (2005).
[9] Contador, P. R. M., Matemtica: Uma Breve Histria, So Paulo: Editora
Livraria da Fsica, (2006).
[10] Dalcn, M., Hellmeister, A. C., A vingana do Incentro, Revista do Professor
de Matemtica, So Paulo: SBM, 46, pp 6-12, (2001).
[11] De Villiers, M., A generalization of the Nine-point circle and Euler line, Pythagoras, 62, pp. 31-35, (2005).
[12] Dolce, O. Fundamentos de Matemtica Elementar, Geometria., Vol. 09, So
Paulo: Atual, pp. 90, (1997).
61

Referncias Bibliogrficas

[13] Eves, H., Introduo histria da Matemtica. Traduo: Hygino H. Domingues - Campinas, SP: Editora da Unicamp, (2004).
[14] Geocge, Z.L. Revista do Professor de Matemtica. Rio de Janeiro: Sociedade
Brasileira de Matemtica v.3, pp 33, (1983).
[15] Gonalves, A., Introduo lgebra. Projeto Euclides, Rio de Janeiro: IMPA,
(2003)
[16] Hogben, L., Maravilhas da Matemtica, Inuncia e Funo da Matemtica
nos Conhecimentos Humanos, 2ed., Porto Alegre, RG: Editora Globo, pp. 4552 (1958)
[17] Maxwell E. A., Some Properties of the Nine-Points Circle. The Mathematical
Gazette, 31 No 297, pp. 266-269, (1947).
[18] Morgado, A. C., Coordenadas para os centros do tringulo.Revista do Professor
de Matemtica,So Paulo: SBM, 43, pp 26-30, (2000).
[19] Ramaswami Aiyar, M. A. V., A General Theorem on the Nine-Points Circle,
Proceedings of the Edinburgh Mathematical Society, 15, pp 74-75, (1896).
[20] Rojas, J., Mendoza, R., A Reta de Euler e a Circunferncia de Nove Pontos,
Matemtica Universitria, 48 e 49, pp 76-85,(2010).
[21] Pinheiro, P. R., O Crculo dos Nove Pontos, Revista do Professor de Matemtica, So Paulo: SBM, 14, pp 49 - 52, (1989).
[22] Pitombeira, J. B., Roque, T., Tpicos de Histria da Matemtica, Coleo
Profmat, Rio De Janeiro: SBM, (2012).
[23] Poole, D., lgebra Linear, So Paulo: Cengage Learning, pp 03, (2011)
[24] Profmat, Geometria Analtica, Apostila do curso Profmat, So Paulo: SBM,
cap.2, pp 08 - 12, (2012).
[25] Profmat, Recursos Computacionais no Ensino da Matemtica, Apostila do
curso Profmat, So Paulo: SBM, cap.2, pp 67 - 125, (2012).
[26] Russell, J. W., Pure Geometry, Oxford: Oxford University Press, pp. 210-214,
(1893).
[27] Steinbruch, A., Winterle, P., lgebra Linear, 2 ed., So Paulo: Pearson Makron
Books, pp. 106-150, (1987)
[28] Winterle, P., Vetores e Geometria Analtica, So Paulo: Pearson, cap.2, pp 52,
(2000).
62