Teorema de Apolônio - uma demonstração automática

S´ ocrates Ildefonso Farias da Silva

O Teorema de Apolˆ onio: uma demonstra¸ c˜ ao autom´ atica Nazar´e da Mata
2012

S´ ocrates Ildefonso Farias da Silva

O Teorema de Apolˆ onio: uma demonstra¸ c˜ ao autom´ atica Trabalho de conclus˜ao de curso apresentado a` coordena¸ca˜o do curso de licenciatura em matem´atica do Campus Mata Norte, unidade da Universidade de Pernambuco, como parte dos requisitos necess´arios `a obten¸ca˜o do grau de licenciado em matem´atica.

Orientador:

Me. Esdras Jafet Aristides da Silva

Nazar´e da Mata
2012

Dedicat´ oria Dedico este trabalho a Deus, que com sua miseric´ordia me fez chegar at´e aqui.

“A Ele a Gl´oria, a Ele o Louvor. A Ele o Dom´ınio. Ele ´e o Senhor”.

Agradecimentos

Agrade¸co primeiramente a Deus, que apesar das minhas falhas, sempre esteve comigo.
Tamb´em agrade¸co a minha fam´ılia, meus pais e meu irm˜ao, por sempre acreditarem em mim e apoiarem as minhas decis˜oes. A minha namorada, Marcella, por toda a paciˆencia e bons conselhos ao longo de todos esses quatro “cansativos” anos de curso.
Por fim, agrade¸co as pessoas que estavam presentes nesta caminhada acadˆemica: aos meus professores que compartilharam com humildade e sabedoria seus conhecimentos, e em especial, ao meu orientador, Esdras, que me mostrou que a matem´atica ´e muito mais do que eu achava e que me auxiliou intensamente na constru¸ca˜o deste trabalho. Meus sinceros agradecimentos aos meus colegas de classe, por toda a convivˆencia, e em especial, a estes que abaixo menciono, por toda a amizade que foi constru´ıda e pelo respeito m´ utuo que ir´a perdurar por toda a minha vida: Wellington Jos´e, R´ ubia Esterfˆania, Josias Pompeu,
Manoel Rodrigues, Ren˜a Lucas, Ticiany Monik, Rafael da Silva, Geslei Elaine, Maria da Concei¸ca˜o, An´alia Camila, Camila Vanessa, Riciene Karla, Andr´e Gomes, Rosenir
Gomes, Edilson Max e Eliana Lira, meus votos de gratid˜ao e amizade. E por u
´ltimo, mas