Documente Academic
Documente Profesional
Documente Cultură
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
S728r
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
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
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
. 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
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.
2 coletnea
Captulo 1
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.
Captulo 1
Captulo 1
Captulo 1
Captulo 1
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
Captulo 1
Figura 1.3: Lugar geomtrico dos pontos equidistantes aos lados AB e AC representados pela ferramenta "rastro"ativada no Geogebra.
Captulo 1
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.
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].
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.
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.
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.
10
Captulo 1
Captulo 1
Captulo 1
13
Captulo 1
Figura 1.12: Os nove pontos do tringulo ABC que pertencem a circunferncia dos
nove pontos representados 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
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
Captulo 1
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.
Captulo 2
Denies Algbricas
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
S2 , se V = S1 + S2 e S1 S2 = {0}
v =u+w
onde u S1 e w S2 .
19
Captulo 2
Denies Algbricas
Demonstrao: De V = S1
(2.1)
onde u S1 e w S2 .
Suponhamos que v pudesse exprimir-se tambm pela forma
v = u0 + w0
(2.2)
isto ,
u = u0 e w0 = w
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.
20
Captulo 2
Denies Algbricas
(E, ) espao am V = E
Demonstrao: ()
bijetiva.
Como E um subespao vetorial de V, 0 E. Logo,
0 (v) = 0 + v = v E.
(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).
injetiva
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
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).
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
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.
P (P Q + QR) = (P P Q) QR
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 .
23
Captulo 2
Denies Algbricas
P Q + QP = QP + (QP )
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.
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 .
Captulo 2
Denies Algbricas
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).
Q = P tv P Q = tv.
B = A 1AB e
A = A 0AB .
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,
25
Captulo 2
Denies Algbricas
Demonstrao: ()
Partindo da igualdade
R(P, u) = R(Q, v)
P Q = (t)v.
Fazendo t = , ento
P Q = v.
(2.7)
P Q = u.
(2.8)
Faa
= R e teremos
v.
u = v.
()
X = P u,
que implica
X R(P, v).
P Q = QP
26
(2.9)
Captulo 2
Denies Algbricas
logo, a expresso
P Q = v
QP = ()v,
Nas mesmas observaes em 2.1.3, vemos que essa ltima igualdade equivale a
X = Q ()v + ()v
X = Q ( )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)
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}.
Demonstrao:
P = Q (u1 + v1 ) QP = u1 + v1 .
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 ),
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 .
Escrevendo t0 = 1 e s0 = 1 , chegaremos a
u = t0 u1 + s0 v1 ,
(2.10)
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.
Observao:
Sabemos que, pela equao (2.4), pgina 23,
BC = BA + AC
A = A (0AB + 0AC) P;
B = A (AB + 0AC) P;
C = A (0AB + AC) P.
30
Captulo 2
Denies Algbricas
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
= {A ( AB + AC) | , R}.
Captulo 2
Denies Algbricas
P = A ( AB + AC),
AP = AB + AC.
AP = AO + OP ,
AB = AO + OB
AC = AO + OC,
logo,
AP = AO + OP = (AO + OB) + (AO + OC)
OP = AO + AO + OB + AO + OC.
OP = (1 + + )AO + OB + OC,
OP = (1 )OA + OB + OC,
OP = OA + OB + OC,
P = O (OA + OB + OC)
Captulo 2
Denies Algbricas
OA + OB + OC = OP
para todo O E.
v = OA + OB + OC.
OP = v = (1 )OA + OB + OC
= OA + (OA + OB) + (OA + OC)
= OA + AB + AC,
logo
AP = AO + OP = AB + AC,
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 .
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
MAB = A
1
AB .
2
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.
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:
34
Captulo 2
Denies Algbricas
O nmero real hu, vi chamado produto interno de u e v;
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).
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.
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.
v
kvk
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
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
e assim
hu, vi
hv, vi
logo
p(u) =
hu, vi
v.
hv, vi
37
Captulo 2
Denies Algbricas
(ii) (X)Xv.
(X) ser denominado projeo ortogonal am de X sobre a reta R.
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
hP X, vi
= P
v
hv, vi
= P p(P X).
Captulo 2
Denies Algbricas
(X) p(u) =
P p(P X) p(u)
= P p(P X) + p(u)
= P v, para algum R,
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
(X)X + u p(u) v
Captulo 2
Denies Algbricas
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).
p(XY ) = (X)(Y ).
Figura 2.1: Relao da projeo ortogonal vetorial com a projeo ortogonal am.
Baseado na gura 2 do artigo [20].
Captulo 2
Denies Algbricas
AMAB = MAB B (A)(MAB ) = (MAB )(B).
1
2
(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].
(X) =
=
=
=
(P tu)
(P ) tp(u)
P t~0
P ~0 = P
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 ).
42
Captulo 2
Denies Algbricas
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
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
Captulo 2
Denies Algbricas
P X = (s)u X = P (s)u.
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.
45
Captulo 3
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
Captulo 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 .
3.2 O Incentro
Teorema 12 As bissetrizes internas de um tringulo se interceptam em um s ponto
BC ~ CA
AB
~a =
, b=
, ~c =
.
a
b
c
Observe que BC + CA + AB = ~0 implica
a~a + b~b + c~c = ~0.
47
Captulo 3
lA lB , ento
(s + t)
(s + t)
a e (ii) t = 1
b.
1
c
c
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
48
Captulo 3
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:
ou seja,
d(X, A) = d(X, B) = d(X, C).
Captulo 3
3.4 O Ortocentro
Teorema 14 As alturas de um tringulo se interceptam em um nico ponto H ,
denominado Ortocentro.
H por
H = O (OA + OB + OC).
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
50
Captulo 3
vetor BC , logo
(H) = HA .
so colineares.
ou, equivalentemente,
1
OG = (OA + OB + OC)
3
51
Captulo 3
que implica
OH = 3OG.
O = O 0OG
G = O OG
H = O OH = O 3OG
conforme
O, G e H , ou seja, todos esses pontos notveis pertencem reta RO,
OG
ilustramos na gura 3.3.
52
Captulo 3
3.6.2 Circunferncia
At aqui, j denimos a reta, o plano e um tringulo. A seguir, deniremos uma
circunferncia em E.
53
Captulo 3
Captulo 3
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.
e temos a equao
OH = OA + OB + OC.
1
OA + OB + OC .
2
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
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).
56
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
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.
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 .
58
Captulo 3
MA N = 21 OA,
EA N = 12 AO,
1
OA
MA N =
2
1
= AO
2
= EA N
N pertencem mesma reta que pode ser escrita como P(N, AO), como ilustra
a gura 3.9.
59
Captulo 3
3N
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