Escolar Documentos
Profissional Documentos
Cultura Documentos
Cnicas e Aplicaes
Juraclio Ferreira Lopes
Dissertao apresentada ao Programa de PsGraduao Mestrado Prossional em Matemtica Universitria do Departamento de Matemtica como requisito parcial para a obteno do grau de Mestre
Orientador
Prof.
2011
516.3 L864c
Lopes, Juraclio Ferreira Cnicas e Aplicaes/ Juraclio Ferreira Lopes- Rio Claro: [s.n.], 2011. 184 f. : il., gs. Dissertao (mestrado) - Universidade Estadual Paulista, Instituto de Geocincias e Cincias Exatas. Orientador: Wladimir Seixas 1. Geometria Analtica. 2. Cnicas - Histria e estudo. 3. Mtodos Matemticos. 4. GeoGebra. I. Ttulo
Ficha Catalogrca elaborada pela STATI - Biblioteca da UNESP Campus de Rio Claro/SP
TERMO DE APROVAO
Cnicas e Aplicaes
Dissertao aprovada como requisito parcial para a obteno do grau de Mestre no Curso de Ps-Graduao Mestrado Prossional em Matemtica Universitria do Instituto de Geocincias e Cincias Exatas da Universidade Estadual Paulista Jlio de Mesquita Filho, pela seguinte banca examinadora:
Agradecimentos
A Deus por ter me mostrado que a f e a persistncia so peas fundamentais na construo de um sonho. E que vencer nossas diculdades nos faz crescer espiritualmente e nos permite ir alm do que poderamos imaginar quando estvamos no incio da caminhada. Aos que mais amo, minha famlia que sempre me apoiou e incentivou nesta caminhada. Ao professor Dr. Wladimir Seixas por to bem ter me recebido, pelo apoio cientco, incentivo e companheirismo na orientao deste trabalho. Ao amigo Jlio Cesar por ter me convencido a fazer mestrado na Unesp e tambm pelas suas contribuies sempre quando o tenho procurado. Aos professores da especializao Profa. incentivo a fazer o mestrado. Aos professores e funcionrios do Programa de Ps-Graduao em Matemtica Universitria - IGCE - Unesp - Campus de Rio Claro. banca examinadora, pelas contribuies realizao deste sonho. Aos meus colegas do Mestrado, em especial aos amigos Nilton, Gustavo, Henrique e Jos Ribamar pelo companheirismo e convivncia na repblica Caverna do drago. Ao amigo Eduardo e famlia que me acolheram na cidade de Rio Claro. Por m, Secretaria Estadual da Educao do Estado de Minas Gerais pelo apoio nanceiro do Programa Bolsa Mestrado que tornou este sonho possvel. Dra. Roseli e Prof. Dr. Frederico pelo
Como pode a matemtica, que , anal de contas, produto do pensamento humano, e independente da experincia, adaptar-se to admiravelmente realidade concreta?
Albert Einstein.
Resumo
Este trabalho inicia-se com uma breve investigao histrica sobre as cnicas e, em seguida, apresenta o estudo destas curvas no plano sob trs aspectos: o geomtrico, o analtico e o da denio unicada atravs da propriedade foco-diretriz. Nestas trs abordagens, os principais resultados so analisados computacionalmente atravs do programa GeoGebra(http://www.geogebra.org). Partindo de dois destes re-
sultados, o da reta tangente e a equao geral das cnicas em coordenadas polares, tornam-se evidentes as propriedades de reexo das cnicas e as aplicaes Mecnica Celeste, respectivamente.
Palavras-chave:
mticos, GeoGebra.
Abstract
This work begins with a brief historical investigation on conics and presents the study of these curves in the plane under three aspects: geometrical, analytical and from the unied denition through of the property focus-directrix. In these three dierent approaches, the main results are analyzed computationally by using the software
Keywords:
GeoGebra.
Lista de Figuras
2.1 2.2 2.3 3.1 3.2 3.3 3.4 3.5 3.6 3.7 3.8 3.9 5.1 5.2 5.3 5.4 5.5 5.6 5.7 5.8 5.9 Sistemas de coordenadas cartesianas. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 29 29 34 36 37 41 42 44 47 47 48 55 56 57 58 59 59 60 61 61 62 63 63 64 65 66 Reta tangente e reta normal a uma curva. Distncia do ponto
a reta
r.
. . . . . . . . . . . . . . . . . . . . . . .
y 2 = 2ax.
. . . . . . . .
Cones e a representao plana do tringulo gerador. . . . . . . . . . . . Seo circular determinada pelo plano perpendicular ao eixo do cone. Cortes do cone. .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
PM
interceptando
AC
ou o prolongamento de
AC .
. . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Construo da elipse usando um o inextensvel. . . . . . . . . . . . . . Simetria da elipse em relao reta Simetria da elipse em relao reta Simetria em relao reta
r. s.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
s.
. . . . . . . . . . . . . . . . . . . . . . . .
Centro de simetria. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Centro de simetria. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Vrtices da elipse pertencente ao segmento focal. . . . . . . . . . . . . . Vrtices da elipse pertencentes mediatriz do segmento focal. . . . . .
Elementos da elipse . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.10 Construo por rgua e compasso. . . . . . . . . . . . . . . . . . . . . . 5.11 Construo por rgua e compasso. . . . . . . . . . . . . . . . . . . . . . 5.12 Regies do plano determinadas pela elipse. . . . . . . . . . . . . . . . . 5.13 Ponto qualquer
de
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.15 Ponto da elipse no sistema ortogonal de coordenadas. . . . . . . . . . . 5.16 Ponto da elipse no sistema ortogonal de coordenadas com os focos sobre o eixo
y.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
68 69 70
5.17 Propriedades dos parmetros geomtricos da elipse. 5.18 Reta tangente elipse em
P. .
. . . . . . . . . . . . . . . . . . . . . . .
5.19 Reta secante elipse. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.20 Reta 6.1 6.2 6.3 6.4 6.5 6.6 6.7 6.8 6.9
normal elipse em
P1 .
. . . . . . . . . . . . . . . . . . . . . . .
Construo da hiprbole usando uma haste e o inextensvel. . . . . . . Construo da hiprbole. . . . . . . . . . . . . . . . . . . . . . . . . . . Simetria da hiprbole em relao a reta Simetria da hiprbole em relao reta Simetria da hiprbole em relao reta
r. s. s.
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.12 Construo por rgua e compasso. . . . . . . . . . . . . . . . . . . . . . 6.13 Construo por rgua e compasso. . . . . . . . . . . . . . . . . . . . . . 6.14 Regies do plano determinadas pela hiprbole. . . . . . . . . . . . . . . 6.15 Um ponto 6.16 Ponto
t.
. . . . . . . . . . . . . .
qualquer da reta
distinto de
P.
. . . . . . . . . . . . . . . .
tangente hiprbole. . . . . . . . . . . . . . . . .
6.18 Ponto da hiprbole no sistema ortogonal de coordenadas. . . . . . . . . 6.19 Caractersticas do esboo da hiprbole. . . . . . . . . . . . . . . . . . . 6.20 Retas que interceptam
em um nico ponto.
. . . . . . . . . . . . . .
6.21 Reta tangente hiprbole em 7.1 7.2 7.3 7.4 7.5 7.6 7.7 7.8 7.9
P1 .
. . . . . . . . . . . . . . . . . . . . .
s.
. . . . . . . . . . . . . . . . . . . . . . . .
Construo por rgua e compasso. . . . . . . . . . . . . . . . . . . . . . Construo por rgua e compasso. . . . . . . . . . . . . . . . . . . . . . Regies do plano determinadas pela parbola. Ponto . . . . . . . . . . . . . .
qualquer da reta
distinto de
P.
. . . . . . . . . . . . . . . .
Propriedade da reta
tangente parbola. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
7.10 Tringulo fundamental da parbola. . . . . . . . . . . . . . . . . . . . . 7.11 Retas que interceptam 7.12 Reta 8.1 8.2 8.3
em um nico ponto.
. . . . . . . . . . . . . .
normal parbola em
P1 .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
xO e y
e = 1.
. . . . . . . . . . . . .
Sistema
xO e y xO e y
. . . . . . . . . . .
110 112 113 115 116 117 118 119 120 121 123 124 124 125 126 127 128 129 130 133 134 134 135 135 135 136 137 137 138 138 139 139 145 147 149 149 150 154 159
. . . . . . . . . . . . . . . . . . . . . .
8.10 Relao entre excentricidade e forma da elipse. . . . . . . . . . . . . . . 8.11 Relao entre excentricidade e forma da hiprbole. . . . . . . . . . . . . 8.12 Semelhana dos tringulos fundamentais das parbolas. . . . . . . . . . 8.13 Elipses equivalentes. 8.14 Conjunto quociente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
C/R.
8.17 Plano de coordenadas polares. . . . . . . . . . . . . . . . . . . . . . . . 8.18 Transformao entre coordenadas polares e cartesianas . . . . . . . . .
8.19 Cnicas em coordenadas polares . . . . . . . . . . . . . . . . . . . . . . 8.20 Sistema de coordenadas cartesianas e polares. 8.21 Diretriz perpendicular ao eixo polar. . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
8.22 Diretriz paralela ao eixo polar. . . . . . . . . . . . . . . . . . . . . . . . 9.1 9.2 9.3 9.4 9.5 9.6 9.7 9.8 9.9 Superfcie de revoluo de uma cnica. Propriedade da reta tangente. Leis da reexo da luz . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Superfcie reetora elptica . . . . . . . . . . . . . . . . . . . . . . . . . Superfcie reetora hiperblica . . . . . . . . . . . . . . . . . . . . . . . Forno solar construido na Frana. . . . . . . . . . . . . . . . . . . . . . Antena parablica. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9.10 Telescpio Hale e o sistema ptico Cassegrain. . . . . . . . . . . . . . . 9.11 Bilhar elptico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9.12 Bilhar parablico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10.2 Representao da fora central atuando sobre a partcula de massa 10.3 Trajetria de uma partcula e o momento angular 10.4 Posio de uma partcula
m2 .
L.
. . . . . . . . . .
no espao.
. . . . . . . . . . . . . . . . . .
10.5 Vetores unitrios em coordenadas cartesianas e polares. . . . . . . . . . 10.6 Trajetria descrita por uma partcula 10.7 Denindo
sen
cos
em funo de
. . . . . . . .
A.1 A.2
169 172
Sumrio
1 Introduo 2 Pr-requisitos 25 27
I Origens histricas
3 Origens das Sees Cnicas
3.1 3.2 Introduo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Sees Cnicas antes de Apolnio . . . . . . . . . . . . . . . . . . . . . 3.2.1 3.2.2 3.3 Problema da duplicao do cubo e a descoberta das cnicas . .
31
33
33 33 33 35 39 39 40 40 41
As cnicas de Apolnio . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.3.1 3.3.2 3.3.3 3.3.4 Apolnio e obra . . . . . . . . . . . . . . . . . . . . . . . . . . . As importantes contribuies de Apolnio para as cnicas . . .
Denio das cnicas . . . . . . . . . . . . . . . . . . . . . . . . Origem dos nomes das cnicas . . . . . . . . . . . . . . . . . . . 3.3.4.1 Propriedade fundamental das cnicas ou symptome na equao cartesiana . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46 46 46 48
3.3.5
Anlise de alguns aspectos da obra de Apolnio 3.3.5.1 3.3.5.2 Tangentes e normais Foco e propriedades
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
II Cnicas
4 Introduo s cnicas 5 Elipse
5.1 Um Tratamento Geomtrico . . . . . . . . . . . . . . . . . . . . . . . . 5.1.1 5.1.2 Construo da elipse usando um o inextensvel . . . . . . . . . Simetrias da elipse 5.1.2.1 . . . . . . . . . . . . . . . . . . . . . . . . .
51
53 55
55 55 56 56
Eixos de Simetria . . . . . . . . . . . . . . . . . . . . .
Centro de Simetria . . . . . . . . . . . . . . . . . . . .
58 60 61 63 64 66 66 68
Elementos da elipse . . . . . . . . . . . . . . . . . . . . . . . . . Determinao dos pontos de uma elipse usando rgua e compasso Regies do plano determinadas pela elipse e reta tangente Consequncias da construo por rgua e compasso . . .
. . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
Equao reduzida . . . . . . . . . . . . . . . . . . . . . . . . . . Caracterizao do esboo da elipse 5.2.2.1 Anlise dos parmetros elipse 5.2.2.2 . . . . . . . . . . . . . . . . e
na equao reduzida da 68 70 70 72
. . . . . . . . . . . . . . . . . . . . . . . . . . .
Simetria da elipse . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.2.3 5.2.4
6 Hiprbole
6.1 Um Tratamento Geomtrico . . . . . . . . . . . . . . . . . . . . . . . . 6.1.1 6.1.2 Construo da hiprbole usando uma haste e um o inextensvel Simetrias da hiprbole 6.1.2.1 6.1.2.2 6.1.3 6.1.4 . . . . . . . . . . . . . . . . . . . . . . .
75
75 75 76 76 79 80
Elementos da hiprbole . . . . . . . . . . . . . . . . . . . . . . . Determinao dos pontos de uma hiprbole usando rgua e compasso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
82 84 84 87 87 89 90 93
Regies do plano determinadas pela hiprbole e reta tangente Consequncias da construo por rgua e compasso
. . . . . . .
. . . . . . . . . . . . . . . . . . . . . . . . .
Equao reduzida . . . . . . . . . . . . . . . . . . . . . . . . . . Algumas propriedades da hiprbole dada pela equao reduzida Retas tangentes e retas normais hiprbole Propriedade da reta tangente hiprbole . . . . . . . . . . . . . . . . . . . . . . .
7 Parbola
7.1 Um Tratamento Geomtrico . . . . . . . . . . . . . . . . . . . . . . . . 7.1.1 7.1.2 7.1.3 Construo da parbola usando esquadro e um o inextensvel . Simetria da parbola . . . . . . . . . . . . . . . . . . . . . . . . Determinao dos pontos de uma parbola usando rgua e compasso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7.1.4 7.1.5 7.2 Regio do plano determinada pela parbola e reta tangente . . . Consequncias da construo por rgua e compasso . . . . . . .
95
95 95 96
97 98 99 100 101
. . . . . . . . . . . . . . . . . . . . . . . . .
Equao reduzida . . . . . . . . . . . . . . . . . . . . . . . . . .
Algumas propriedades da parbola dada pela equao reduzida . Retas tangentes e retas normais parbola . . . . . . . . . . . . Propriedade da reta normal a uma parbola . . . . . . . . . . .
107
115 118 118 119 119 120 120 122 123 123 125 127
Hiprbole
Parbola . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.4
Equaes das cnicas em coordenadas polares 8.4.1 8.4.2 8.4.3 Sistema de coordenadas polares
. . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . .
III Aplicaes
9 Propriedades de reexo das cnicas
9.1 9.2 Propriedades de reexo . . . . . . . . . . . . . . . . . . . . . . . . . . Aplicaes das propriedades de reexo . . . . . . . . . . . . . . . . . . 9.2.1 9.2.2 9.2.3 9.2.4 Superfcie reetoras parablica . . . . . . . . . . . . . . . . . . . Superfcie reetoras elpticas . . . . . . . . . . . . . . . . . . . . Superfcie reetora hiperblica . . . . . . . . . . . . . . . . . . . Propriedades de reexo das cnicas em mesas de bilhar . . . .
131
133
133 136 136 136 137 138
141
141 141 143 144 147 148 149 151 152 153 153 153
10.5 Equaes do movimento de um partcula em um campo de fora central 10.5.1 Vetor velocidade e vetor acelerao em coordenadas polares . . . 10.5.2 Momento angular em coordenadas polares 10.5.3 Equaes do movimento . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . . . . . .
10.6 Energia Cintica e Energia Potencial em um campo de fora central . . 10.6.1 Campo Vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . .
10.6.3 Trabalho de uma fora . . . . . . . . . . . . . . . . . . . . . . . 10.6.4 Energia Cintica 10.6.5 Energia Potencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
10.7 Determinao da rbita a partir da fora central . . . . . . . . . . . . . 10.7.1 Equao diferencial da rbita ou trajetria . . . . . . . . . . . . 10.7.2 Equao da rbita sob ao da fora inversamente proporcional ao quadrado da distncia . . . . . . . . . . . . . . . . . . . . . . 10.7.3 Soluo da equao diferencial da rbita e as cnicas . . . . . .
158 159
10.7.4 Equao da rbita em termos da Energia Mecnica e determinao das Cnicas . . . . . . . . . . . . . . . . . . . . . . . . . . . 161
GeoGebra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Construes feitas atravs do GeoGebra A.2.1 Elipse A.2.1.1 A.2.1.2
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Construo do lugar geomtrico dos pontos de uma elipse172 Construo da demonstrao que o ponto a elipse
. . . . . . . . . . . . . . . . . . . . . . . . . . .
A.2.1.3 A.2.2
Hiprbole A.2.2.1
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A.2.2.2
. . . . . . . . . . . . . . . . . . . . . . . .
Construo da hiprbole a partir da construo da elipse175 Construo da propriedades da reta tangente hiprbole175 176
Parbola . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.2.3.1 Construo do lugar geomtrico dos pontos de uma parbola . . . . . . . . . . . . . . . . . . . . . . . . . . . A.2.3.2 Construo da demonstrao de que o ponto sobre uma parbola A.2.3.3
176
est 177
. . . . . . . . . . . . . . . . . . .
A.2.4
Unicao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . A.2.4.1 Construo das cnicas a partir da denio unicada das cnicas . . . . . . . . . . . . . . . . . . . . . . . .
178
A.2.4.2
Construo da equao geral das cnicas pela denio foco-diretriz . . . . . . . . . . . . . . . . . . . . . . . . 178 178 179 179 180
Construo da equao das cnicas em coordenadas polares com a diretriz perpendicular ao eixo polar . . . . 181
A.2.4.8
Construo da equao das cnicas em coordenadas polares com a diretriz paralela ao eixo polar . . . . . . . 182 183
A.3
Licena do GeoGebra . . . . . . . . . . . . . . . . . . . . . . . . . . .
1 Introduo
As cnicas: elipse, hiprbole e parbola compem um assunto da matemtica sobre o qual as exposies gerais so conhecidas antes da poca de Euclides (325 - 265 a.C.). Estas curvas so obtidas variando a inclinao de um plano que intercepta um cone circular de duas folhas. Esta propriedade foi descoberta por Apolnio (262
190
a.C.) que forneceu importantes contribuies sobre o assunto em seu tratado sobre as cnicas. Atravs da anlise dos diversos livros de Geometria Analtica e Clculo, citados nas referncias bibliogrcas, observa-se que o estudo apresentado nestes textos sobre as cnicas tratam estas curvas, em sua grande maioria, apenas sob o ponto de vista de equaes algbricas. Esta dissertao preocupa-se em valorizar tambm a explorao destas curvas sob o ponto de vista geomtrico com intuito de motivar e preparar o leitor para explorao algbrica do tema. Neste sentido, para propiciar a visualizao e investigao dos diversos resultados demonstrados ao longo do texto, o leitor poder analisar as mesmas construes agora feitas atravs do software GeoGebra acessando o CD-ROM que acompanha este trabalho. Alm disso, as cnicas possuem vrias
aplicaes e apresentar algumas delas estabelece sua importncia na relao entre a matemtica pura e aplicada. Sendo assim, este trabalho tem como objetivo apresentar um texto didtico com inovaes para o ensino das cnicas no nvel universitrio. Este assunto ministrado no curso de Geometria Analtica e parte desta dissertao pode ser tambm utilizada na proposio de trabalhos extras, ou na preparao de pequenos projetos de iniciao cientca. O interesse pelo tema se deu por dois grandes motivos: 1. Estudar algumas aplicaes importantes das cnicas que no so abordadas pelos livros didticos; 2. Utilizar recursos computacionais para a explorao deste assunto. Esta dissertao inicia-se com o captulo de pr-requisitos apresentando alguns resultados importantes que sero utilizados nos captulos seguintes. O restante do texto est dividido em trs partes. A primeira parte trata de uma investigao sobre a origem das cnicas e uma anlise do tratamento dado a essas curvas no sculo III a.C.
GeoGebra livremente distribudo sobre a (http://www.geogebra.org).
GNU
Ver Apndice.
25
26
A parte II foi dividida em quatro captulos onde nos trs primeiros as curvas elipse, hiprbole e parbola so estudadas individualmente. Um tratamento unicado das cnicas apresentado no ltimo captulo desta parte. Esta unicao de fundamental importncia para a aplicao destas curvas Mecnica Celeste. A parte III, que trata das aplicaes das cnicas, composta pelos captulos Propriedades de Reexo das Cnicas e Mecnica Celeste. Por ltimo, no Apndice apresenta-se de maneira detalhada, os passos das construes feitas atravs do GeoGebra citadas ao longo desta dissertao.
2 Pr-requisitos
Neste trabalho, o conjunto universo estar restrito ao conjunto de pontos de um plano onde valem os axiomas da geometria euclidiana. por letras latinas maisculas Os pontos sero indicados
A, B, P, Q..., retas por letras latinas minsculas r, s, t... e planos por letras gregas minsculas , , .... Se P e Q so pontos distintos, a reta que os contm ser citada como reta P Q, e o segmento de reta com extremidades P e Q como segmento P Q ou, simplesmente, P Q. Ao comprimento do segmento P Q est associado um nico nmero real positivo que ser tambm representado por P Q. A notao B AC ser usada para indicar o ngulo convexo de vrtice A, cujos lados esto contidos nas retas AB e AC .
A seguir sero apresentados denies e resultados que sero utilizados na parte II desta dissertao.
B dois pontos distintos de um plano. O lugar geomtrico dos pontos equidistantes de A e B denominada a mediatriz do segmento AB . Ento, se r mediatriz do segmento AB , para todo ponto P pertencente a r temos a igualdade entre as distncias, P A = P B .
Sejam e
Denio 2.1.
Denio 2.2.
Dois pontos
m,
que
mediatriz do segmento
PP
. Os pontos
so simtricos a si prprio.
Ox
Oy
O. Ox
ser denominado
Oy
xOy .
Indica-se por
R2
R2 . A cada ponto P do 2 ponder um nico par ordenado (x, y) R . Os nmeros x e y so as coordenadas do ponto P relativamente ao sistema xOy no qual x a abscissa e y a ordenada de P . As coordenadas (x, y) do ponto P so denidas do seguinte modo: se P estiver sobre o eixo Ox, o par ordenado que lhe corresponde ser (x, 0), onde x a coordenada de P no eixo Ox. Se P estiver sobre o eixo Oy , a ele corresponder o par (0, y), onde
27
28
Pr-requisitos
a coordenada de
Oy , a qual corta Ox no ponto de coordenada x e uma paralela ao eixo Ox, a qual corta Oy no ponto de coordenada y . Desta forma, x ser a abscissa e y ser a ordenada do ponto P . Para a denio a seguir, o smbolo
traa-se por uma paralela ao eixo signica paralelo a.
xOy .
x = x x0 y = y y0
C A
B C,
o segmento
AB
no est contido em
C,
isto
AB C, A, B C .
Denio 2.4.
Sejam
P Q. Suponha que o ponto pontos da curva aproximando-se de P . A reta s ir, ento, mover-se tendendo para uma posio limite dada pela reta limite t. A reta t ser denominada de reta tangente curva no ponto P . A reta normal n curva no ponto P ser a reta perpendicular reta tangente no ponto P . Ver a
gura 2.2.
de uma curva e
a reta secante
29
Denio 2.5.
tal que
Seja
r P = .
e a reta
mesmo plano
d(P, Y )
Y. r
dada que passa pelo ponto
Proposio 2.1.
com
P,
e a reta
igual ao comprimento do
r,
os pontos
distinto do ponto
a reta
r.
P Y Q o que garante que o segmento P Y ser menor que o segmento P Q, Q r . Logo, pela denio 2.5 o comprimento do segmento P Y ser a distncia do ponto P a reta r .
Observa-se que o segmento hipotenusa do tringulo retngulo
PQ
30
Pr-requisitos
Sejam
Teorema 2.1.
r,
ento a inclinao
x2 = x1
Teorema 2.2.
Seja
P1 = (x1 , y1 ).
dada por:
y y1 = m(x x1 )
Teorema 2.3.
as retas
Sejam
mr
ms
respectivamente. Ento,
eixo
Oy, Oy,
se
mr = 0 ms = 0.
eixo
se
Teorema 2.4.
arctg = arctg arctg
Sejam
mr
ms
res-
pectivamente. Seja
1 mr 1 ms
se
paralela ao eixo
Oy,
se
paralela ao eixo
Oy,
ms mr 1 + mr ms
ou
31
fato de que praticamente todas as denies e propriedades hoje abordadas sobre estas curvas j haviam sido apresentadas na linguagem geomtrica por Apolnio por volta do sculo III a.C..
b,
a x y = = . x y b
Hipcrates armou que para
b = 2a,
y,
conclui-se que
x3 =
2a3 .
Isto equivale, na notao atual, resolver simultaneamente quaisquer duas das trs
equaes
x2 = ay, y 2 = 2ax
33
xy = 2a2
34
descoberta dessas curvas se deu por Menaechmus (380 - 320 a.C.) por volta de 360 ou 350 a.C.. Ele construiu as curvas com essas propriedades algbricas e consequentemente mostrou que o ponto de interseo delas daria as mdias proporcionais desejadas. A descoberta da elipse parece ter sido feita tambm por ele como um simples subproduto dessa sua pesquisa. importante ressaltar que os matemticos da antiguidade, para garantir que um lugar geomtrico fosse realmente uma curva, achavam necessrio exib-lo estereometricamente como uma seo de um slido ou descrev-lo por processo cinemtico de construo ([2], p. 107). Sendo assim, Menaechmus considerado na histria como
o primeiro gemetra a elaborar uma representao estereomtrica das sees cnicas caracterizando suas propriedades ([3], p. 227). Ele percebeu que havia uma famlia
de curvas adequadas, que podiam ser obtidas de uma mesma fonte, cortando um cone circular reto por um plano perpendicular a um elemento do cone. Com isso, parece ter descoberto as curvas que mais tarde foram chamadas de elipse, parbola e hiprbole ([2], p. 65). No se sabe exatamente como Menaechmus fazia para determinar os pontos no plano pertencentes a essas curvas, mas um esboo certamente era possvel usando o mtodo euclidiano. equao Por exemplo, para marcar os pontos da curva satisfazendo a
y = 2ax,
y 2 = 2ax. 2a
e um prolonga-
Primeiramente, traa-se um segmento de reta de comprimento mento desse segmento com medida
x.
35
2a
2a + x
2a.
O segmento determinado
y 2 = 2ax. Esta relao obtida por semelhana de tringulos a partir do tringulo de base x + 2a e altura y . O ponto da curva era marcado pela interseo das retas paralelas aos segmentos x e y .
prolongamento tem comprimento
satisfazendo a equao
Dessa forma, obtinham-se os demais pontos da curva, partindo-se inicialmente de um novo prolongamento de comprimento
x.
Acredita-se que Menaechmus, pode ter observado que o diagrama circular da gura 3.1 poderia ser pensado como curvas de nvel de um certo cone e por isso a curva podia ser gerada pela seo desse cone ([4], p. 109). Em muitos casos as sees cnicas foram apresentadas como ferramentas para solucionar certos problemas geomtricos, como por exemplo, Arquimedes (287 - 212 a.C.) as usou para resolver problemas sobre esferas.
Tesouro da Anlise. Entre esses dois, estava as Cnicas de Euclides (325 - 265 a.C.)
composta por quatro livros escritos por volta de 300 anos a.C. O outro tratado Lugares
Slidos fora escrito por Aristeu (370 - 300 a.C.) um pouco antes das cnicas de Euclides
([5], p. 116). O nome lugares slidos era usado pelos gregos quando se referia as sees cnicas oriundos da denio estereomtrica dada por Menaechmus em sua obra. Embora, atualmente, nenhuma dessas obras esteja disponvel, um bom tratado sobre seus contedos pode ser inferido das extensivas referncias feitas por Arquimedes aos teoremas bsicos dessas curvas. At a poca de Arquimedes as cnicas eram denidas da mesma forma como foram descobertas por Menaechmus, isto , das sees dos trs tipos de cones retos classicados conforme o ngulo do vrtice fosse reto, agudo ou obtuso. A seo em cada cone era dada por um plano que cortava perpendicularmente sua reta geratriz, ou seja, a hipotenusa do tringulo retngulo rotacionado para gerar tal cone. A seo de cone retngulo hoje chamada de parbola, a seo de cone acutngulo de elipse e a seo de cone obtusngulo de hiprbole. Com essas denies os matemticos gregos derivaram o symptome dessas curvas, ou seja, expresso matemtica que caracterizava cada uma delas. Esta expresso era obtida pela relao entre dois segmentos perpendiculares pertencentes ao plano de cada cnica onde, na linguagem atual, o comprimento destes segmentos representam a abscissa e ordenada de um ponto sobre a curva considerada. Esses symptomes eram obtidos atravs de semelhana de tringulos na representao plana do tringulo gerador em cada tipo de cone. Observe na gura 3.2 os trs tipos
36
O ngulo no vrtice
(gura 3.2b) ou um ngulo obtuso (gura 3.2c). O corte plano, perpendicular a geratriz
37
AB . D
AB
um ponto arbitrrio
AB .
KD
KD
VW
(eixo do cone).
Este plano determinar uma seo circular cujo dimetro ser Como
designado por
MN
MN
KD
perpendicular a
D.
M N no ponto pontos M ,K e N
retngulo em
K.
Figura 3.3: Seo circular determinada pelo plano perpendicular ao eixo do cone.
M KN
M DK
N DK .
Consequentemente os tringulos
M DK
N DK
so
MD KD = KD ND
Portanto, para os trs tipos de cones representados na gura 3.2 conclui-se que:
KD2 = M D.N D.
Observa-se que
(3.2)
AD so segmentos perpendiculares e podem ser vistos como ordenada e abscissa do ponto K respectivamente. Desta forma, a expresso matemtica associada a cada curva obtida pela relao entre KD e AD . No caso do cone retngulo, trace AP paralelo a N M e considere Z a interseo de AP com o eixo do cone. Por semelhana dos tringulos N DA e W AZ implica que
e
KD
ND AW = AD AZ
Uma vez que
ou
ND =
AD.AW . AZ
(3.3)
M DAP
M D = 2AZ.
A partir das equaes (3.2), (3.3) e (3.4) segue que,
(3.4)
KD2 = 2AZ
AD.AW = 2AW.AD. AZ
38
KD = y , AD = x
2AW = p,
a equao torna-se
y 2 = px
que
AP
paralela a
MN.
Considere os
P Q e M R paralelos ao eixo do cone interceptando AB (ou ao prolongamento AB ) nos pontos Q e R respectivamente. Por semelhana dos tringulos, AN D e M RD implica que AD ND = RD MD
Como o tringulo ou
M D.N D = AD.RD. QP A
e
(3.5) semelhante ao
M RD
semelhante ao
M DB
P AB ,
MD BD RD = = QA PA BA
Portanto,
RD QA = BD BA
Das equaes (3.2), (3.5) e (3.6)
ou
RD =
BD.QA . AB BD.QA . AB
(3.6)
(3.7)
AP Q e AZW QA = 2W A. Assim
so semelhantes e
KD2 = AD.BD.
Ao denotar
2AW . AB
e
(3.8)
KD = y , AD = x1 , BD = x2 , 2AW = p y2 = p x1 x2 . 2a
AB = 2a,
conclui-se que
tanto a elipse quanto a hiprbole eram obtidas de uma mesma equao, ou seja,
Dessa forma, para diferenciar uma curva da outra era necessrio observar na construo dos cones acutngulo e obtusngulo, os diferentes signicados geomtricos do segmento
x2 = BD
Esta ltima equao no muito familiar nos dias de hoje, mas essencialmente a forma usada por Arquimedes. Observa-se tambm que neste caso a hiprbole tinha apenas um ramo. Provavelmente por volta de 200 a.C., os matemticos consideraram importante especicar melhor o signicado de duas curvas.
BD = x2 ao obter o symptome de cada uma dessas Isto , BD = AB + AD para a hiprbole e BD = AB AD para a elipse. 2AW AD AB p AD = x, obtm-se y 2 = x p + x 2a
KD2 = AD 2AW +
ou denotando
para hiprbole;
As cnicas de Apolnio
KD2 = AD 2AW
ou denotando
39
2AW AD AB p AD = x, obtm-se y 2 = x p x 2a
para elipse.
262
190
em grande parte, Dividir segundo uma razo e As Cnicas. Este ltimo foi certamente sua obra prima sendo composta por oito volumes (aproximadamente
400 proposies).
Da obra original sobreviveram sete volumes, sendo quatro escritos em grego e trs traduzidos para o rabe por Thabit Ibn Qurra (836 a 901). Em 1710, Edmund Halley (1656 - 1742) traduziu os sete volumes sobreviventes para o latim, possibilitando as demais tradues para as outras lnguas modernas. Quando Apolnio escreveu seu clebre tratado sobre as cnicas j tinham sido escritas exposies gerais sobre essas curvas por Aristeu e por Euclides num intervalo de um sculo e meio antes. Mas a obra de Apolnio foi de suma importncia para tal assunto pois ...
res anteriores, assim em nvel mais avanado o tratado sobre Cnicas de Apolnio derrotou todos os rivais no campo das sees cnicas, inclusive As Cnicas de Euclides, e na antiguidade nenhuma tentativa parece ter sido feita para aperfeio-lo. Se sobrevivncia uma medida de qualidade, Os elementos de Euclides e As Cnicas de Apolnio foram claramente as melhores obras em seus campos. ([2], p. 99)
O Livro I de As cnicas comea com uma exposio da motivao para escrever a obra. Quando Apolnio estava em Alexandria, foi procurado por um gemetra chamado Naucrates, e foi a pedido dele que Apolnio escreveu uma verso apressada de As
cnicas em oito livros. Mais tarde em Prgamo, o autor elaborou os livros, um de cada
vez, razo na qual inicia os livros IV e VII com saudaes a Atalus, rei de Prgamo. O autor descreve os quatro primeiros livros como se formassem uma introduo elementar e supe-se que muito desse material j havia aparecido em tratados anteriores sobre cnicas. No entanto, Apolnio diz expressamente que alguns dos teoremas no livro III so de sua autoria, e no de Euclides. Nos quatro ltimos livros ele trata de assuntos bastantes originais onde a teoria se expande em direes mais especcas, como por exemplo, discute sobre cnicas semelhantes, retas tangentes e normais a essas curvas e novas propriedades sobre dimetros conjugados.
40
tomar sees perpendiculares geratriz de um cone e que de um nico cone podem ser obtidas todas as trs espcies de sees cnicas, simplesmente variando a inclinao do plano da seo. Esse foi um passo importante para relacionar os trs tipos de curvas. Uma segunda generalizao importante dada por Apolnio foi a prova de que o cone no precisa ser necessariamente reto, mas podendo ser tambm oblquo ou escaleno. Segundo Eutcio(480 - 540), ao comentar As cnicas, Apolnio foi o primeiro gemetra a mostrar que as propriedades das curvas no so diferentes conforme sejam cortadas de cones oblquos ou retos. Finalmente, Apolnio substitui o cone de uma s folha por um cone duplo e o deniu da seguinte forma: Se zer uma reta, de comprimento indenido e passando sempre por um
ponto xo, mover-se ao longo da circunferncia de um crculo que no est num mesmo plano com o ponto de modo a passar sucessivamente por cada um dos pontos dessa circunferncia, a reta mvel descrever a superfcie de um cone duplo. O ponto xado o vrtice e o segmento de reta do vrtice ao centro do crculo o eixo... O crculo a base do cone. ([4], p. 112)
Como consequncia dessa denio a hiprbole passou a ser considerada como uma curva de dois ramos como denida atualmente.
CD.
O tringulo
V CD CD
ento denidas como as intersees deste cone por determinados planos que cortam o segmento ou o prolongamento de
EF
perpendicular
As cnicas de Apolnio
41
(a) Parbola
(b) Elipse
Figura 3.4: Cortes do cone.
(c) Hiprbole
A reta
AS
Se Se Se
AS AS AS
paralelo ao lado do tringulo axial, a seo uma parbola. interceptar ambos os lados do tringulo axial, a seo uma elipse. interceptar um dos lados do tringulo axial e o prolongamento do outro
V,
ramos da curva, ao contrrio da hiprbole gerada pelo cone de ngulo obtuso. Em cada caso Apolnio derivou o symptome (expresso matemtica) da curva que ser apresentado posteriormente. O mtodo que ele utilizou foi semelhante ao que foi apresentado pelos seus predecessores. Isto , marcando um ponto seo e passando por este um plano paralelo a base.
arbitrrio sobre a
de que ele usou o nome parbola como sinnimo para a seo do cone retngulo, foi Apolnio quem introduziu os nomes elipse e hiprbole para essas curvas. As palavras elipse, parbola e hiprbole no foram inventadas expressamente, foram adotadas de uso anterior, provavelmente pelos pitagricos, na soluo de equaes quadrticas por aplicao de reas.
42
interpretao geomtrica de suas expresses matemticas obtidas para cada curva no cone duplo. Considere as sees cnicas, construdas como mostra a gura 3.5.
(a)
(b)
(c)
Figura 3.5: Sees cnicas denidas por Apolnio.
BC DE
ABC . BC
ou ao prolongamento de
As cnicas de Apolnio
(c) O segmento (d) O segmento
43
PM AF
a interseo da seo plana com o tringulo para os dois ltimos casos paralelo a
ABC . BC
PM
e encontra com
BC . QV
per-
QV
perpendicular
PM
no ponto
V.
(f ) O segmento
HK
segmento no ponto
HK V.
ou
ABC .
PL
um segmento perpendicular a
P M. P L
PL
PL AF
parmetro que Apolnio deniu em funo dos lados do tringulo axial segmentos
ABC
e dos
AP
da seguinte forma:
BC 2 PL = . PA BA.AC
(2) Quando a seo for elipse ou hiprbole,
(3.9)
PL BF.F C = PP AF 2
o valor de
(3.10)
Observa-se das equaes (3.9) e (3.10) que uma vez determinada a seo cnica
PL
Apolnio
escreveu a expresso algbrica das trs curvas basicamente relacionando o que se pode pensar como coordenadas de um ponto
Q
e
P L.
Em outras palavras ele determinou uma expresso para cada uma das trs curvas por uma relao entre os segmentos
QV , P V
P L.
Consequentemente, a interpretao
geomtrica dessas relaes deu origem aos nomes das sees cnicas. Seja que
Sabe-se
HK
e o segmento
QV
perpendicular a
HK
no ponto
QV 2 = HV.V K.
(3.11)
44
PM
) ao lado
AC
do tringulo axial
Como
PM
AC
HK
BC ,
ento, os tringulos
ABC , HP V
AHK
so
HV BC = PV AC
VK BC = . PA BA P V.P A
obtm-se,
(3.12)
(3.13)
QV 2 BC BC BC 2 PL = . = = . P V.P A BA AC BA.AC PA
Logo,
QV 2 = P L.P V
que interpretado geometricamente pode-se dizer que a rea do quadrado de lado igual a rea do retngulo de lados
QV
PL
PV .
Disso, a curva
EP D
denominada
de parbola que vem do grego paraboli, ou seja, aplicao sem falta ou excesso. (2) Se
PM
AC
do tringulo axial.
PM
interceptando
AC
ou o prolongamento de
AC .
Essas duas situaes sero analisadas conjuntamente considerando os esquemas obtidos a partir da gura 3.5 e ilustrados na gura 3.6.
(a)
Figura 3.6:
(b)
interceptando
PM
AC
ou o prolongamento de
AC .
e
AF B P V H . =
Logo, os
(3.14)
As cnicas de Apolnio
V K F C e P V AF , ento, P V K AF C e P KV ACF . = = P V K e ACF so semelhantes. Da, VK CF = . PV AF P L V R, ento, P P L P V R = P V R so semelhantes. Da,
e Logo, os tringulos
45
(3.15)
P LP P RV . =
Logo, os tringulos
P P L
PL VR . = PP PV
O segmento que passa pelos pontos colineares ento, em ambos os casos,
(3.16)
P PL
LSR
so semelhantes. Da,
Como os segmentos
PV
SL
RS =
PL .P V. PP
(3.17)
A expresso correspondente a essas duas curvas pode ser obtida da seguinte forma. Dividindo (3.11) por
P V.P V
obtm-se,
BF CF BF.F C QV 2 = . = . P V.P V AF AF AF 2
Fazendo uso de (3.10) e de (3.16), obtm-se
QV 2 =
Assim,
QV 2 = V R.P V PL
sentando valores diferentes para cada uma delas. constante (a) Para
VR
em funo da
46
QV 2 = P V
PL
PL PV PP PL
e altura
que interpretada geometricamente o mesmo que dizer que a rea do quadrado aplicada ao segmento
QV
PV
originrio do grego ellipis que corresponde aplicao de reas por falta. (b) Para
PL PV 2 PP
PM
AC
tem-se que
QV 2 = P V (P L + RS)
ou substituindo por (3.17)
QV 2 = P V
PL +
PL PV PP
que novamente pode ser interpretada geometricamente como a rea do quadrado de lado dado pelo segmento
QV
P L e altura P V
termo originado do grego yperboli, isto , uma aplicao de reas por excesso.
PL P V 2. PP
QV 2 = P L.P V QV 2 = P V
corresponde a
y 2 = px
para a parbola
PL
PL PV PP
corresponde
p y2 = x p x d
o latim, passou a denominar-se latus rectum. Na linguagem atual, o latus rectum o segmento cujas extremidades pertencem cnica de forma que este contenha um foco e seja perpendicular ao eixo focal desta curva.
As cnicas de Apolnio
C um ponto sobre a parbola CET com CD perpendicular ao dimetro EB . Se o dimetro for prolongado para A com AE = ED, ento a reta AC ser tangente a parbola em C (gura 3.7).
Proposio I- 33.
47
Seja
CB
perpendicular do ponto
C .(gura
3.8)
AH BH = . AG BG
no dimetro ou
(a)
(b)
Figura 3.8: Cnicas, proposio I-34
48
N G = p/2. Ento N P traado perpendicular ao eixo que encontra a curva em P e P G reta mnima de G para a curva. Reciprocamente, se P G a reta mnima de G para curva e P N traada perpendicular ao eixo, N G = p/2. Finalmente, PG perpendicular a tangente T P (gura 3.9)
tomado entre e tal que
F,
AF e F B igual a um quarto do retngulo de lado P L (parmetro da curva) e o eixo AB , e semelhantemente para o retngulo de lados AG e GB . (Apolnio denominou os pontos F e G de pontos que
sobre o eixo tal que a rea do retngulo de lados surgem da aplicao do retngulo para o eixo. O termo foco foi usado primeiramente por Johannes Kepler em 1604). Em termos algbricos, considerando a distncia
AB
AB =
2a
e a distncia de
ao centro
for igual a
e o parmetro
P L = p,
a condio
1 (a c)(a + c) = .2ap 4
origem ao resultado bem conhecido de que
ou
a2 c 2 =
pa . 2
Dada essa denio, Apolnio apresenta, ento, uma srie de proposies que do
as retas que passam por um ponto qualquer da elipse, ligando esse ponto aos focos formam ngulos iguais com a reta tangente nesse ponto ([6], p. 234).
Embora Apolnio tinha apresentado um resultado semelhante para hiprbole, ele no trabalhou com as propriedades do foco da parbola, talvez porque tivesse discutido estas em um trabalho que hoje esteja perdido. De qualquer forma, a propriedade
anloga para uma parbola, que qualquer reta do foco ao ponto sobre a parbola faz um ngulo com a tangente naquele ponto igual a um feito por uma reta paralela ao eixo, foi provavelmente provado primeiramente pelo Diocles (240-180 a.C.) um contemporneo
As cnicas de Apolnio
de Apolnio, num tratado Sobre os espelhos amejantes, talvez escrito um pouco antes das Cnicas. Foi devido a propriedade da reexo da parbola que d nome a este
49
tratado. O problema de encontrar uma superfcie espelhada de forma que quando a mesma fosse exposta ao sol, os raios reetidos por ela se encontrasse em um ponto causando, assim, queimadura. Diocles mostrou que isto deveria ser verdade para um parabolide de revoluo. H relatos sobre Arquimedes e outros que tal espelho foi Porm no h nenhuma evidncia dedigna
Diocles mostrou como construir uma parbola usando a propriedade foco-diretriz. No h referncias anteriores desta propriedade particular de uma parbola, embora seja discutido no comentrio de Papus no sculo IV. Papus tambm observou que uma elipse determinada como o lugar geomtrico dos pontos cuja razo das distncias a um ponto xado (o foco) e a reta xada (a diretriz) uma constante menor que 1, enquanto que para a hiprbole esta razo era maior que 1. Estas propriedades provavelmente
tambm foram descobertas na poca de Diocles e Apolnio. Nas Cnicas, porm, havia somente a propriedade dos dois focos da elipse e hiprbole. A proposio III-51 estabelece uma denio para a hiprbole isto , se traar um segmento de reta de um ponto arbitrrio para cada foco, o maior dos segmentos de reta excede o menor em um valor constante e igual ao eixo dessa curva. A proposio III - 52 mostra que numa elipse, a soma destes dois segmentos de reta so iguais ao eixo maior. Em outras palavras, se P um ponto da curva e D, E so os dois pontos do foco, ento
P D P E = 2a
para a hiprbole e
P D + P E = 2a
Parte II Cnicas
51
4 Introduo s cnicas
Passaremos agora ao estudo da elipse, hiprbole e parbola. Trataremos cada uma das cnicas separadamente. Todos captulos foram divididos em dois tratamentos: um geomtrico e outro analtico. Com isso, as propriedades geomtricas destas curvas
apresentadas no primeiro tratamento sero novamente estudadas sob o ponto de vista algbrico. Este tipo de abordagem para estes captulos objetiva uma melhor compreenso das denies e propriedades destas curvas. No tratamento geomtrico, sero apresentados dois mtodos para traar as curvas. O primeiro deles utiliza instrumentos com o esticados criado por Kepler descrito em sua obra Ad Vitellionem Paralipomena.
(1571 1630)
Com isto,
pode-se estabelecer os principais elementos geomtricos das cnicas no plano e analisar as propriedades de simetria das mesmas. O segundo mtodo, usando rgua e compasso importante para obteno dos resultados relacionados reta tangente a estas curvas. Tais resultados so novamente abordados numa linguagem algbrica aps a obteno da equao reduzida de cada curva no tratamento analtico. As propriedades da reta tangente apresentadas justicam matematicamente as propriedades de reexo das cnicas na parte de aplicaes. No ltimo captulo dene-se as trs curvas em termos do foco e a reta diretriz. Esta denio permite a discusso sobre o conceito de excentricidade das cnicas e sua relao com a forma destas curvas. Esta maneira unicada de tratar as cnicas permite den-las usando coordenadas polares que de suma importncia para aplicao em Mecnica Celeste. Em todos os captulos desta segunda parte, aps algumas demonstraes, aparecer o smbolo indicando que o leitor deve acessar o CD-ROM com as construes Estas construes foram organizadas por captulos e caso o
feitas no GeoGebra.
leitor opte por ler a dissertao atravs do computador, basta clicar sobre a construo desejada no texto.
53
5 Elipse
5.1 Um Tratamento Geomtrico
Denio 5.1.
Elipse o lugar geomtrico dos pontos para os quais a soma das distncias a dois pontos distintos xados igual a uma constante, maior que a distncia entre esses pontos.
Assim, determina-se uma curva fechada no plano na qual observa-se facilmente que todo ponto
dessa curva satisfaz a denio 5.1 da elipse, pois a soma das distncias
55
56
Elipse
P
aos dois pontos inicialmente xados igual ao comprimento do o, que um valor
de
constante e maior que a distncia entre esses dois pontos. Os dois pontos inicialmente xados sero denominados de
segmento focal.
focos
Demonstrao. Considere
focal e
F1
F2
pretende-se mostrar que seu simtrico em relao a essas retas tambm pertencem elipse. (1)
r.
Seja
PF1 + PF2 = k
onde Seja
(5.1)
k P
F1 F2 ,
ou seja,
k > F1 F2 . r
P
e
em relao reta
r.
mediatriz de
PP
. Como
F1
F2
pertencem a e
r,
F1 P = F1 P
F2 P = F2 P
F1 P + F2 P = F1 P + F2 P .
(5.2)
Um Tratamento Geomtrico
Segue das equaes (5.1) e (5.2) que
57
P F1 + P F2 = k
Portanto, (2)
s.
P P = F1 F2
s. F1 F2
e o
Como Como
P F1
P F1 = P F2 .
pertence elipse.
P P < F1 F2 P1
P P > F1 F2 P
sobre a reta
Seja
a projeo ortogonal de
P2 a projeo P P < F1 F2 ).
de
sobre
58
Elipse
s.
P P2 F2 so retngulos em P1 e P2 , respectivamente. Tem-se ainda que P P1 = P P2 e P1 F1 = P2 F2 . Ento, pelo caso de congruncia lado-ngulo-lado (LAL) segue que P P1 F1 = m(P F2 P2 ) e P P2 F2 . Logo, m(P F1 P1 ) =
Sendo assim, tem-se que os tringulos e
P P1 F1
P F1 = P F2
Por outro lado, pelo caso de congruncia Ento,
(5.3)
P F2 = P F1 .
Somando ambos os membros das equaes (5.3) e (5.4) e pela equao (5.1) conclui-se que
k = P F1 + P F2 = P F1 + P F2
Portanto,
pertence elipse.
Propriedade 5.2.
seu simtrico
e no
em relao a
tal que
o ponto mdio de
PP
Um Tratamento Geomtrico
59
Demonstrao. Seja
ao centro
dessa curva.
F1 F2 .
F1 P = F2 P
F2 P = F1 P .
F1 P + F2 P = F1 P + F2 P
Por hiptese,
(5.5)
F1 P + F2 P = k.
Portanto, das equaes (5.5) e (5.6),
(5.6)
F1 P + F2 P = k,
ou seja,
pertence elipse.
60
Elipse
vrtices.
F2
A1 e A2 vrtices da elipse sobre o eixo de simetria que contm os focos F1 e a = constante tal que P F 1 + P F 2 = 2a. Como A1 pertence elipse tem-se que: A1 F 1 + A1 F 2 = 2a
(5.7)
A1 , A2
F 1 ,F 2
conforme
Assim,
A1 O = A2 O
e como,
F1 O = F2 O
segue utilizando (5.8) que
(5.8)
A1 F 1 = A1 O F1 O
A2 F 2 = A2 O F2 O ,
A1 F 1 =
A2 F 2 .
A2 F 2 + A1 F 2 = 2a
Portanto,
O segmento que contm dois vrtices da elipse e que passa pelos focos tem comprimento igual a 2a.
A1 A2 = 2a.
e Sejam
B1
B2
s.
Como
s mediatriz do segmento
F1 F 2
tem-se que:
B1 F 1 = B1 F 2 .
Como
(5.9)
B1
B1 F 1 + B1 F 2 = 2a.
Das igualdades (5.9) e (5.10), conclui-se que: Mas o tringulo Observe a gura 5.8.
(5.10)
B1 OF2
retngulo
B1 F 1 = a e B1 F 2 = a. em O com hipotenusa de
comprimento
a.
Um Tratamento Geomtrico
61
Denindo
OB 1 = b
OF 2 = c,
a2 = b 2 + c 2 .
Segue que
a > b.
Consequentemente,
A1 A2 > B1 B 2 .
O eixo
A1 A2
ser denominado
Centro: O Focos: F1 e F2 Segmento focal: F1 F2 Distncia focal: 2c Vrtices: A1 , A2 , B1 e B2 Eixo maior: A1 A2 = 2a Eixo menor: B1 B 2 = 2b
Figura 5.9: Elementos da elipse
F1
F2
F1
F2 ; F1 F2 ;
na semi-reta
F1 F2
no pertencente ao segmento
62
Elipse
4. Com o auxlio do compasso, trace uma circunferncia de centro Dena
F1
e raio
F1 A.
F1
F2 D
e chame de
a interseo da mediatriz
com a reta
s.
F1
F2
F2 D e que P pertence a t. Logo, pela propriedade da mediatriz de um segmento, P F2 = P D . Por outro lado, observa-se que F1 D = F1 P + P D = F1 P + P F2 . Mas F1 D = 2a, pois o segmento F1 D o raio da circunferncia. Portanto, F1 P + P F 2 = 2a para qualquer D
Demonstrao. Pela construo tem-se que
mediatriz do segmento escolhido sobre essa circunferncia. Pela construo dada anteriormente, tem-se que o raio de medida igual a 5.1, o ponto
2a
F1
F2 .
F1
F2 .
sobre a circunferncia.
percorrer toda a
circunferncia de maneira dinmica, o lugar geomtrico determinado pelos pontos ser uma elipse de focos
F1
F2
Um Tratamento Geomtrico
63
F1
F2
os focos da elipse e
2a
comprimento do segmento
F1 F2 ,
sabe-se que se
P F1 +
P F2 = 2a.
(1) (2)
satisfaz
P F1 + P F2 < 2a P F1 + P F2 > 2a
satisfaz
Denio 5.2.
t
menos o ponto
Uma reta
P,
64
Elipse
Propriedade 5.3.
P.
A reta
mediatriz do segmento
F2 D
(a)
(b)
Figura 5.13: Ponto qualquer
de
distinto de
P.
t.
Ento, precisa-se
P sobre a reta t. Como t mediatriz do segmento DF2 , ento, SF 2 = SD . Segue que, SF 1 + SF 2 = SF 1 + SD . Pela desigualdade triangular aplicada ao tringulo F1 SD tem-se que SF 1 + SD > F1 D
Um Tratamento Geomtrico
SF 1 + SF 2 > 2a
Assim, pela denio dada na seo 5.1.5, o ponto elipse. Portanto, pela denio 5.2, a reta
65
tangente elipse em
P.
ngulos iguais com
Propriedade 5.4.
A reta tangente
os segmentos do ponto
P F1
P forma P F2 .
tangente elipse.
Demonstrao. Considere
segmentos
S P F1
B P F2
com os
P F2 , respectivamente. No tringulo P F2 D, a reta t mediatriz do lado F2 D no ponto B e passa pelo vrtice P . Ento, a altura P B do tringulo P F2 D bissetriz do ngulo F2 P D . Logo, os ngulos F2 P B e B P D so congruentes. Como os ngulos B P D e F1 P S so opostos pelo vrtice, prova-se que F1 P S F2 P B . =
e Veja a construo A.2.1.3 no Apndice.
P F1
Propriedade 5.5.
tangente no ponto
F1 P F2 .
P F1
P F2 ,
divide o ngulo
F1 P F2
medida.
66
Elipse
F1
F2
Assim, sejam
F1 = (c, 0)
F2 = (c, 0)
X = (x, y)
ou seja,
(x + c)2 + y 2 +
ou ainda,
(5.11)
(x + c)2 + y 2 = 2a
(5.12)
(5.13)
a (x c)2 + y 2 = a2 cx,
(5.14)
Um Tratamento Analtico
Elevando ao quadrado ambos os membros e expandindo os quadrados novamente, temse
67
(5.15)
x2
y2,
obtm-se
(5.16)
a2 c 2 = b 2 ,
b 2 x 2 + a2 y 2 = a2 b 2
Dividindo ambos os membros da igualdade (5.17) por
(5.17)
a2 b 2
resulta
x2 y 2 + 2 =1 a2 b
(5.18)
Observa-se que a equao (5.18) foi obtida de (5.11) elevando duas vezes os radicais ao quadrado. Desta forma, para garantir que (5.18) a equao da elipse para o sistema considerado, importante mostrar que partindo-se dela chega-se a (5.11). Para isso adota-se o procedimento a seguir. Suponha que
Efetuando as operaes
anteriores no sentido inverso, obtm-se de (5.18), sem nenhum problema, a equao (5.16) e depois a igualdade (5.15), que agora ser reescrita da forma:
(5.19) tem-se
|x| a
e como
c < a,
|cx| < a2 .
Logo, o
a2 cx
a2 cx.
Desse modo, obtm-se a equao (5.14) da qual, em seguida, obtm-se a igualdade (5.13). Essa ltima igualdade pode ser escrita na forma
(x + c)2 + y 2 = [2a
Tem-se que
(x c)2 + y 2 ]2 .
(x + c)2 + y 2 = [2a
(x c)2 + y 2 ]
(5.20)
(x c)2 + y 2 = x2 2cx + c2 + y 2 .
(5.21)
68
Elipse
x2 a2 .
Como
Pela igualdade (5.18), tem-se que seu valor absoluto, menor que
|cx| < a2 ,
o nmero
a c
. Ento,
c +y
2
2cx , em b2 , ou seja,
membro de
4a
2a.
Assim, o valor exibido entre mdulo no segundo membro de (5.20) ser positivo.
(x + c)2 + y 2 = 2a
(x c)2 + y 2 ,
de onde imediatamente se deduz a igualdade (5.11). Assim, ca demonstrado que (5.18) a equao da elipse.
Observao 5.1.
segmento focal da elipse se posiciona sobre o eixo 2 2 Neste caso, a equao da elipse ser
Oy conforme x y + 2 = 1. O processo b2 a
Figura 5.16: Ponto da elipse no sistema ortogonal de coordenadas com os focos sobre o eixo
y.
(5.18) da qual pode-se inferir algumas caractersticas sobre o esboo da curva que a representa. Esta anlise contemplar basicamente o signicado geomtrico dos elementos principais dessa equao que so curva.
b,
b.
x2 y2 + 2 = 1 a2 b
obtm-se que
x2
a2
y2
b2 ,
isto ,
Um Tratamento Analtico
retngulo
69
b (a).
e
chamado de
retngulo fundamental
como
tem-se que
x2 y 2 + a2 a2
Isto ,
x2 y 2 + 2 a2 b 1 x2 + y 2
x2 y 2 + 2. b2 b x2 y 2 + 2. b2 b a2 .
x2 y 2 + a2 a2
De onde conclui-se que
b2
de raios
Com isso, o conjunto de pontos da elipse esto tambm contidos na coroa circular
chamada de
uma regio no plano cartesiano onde esto contidos todos os pontos desta curva. Esta regio delimitada pela interseo das reas do retngulo fundamental com a coroa fundamental como mostra a gura 5.17
(c).
Oy
nos pontos
Ox
(x, 0) (0, y)
satisfaz a equao (5.18) se, e somente se satisfaz a equao (5.18) se, e somente se e
x = a y = b
ou ou
x=a y=b
A1 = (a, 0)
(eixo focal) e
A2 = (a, 0) so os pontos de interseo da elipse com eixo Ox B1 = (0, b) e B2 = (0, b) com o eixo Oy (mediatriz do eixo focal). F1 = (c, 0) e F2 = (c, 0) nota-se, ainda, que B2 igual a a, pois d(Bi , Fj ) = c2 + b2 = a,
Ento, pode-se armar que a elipse no
B1
i, j = 1, 2. Alm pontos A1 , A2 , B1 e B2
a > b.
70
Elipse
X = (x, y)
(x, y) tambm sero, pois os expoentes dessa equao so pares. Ento, para todo X = (x, y) da elipse, seus simtricos em relao a O, Ox e a Oy pertencero a esta curva . Assim, a elipse simtrica em relao reta focal Ox, mediatriz do segmento focal Oy e ao centro O .
P.
Denio 5.4.
(a)
Seja
r
se
uma reta e
uma elipse:
tangente a
rE
em
P1
(b) Se
tangente a
E,
P1 ,
P1
e perpendicular a
chama-se
reta normal a
em
P1 . r,
tangente elipse dada pela equao (5.18), no
P1 = (x1 , y1 )
P1 = (x1 , 0)
pertence a
E,
x1 = a
ou
x 1 = a.
Assim, a reta
perpendicular ao
r:
x = a.
Um Tratamento Analtico
(2)
71
P1 = (0, y1 )
pertence a
E,
y1 = b
ou
x 1 = b.
Assim, a reta
tangente a
no ponto
P1 = (0, y1 )
paralela ao eixo
Ox,
ou seja, de equao
r : y = b
ou
(3)
r:
y = b.
(x2 , y2 )
um outro
determinadas por
P1 = (x1 , y1 ) pertencente a E com y1 = 0 e y1 = b ponto de E tal que x2 = x1 e y2 = y1 . Seja s a reta P1 e P2 conforme ilustra a gura 5.19.
P2 =
secante
Assim, a inclinao
P2 .
De fato,
ms da reta s pode ser obtida a partir das coordenadas P1 = (x1 , y1 ) e P2 = (x2 , y2 ) pertencem elipse E tem-se que
2 x2 y 1 1 + 2 =1 a2 b 2 x2 y2 2 + 2 = 1. a2 b
de
P1
(5.22)
(5.23)
2 2 (x2 x2 ) (y2 y1 ) 2 1 + =0 a2 b2
ou
Isolando-se a
(x2 x1 )(x2 + x1 ) (y2 y1 )(y2 + y1 ) + =0 a2 b2 razo (y2 y1 )/(x2 x1 ) determina-se y2 y1 b2 (x2 + x1 ) = 2 . x2 x1 a (y2 + y1 )
72
Elipse
Assim, pelo teorema 2.1
ms =
Seja 2.4
b2 (x2 + x1 ) a2 (y2 + y1 ) P1 .
Logo, pela denio
mt
mt =
Substituindo o valor de
lim
(x2 ,y2 )(x1 ,y1 )
ms .
ms
e calculando o limite
lim
(x2 ,y2 )(x1 ,y1 )
Pelo teorema 2.2 a equao da reta
b2 x 1 b2 (x2 + x1 ) = 2 . a2 (y2 + y1 ) a y1 P1
y y1 =
ou
b2 x 1 (x x1 ) a2 y 1
2 a2 y1 y a2 y1 = b2 x1 x + b2 x2 . 1
Como
2 b 2 x 2 + a2 y 1 = a2 b 2 1
pode se escrever
b2 x1 x + a2 y1 y = a2 b2
ou
x1 x y 1 y + 2 =1 a2 b
Uma vez determinada a inclinao da reta tangente a elipse no ponto P1 = (x1 , y1 ), a2 y1 pelo teorema 2.3 inclinao mn da reta normal n nesse ponto . Assim, a equao b2 x 1 da reta n :
a2 y1 x b2 x1 y = (a2 b2 )x1 y1 .
P1
P1 F1
P1
F 1 P1 F 2 .
Um Tratamento Analtico
73
normal elipse em
P1 .
2 2 Demonstrao. Ser considerada a equao da elipse em sua forma cannica b x + a2 y 2 = a2 b2 e o ponto P1 = (x1 , y1 ) tal que y1 = 0 e y1 = b. Neste caso, seja n a
reta normal a elipse em um ponto qualquer formado por
n e o segmento P1 F2 , e mostrar que = . Pelo resultado da equao (5.24), a inclinao da tangente a elipse b2 x 1 . Ento, pelo teorema 2.3 a inclinao da reta normal n em P1 = (x1 , y1 ) a2 y1 a2 y 1 y1 y1 . Pelo teorema 2.1 as inclinaes dos segmentos P1 F1 e P1 F2 so e , 2x b 1 x1 + c x1 c
respectivamente. Ento, pelo teorema 2.4, resulta
y1 a2 y1 2 x1 c b x1 tg = y1 a2 y1 1+ x1 c b2 x 1
Como o ponto e a igualdade
b2 x1 y1 a2 x1 y1 + a2 cy1 2 b2 x2 b2 cx1 + a2 y1 1
Usando esta relao
x1 y1 (b2 a2 ) + a2 cy1 c2 x1 y1 + a2 cy1 cy1 (cx1 + a2 ) cy1 tg = = = 2 = 2 a2 b2 b2 cx1 b2 (a2 cx1 ) b (cx1 + a2 ) b
Analogamente tem-se
a2 y 1 y1 2x b 1 x1 + c tg = a2 y 1 y1 1+ 2 b x1 x1 + c =
Assim,
tg = tg
e portanto,
6 Hiprbole
6.1 Um Tratamento Geomtrico
Denio 6.1. Hiprbole o lugar geomtrico dos pontos para os quais a diferena das
distncias a dois pontos distintos xados em valor absoluto igual a uma constante, menor que a distncia entre estes pontos xados.
75
76
Hiprbole
Assim, determinam-se trechos de uma curva com dois ramos nos quais observamse que todo ponto
De fato,
Considere
F1
F2
o comprimento da haste e
F1 at A. Desta forma, para um ponto P sobre a hiprbole observa-se que P F2 P F1 = (h AP ) (f AP ) = h f = constante. Os pontos xados F1 e F2 sero denominados de focos da hiprbole e o segmento
o comprimento do o que vai de determinado por eles de
segmento focal.
Demonstrao. Sejam
segmento focal e
F1
F2
os focos da hiprbole.
Seja
Ento as retas
so eixos de
Um Tratamento Geomtrico
77
r.
(1)
F1 P = F1 P F2 P = F2 P .
Subtraindo ambos os membros obtm-se
|F1 P F2 P | = |F1 P F2 P | = k .
Assim,
P
(2)
s.
(a) Se
P P = F1 F2 .
s.
78
Hiprbole
A reta
PP
F1 F2 .
Ento,
PP
F1 F2
e o
quadriltero
F1 P P F2 P F2
e
Se Se
P F1 P F2
ento
P F 1 = P F 2. F1 P P F2
ento
P F1
so diagonais do retngulo
P F2
P F1 .
Logo,
|P F1 P F2 | = |P F1 P F2 | = k.
Ento, (b) Se
pertence hiprbole. ou
P P < F1 F2
P P > F1 F2
s.
P1 a projeo ortogonal de P sobre a reta r e P2 a projeo de P sobre esta mesma reta (caso P P < F1 F2 ). Sendo assim, tem-se que os tringulos P P1 F1 e P P2 F2 so retngulos em P1 e P2 respectivamente. Logo, P P1 = P P2 e P1 F1 = P2 F2 . Ento, pelo caso de congruncia lado-ngulo-lado (LAL) tem-se que P P1 F1 P P2 F2 . Logo, m(P F1 P1 ) m(P F2 P2 ) e = =
Seja
P F1 = P F2
Observa-se ainda pelo caso
LAL
que
P F1 F2 P F1 F2 . =
P F 2 = P F 1.
De (6.1) e (6.2) conclui-se que
|P F1 P F2 | = |P F1 P F2 | = k.
Ento,
pertence hiprbole.
Um Tratamento Geomtrico
79
Propriedade 6.2.
no seu simtrico
tal que
ponto
Demonstrao. Seja
ao centro
desta curva.
O simultaneamente ponto mdio de P P e de F1 F 2 . Sendo assim, o quadriltero P F1 P F2 um paralelogramo pois suas diagonais interceptam-se em seus pontos mdios.
F1 P = F2 P
80
Hiprbole
F2 P = F1 P .
|F1 P F2 P | = |F1 P F2 P |.
Por hiptese,
(6.3)
|F1 P F2 P | = k.
Portanto substituindo (6.4) em (6.3) tem-se
(6.4)
|F1 P F2 P | = k.
Ou seja,
pertence hiprbole.
A1
A2 .
O segmento
A1 A2
ser chamado de
Observa-se que o comprimento do eixo transverso da hiprbole pode ser considerado como um dos parmetros para determinao desta curva. pertencem hiprbole, pela denio 6.1 tem-se que: De fato, como
A1
A2
|A1 F1 A1 F2 | = 2a
onde
ou
|A1 F2 A1 F1 | = 2a
Por outro lado, os pares
(6.5)
2a
F1 F2 .
A1 , A2
F1 ,
F2
Assim,
A1 O = A2 O
como,
F1 O = F2 O
(6.6)
|A1 F2 A2 F2 | = 2a.
Portanto,
O eixo transverso determinado pelos vrtices da hiprbole tem comprimento igual a constante 2a.
A1 A2 = 2a.
Um Tratamento Geomtrico
Denote o comprimento do segmento focal
81
F1 F2
por
2c.
pode ser tambm considerada um outro parmetro para determinao dos pontos de uma hiprbole, pois para todo ponto
|P F1 P F2 | = k ,
valores de
com
k < F1 F 2 .
c.
q a reta perpendicular ao eixo transverso e que passa pelo vrtice A2 . Considere a circunferncia de centro O e raio c. Denote por B e B as intersees da circunferncia com a reta q . Chame de b o comprimento do segmento A2 B . Como OB = c e OA2 = a, ento pelo Teorema de Pitgoras aplicado ao tringulo OA2 B tem-se que:
Seja
c 2 = a2 + b 2 .
Denote por mediatriz
B1
B2
as projees ortogonais de
B,
respectivamente, sobre a
O segmento bole.
B1 B2
de comprimento
2b
ser chamado de
82
Hiprbole
Vrios textos que tratam deste assunto adotam o termo
Observao 6.1.
eixo real
Centro: O Focos: F1 e F2 Segmento focal: F1 F2 Distncia focal: 2c Vrtices: A1 e A2 Eixo transverso: A1 A2 = 2a Eixo conjugado: B1 B 2 = 2b
Figura 6.11: Elementos da hiprbole.
F1
F2
F1
F2 ; F1 F2 ; F1
e raio
na semi-reta
F1 F2
pertencente ao segmento
F1 A.
F1
F2 D
e chame de
a interseo da mediatriz
com a reta
D. F1
e
F2
Um Tratamento Geomtrico
83
Demonstrao. Seja
tal que
se encontra no prolonga-
t mediatriz do segmento F2 D e que P pertence a t, logo, pela propriedade da mediatriz de um segmento, P F2 = P D . Por outro lado, observa-se que F1 P = F1 D+P D = F1 D+P F 2 . Segue que F1 P P F 2 = F1 D . Tem-se que F1 D o raio da circunferncia de medida 2a , logo, P F1 P F2 constante e igual a 2a. Portanto P pertence a hiprbole de focos F1 e F2 . Para P no prolongamento esquerda de F1 D a demonstrao anloga.
mento direita do segmento Tem-se que Para obter os demais pontos diferentes posies de
F1 D .
sobre a circunferncia.
percorrer toda a
circunferncia de maneira dinmica, o lugar geomtrico determinado pelos pontos ser uma hiprbole de focos retas
F1
F2
direita de
F1 D
F1 D
84
Hiprbole
Veja a construo A.2.2.1 no Apndice. Veja a construo A.2.2.2 no Apndice. Veja a construo A.2.2.3 no Apndice.
F1
F2
os focos da hiprbole e
F1 F2 ,
sabe-se que
|P F1 P F2 | = 2a.
regies, a saber: 1.
satisfaz
|P F 1 P F 2 | < 2a
satisfaz
2.
P F2 P F1 >
3.
satisfaz
P F1 P F2 >
Denio 6.2.
Uma reta
se, e
somente se, nenhum ponto desta reta menos o ponto minada por este ramo, ou seja, a reta regio no focal da hiprbole.
P,
menos o ponto
F1 D ,
ou seja, no ramo
h2
da
F2 ,
Um Tratamento Geomtrico
85
t.
Propriedade 6.3.
P.
A mediatriz
do segmento
F2 D
qualquer da reta
distinto de
P.
um ponto do ramo
h2
comum a reta
t.
t distinto de P conforme mostra a gura 6.16. diatriz do segmento F2 D , ento, QF 2 = QD . P um ponto da hiprbole, ou seja, |P F 1 P F 2 | = F1 D. Observa-se ainda pela gura 6.16 que para qualquer ponto Q sobre t distinto de P tem-se um tringulo QDF1 . Segue da desigualdade triangular, aplicada ao QDF1 , que QD < QF 1 + F1 D
tambm, ou
QD F1 D < QF 1
(6.7)
QF 1 < QD + F1 D.
Das equaes (6.7) e (6.8), tem-se
(6.8)
QD F1 D < QF 1 < QD + F1 D.
86
Hiprbole
QD
membro a membro segue que
Subtraindo
F1 D < QF 1 QD < F1 D
ou
QD = QF 2
F1 D = 2a,
ento
|QF 1 QF 2 | < 2a
para todo
distinto de
P.
Portanto,
menos o ponto
tangente a ramo
h2
da hiprbole em
P.
Propriedade 6.4.
F1 P F2 .
A reta
bissetriz do ngulo
tangente hiprbole.
Demonstrao. No tringulo
DP = P F 2 pois P pertence mediatriz do segmento DF2 . Assim, o tringulo DP F2 issceles, e pela construo da gura 6.17 o segmento P B a altura desse tringulo em relao a base DF2 . Utilizando a propriedade da altura de um tringulo issceles tem-se que P B bissetriz do ngulo DP F2 = F1 P F2 . Como a reta t contm o segmento P B implica que t bissetriz do ngulo F1 P F2 .
tem-se que Veja a construo A.2.2.4 no Apndice.
DP F2 ,
Um Tratamento Analtico
87
F1
F2
F1 = (c, 0)
H obtida xando-se o sistema de coordenadas F2 = (c, 0) esto sobre o eixo Ox. Pela denio 6.3
X de coordenadas (x, y) pertence hiprbole se, e somente se, d(X, F1 ) d(X, F2 ) = 2a. Logo d(X, F1 ) = 2a + d(X, F2 ), vigorando o sinal + se X estiver mais prximo de F2 . Assim,
o ponto
(x + c)2 + y 2 =
(x c)2 + y 2 2a,
(6.9)
(x c)2 + y 2 ,
(6.10)
xc a2 = a (x c)2 + y 2 ,
Elevando novamente ao quadrado
(6.11)
c2 x2 2a2 cx + a4 = a2 x2 2a2 cx + a2 c2 + a2 y 2 .
(6.12)
88
Hiprbole
Resultando,
(6.13)
c 2 a2 = b 2
x2 y 2 2 = 1. a2 b
(6.14)
Observa-se que a equao (6.14) foi obtida da (6.9) eliminando duas vezes os radicais. Ento, para garantir que (6.14) a equao da hiprbole para o sistema considerado, importante mostrar que partindo-se dela chega-se a (6.9). Suponha que um ponto arbitrrio
Efetuando os clculos
anteriores na ordem inversa obtm-se primeiro a igualdade (6.13) e depois, a igualdade (6.12) que pode ser escrita da seguinte forma:
xc a2 = a (x c)2 + y 2 ,
Se o ponto cartesiano
(6.15)
X = (x, y) estiver situado no segundo ou terceiro quadrante do plano ento x ser menor que zero e o primeiro membro da igualdade (6.15) ser
negativo. Neste caso, o segundo membro da igualdade pode ser considerado com sinal negativo. Se o ponto cartesiano
a.
Como
c>a>0
ento
cx > a
membro deve ser tomado com o sinal positivo. Portanto, mantm-se o sinal mais ou menos aps a igualdade. Efetuando as operaes necessrias, obtm-se a igualdade (6.10) de (6.11). igualdade pode ser escrita da seguinte forma: Esta
(x + c)2 + y 2 =
(x c)2 + y 2 2a ,
(6.16)
Para decidir-se sobre o sinal da expresso dentro do mdulo ser feito a seguinte anlise: (1) Se o ponto
X = (x, y) 2 + y 2 + 2a (x c)
x > 0,
ento
(x + c)2 + y 2 =
(2) Se o ponto
X = (x, y) estiver situado no semiplano x < 0, ento (x + c)2 + y 2 = (x c)2 + y 2 2a . Neste caso, o nmero x negativo e o valor absoluto da diferena x c igual a soma |x| + c. Pela equao (6.14) se tem |x| a. Alm
Um Tratamento Analtico
disso,
89
c > a.
Consequentemente
4a2 .
Assim,
(x c)2 > 4a2 . A soma (x c)2 + y 2 tambm (x c)2 + y 2 ser maior que 2a e a expresso entre
X = (x, y)
a igualdade (6.16) se
(x + c)2 + y 2 =
(x c)2 + y 2 2a
que a equao (6.9). Portanto, a equao (6.9) pode ser deduzida de (6.14), ou seja, todo ponto
Nenhum ponto
X = (x, y) de H interior a faixa vertical caracterizada a < x < a. De fato, se X = (x, y) satisfaz a equao (6.14), ento, x2 a2 . Consequentemente, a interseo da hiprbole com a mediatriz do segmento focal Oy vazia. Para a ordenada de X , porm no h restries. Qualquer que seja o valor atribuido a y , existe um x R tal que (x, y) satisfaz (6.14). (x, y) uma soluo qualquer da equao (6.14), ento (x, y), (x, y) e (x, y) tambm sero, pois em tal equao todos os expoentes so pares. Logo, a hiprbole simtrica em relao reta focal Ox, mediatriz do segmento focal Oy e ao centro O.
Se de
(x, 0) satisfaz (6.14) se, e somente se, x = a ou x = a. Por isso, a interseo H com a reta focal Ox constituda dos pontos A1 = (a, 0) e A2 = (a, 0)
O retngulo caracterizado pelas desigualdades de
a e b
b, chamado
assntotas da hiprbole.
H
b r2 : y = x, a H
e assntotas
r1
r2
a partir O
posicionamento da assntota
H pode ser esclarecido da seguinte maneira: para todo ponto de abscissa x maior do que a, sejam H e R, respectivamente, os pontos da hiprbole e e da reta assntota r2 respectivamente. Dessa forma, pode-se escrever H = (x, b x2 a2 /a) e R = (x, bx/a). Observa-se que as ordenadas destes dois pontos se relacionam na forma bx/a > b x2 a2 /a. A partir desta relao pode r2
em relao curva
90
Hiprbole
H no primeiro Devido s simetrias de H e r2 , pode-se armar que r2 H = . Alm disso, d(H, R) diminui medida que x cresce no intervalo [a, +[, pois H
est abaixo de
r2
no intercepta
d(H, R) =
b 2 b b x x a2 = (x x2 a2 ) a a a b (x + x2 a2 ) b a2 = (x x2 a2 ) = a a (x + x2 a2 ) (x + x2 a2 )
lim d(H, R) = 0. r1
anlogo. Utilizando estes fatos, pode-se fazer, a mo livre,
O comportamento de
OA2 B1 ,
c =a +b
Um Tratamento Analtico
91
em um nico ponto.
A reta
contm um ponto
do ramo
r2 ,
Denio 6.4.
(a)
Seja
uma reta e
(b) Se
H,
em
em
P1 ,
P1
e perpendicular a
chama-se
reta normal a
P1 .
t, tangente hiprbole H de equao (6.14), conhecendo um ponto de tangncia P1 = (x1 , y1 ), ser descrito a seguir.
O procedimento para obter uma equao da reta (1) O ponto Como
P1 = (x1 , y1 )
pertencente a
x,
ou seja,
y1 = 0.
P1 = (x1 , 0) pertence hiprbole H conclui-se que x1 = a ou x1 = a. Assim, a reta r tangente a H no ponto P1 = (x1 , 0) denida como a reta perpendicular ao eixo x, ou seja, de equao r : x = a
ou
(2) O ponto Sejam
r:
x = a. H
com
P1 = (x1 , y1 )
e
y1 = 0.
P2 = (x2 , y2 ) dois pontos pertencentes a um dos ramos de e y1 = y2 . Seja s a reta secante determinadas por P1 e P2 . Assim, a inclinao ms da reta s pode ser obtida a partir das coordenadas de P1 e P2 . De fato, P1 = (x1 , y1 ) e P2 = (x2 , y2 ) pertencem a H, ou seja,
2 x2 y 1 1 2 =1 a2 b
(6.17)
92
Hiprbole
e
2 x2 y 2 2 2 =1 a2 b
(6.18)
2 2 (x2 x2 ) (y2 y1 ) 2 1 =0 a2 b2
ou
Simplicando encontra-se
ms =
Seja 2.4,
b2 (x2 + x1 ) a2 (y2 + y1 ) P1 .
Logo, pela denio
mt
mt =
Substituindo o valor de
lim
(x2 ,y2 )(x1 ,y1 )
ms
ms
(6.19)
P1
pode ser
y y1 =
ou
b2 x 1 (x x1 ) a2 y 1
2 a2 y1 y a2 y1 = b2 x1 x b2 x2 1
Como
2 b 2 x 2 a2 y 1 = a2 b 2 , 1
pode se escrever
b 2 x 1 x a2 y 1 y = a2 b 2
ou
x1 x y 1 y 2 =1 a2 b
Assim, partindo-se da inclinao da reta tangente hiprbole no ponto
(x1 , y1 ),
mn
da reta normal
neste ponto
dada por :a
y1 x + b2 x1 y = (a2 + b2 )x1 y1 .
P1 = a2 y1 2 . b x1
Um Tratamento Analtico
93
P F1
P F2 ponto P
e
os segmentos bissetriz do
F1 P F2 .
2 2 Demonstrao. Ser considerado a equao da hiprbole em sua forma cannica b x a2 y 2 = a2 b2 e um ponto P1 = (x1 , y1 ), com y1 = 0, pertencente ao ramo desta curva
situado no semiplano
x > 0.
P1 .
Seja por
e o segmento
P1 F 2
o ngulo
mostrar que
= .
Pela expresso (6.19) tem-se que inclinao da reta tangente hiprbole em P1 = b2 x 1 (x1 , y1 ) 2 . Pelo teorema 2.1 as inclinaes dos segmentos P1 F1 e P1 F2 so dadas a y1 y1 y1 por e , respectivamente. Ento, pelo teorema 2.4, resulta x1 + c x1 c
y1 b2 x 1 2 x1 c a y1 tg = y1 b2 x 1 1+ x1 c a2 y 1
Como o ponto
2 a2 y1 b2 x2 + b2 cx1 1 2 x y a2 cy + b2 x y a 1 1 1 1 1
P1
2 b2 x2 a2 y1 = a2 b2 . 1
Usando esta
relao e a igualdade
c =a +b
obtm-se
tg =
Analogamente tem-se,
b2 x 1 y1 2y a 1 x1 + c tg = b2 x 1 y1 1+ 2y a 1 x1 + c
94
Hiprbole
b2 (a2 + cx1 ) b2 (a2 + cx1 ) b2 = 2 = = c x1 y1 + a2 cy1 cy1 (cx1 + a2 ) cy1
Logo,
tg = tg
e portanto
= .
7 Parbola
7.1 Um Tratamento Geomtrico
Denio 7.1.
Fixados uma reta e um ponto no pertencente a ela denomina-se parbola o lugar geomtrico dos pontos que so equidistantes da reta e do ponto xados.
95
96
Parbola
Os pontos da curva obtida por essa construo pertencem a uma parbola, pois observa-se que para cada ponto
s.
Demonstrao. Sejam
passa pelo foco relao a pertence
a reta perpendicular a
e que
F.
Seja
o simtrico de
em
mediatriz do segmento
PP
. Como
FP = FP
(7.1)
Um Tratamento Geomtrico
Conforme mostra a gura 7.2, considere
97
a projeo ortogonal de
sobre a reta
projeo ortogonal de
PQ = P Q
Uma vez que
(7.2)
F P = P Q.
Desta
FP = P Q
Das equaes (7.1) e (7.3) obtm-se
(7.3)
FP = P Q .
Ou seja, dada.
equidistante da reta
e do foco
F.
Portanto,
pertence parbola
r s
e marque um ponto
F r
no pertencente a
r; D
qualquer de
perpendicular reta
r;
3. Trace o segmento
F D; t
do segmento
F D;
s. r
conforme a demonstrao abaixo.
e diretriz
98
Parbola
pertence reta
no
r dada pelo segmento P D. Tem-se ainda que P pertence a t mediatriz do segmento F D . Logo, pela propriedade da mediatriz, P F = P D. Assim, P equidistante do ponto F e da reta r. Portanto, pela denio 7.1, P pertence parbola de foco F e diretriz r .
Ento, a distncia de a reta Para obter os demais pontos diferentes posies de
D.
Um Tratamento Geomtrico
(1)
99
satisfaz a desigualdade
P F < P D.
(2)
P F > P D.
Denio 7.2.
seja, a reta
Uma reta
P,
menos o ponto
t,
mediatriz do segmento
F D,
tangente parbola no
P.
qualquer da reta
distinto de
P.
Demonstrao. Seja
outro ponto
t.
Considere um
qualquer distinto de
sobre a reta
t.
Como
mediatriz do segmento
100
Parbola
ento
D o ponto de interseo da reta diretriz r com a reta perpendicular que passa por Q. Ento, QD a distncia entre o ponto Q e a diretriz r. O tringulo QD D, reto em D e o lado QD oposto ao ngulo QD D. Ento QD > QD para qualquer ponto Q escolhido sobre a reta t. Das relaes, QF = QD e QD > QD , conclui-se que a distncia do ponto Q ao foco maior que a distncia do mesmo em relao diretriz r . Assim, Q pertence a regio no focal da parbola. Logo, pela denio 7.2, t tangente parbola em P .
Seja
F D,
QF = QD.
Propriedade 7.3.
da parbola.
A reta
qualquer forma
PF
e com a reta
e paralela ao eixo
tangente parbola.
t a reta tangente a parbola no ponto P e l a reta que passa por P paralela ao eixo da parbola. Seja D ponto de interseo da reta l com a diretriz d da parbola e B a interseo da reta t com o segmento F D . Sejam os pontos R e S sobre as reta l e t respectivamente conforme a gura7.7. Considere a medida o ngulo RP S e a medida do ngulo F P B . Pretende-se mostrar que = . De fato, no tringulo F P D, o vrtice P pertence mediatriz do segmento F D. Ento, F P = P D e o F P D issceles. Assim, a altura P B do tringulo F P D em relao ao vrtice P tambm bissetriz do ngulo F P D . Segue que o ngulo F P B congruente ao ngulo B P D, isto , B P D tem medida igual a . Como os ngulos B P D e RP S so opostos pelos vrtices, conclui-se que = .
Demonstrao. Seja
Veja a construo A.2.3.3 no Apndice.
uma reta e
r F = .
de coordenadas
Um Tratamento Analtico
equidistantes de
101
r,
tal que
parbola, onde
a distncia euclidiana.
P,
P,
F (p, 0)
e a diretriz
r : x = p.
X um ponto de coordenadas cartesianas (x, y). Pelo corolrio que d(X, r) = |x + p|. Sabe-se que d(X, F ) = (x p)2 + y 2 . Pela denio (7.3), X pertence parabola se, e somente se, |x + p| =
Seja Elevando ao quadrado obtm-se a igualdade
2.1 conclui-se
(x p)2 + y 2 .
|x + p|2 = (x p)2 + y 2
que por sua vez equivalente a obtm-se
x2 + 2px + p2 = x2 2px + p2 + y 2 .
Simplicando,
y 2 = 4px P.
(7.4)
formas para equao reduzida da parbola, dependendo de como o foco se situa em relao aos eixos coordenados. Se o sistema tem origem no vrtice eixo negativo das abscissas, ento
ao semi-
x = p.
102
Parbola
,
X = (x, y) pertence parbola se, e somente se, d2 (X, F ) = d2 (X, r), isto (x + p)2 + y 2 = |x p|2 . Desenvolvendo os quadrados e simplicando, obtm-se
Logo,
(7.5)
que outra equao reduzida da parbola. Esta equao resulta tambm da simples troca de Se
x2 = 4py
x2 = 4py
(7.6)
tambm designadas como equaes reduzidas da parbola. Os esboos correspondentes as equaes (7.5) e (7.6) so dadas pela gura 7.9.
Propriedade 7.4.
de
Se
(x, y)
0.
Propriedade 7.5.
O.
Ox,
Propriedade 7.6. O vrtice O o nico ponto de interseo da parbola com seu eixo
de simetria. De fato, da equao (7.4) quando Sejam
y=0
implica em
x = 0. V AB
as intersees de uma reta com a parbola tal que esta reta contenha
o foco e seja perpendicular ao seu eixo de simetria desta curva. O tringulo chamado de
conforme ilustra
Um Tratamento Analtico
103
em um nico ponto.
Embora a reta
s,
Denio 7.4.
(a)
Seja
uma reta e
uma parbola.
tangente a
tP
contm apenas um
ponto, (b) Se
P1 ,
tangente a
P,
em
P1 ,
P1
e perpendicular a
chama-se
reta normal a
em
P1 . t
tangente parbola
P : y2 =
4px
no ponto
P1 = (x1 , y1 ):
vrtice de
(1) O ponto
P1 = (x1 , y1 )
, ou seja,
y1 = 0.
104
Parbola
Como
P1 = (x1 , 0) pertence parbola P chega-se que x1 = 0. Assim, a reta t tangente a P no ponto P1 = (x1 , 0) uma reta perpendicular ao eixo x de equao r : x = 0 , ou seja, o prprio eixo Oy . P1 = (x1 , y1 )
pertence a
P,
isto , que
y1 = 0
P1 = (x1 , y1 ) e P2 = (x2 , y2 ) dois pontos pertencentes a P tais e y1 = y2 . Seja s a reta secante determinada por P1 e P2 . Assim, ms da reta s pode ser obtida a partir das coordenadas de P1 e P2 . P1 = (x1 , y1 ) e P2 = (x2 , y2 ) pertencem a P tem-se que
2 y1 = 4px1 2 y2 = 4px2
Subtraindo a equao (7.7) de (7.8) obtm-se
x1 = x2
a inclinao De fato, se
(7.7) (7.8)
2 2 y2 y1 = 4p(x2 x1 )
ou
4p y2 y1 = x2 x1 y2 + y1 ms = 4p y2 + y1 P1 .
Logo, pela denio
Seja 2.4,
mt
mt =
lim
(x2 ,y2 )(x1 ,y1 )
ms = t
y y1 =
ou
2p (x x1 ) y1
2 y1 y y1 = 2px 2px1 .
Como
2 y1 = 4px1
pode-se escrever
y1 y = 2p(x + x1 ) y1 2p
e sua equao
y1 x + 2py = x1 y1 + 2py1
Um Tratamento Analtico
105
P1 = (x1 , y1 )
normal parbola em
P1 .
y 2 = 4px
Sejam
a normal parbola
no ponto
P1 = (x1 , y1 ), r
tem-se que
P1 F , tal como mostra a gura 7.12. Considere o ngulo formado por n e o segmento P1 F e o ngulo formado por n e r . Pretende-se mostrar que = . Pela expresso (7.9) a inclinao da reta tangente parbola em P1 = 2p y1 (x1 , y1 ) . Logo, pelo teorema 2.3, a inclinao da reta n . y1 2p y1 Pelo teorema 2.1 inclinao do segmento P1 F . Assim, pelo teorema 2.4 x1 p
parbola, e o segmento
2 y1
tg =
(7.10)
106
Parbola
r
0,
resulta:
y1 2p tg = y1 1+0 2p 0
Portanto, de (7.10) e (7.11), conclui-se que
y1 . 2p
(7.11)
Denio 8.1.
e um ponto
no pertencente reta.
A elipse,
a hiprbole e a parbola podem ser denidas como o lugar geomtrico dos pontos cuja razo das distncias ao ponto
e a reta
cada curva. Esta constante ser chamada de excentricidade. A reta de diretriz e o ponto
Sejam
ser chamada
a reta diretriz,
o foco,
a distncia euclidiana e
um ponto qualquer
da curva. Ento, a interpretao geomtrica da denio 8.1 pode ser dada pela gura 8.1 onde
e1 , e2
e3 ,
parbola, respectivamente.
A seguir obtm-se a expresso analtica das cnicas partindo-se da denio 8.1. Considere o sistema de coordenadas cartesianas com a reta diretriz Considere
xOy ,
em que o eixo
Oy
coincida
com
F.
p>0
107
108
Seja
P = (x, y)
onde
d(P, F ) =
d(P, r) = |x|.
Reescrevendo a
(x 2p)2 + y 2 = e|x|
Elevando ao quadrado ambos os membros
(x 2p)2 + y 2 = e2 x2
Expandindo e simplicando
cada uma das trs cnicas ser analisado os valores da excentricidade seguintes casos:
e.
Divide-se nos
Caso e = 1
A equao (8.2) torna-se:
4px + y 2 + 4p2 = 0.
Isolando
e simplicando,
y 2 = 4p(x p)
Considerando a origem.
(8.3)
O = (p, 0) pode-se denir um outro sistema de coordenadas xO onde O y Fazendo a translao do sistema xOy para xO, pela denio 2.3, pode-se y
x=xp
y = y.
109
y 2 = 4p x
que a
Representao geomtrica:
xO e y
e = 1.
0 < e < 1,
ento
1 e2 > 0. x2
1 e2
obtm-se:
4p y2 4p2 x+ = . 1 e2 1 e2 1 e2
x2
Simplicando,
y2 4p2 e2 + = . 1 e2 (1 e2 )2 2pe 1 e2
2
tem-se,
4p2 e2 = (1 e2 )2
2
2p 1 e2 2 2pe 1 e2
y2 = 1, 4p2 e2 1 e2
110
2p x 1 e2 2 2pe 1 e2
Efetuando a translao para o sistema
y2 2pe 1 e2
2
= 1.
(8.4)
xO com y
origem
O=
2p ,0 1 e2
dada por
x = x 2p 1 e2 , y=y
denindo
a=
2pe 1 e2
b=
2pe 1 e2
x2 y 2 + 2 =1 2 a b
que a
(8.5)
xO y
e denindo
F = F1
r = r1 ,
tem-se:
Coordenadas do foco:
F1 = r1 :
2p x=
2p ,0 1 e2
2pe2 ,0 1 e2
= (ae, 0)
Equao da diretriz:
a 2p = 2 1e e
Representao geomtrica:
xO e y
0 < e < 1.
111
xO nota-se que F1 e r1 esto situados esquerda da origem O conforme y y mostra a gura 8.4. Considere agora os simtricos de F1 e r1 em relao ao eixo O, a ou seja, o ponto F2 = (ae, 0) e a reta r2 : x = . Ento, F2 e r2 so respectivamente, e
No sistema o outro foco e outra diretriz da elipse que satisfazem a equao (8.5).
De fato, seja
P = (, y ) um ponto qualquer da elipse com excentricidade e dada anteriormente. Se x F2 e r2 so respectivamente foco e diretriz desta elipse ento, a denio 8.1 satisfeita,
ou seja,
d(P, F2 ) =e d(P, r2 )
ou
d(P, F2 ) = ed(P, r2 ).
xO tem-se y a x . e
( ae)2 + y 2 = e x
Elevando ao quadrado ambos os membros
( ae)2 + y 2 = e2 x
Expandindo e simplicando tem-se que
a x e
(1 e2 )2 + y 2 = (1 e2 )a2 . x
Dividindo membro a membro por
(1 e2 )a2
y2 x2 + = 1. 2 a (1 e2 )a2
Contudo,
(1 e )a = (1 e )
2pe 1 e2
= b2 .
Conclui-se que
x2 y 2 + 2 =1 2 a b
Assim, a elipse uma cnica que possui dois focos e duas diretrizes conforme ilustra a gura 8.5.
112
2c
F1 F2 .
ento,
F1 = (ae, 0)
F2 = (ae, 0),
F1 F 2 = 2ae.
Segue que,
2c = 2ae
Ou seja, a excentricidade
ou
c e= . a c . a
Nota-se que esta razo
(a, 0)
Caso e > 1
Para
e > 1,
ento
e2 1 > 0.
e2 1
e invertendo o
x2 +
4p y2 4p2 x 2 = 2 . e2 1 e 1 e 1
x2 +
Simplicando,
x+
x+
2p e2 1 2 2pe e2 1
y2 = 1, 4p2 e2 e2 1
113
2p x+ 2 e 1 2 2pe e2 1
Efetuando a translao para o sistema
y2 2pe e2 1
origem
= 1.
(8.6)
xO de y
O=
e2
2p ,0 1
com
x = x + 2p e2 1 , y=y
denindo
a=
2pe e2 1
2pe b= , e2 1
x2 y 2 2 =1 2 a b
que a
(8.7)
F = F 1 e r = r1 xO tem-se: y
em que
F = (2p, 0)
r : x = 0,
Coordenadas do foco:
F1 = r1 :
2p +
2p ,0 21 e
2pe2 ,0 e2 1
= (ae, 0)
Equao da diretriz:
x=
e2
2p a = 1 e
Representao geomtrica:
xO e y
e > 1.
114
a gura o ponto
o outro foco e outra reta diretriz da hiprbole que satisfazem a equao (8.7). fato, seja
O conforme mostra 8.6. Considere agora os simtricos de F1 e r1 em relao ao eixo y , ou seja, a F2 = (ae, 0) e a reta r2 : x = . Ento, F2 e r2 so respectivamente, e
situados direita da origem De
xO nota-se que F1 e r1 y
P = (, y ) x
no sistema
xO y
considerado anteriormente. Se
F2
r2
d(P, F2 ) =e d(P, r2 )
ou
d(P, F2 ) = ed(P, r2 ).
xO tem-se y a . e
( + ae)2 + y 2 = e x + x
Elevando ao quadrado ambos os membros
( + ae)2 + y 2 = e2 x + x
e desenvolvendo os quadrados e simplicando tem-se
a e
(1 e2 )2 + y 2 = (1 e2 )a2 x
Dividindo membro a membro por
ou
(e2 1)a2
y2 x2 2 =1 a2 (e 1)a2
Como
2pe e2 1
= b2 ,
ento obtm-se
x2 y 2 2 =1 2 a b
Diz-se ento que a hiprbole uma cnica que possui dois focos e duas diretrizes conforme ilustra a gura 8.7.
Famlias de curvas
115
2c
F1 F2 .
ento,
F1 = (ae, 0)
F2 = (ae, 0),
F1 F 2 = 2ae.
Segue que,
2c = 2ae
ou
c e= , a c . a
um ponto no pertencente a
r.
r,
foco
e excentricidade
tais que:
d(P, F ) =e d(P, r)
onde
0 < e < 1,
e=1
e>1
116
1.
Para
a elipse e a hiprbole tem-se uma famlia de curvas, ou seja, para cada nmero real no intervalo
0<e<1
e>1
Observao 8.1.
O estudo da teoria das cnicas no espao tridimensional no ser No entanto, pode-se justicar o surgimento da reta diretriz
na denio 8.2 utilizando-se do trabalho do matemtico belga G.P. Dandelin (1794 1847), escrito em
1822.
Segundo a denio de Dandelin, dado um cone e um plano, no passando pelo vrtice, h sempre uma ou duas esferas tangentes simultaneamente ao cone e ao plano. A curva de interseo do plano com o cone uma cnica e o(s) ponto(s) de tangncia da(s) esfera(s) com o plano (so) o(s) foco(s) dessa cnica conforme ilustra a gura 8.9. A reta diretriz para cada cnica dada pela interseo do plano da cnica com o plano que contm
c1
ou
c2 ,
onde
c1
c2
Famlias de curvas
117
(a)
(b)
(c)
Figura 8.9: Esferas de Dandelin e as cnicas
118
a maior que b e isso pode ser b que designado por centralidade da elipse . Esta razo medido pelo quociente a b pertence ao intervalo ]0, 1[ pois 0 < b < a. Assim quanto mais prximo estiver a de 1, mais o retngulo fundamental se aproximar de um quadrado e portanto mais b arredondada ser a elipse. Por outro lado, quanto mais prximo estiver de 0 mais a c , outro indicador da alongada ser a elipse. A excentricidade e, dada pela razo a 2 b c 2 b forma desta curva. Uma vez que ou + = 1 quando um dos valores a a a c se aproxima de 1 o outro se aproxima de 0. Em outras palavras, quanto maior a a
Para esta anlise o que importa quanto o parmetro excentricidade menor ser sua centralidade e vice-versa. Por isso, so mais alongadas as elipses para as quais
c a
c mais prximo de 1, e mais arredondadas aquelas para quais a de 0. Observe a gura 8.10.
Figura 8.10: Relao entre excentricidade e forma da elipse. Embora as elipses no sejam circunferncias, usando os conceitos vistos anteriormente aceitvel armar que uma circunferncia uma elipse de excentricidade nula, ou seja, tem-se
a=b
e = 0.
119
8.2.2 Hiprbole
As inclinaes das assntotas da hiprbole tem estreita ligao com o formato desta curva. Como as inclinaes so determinadas pelo nmero
b/a,
retngulo fundamental, ento o formato da hiprbole tambm depende de seu retngulo fundamental. Os valores de
b/a prximos de 1 indicam que este retngulo se assemelha a um quadrado; valores muito maiores que 1 ou muito prximos de 0 indicam que 2 2 2 ele mais alongado (alto e estreito, ou baixo e comprido). A relao c = a + b , 2 2 2 dividida membro a membro por a , fornece (c/a) = 1 + (b/a) . Pode-se utilizar o nmero e = c/a, ou seja, a excentricidade da hiprbole, como indicador da sua forma (note que e > 1, ao contrrio da excentricidade da elipse, que pertence ao intervalo ]0, 1[ ). Quando e um nmero muito prximo de 1, b/a muito prximo de 0,
indicando que a altura do retngulo fundamental muito menor que sua base. Os ramos da hiprbole so, portanto, mais fechados nas proximidades dos vrtices, e abrem-se lentamente medida que
|x|
ento
b/a
e
muito maior que a base. Neste caso, na vizinhana dos vrtices os ramos da hiprbole tendem para as retas medida que
x=a
x = a,
|x|
8.2.3 Parbola
Como toda parbola tem excentricidade igual a
so semelhantes. Para visualizar melhor essa propriedade pode-se analisar o tringulo fundamental associado a cada parbola gura 8.12. Se este for mais alongado, isto , se a parbola seria mais fechada. Se, ao
p fosse bem maior que o comprimento de AB , contrrio, AB tivesse comprimento bem maior
120
que
comprimento de de
AB
AB para todas as parbolas, 4p. Observa-se tambm que a medida B a mesma, qualquer que seja a parbola considerada. Portanto, os AV p.
a todo subconjunto
R de E E .
Uma relao
sobre um conjunto
so verdadeiras as sentenas:
yRz = xRz)
um conjunto no vazio com ento diz-se
Denio 8.5.
R
denotando-se
Seja
equivalncia sobre
Cnicas equivalentes
Seja
121
e>0
a excentricidade de cada
uma destas curvas. possvel denir uma relao entre os elementos de igualdade das excentricidades destes elementos. De fato, sejam
atravs da
a e b cnicas pertencentes ao conjunto C . Diz-se que a se relaciona com b pela relao R se a excentricidade de a for igual a excentricidade de b. Esta relao denotada por aRb. Analisando a relao R para a,b, c C tem-se que: i) aRa,
pois
a C , a
a. b,
ento a
. Se a excentricidade de
igual a excentricidade de
excentricidade de
igual a excentricidade de Se
a.
iii) aRb
bRc = aRc.
Exemplo 8.1.
2 2
Sejam
E1
E2
E1 :
E2 :
y x + = 1. 100 64
onde
y2 x2 + = 1 25 16
e =
c 2 = a2 b 2
c . a
Sabe-se que
so equivalentes. geometricamente
E1
E2
no plano cartesiano.
E1
E2
equivalentes possam ter expresses analticas diferente elas tm a mesma forma geomtrica. Isto signica que as cnicas equivalentes se identicam ou se sobrepem aps uma ampliao ou reduo de uma delas.
122
a,
mdulo
R,
o subconjunto
a E, a de E
tais que
xRa.
Em smbolos:
a = {x E| xRa}
Pela denio 8.6 pode-se dizer que uma classe de equivalncia no conjunto
das
cnicas um subconjunto formado por todas as cnicas que possuem a mesma excentricidade. Desta forma as classes pertencentes ao conjunto trs grandes subconjuntos:
i)
O conjunto de todas as classes de cnicas com excentricidade Os elementos destas classes so elipses.
ii)
e > 1.
Os elementos
iii)
e=
1.
Conclui-se que cada uma destas classes composta por cnicas com expresses analticas diferentes mas que possuem a mesma forma do ponto de vista geomtrico. Isto signica que o retngulo fundamental das elipses de uma mesma classe so proporcionais pois eles denem o valor da excentricidade. O mesmo acontece com as classes das hiprboles. Em relao as parbolas, o fato de todas pertencerem a uma nica classe implica que os tringulos fundamentais de todas estas curvas so proporcionais. Generalizando, pode-se dizer que todos os elementos de
possuem representaes geomtricas que se sobrepem quando rotacionadas, ampliadas ou reduzidas adequadamente.
Denio 8.7.
indicado por
E/R
e chamado de quociente de
por
R. C
mdulo
onde
relao dada pela igualdade das excentricidades das cnicas indicado por conjunto chamado de conjunto quociente de pode ser dada pela gura 8.14.
C/R.
Este
por
123
C/R.
Conforme apresentado no Captulo 3, sabe-se que uma cnica obtida geometricamente pela interseo de um plano com um cone duplo. Sabe-se tambm que a
determinao de cada uma das cnicas se d atravs da variao da inclinao deste plano. Desta forma, conclui-se que a excentricidade de uma cnica esta diretamente relacionada com a inclinao do plano que intersecta um cone duplo, uma vez que cada cnica est associada a um valor diferente de excentricidade. Alm disso, mantendose constante a inclinao do plano que determina uma seo cnica pode-se dar uma interpretao geomtrica de classes de equivalncia das cnicas. Uma classe de equivalncia obtida geometricamente quando xada a direo do vetor normal do plano que intersecta o cone. As diversas cnicas em uma mesma classe de equivalncia sero as intersees obtidas pelos planos paralelos ao plano que gerou o representante da classe de equivalncia.
Este sistema de grande utilidade na representao de lugares geomtricos pois simplica as equaes e estudo das curvas determinadas por estes lugares. Alm disto, as cnicas dadas em coordenadas polares so de extrema importncia para a aplicao em Mecnica Celeste no captulo subsequente.
O,
Ox
denominada eixo
124
OP de comprimento r denominado raio vetor. O ngulo determinado pelo eixo polar Ox e o segmento OP denominado ngulo polar. Ento, as coordenadas polares de P dada pelo par: raio vetor OP = r e o ngulo polar com representao P = (r, ). A reta perpendicular ao eixo polar passando pelo plo O denominada eixo ortogonal ou eixo Oy . O ngulo medido partindo-se do lado de origem determinado pelo eixo polar at o outro lado denominado lado extremidade de determinado por r . A coordenada polar ser positiva quando medida no sentido anti-horrio e negativa no sentido horrio. A coordenada linear r ser positiva quando coincidir com o lado extremidade de e negativa se estiver sobre o prolongamento de tal lado conforme
Seja um ponto qualquer no plano. O segmento de reta mostra a gura 8.16.
fcil ver que dado um par de coordenadas polares ponto no plano polar.
(r, )
determina-se um nico
(r, )
P (r, + 2n),
n Z.
biunvoca entre cada ponto e um par de nmeros reais mas esta correspondncia no biunvoca no sistema polar. Neste ltimo sistema um ponto pode ser representado por innitos pares de coordenadas polares. Entretanto, o uso de apenas um par de
125
coordenadas polares neste trabalho ser suciente para representar qualquer ponto no plano. Sendo assim, para um ponto
r no negativo e 0
< 360
principais de P .
coordenadas
Conforme mostra a gura 8.17, o plano de coordenadas polares determinado por uma srie de circunferncias concntricas e de retas concorrentes de forma que o centro destas circunferncias e a interseo destas retas dado pelo plo
O.
Os
raios das circunferncias so mltiplos inteiros do menor raio tomado como unidade de medida e os ngulos formado entre cada par de retas adjacentes so congruentes. Para exemplicar a representao de um ponto no plano de coordenadas polares observa-se na gura 8.17 o ponto
de coordenadas
P = 5,
126
Seja
(r, ).
Seja
AP
obtm-se do tringulo
OAP
as seguintes relaes:
x = r cos
(8.8)
y = r sen x2 + y 2 = r 2 y . x
(8.9)
(8.10)
tg =
(8.11)
r=
x2 + y 2 y x2 + y 2 x x2 + y 2
(8.12)
sen =
(8.13)
cos =
(8.14)
y = arctg . x
e as relaes (8.12) e (8.15), as coordenadas cartesianas em polares. Como
(8.15)
pode ser
expresso por uma funo trigonomtrica, as relaes (8.10), (8.11), (8.13) e (8.14) so importantes para auxiliar a manipulao algbrica nesta situao.
127
d respectivamente o foco e a reta diretriz de uma cnica C qualquer posicionada no sistema cartesiano xOy de forma que d concida com o eixo y e F possua coordenadas cartesianas (q, 0) onde q > 0. Neste mesmo sistema xOy considere o eixo polar O x numa posio sobre o eixo x tal que o plo O se identique com o foco F conforme F
e ilustra a gura 8.19.
Seja Dena
P um ponto qualquer da cnica C onde as coordenadas polares de P so (r, ). OF = q . Considerem M e N as projees ortogonais de P sobre d e O x F M = r cos .
Pela denio 8.1 tem-se que:
FP =e PN
onde
(8.16)
a excentricidade da cnica.
FP = r
P N = OF + F M = q + r cos .
r = e, q + r cos
onde isolando o valor de
conclui-se que
r=
que a
eq , ( = 2k, k Z 1 e cos
para
e = 1)
(8.17)
128
r r e cos = eq
Considere o sistema de coordenadas cartesianas conforme mostra a gura 8.20.
(8.18)
xO y
tal que
O=O =F
x=x
No sistema
xO tem-se y
que
r=
x2 + y 2
x = r cos ,
x2 + y 2 xe = eq
Efetuando a translao para o sistema
ou
x2 + y 2 = e( + q). x
em que
(8.19)
xOy
x=x+q y = y,
a expresso (8.19) torna-se
(x q)2 + y 2 = ex,
e elevando ambos os membros ao quadrado
(x q)2 + y 2 = e2 x2 .
Desenvolvendo o quadrado e simplicando
(1 e2 )x2 2qx + y 2 + q 2 = 0.
Denindo
q = 2p
obtm-se
129
Conclui-se que as equaes (8.17) e (8.2) so equivalentes. Portanto, a partir da equao (8.17) obtm-se uma elipse para para
0 < e < 1,
parbola para
e=1
e hiprbole
e > 1. F
com coordenadas cartesicoincidindo com a origem anloga ao procedimento
(q, 0), q > 0 no sistema xOy . Considere o foco e o plo sistema xOy e eixo polar sobre o eixo Ox. De maneira
usado para determinar a equao 8.17, pode-se obter outras formas da equao polar para as cnicas considerando os seguintes casos:
1)
Obtm-se a equao
r=
eq , 1 e cos
onde o sinal positivo ou negativo deve ser usado conforme a diretriz se encontre direita ou esquerda do foco, respectivamente.
130
2)
Obtm-se a equao
r=
eq , 1 e sen
onde o sinal positivo ou negativo deve ser usado conforme a diretriz se encontre acima ou abaixo do eixo polar, respectivamente.
131
(a)
(b)
(c)
Pelas propriedades da reta tangente a uma cnica j apresentada em captulos anteriores deste trabalho, tem-se os seguintes resultados: 1. A reta tangente elipse num ponto que unem
a). P
forma ngulos iguais com os segmentos
b).
133
134
ao foco
(a)
(b)
Figura 9.2: Propriedade da reta tangente.
(c)
Pelas
i) O raio incidente
e o raio reetido
Rr r
so coplanares; .
Pelos resultados da reta tangente a uma cnica e pelas leis da reexo, pode-se enunciar as propriedades pticas das superfcies de revoluo ilustradas na gura 9.1. Estas propriedades so:
Proposio 9.1.
todos seus raios reetidos sero paralelos ao eixo de simetria. Se os raios chegarem a superfcie deste espelho paralelamente ao eixo de simetria sero reetidos para o foco.
Propriedades de reexo
135
Proposio 9.2. Se fonte de luz estiver situada em um dos focos de um espelho elptico
todos os raios reetidos por este espelho se concentraro no outro foco.
Proposio 9.3.
136
3.500o C
e, neste ponto,
usada para gerar eletricidade, derretimento de ao, fazer combustvel de hidrognio, ou nanomateriais. O maior forno solar do mundo est em Odeillo nos Pirinus Orientais, na Frana, inaugurado em 1970. Veja a gura 9.7 .
O espelho parablico tambm usado em certos telescpios para reetir os raios de luz emitidos pelos corpos celestes a um outro espelho ou a uma lente. Por exemplo, o telescpio Hale, do observatrio no Monte Palomar na Califrnia que possui o maior espelho cncavo do mundo. Os espelhos cncavos de qualquer telescpio so parablicos, pois apresentam nitidez muito maior nas imagens de objetos distantes em relao aos espelhos cncavos esfricos. Pode-se citar tambm os reetores parablicos dos
holofotes, faris de automveis e de motocicletas, onde a luz segue o caminho inverso, isto , o feixe divergente que sai do foco torna-se paralelo aps ser reetido permitindo uma maior iluminao de objetos distantes. O comportamento de uma onda de rdio em uma antena receptora parablica anlogo ao comportamento da luz no espelho com este mesmo formato. Isto , se estas ondas encontrarem a antena numa direo paralela ao seu eixo de simetria, reetir na direo do aparelho que se encontra no foco desta antena.
137
possui uma lmpada situada no foco mais prximo da superfcie do espelho de onde os raios luminosos so emitidos em direo ao outro foco situado no local onde ir atuar o dentista. A litotripsia extracorprea por ondas de choque o procedimento mais frequentemente usado para tratamento de clculo renal. Neste procedimento, as ondas de choque criadas fora do corpo viajam atravs da pele e tecidos at encontrarem os clculos mais densos, pulverizando-os. O litotriptor possui um espelho elptico que concentra os raios emitidos num determinado ponto com grande preciso. Veja gura 9.9.
138
da hiprbole. Essa construo foi proposta por Cassegrain em 1672 e vrias montagens deste tipo so usadas no telescpio de Hale citado anteriormente.
1.
Bilhar elptico
O bilhar elptico possui uma nica tabela no formato de uma elipse com um buraco num dos focos conforme ilustra a gura 9.11. Uma bola colocada no
segundo foco ao ser atirada em qualquer direo do bilhar dever cair no buraco. O mesmo acontecer com a bola se ela for colocada em qualquer outra posio do bilhar e atirada em direo ao segundo foco.
139
Bilhar parablico
O bilhar parablico tem uma das tabelas formada por um arco de parbola com um buraco no foco. Uma bola atirada paralelamente s tabelas laterais (isto , na direo do eixo da parbola) dever cair no buraco.
3.
Bilhar hiperblico
O bilhar hiperblico tem uma tabela na forma de um ramo de hiprbole com o outro ramo desta curva desenhado conforme ilustra a gura 9.13. O foco correspondente hiprbole-tabela est desenhado na parte superior e no foco correspondente ao ramo desenhado h um buraco. foco desenhado dever cair no buraco. Uma bola atirada em direo ao
ou trajetria da partcula cuja soluo representa uma elipse, hiprbole ou parbola dependendo da energia mecnica desta partcula. importante ressaltar que as Leis de Kepler para o movimento planetrio possibilitou a formulao da Lei da Gravitao Universal descoberta por Newton, conforme o relato histrico a seguir. No entanto, neste captulo ser apresentada a teoria sobre o movimento dos corpos celestes em ordem cronolgica inversa, ou seja, partindo-se da fora gravitacional de Newton obtm-se a trajetria destes corpos.
modelo aos fatos observados, os gregos tiveram que lanar mo de um grande nmero
141
142
grego muito complicado e, durante muitos anos, vrias tentativas foram feitas para se conseguir um modelo mais simples. Nas tentativas de simplicao do modelo grego, aquela que obteve maior xito foi a teoria geocntrica do astrnomo Ptolomeu, que viveu na Alexandria, no sculo II a.C. Ptolomeu sups que os planetas moviam-se em crculos, cujos centros giravam em torno da Terra. Com isto, alm de apresentar um modelo mais simples do que os gregos ele conseguiu um melhor ajustamento aos movimentos observados no cu. Em virtude da razovel preciso das previses feitas com o sistema de Ptolomeu e de sua teoria geocntrica que se adaptava muito bem losoa religiosa da Idade Mdia, suas idias perduraram durante praticamente treze sculos. O astrnomo polons, Nicolau Coprnico (1473-1543), apresentou um modelo mais simples, onde o sol estaria em repouso e os planetas, inclusive a Terra giravam em torno dele em rbitas circulares (teoria heliocntrica). Com sua teoria, Coprnico conseguiu uma descrio dos movimentos dos corpos celestes to satisfatria quanto aquela obtida por Ptolomeu, com a vantagem de ser um modelo mais simples do que o geocntrico. Entretanto, um sistema em que o Sol era considerado imvel e a Terra passava a ser um planeta em movimento era fundamentalmente contra as convices religiosas na poca. O livro no qual Coprnico apresentava a sua teoria causou grandes polmicas e terminou sendo colocado na lista dos livros proibidos pela igreja. Galileu Galilei (1564 - 1642) introduziu o mtodo experimental para o estudo dos fenmenos fsicos, e alm de seus trabalhos no campo da Mecnica, tambm deu enorme contribuio para o desenvolvimento da Astronomia. Ele construiu o primeiro telescpio para o uso em observaes astronmicas com as quais realizou uma srie de descobertas. Com isso, Galileu passou a defender e a divulgar a teoria de que a Terra, assim como os demais planetas, se movem em torno do Sol, como armava o astrnomo Coprnico em sua teoria heliocntrica. Estas idias foram apresentadas em sua obra
Dilogos Sobre os Dois Grandes Sistemas do Mundo publicada em 1632. A obra foi
condenada pela igreja e Galileu se viu obrigado a renegar suas idias atravs de uma consso, lida em voz alta perante o Santo Conselho da Igreja. Alguns anos depois, o astrnomo dinamarqus Tycho Brahe (1546-1601), comeou a desenvolver um importante trabalho no sentido de obter medidas mais precisas das posies dos corpos celestes. Em seu observatrio, muito bem equipado para a
poca, Tycho Brahe realizou, durante cerca de 20 anos, rigorosas observaes planetrias, vericando que o sistema de Coprnico no se adaptava satisfatoriamente a essas observaes. Os dados colhidos por Tycho Brahe, cuidadosamente tabelados, constituram a base do trabalho que foi desenvolvido, aps sua morte, por seu discpulo, o astrnomo alemo Johannes Kepler (1571-1630). Entusiasmado pela simplicidade do sistema de Coprnico, Kepler acreditava que seria possvel realizar alguma correo neste modelo,
143
de modo a torn-lo mais ajustado aos movimentos dos corpos celestes realmente observados. Desenvolveu seu trabalho analisando cuidadosamente, com grande habilidade matemtica, durante cerca de 17 anos, a grande quantidade de dados coletados por Tycho Brahe. O trabalho de Kepler foi coroado de xito, tendo conseguido descobrir as trs leis sobre o movimento dos planetas, que deram origem ao nascimento da Mecnica Celeste. Estas leis podem ser enunciadas da seguinte forma:
1.
Lei das rbitas elpticas - Os planetas que giram em torno do sol descrevem
uma rbita elptica da qual o Sol ocupa um dos focos.
2.
Lei das reas - O raio vetor do Sol at o planeta varre reas iguais em tempos
iguais.
3.
Lei harmnica
de um ano planetrio) proporcional ao cubo do comprimento do eixo maior da rbita elptica. Ou simplesmente, o perodo esto relacionados pela equao:
e o semi-eixo principal
a da rbita
T = Ca
onde
uma constante.
No dia de Natal de 1642, ano da morte de Galileu, nascia em uma pequena cidade da Inglaterra, Isaac Newton(1642-1727), o grande fsico e matemtico que formulou as leis bsicas da mecnica. Ao estruturar os princpios da Mecnica, Newton se baseou em estudos de grandes fsicos que o precederam. Em 1686, Newton apresentava pronta para ser impressa a
1a
Natural, onde foram publicadas as trs leis que recebem seu nome e que sero vistas
em detalhes na seo seguinte. Com o trabalho de Kepler, as leis bsicas dos movimentos dos planetas haviam sido descobertas e as bases da Mecnica Celeste estavam lanadas. Entretanto, o que Kepler fez foi descrever estes movimentos sem se preocupar com suas causas. Da, vem o grande passo do trabalho de Newton. Analisando o movimento da Lua em torno
da Terra, e baseando-se em suas leis do movimento e nos estudos de Kepler, Newton percebeu que deveria existir uma fora de atrao da Terra sobre a Lua, do mesmo modo que o Sol atrai os planetas. Com isto, Newton conseguiu determinar a expresso matemtica da fora de atrao entre o Sol e um planeta, justicando as leis de Kepler. A partir desse momento tornou-se possvel o clculo exato das rbitas e movimento da Lua e dos demais planetas, dos seus satlites e dos cometas.
144
exemplo, o movimento dos planetas e a de um corpo em queda livre. Esses princpios foram chamados de leis do movimento e so considerados como axiomas da Mecnica; 1.
Lei da Inrcia:
Uma partcula
movimento retilneo uniforme, a menos que seja compelida a mudar este estado por fora a ela aplicada, em outras palavras, se a fora resultante aplicada sobre a partcula nula, ento possvel encontrar referenciais nos quais esta partcula no tenha acelerao. 2.
Se
a fora aplicada em
m,
d (r) = r, dt
ento
d (p) , dt onde r posio da partcula em relao origem e p o momento linear sobre a partcula. Logo, pode-se dizer que a fora resultante F sobre uma partcula de d2 massa m est relacionada com sua acelerao (r) = r. dt2 F =
ou
d mr dt
F =
3.
Lei da Ao e Reao:
partcula foras
Se uma partcula
B,
e
ento
A exerce uma fora FAB sobre uma fora FBA sobre o corpo A, sendo que as
FAB
FBA
Em outras palavras, a cada ao corresponde uma reao igual em mesma direo e de sentido oposto. O estudo sobre a trajetria de um corpo celeste que ser apresentado neste captulo, baseia-se na anlise do sistema de interao entre duas partculas isoladas e nas equaes do movimento oriundas da
2a
m1 e m2 , tendo apenas O,
dada
a interao mtua entre elas, ou seja, no h foras externas aplicadas. A segunda lei de Newton aplicada a cada uma delas em relao a um referencial xo em por
m1 r1 = F12
onde
m2 r2 = F21 ,
a partcula
(10.1)
F12
2 sobre 3a
1 e F21
a fora exercida
pela partcula
sobre a partcula
2.
membro, e considerando
F12 = F21
pela
m1 r1 + m2 r2 = F12 + F21 = 0
145
d (m1 r1 + m2 r2 ) = 0 dt
Portanto,
m1 r1 + m2 r2
constante, ou seja,
p1 + p2 = constante
(10.2)
Em outras palavras, a equao (10.2) mostra que a soma da quantidade de movimento de duas partculas conservada durante o movimento de ambas quando existe apenas a interao mtua entre elas. Observa-se que a quantidade de movimento de uma
partcula pode ser imaginada como a medida da diculdade de levar esta partcula at o repouso, ou seja, quanto maior a quantidade de movimento mais difcil ser faz-la parar. Como as Leis de Newton so denidas apenas para partculas, deve-se considerar o movimento de um corpo ou de um sistema como se fosse o movimento do seu centro de massa, ou seja, de um ponto que se move como se toda a massa do corpo ou sistema estivesse concentrada nele. Considere a posio respectivamente por
do centro de massa
CM
e a posio relativa
denidas
R=
m1 r1 + m2 r2 m1 + m2
(10.3) (10.4)
r = r1 r2
Derivando (10.3) em relao ao tempo, obtm-se,
(m1 + m2 )R = m1 r1 + m2 r2 = p1 + p2 m2 )R,
Denindo a quantidade de movimento do centro de massa esta equao escrita como
CM
como
P = (m1 +
P = p1 + p2
(10.5)
146
massa ou est executando um movimento retilneo uniforme ou est em repouso em relao a um referencial externo xo em
O. m1
da
Voltando a equao (10.1): subtraindo a segunda equao multiplicada por primeira multiplicada por
m2 ,
obtm-se:
(10.6)
F21 = F12 ,
(10.7)
F = F12 ,
m1 m2 m1 + m2
r = F
(10.8)
Esta equao descreve o movimento relativo das duas partculas sob interao mtua e pode ser interpretada como o movimento de uma partcula nica de massa sujeita a uma fora
Observao 10.1.
(sem atuao de outras foras alm da interao mtua) foram decompostas em duas:
1. Na equao (10.5) o movimento do centro de massa se comporta como se fosse o de uma nica partcula concentrado nele, de massa movimento uniforme ou em repouso em relao a
m1 + m2 ,
executando um
O.
2. Na equao (10.8) que descreve o movimento de uma das partculas em relao a outra como se fosse uma nica partcula de massa mtua
F. F
dirigida ao longo da reta que une as duas partculas.
Em muitos casos, a intensidade dessa fora depende apenas da distncia entre as duas partculas e sempre tem a direo do raio vetor que pode ser expressa por
r.
r F = f (r) r
r r = f (r) , r
r = |r|
147
Em alguns casos a massa de uma das partculas muito maior do que a da outra. Quando isto acontece, o centro de massa est praticamente sobre a partcula de maior massa, por exemplo, o sistema Sol e planeta. Se supor que a massa reduzida
m2
m1 ,
m1 .
Neste captulo ser considerado que uma das partculas tem massa muito maior que a outra. Assim, a massa reduzida coincidir com a massa menor e o centro de fora estar na partcula de maior massa em repouso na origem do referencial.
m1
m2
tal
esteja em
m1 .
m1 .
Seja
partcula de massa
m2 ,
m2 .
Observa-se que:
a) F b)
sempre dirigida de
m2
para a origem
O mdulo de
de
m2
O.
ou
fora.
e
Logo,
r1 =
Alm disso,
r r
r F = f (r)r1 = f (r) r
fora central
campo de
onde
r = |r|
r.
a) b)
Se Se
para para
m. O. Kr . r2 r
Exemplo 10.1.
F =
Trata-se da
148
muito maior que a outra, como no caso do Sol interagindo gravitacionalmente com os planetas do seu sistema. Nesse caso, a partcula que tem a maior massa que a outra pode ser considerada xa na origem do referencial e ser o centro dessa fora.
de massa
e momento linear
(ou quantidade de
r, relativa origem em um dado referencial inercial. O momento angular L da partcula P , em relao a origem denido pelo produto vetorial entre r e p, ou seja L = r p = r (mv). Calculando a derivada de L tem-se
movimento linear), em uma posio que
d L = (r mv) = r mv + r mv. dt
Como
(10.9)
v=r
L = r mr + r mr.
Desde-se que
rr =0
e pela
2a
mr = F ,
ento
r L = r F = r f (r) r
e assim
L=0 L = 0,
conclui-se que
Do resultado
L = constante. L
tem uma
Portanto, no movimento de uma partcula sob a ao de uma fora central qualquer, a quantidade de movimento angular conservada. A constncia de consequncia imediata muito importante:
Teorema 10.1.
Se o momento angular
L. L
perpendicular a
L.
Como
Uma vez que a intensidade da fora central depende apenas da distncia entre seu centro e a partcula e sua trajetria est inteiramente contida num plano, o movimento pode ser descrito por meio do uso de coordenadas polares denidas neste plano como ser demonstrado a seguir.
149
L.
i, j ,k
vetores ortogonais
Ox, Oy
Oz ,
no espao.
Uma partcula
pode ser determinada se for conhecido o campo de foras que atua sobre ela. Observa-se que o movimento da partcula
de massa
em um campo de fora
central ocorre em um plano, conforme foi demonstrado na seo anterior. Para facilitar os clculos, e sem perda de generalidade, ser escolhido o plano Seja
Oxy .
t, r,
a extremidade do vetor descrever uma reta que passa pela origem e faz um ngulo com eixo
Ox.
curva
aponta na
150
direo
e sentido crescente de
r.
Mantendo
xo e variando
a extremidade do
r. Sendo assim, r pela denio de derivada parcial, o vetor tangente circunferncia r = constante que aponta no sentido crescente de . r r Sejam r1 e 1 os vetores unitrios de e respectivamente, ento r
vetor descrever agora uma circunferncia de centro na origem e raio
r r1 = r r r
Assim, sendo
r 1 = . r
r = xi + y j
tem-se que,
r = r cos i + r sen j.
Desta maneira,
(10.10)
r = cos i + sen j r
Logo,
r =1 r
ou
(10.11)
r = r sen i + r cos j
r =r
. Ento,
1 = sen i + cos j i j.
(10.12)
Portanto, (10.11) e (10.12) so os vetores unitrios polares em funo dos vetores unitrios cartesianos e
151
a)
r1 = r1 (r(t), (t))
tem-se que
1 = 1 (r(t), (t))
r1 = cos i + sen j ,
dr1 r1 dr r1 d r1 = = + dt r dt dt
No entanto, e
r1 = 1
1 = sen i + cos j ,
e ento,
1 = 0.r + (r1 ) b)
Velocidade
ou
1 = r1
Sabe-se da expresso do vetor unitrio que rando que a velocidade vetorial dada por
Conside-
v=
e pelo valor de
r1
no item
v = rr1 + r1 c)
Acelerao
(10.13)
152
a=
determinada no tem
b)
tem-se que
dv . dt
Substituindo a expresso
a= r1
Substituindo
a)
obtm-se,
a = rr1 + r1 + r1 + r1 + r(r1 ).
Simplicando, tem-se
a = rr1 + 2r1 + r1 r2 r1 .
Portanto, a acelerao vetorial dada por
a = ( r2 )r1 + (r + 2r)1 = ar r1 + an 1 r
onde
ar = ( r2 ) r
acelerao radial e
an = (r + 2r)
acelerao normal.
L = r mv ,
substituindo
L = mr2 (r1 1 )
sendo
ou
L = mr2 n L
e normal ao plano denido pelos
paralelo a
a magnitude de
dada por
L = mr2
(10.14)
A expresso do momento angular em coordenadas polares tem aplicao na determinao da rbita de uma partcula que ser dada na seo 10.7.
153
m( r2 ) = f (r) r
e
(10.15)
m(r + 2r) = 0.
(10.16)
de massa
F (X)
F:
R3 X
R3 F (X)
Como
um campo vetorial,
F (x0 + h, y0 , z0 ) F (x0 , y0 , z0 ) F (x0 , y0 , z0 ) = lim h0 x h F F (x0 , y0 + h, z0 ) F (x0 , y0 , z0 ) (x0 , y0 , z0 ) = lim h0 y h F F (x0 , y0 , z0 + h) F (x0 , y0 , z0 ) (x0 , y0 , z0 ) = lim h0 z h
quando existem, denominam-se derivadas parciais de a
no ponto
(x0 , y0 , z0 ), em relao
x, y
respectivamente.
154
aberto.
Seja
uma curva em
A integral de linha de
ao longo
denida como
F dr =
C b
F ((t)). (t)dt.
uma partcula
sob a ao deste campo deslocando ao longo de um caminho 10.6. No instante inicial est no ponto
sendo
em um campo de fora.
O trabalho de fora
A para B
sob a ao do campo
denido por
W =
C
F dr.
m t2
de um campo de fora
deslocando-se da posio
r1
at
r2
nos tempos
t1
e
t2
respecO
tivamente. As velocidades em
t1
sero, respectivamente,
dr1 v1 = dt
dr2 v2 = . dt
t2
W =
C
F dr =
t1
dr dt dt
155
t2
W =
t1
Logo,
dv .vdt, dt
sendo
t2
W =m
t1
Desde que
g(x)
t2
= m
Como forma,
2 vx (t2 )
2 vy (t2 )
t1 2 vz (t2 )
v(t)
m v(t2 ) W = 2
A expresso
m v(t1 ) 2
2
(10.17)
T =
m v(t) 2
2
denominada energia cintica de uma partcula. Logo,
pela equao (10.17) conclui-se que o trabalho total realizado pela fora partcula para desloc-la de
sobre a
r1
r2
10.6.5
Seja funo
Energia Potencial
um campo potencial se existir uma
(10.18)
sendo
V = F
V V V , , x y z
o gradiente da funo
V.
A funo
denominada
potencial de
ou energia potencial.
e energia potencial
E V
igual a soma
num campo
V,
156
Considerando o produto
d2 x F =m 2 = V dt dx escalar de em ambos dt m
(10.19)
dx d2 x dx = V. . 2 dt dt dt
Segue que,
dx1 (t) d2 x1 (t) dx2 (t) d2 x2 (t) dx3 (t) d2 x3 (t) = + + dt dt2 dt dt2 dt dt2 V dx1 (t) V dx2 (t) V dx3 (t) + + x dt y dt z dt t1
a
t2 ,
tem-se:
t2
m
t1
dx1 (t) d2 x1 (t) dx2 (t) d2 x2 (t) dx3 (t) d2 x3 (t) + + dt dt2 dt dt2 dt dt2
t2
t1
Como
+c
2
segue que,
d dt x
2
dx1 dt
dx2 + dt
dx3 + dt
t2
dt =
t1
d V (x(t))dt dt
Considerando que
= x2 + x2 + x2 1 2 3
2
m 2
Logo,
v(t2 )
v(t1 )
(10.20)
E(t2 ) = E(t1 )
O signicado da equao (10.18) pode ser dado atravs do clculo de da mudana da posio da partcula.
em funo
W = T ,
sendo
157
r1
da trajetria a um ponto
r2 .
W = T = V
r2
V =
r1
em que
F dr
da
V a variao da energia potencial do sistema quando a partcula se move posio r1 a r2 e F (r) = F (x, y, z).
r = f ()
e em
em um campo de
fora central dado pelas equaes (10.15) e (10.16). Da equao(10.16) tem-se que
r + 2r = 0.
Multiplicando ambos os membros por
r2 + 2rr = 0
como
2 d 2 dr = r2 + 2rr, (r ) = r2 + dt dt
tem-se
d 2 (r ) = 0 dt
ento, Logo,
r2
L . m
(10.21)
em relao a
t,
tem-se
como
u = u()
ento
r=
Assim, por (10.21) tem-se
1 du d . u2 d dt du d L 2 u m
r=
1 u2
158
e simplicando
r=
Derivando novamente,
L m du d
du d
r=
dr d = dt dt
L du m d
L d m d r= 1 u
d L d d2 u L = = dt m dt d2 m
d2 u d2
tem-se que
r=
L L m mr2
d2 u d2
L2 u2 m2
d2 u d2 r= , 1 u
obtm-se
(10.22)
L2 u2 d2 u 1 m 2 m d2 u
Simplicando
Lu2 m
=f
1 u
Fatorando tem-se
L2 u2 d2 u L2 u3 =f m d2 m L2 u2 m d2 u +u d2 =f
1 u 1 u
que chamada de
(10.23)
equao diferencial da rbita ou trajetria de uma partcula sob ao de uma fora central qualquer.
A aplicao desta equao ser mostrada, na seo 10.7.3, para uma fora central atrativa cuja magnitude varia inversamente proporcional ao quadrado da distncia ao centro de fora.
r =
1 u
1 u
= Ku2 .
d2 u m mK + u = 2 2 (Ku2 ) = 2 2 d Lu L
159
equao diferencial da rbita de uma partcula sob ao de uma fora central atrativa cuja intensidade varia de forma inversamente proporcional ao quadrado da distncia ao centro de fora .
que a
d2 u mK +u= 2 2 d L
(10.24)
r = r()
P.
Resoluo:
A equao (10.24) uma equao diferencial ordinria de segunda ordem no homognea. Assim, tem soluo geral dada por:
u() = uH () + uP ()
onde
Obteno da soluo uH ()
Considere por
d2 u + u = 0. A equao caracterstica associada a esta equao dada d2 2 + 1 = 0. Como = i ento a soluo uH () dada por uH () = A cos + B sen B sen = conforme A2 + B 2
(10.25) mostra a gura 10.7.
Seja
cos =
A A2 + B 2
sen
cos
em funo de
uH () =
simplicando,
uH () =
160
Soluo particular:
por
uP () =
Uma vez calculado os valores de
mK L2
tem-se que
uH ()
uP ()
u() =
Denindo
A2 + B 2 cos( ) +
C=
mK L2
Uma condio inicial para essa equao escolher os eixos com essa condio. Ento
u() =
Como
mK + C cos L2 1
(10.26)
r=
1 u
tem-se
r= mK L2
mK + C cos L2
Dividindo por
tem-se
ou
(10.27)
p=
1 C
e=
CL mK
r=
ep 1 + e cos
que a equao geral das cnicas em coordenadas polares conforme foi demonstrado na seo 8.4.3 do captulo anterior.
161
de cnica (parbola, elipse ou hiprbole) representada por essa trajetria. Para isso,
consequentemente ser obtida uma outra equao equivalente a (10.27) . Primeiramente ser calculado o valor de
v2
v = rr1 + r1 .
Assim,
v 2 = r2 r1 .r1 + 2rrr1 .1 + r2 2 1 .1 .
Como
r1
v 2 = r2 + r2 2 .
Sendo
r=
segue que
1 , u
d L = dt mr2
dr 1 du 1 du d L du = 2 = 2 = dt u dt u d dt m d
v =
L du m d
1 u
L 2 u m
2
ou
L2 v = 2 m
2
du d E
+ u2
(10.28)
1 2 mv + V = E, 2 V
a energia potencial. Assim, de (10.28) e (10.29) tem -se:
(10.29)
onde
1 m 2
Assim,
L2 m2 du d
2
du d
+ u2
= E V.
+ u2 = 2
2
EV L2
ou
du d
+ u2 =
2Em 2V m L2 L2
(10.30)
162
V =
f (r)dr
e como
f (r) =
K r2
obtm-se
V =
Mas
K K dr = + c. r2 r r= 1 , u
(10.31)
lim V = 0,
e assim
c = 0.
Logo,
V = Ku
Pela equao (10.26), tem-se
du = C sen , d
du = C sen . d
obtm-se:
(C sen )2 +
mK + C cos L2
2Em 2V m . L2 L2
C2 +
Substituindo obtm-se
C2 +
mK + C cos . L2
Simplicando, obtm-se
C2 =
uma vez que
2mE K 2 m2 + L2 L4
ou
C=
Km L2
+ Km L2 2 .
2mE L2
2
e fatorando tem-se
C > 0.
C= mK L2
2
. 1 +
2Em L2 mK L2
Simplicando
C=
mK L2
1+
2EL2 . mK 2
r= 1+ mK L2
L2 mK 2EL2 1+ mK 2
L2 cos mK
163
r= 1+ 1 mK L2
(10.32) da forma
L2 mK 2EL2 1+ mK 2
e
(10.32)
cos 2EL2 mK 2
Denindo
p=
e=
1+
1+
2EL mK 2
r=
ep . 1 + e cos E
pela expresso 10.32. Observa-se que
Conclui-se que a trajetria de uma partcula em um campo de fora central pode ser dada em funo de sua energia mecnica
e=
1+
2EL mK 2
2
. Com isto, pode-se dizer que dependendo da energia mecnica
com a
qual uma partcula entra em um campo de fora central atrativa, sua trajetria poder ser elptica, hiperblica ou parablica como mostra a anlise a seguir. Fazendo a seguinte anlise da excentricidade
e=
1+
2EL2 mK 2
tem-se que:
0 < e < 1,
ou seja,
0<1+
ou
E<0
1+
2EL2 >0 mK 2
E>
mK 2 . 2L2
Logo,
mk 2 <E<0 2L2 e = 1.
Logo:
1+
164
Energia Mecnica(E)
mk 2 <E<0 2L2 E=0 E>0
11 Consideraes Finais
Atravs da anlise dos diversos livros didticos referenciados neste trabalho, observou-se que estes priorizam o estudo analtico das cnicas e que as propriedades geomtricas destas curvas quando aparecem so de forma dissimulada no decorrer da abordagem analtica. Observou-se tambm que na maioria destes livros, o esboo das cnicas obtido considerando-as como grco de funo o que diculta a percepo destas curvas enquanto lugar geomtrico. A denio geral usando a propriedade focodiretriz dicilmente encontrada nos atuais livros de Geometria Analtica, no livro [8] por exemplo, ela aparece como exerccio. Consequentemente no apresentada a denio para as cnicas em coordenadas polares. Quanto as aplicaes destas curvas tambm em sua grande maioria aparecem como exerccios ou atravs de breves comentrios. Assim, tanto o levantamento histrico sobre as cnicas quanto a anlise dos
livros didticos, tiveram como principal objetivo evidenciar o que j se conhecia sobre o assunto e de que forma o tratavam am de avaliar as possveis contribuies desta dissertao para um estudo motivador deste tema. Diante destes aspectos citados anteriormente esta dissertao apresentou, de modo geral, as seguintes contribuies: exposio sobre as origens histricas do assunto,
tratamento das cnicas do ponto de vista geomtrico, anlise do conceito de excentricidade atravs da denio foco-diretriz e sua relao com as formas destas curvas, denio das cnicas em coordenadas polares, abordagem computacional dos principais resultados da teoria das cnicas e as importantes aplicaes do tema. Com relao ao tratamento computacional, a escolha do software gratuito possibilita sua utilizao em qualquer instituio de ensino. Alm disso, o sofwtare GeoGebra possui interface simples e ferramentas diversicados que permite a elaborao de sosticadas construes. Atravs deste foi possvel visualizar e analisar os principais resultados sobre a teoria apresentada sobre as cnicas. importante ressaltar que a compreenso dos conceitos e das demonstraes foram imprescindveis para a elaborao das construes atravs do software, por isso, tais construes geralmente aparecem no texto aps as respectivas demonstraes ou denies. Acredita-se que o leitor munido primeiramente das ferramentas matemticas apresentadas pelo texto poder fazer uma investigao computacional mais consistente, ou seja, modicar as construes e atravs da teoria prever os possveis resultados. importante ressaltar tambm que ao iniciar este trabalho no
165
166
Consideraes Finais
se tinha claro como seria organizado seus captulos e que praticamente s nal deste estudo foi que a dissertao obteve a organizao que est sendo apresentada. Conclui-se que embora as cnicas sejam conhecidas desde o sculo
IV ,
muitos so
os tpicos sobre o assunto que ainda podem ser explorados e reunidos num trabalho como este, por exemplo, denio das cnicas atravs da forma quadrtica, cnicas determinadas por cinco pontos, cnicas sob o ponto de vista da geometria projetiva, estudo das cnicas no espao tridimensional, cnicas como envolvente de curvas e outras aplicaes.
Referncias
[1] IEZZI, G. Geometria Analtica. 4. ed. So Paulo: Atual, 1993. [2] BOYER, C. B. Histria da Matemtica. 2. ed. So Paulo: Editora Edgard Blucher Ltda, 1996. [3] VASCONCELLOS, F. A. Histria das matemticas na antiguidade. Lisboa: Livrarias Aillaud e Bertrand, s/d. [4] KATZ, V. J. A History Of Mathematics. New York: blishers, 1993. [5] HEATH, S. T. A History Of Greek Mathematics. United States of America: Dover Publications, Inc., 1981. [6] LINTZ, R. C. Histria da Matemtica. Blumenal: Ed. da FURB, 1999. [7] SATO, J. As Cnicas e suas Aplicaes. [S.l.], 2004. [8] BOULOS, P.; CAMARGOS, I. Geometria Analtica. 3. ed. So Paulo: Hall, 2005. [9] KINDLE, J. H. Geometria Analtica Plana e no Espao. So Paulo: McGraw-Hill do Brasil, 1959. [10] DOMINGUES, H. H. gebra Moderna. 2. ed. So Paulo: Atual, 1983. [11] SANTOS, R. J. Geometria Analtica e lgebra Linear. Belo Horizonte: Imprensa Universitria da UFMG, 2007. [12] VENTURI, J. J. Cnicas e Qudricas. 5. ed. Curitiba: Unicado, 1949. [13] DANTAS, M. J. H.; OLIVEIRA, N. J. Uma Introduo Mecnica Clssica: Prentice HaperCollins College Pu-
167
168
Referncias
[16] MURDOCH, D. C. Geometria Analtica. Rio de Janeiro: Livros Tcnicos e Cientcos Editora LTDA, 1969. [17] LEHMANN, C. H. Geometria Analtica. Mxico: Editorial Limusa, S.A., 1989. [18] EFIMOV, N. Curso Breve de Geometria Analtica. Moscou: Mir, 1978. [19] VELLO, V. Desenho Geomtrico. So Paulo: Editora Scipione, 1995. [20] SPIEGEL, M. R. Mecnica Racional. E. U. A.: sil,LTDA, 1973. [21] WATARI, K. Mecnica Clssica. So Paulo: Editora Livraria da Fsica, 2003. [22] HALLIDAY, D.; R.RESNICK. Fundamentos da Fsica. Rio de janeiro: Tcnicos e Cientcos, 1994. [23] SYMON, K. R. Mecnica. Rio de Janeiro: Campus Ltda, 2003. [24] B.ALVARENGA; MXIMO, A. Curso de Fsica. 3. ed. So Paulo: Harbra ltda, 1992. [25] SCHECK, F. Mechanics. 5. ed. New York: Springer Berlin Heidelgerg, 2005. [26] GUIDORIZZI, H. L. Um curso de cculo - Vol.2 e 3. 5. ed. Rio de Janeiro: Livros Tcnicos e Cientcos Editora S.A., 2002. [27] STEWART, J. Clculo - Vol.2. 5. ed. So Paulo: Thomson Learning, 2007. [28] HOWARD, A. et al. Clculo - Vol.2. 8. ed. Porto Alegre: Bookman, 2007. [29] SIMMONS, G. F. Clculo Com Geometria Analtica-Vol.2. So Paulo: McGrawHill,Ltda, 1988. [30] VILA, G. Clculo Vol.2 e 3. Rio de Janeiro: Livros Tcnicos e Cientcos, 1995. Livros Editora McGraw-Hill do Bra-
A Cnicas no
GeoGebra
Neste apndice encontra-se uma breve apresentao do software GeoGebra bem como a descrio das construes que foram exibidas nesta dissertao com a utilizao deste software.
A.1
GeoGebra
http://www.geogebra.org/cms/pt BR,
verso 3.2.
Figura A.1: Tela principal do software GeoGebra. O GeoGebra possui todas as ferramentas tradicionais de um programa de geometria dinmica: pontos, segmentos, retas e sees cnicas alm da possibilidade de se
169
170
Cnicas no
GeoGebra
trabalhar com equaes e coordenadas, que podem ser inseridas diretamente atravs do campo de entrada. Qualquer objeto exibido na rea de trabalho representado algebricamente atravs da janela algbrica. Isto facilita, didaticamente, a explorao de duas representaes diferentes de um mesmo objeto que interagem entre si: a representao geomtrica (ou grca) e a representao algbrica. Algumas ferramentas do GeoGebra que foram utilizadas nas construes apresentadas nesta dissertao e suas respectivas funes so descritas abaixo:
Clique sobre o
Clique sobre os
Clique sobre
Selecione
Selecione
Selecione
Selecione os
Traa uma circunfncia denida pelo centro e um de seus pontos. Selecione o centro e, depois, um ponto da circunferncia.
GeoGebra
171
Determina o ngulo formado por trs pontos ou entre duas retas. Selecione trs pontos ou duas retas. O ngulo
determinado pelos trs pontos ser o maior ou menor ngulo conforme a ordem da escolha for no sentido horrio ou antihorrio.
balho para especicar o local onde aparecer o parmetro selecionado. Este parmetro pode variar numericamente (se for escolhido a opo
Nmero na janela do seletor) ou variar em graus (se for escolhido a opo ngulo). Ambos podem variar Animao ativada.
Para marcar esta opo
balho ou em um ponto onde se pretende inserir o texto. Caso seja interessante, pode-se estabelecer uma condio para que o texto seja exibido na rea de trabalho. bir a palavra Por exemplo, exi-
Propriedades, Avanado e digite e > 1 no campo Condio para mostrar objeto. Este recurso pode ser aplicado em qualquer outro
objeto na rea de trabalho. Arraste a rea de trabalho.
Desloca os eixos.
Este boto
play/pause aparece no canto esquerdo inferior da rea de trabalho quando for marcada a opo Animao ativada. Atravs dele pode-se acionar ou parar a animao.
Alm das descries na prxima seo, os passos das construes feita no Geo-
Gebra podem ser visualizados atravs do prprio software. Este importante recurso
Barra de navegao para passos da construo. Para acessar esta barra clique no menu Exibir
possibilita assistir a sequncia de tais passos atravs da ferramenta conforme ilustra a gura A.2 abaixo:
172
Cnicas no
GeoGebra
O protocolo de construo uma lista que exibe os objetos usados nas construes feitas na rea de trabalho. Esta lista organizada na ordem em que os objetos foram usados e no nal dela aparece uma barra de navegao que permite exibir manualmente cada passo de uma construo.
GeoGebra
A.2.1 Elipse
A.2.1.1 Construo do lugar geomtrico dos pontos de uma elipse
1. Marque dois pontos
F1
F2
F1
F2 ; F1 F2 ;
na semi-reta
F1 F2 F1
no pertencente ao segmento
e raio
F1 A;
F1
173
F2 D ; t
do segmento
F2 D
8. Determine o ponto
de interseo da mediatriz
com a reta
s.
P.
Habilitar Rastro.
D
sobre a circunferncia para
10. Com auxlio do mouse esquerdo, arraste o ponto obter o esboo da elipse.
Observao A.1.
rncia na construo anterior, proceda da seguinte forma: a) Aps executar os passos da construo anterior at o item 4, escolha um ponto qualquer sobre a circunferncia; b) Clique na ferramenta seletor e em seguida clique na tela. Aparecer a janela de
congurao do seletor onde deve ser marcada a opo ngulo; c) Suponhamos que o ngulo escolhido para o seletor seja
e que a circunferncia considerada tenha centro O , ento digite no campo de entrada o comando girar[D,,O]. Em seguida, d <Enter> e aparecer sobre a circunferncia o ponto D . D
e escolha a opo esconder objeto.
e) Clique com mouse direito sobre o seletor e marque a opo ver que o ponto f ) Use o boto
Animao ativada e
ao invs de
play/pause.
aos focos
F1
F2
constante. Procedimento:
P F1
P F2 ;
174
Cnicas no
GeoGebra
dades. Na janela que se abriu, v at opo Exibir Rtulo e escolha a opo Nome & valor.
entrada o comando
Proprie-
4. Para exibir o valor da soma dos segmentos na tela basta digitar no campo de
texto[distncia[F1 , A]].
Aps dar
<Enter>
o valor da
soma aparecer em algum local da tela e pode ser arrastado para outra posio se for preciso.
P F1
P F2 ; P,
a reta
P F1
P F2
basta clicar com mouse direito sobre cada um deles e desmarcar a opo
objeto;
4. Marque dois pontos, por exemplo do ponto
Exibir
esteja esquerda
direita de
P.
5. Determine o ngulo entre cada segmento e a reta t. Para isto clique na ferramenta
F2 , P
E.
6. Exiba o valor da medidas dos ngulos clicando com mouse direito sobre os mesmos acessando as opes 7. Clique no boto
A.2.2 Hiprbole
A.2.2.1 Construo do lugar geomtrico dos pontos de uma hiprbole
1. Marque dois pontos
F1
F2
F1
F2 ; F1 F2 ;
na semi-reta
F1 F2 F1
pertencente ao segmento
e raio
F1 A;
F1
175
F2 D ; t
do segmento
F2 D
8. Determine o ponto
de interseo da mediatriz
com a reta
s.
P.
movimente automaticamente
P F1
P F2 ;
Propriedades. Na janela aberta v at opo Exibir Rtulo e escolha a opo Nome & valor.
no campo de entrada o comando
4. Para exibir o valor do mdulo da diferena dos segmentos na tela basta digitar
o valor da diferena em mdulo aparecer em algum local da tela e pode ser arrastado para outra posio se for preciso.
A colocando-o
F1
F2 .
Assim quando
P F1
objeto.
Exibir
176
Cnicas no
4. Trace o menor ngulo formado pelo segmento um ponto distinto de ferramenta
GeoGebra
P F1
e a reta
t.
sobre a reta
t,
E,
e usando a
no sentido horrio.
5. Repita o processo do item anterior para o segmento 6. Exiba o valor da medidas dos ngulos; 7. Clique no boto
P F2 .
A.2.3 Parbola
A.2.3.1 Construo do lugar geomtrico dos pontos de uma parbola
1. Trace uma reta 2. Trace uma reta
r s
e marque um ponto
F r
no pertencente a
r; D
qualquer de
perpendicular reta
r;
3. Trace o segmento 4. Trace a mediatriz
F D; t
do segmento
F D; t
e
5. Encontre o ponto de interseo das retas 6. Clique com mouse direito sobre o ponto 7. Arraste o ponto
e chame-o de
P;
e marque a opo
Habilitar Rastro.
sobre a reta
Observao A.2.
r,
na construo anterior, proceda da seguinte forma: 1. Aps executar o primeiro passo da construo A.2.3.1 marque um ponto a reta
sobre
r; r
um outro ponto
D.
3. Usando a ferramenta em
e extremidade em
4. Clique na ferramenta
janela de congurao do seletor onde pode-se estabelecer o intervalo de variao para o parmetro escolhido;
177
e que o vetor
DE D.
u,
ladar[D,u*a].
Em seguida, d
<Enter>
D
trans-
o ponto
e escolha a opo
Exibir objeto.
desaparecer.
7. Clique com mouse direito sobre o seletor e marque a opo animao ativada e ver que o ponto percorrida por 8. Use o boto
A distncia
ao invs de
play/pause.
PF
P D;
dades.
Na opo
Proprie-
PD
quando o ponto
percorre a reta.
PF; t
e o segmento
3. Trace o menor ngulo entre a reta 4. Trace o menor ngulo entre a reta do item anterior;
PF.
178
Cnicas no
GeoGebra
A.2.4 Unicao
A.2.4.1 Construo das cnicas a partir da denio unicada das cnicas
Como esta construo foi obtida da construo A.2.4.7 sua descrio ser apresentada na observao A.3.
e colocando valor mnimo de 0, 1. Para isso clique com mouse direito sobre o parmetro e acesse a opo Propriedades;
(1-e^2)x^2-4*p*x+y^2+4*p=0
4. Clique com mouse direito sobre o parmetro vada;
e colocando valor mnimo de 0, 1. Para isso clique com mouse direito sobre o parmetro e acesse a opo Propriedades;
(1-e^2)x^2-4*p*x+y^2+4*p=0
4. Clique com mouse direito sobre a nova curva que aparece na rea de trabalho e marque opo
priedades. Mude a cor da curva para verde e na janela Avanado campo Condio para mostrar objeto a expresso e < 1.
6. Repita o processo do item para mostrar objeto,
3, 4 e > 1;
3, 4
=,
8. Para visualizar a famlia de cnica, clique com mouse direito sobre o seletor marque a opo
ee
179
Eixos
x^2/a^2 + y^2/b^2=1
D
<Enter> e parecer na rea de trabalho uma elipse nomeada por c; foco[c] para exibir os focos da elipse; vrtice[c] para exibir os vrtices; centro[c] para exibir o centro; Segmento denido por
e
5. Trace um segmento que liga o centro da curva a um dos focos e outro que liga o centro ao vrtice da curva. Para isto use a ferramenta
dois pontos;
e
trabalho o valor da excentricidade da curva. 7. Outra opo para exibir a excentricidade da curva digitar no campo de entrada o comando
vada;
Animao ati-
Eixos
x^2/a^2-y^2/b^2=1
180
Cnicas no
D
GeoGebra
<Enter> e aparecer na rea de trabalho uma hiprbole nomeada por c; foco[c] para exibir os focos da hiprbole; vrtice[c] para exibir os vrtices; centro[c] para exibir o centro ;
y = (b/a) x
e
y = (b/a) x
F1
F2
e os vrtices de
A1
A2
Use a ferramenta
Reta perpendicular;
r
A2 .
7. Marque o ponto de interseo da reta esta interseo. Use a ferramenta 8. Trace os segmentos 9. Observe que
OH
OA2 OH =
OC 2 + OH 2 = OH 2 ;
ativada.
y^2=4*p*x
D
4. Chame o vrtice de
F; F;
6. Encontre os pontos de interseo da parbola com a reta traada no item anterior e nomeie estes pontos por
A e B.
Use a ferramenta
181
5;
e
V A, V B , V F
AB ;
e
9. Chame a medidas dos segmentos 10. Use a ferramenta bola; 11. Exiba a medida da altura
VF
AB
de
respectivamente; da par-
AB
do tringulo
AV B ;
12. Insira no campo de entrada o comando o valor desta razo; 13. Trace o ngulo
AV B
e observe o ngulo
AV B
e a razo
f AB = . VF e
A.2.4.7 Construo da equao das cnicas em coordenadas polares com a diretriz perpendicular ao eixo polar
1. Atravs da ferramenta
0, 1;
Eixos; Inter-
r = e q/(1 + e cos());
B = (r, 0);
girar[B, ].
clique na janela direita do campo de entrada e selecione tal parmetro; 9. Renomeie o ponto
chamando-o de
P; P
e chame este vetor de
e extremidade em
r;
BF P
e esconda o ponto
B;
Com este procedimento aparecer
x = q.
a reta diretriz da cnica que ser gerada pelo movimento do vetor 13. Habilite rastro do ponto
r;
e varie o valor de
182
Cnicas no
14. Marque a opo os casos
GeoGebra
e < 1, e = 1
e > 1.
Observao A.3.
item 8 e em seguida proceda da seguinte forma: a) Esconda os eixos coordenados e o ponto b) Insira no campo de entrada a expresso c) Faa
B; x = q;
q = 2
x=q
P; D;
e a reta
x=q
r; PF
e
PD
seja a medida de
PF
a medida de
P D,
insira no campo de
entrada o comando
texto[e/f];
P
e varie o valor de
texto[e/f].
A.2.4.8 Construo da equao das cnicas em coordenadas polares com a diretriz paralela ao eixo polar
1. Atravs da ferramenta
0, 1;
Eixos;
F;
4. Encontre o ponto de interseo dos eixos coordenados e chame-o de 5. Insira no campo de entrada a expresso 6. Digite no campo de entrada o ponto
r = e q/(1 + e sin());
B = (r, 0);
girar[B, ];
chamando-o de
P; P
e chame este vetor de
e extremidade em
r;
BF P
e esconda o ponto
B;
Licena do
GeoGebra
183
y = q.
a reta diretriz da cnica que ser gerada pelo movimento do vetor 12. Habilite rastro do ponto 13. Marque a opo os casos
r;
e varie o valor de
e < 1, e = 1
e > 1.
A.3 Licena do
GeoGebra
http://www.geogebra.org/
LICENSE
(1) GeoGebra Installer, Language and Documentation Files License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 (2) GeoGebra Application and Source Code License: GNU General Public License v2
(1) GeoGebra Installer, Language and Documentation Files License All GeoGebra installers, language les and documentation les are subject to the following Creative Commons Attribution-NonCommercial-NoDerivs 3.0 License: You are free to copy, distribute and transmit GeoGebra installers, language les and documentation les free of charge under the following conditions:
http://www.geogebra.org/)
NonCommercial. You may not use this work for commercial purposes without permission of GeoGebra Inc. (office@geogebra.org). No Derivative Works. You may not alter, transform, or build upon this work.
http://creativecommons.org/licenses/by-nc-nd/3.0/
GeoGebra le types that are subject to the above mentioned license:
184
Cnicas no
GeoGebra
GeoGebra language les ... are the user interface language les (properties
les) for all languages of the GeoGebra application and GeoGebra applet. They are packaged in the geogebra properties.jar le and part of every ocial GeoGebra binary distribution.
GeoGebra documentation les ... are all "GeoGebra Help", GeoGebra Quickstart and other documentation files found in the GeoGebra installers or on the GeoGebra webserver.
Translations Translations of GeoGebra installers, language les or documentation les are only allowed with permission of their respective authors. Resulting translations are subject to the same copyright as the original work (i.e. copyright of the original authors and Creative Commons Attribution-NonCommercial-NoDerivs License). The translators have the right to be attributed by name and contact address in their translated work. Furthermore, translated GeoGebra documentation les
may not be used for commercial purposes without permission of the original authors and the respective translators. (2) GeoGebra Application and Source Code License
http://www.gnu.org/licenses/
If you are interested in GeoGebra's source code or want to help with programming, please write to Markus Hohenwarter (markus@geogebra.org).