Universidade Federal da Paraba Centro de Cincias Exatas e da Natureza Departamento de Matemtica Mestrado Prossional em Matemtica em Rede Nacional - PROFMAT

A Envoltria
por

Jos Luiz Lucena Travassos

sob a orientao do

Prof. Dr. Napolen Caro Tuesta

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

agosto/2013 Joo Pessoa - PB

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

Pessoal de Nvel Superior.

A Envoltria
por

Jos Luiz Lucena Travassos

Trabalho de Concluso de Curso apresentada ao Corpo Docente do Mestrado Prossional em Matemtica em Rede Nacional PROFMAT CCEN-UFPB, como requisito parcial para obteno do ttulo de Mestre em Matemtica. rea de Concentrao: Matemtica. Aprovada por:

Prof. Dr. Napolen Caro Tuesta

EUFPB (Orientador)

Prof. Dr. Lizandro Snchez Challapa

E UFPB

Prof. Dr. Miguel Fidencio Loayza Lozano

E UFPE

agosto/2013

Agradecimentos
uero grdeer heus que esteve o meu ldo nos momentos de dvids e nsieddesF eos idelizdores desse progrm de mestrdo nionlD que enfrentrm muito trlho pr pElo em prtiD e os professores do heprtmento de sEgrduo em wtemti d pfErofmt pelo exemplo de dedio e ompetniD em espeil o meu orientdor xpolen gro uestF eos ompnheiros de urso que o longo desses dois nos de muitos estudos estvm sempre dispostos judr todosD em espeil X vrio prniso peitosY ghrleson glivndir de erujo ilv e vuis odrigo h9ndrd fezerrD pels rtis e sugestesF e minh espos en ilv vim rvssosD pels hors de digitoD rinhoD onforto e os meus (lhos renrique vuiz e ssel pel pini e disposio judrD priniplmente no inglsF

Dedicatria

minha me Lilia, a primeira incentivadora da minha caminhada e ao meu pai Lula, pelo apoio de sempre. minha esposa Aninha, pelo carinho, incentivo e dedicao. Aos meus lhos Henrique e Isabela, melhor presente de Deus na minha vida.

Resumo

gom uxlio do softwere qeoqerD omo reurso didtio pr ilustrr um fmli de urvs e su involtriF xo primeiro ptulo present lguns exemplos de oteno d equo de um fmli de urv @segmentosD retsD irunferniA e lgums involtris @retD irE unferniD prolD elipseD hiproleD lemnist equilterD rdiideA desss fmi de urvsD omo tmm deduo de lgums proprieddes d prol e d hiproleF xo segundo ptulo presentmos um proedimento pr determino d equo dess envoltri om lguns exemplos de mnipules lgris pr determinElF

Abstract

ith the help of qeoqer softwreD s didti resoure to illustrte fmily of urves nd its invelopeF sn the (rst hpter presents some exmples of getting the eqution of urve fmily @segmentsD polylineD irleA nd some invelopes @lineD irleD ellipseD prolD ryperolD lemniste equilterlD rdioidA of these fmily of urvesD s well s the dedution of some properties of the prol nd the ryperolF sn the seond hpter we present proedure for the determintion of the equE tion of this envelope with some exmples of lgeri mnipultions to determine itF

vi

Sumrio
1 Famlias de Curvas em R2
IFI e equo de um fmli de urvs em R F F F F F F F F F F F F F F F
2

1
I P Q S T U V

IFIFI IFIFP IFIFQ IFIFR IFIFS IFIFT IFIFU IFP IFPFI IFPFP IFPFQ IFPFR IFPFS IFPFT IFPFU IFPFV IFPFW

egmento de omprimento onstnte F F F F F F F F F F F F F F egmentos que determinm tringulos retngulos de re onsE tnte F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F egmentos de som onstnte F F F F F F F F F F F F F F F F F F onto e ret F F F F F F F F F F F F F F F F F F F F F F F F F F F F girunfernis om entro num ret F F F F F F F F F F F F F F girunferni e um ponto F F F F F F F F F F F F F F F F F F F F

o de um vio supersnio F F F F F F F F F F F F F F F F F F IH F F F F F F F F F F F F F F F F F F IQ egmento e perpendiulr F F F F F F F F F F F F F F F F F F F IQ girunferni om entro num irunferni F F F F F F F F F IR rjetris F F F F F F F F F F F F F F F F F F F F F F F F F F F F F IS rol de segurn F F F F F F F F F F F F F F F F F F F F F F IV roprieddes d prol F F F F F F F F F F F F F F F F F F F F IW on de udiilidde F F F F F F F F F F F F F F F F F F F F F F F PQ elgums proprieddes d hiprole F F F F F F F F F F F F F F F PR vemnist F F F F F F F F F F F F F F F F F F F F F F F F F F F F PW grdiide F F F F F F F F F F F F F F F F F F F F F F F F F F F F F QH

pmli de gurvs e sus envoltris

2 Clculo da Envoltria
PFI PFIFI PFIFP PFIFQ PFIFR PFIFS PFIFT PFIFU

32

e diferenio e equo d involtri F F F F F F F F F F F F F F F QP snterseo de um fmli de urvs F F F F F F F F F F F F F F F QQ gurv disriminnte F F F F F F F F F F F F F F F F F F F F F F F QU e stride F F F F F F F F F F F F F F F F F F F F F F F F F F F F F RH egmento que determinm tringulos retngulos de re onsE tnte F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F RQ egmento e som onstnte F F F F F F F F F F F F F F F F F F F RR egmento e su perpendiulr F F F F F F F F F F F F F F F F F F RT girunfernis om entro num ret F F F F F F F F F F F F F F RU vii

PFIFV PFIFW

girunfernis om entro num girunferni F F F F F F F F RV e riprole omo envoltri F F F F F F F F F F F F F F F F F F F RW

PFIFIH e ilipse omo envoltri F F F F F F F F F F F F F F F F F F F F F SI PFIFII vemnist F F F F F F F F F F F F F F F F F F F F F F F F F F F F SR

56
eFI sntroduo F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F ST eFIFI ets e irunfernis F F F F F F F F F F F F F F F F F F F F F F ST eFIFP ilipse F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F SV eFIFQ rol F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F SW eFIFR riprole F F F F F F F F F F F F F F F F F F F F F F F F F F F F F SW eFIFS vemnist F F F F F F F F F F F F F F F F F F F F F F F F F F F F TI eFIFT grdiide F F F F F F F F F F F F F F F F F F F F F F F F F F F F F TP eFP xoo de limite e derivd F F F F F F F F F F F F F F F F F F F F F F F F TR eFQ herivd pril F F F F F F F F F F F F F F F F F F F F F F F F F F F F F F TR

Referncias Bibliogrcas

65

viii

Introduo
e Envoltria dt de ITUV qundo ghristin ruygens presentou um trlho demi de ginis de ris em um reltrio intituldo Trait de la lumire que determinou envoltri de um fmli de irunfernis omo so prtiulr de um epicicloideD nefroideF y termo envoltria que hoje hmdo s veio preer em IUWSD qundo qspr wonge o usou em su or Application de l'analyse la

gomtrieF
fsinnte pel simpliidde d idei e o grnde mpo de plies omo n fE siD em prolems de mximos e mnimosD em eonomiD em mtemti (nneirD engenhriD etF weu primeiro ontto foi trvs de um livro 4v involvente4de foltinskiD indido pelo meu orientdorD xpolen gro uestD pr prtir deste fzer um trlho e presentElo om (nlidde de oter o ttulo de mestre pel pfF iste trlho trt de lguns exemplos de fmlis de urvs e de omo determiE nr su 4envoltri4D didtimente viilizdo pelo vno tenolgio d ompuE to om o uso do softwre qeoqerF xo primeiro ptulo so estuddos lguns exemplos de fmlis de urvsD retsD irunfernisD prols e lgums envolE tris omo s prols de segurnD zon de udiiliddeD entre outrsF xo segundo ptulo estudmos o lulo ds envoltris itds no primeiro ptuloF

ix

Captulo 1 Famlias de Curvas em R2

iste ptulo dividido em dus seesF x primeir seo estudremos lguns exemplos de fmlis de urvs em R2 e sus equesF r ilustrr esss fmlis vmos usr o qeoqer tivndo s funes de rstro e nimo pr lgums fmlis de segmentosD retsD irunfernis e prolsF x segund seoD vmos presentr lgums envoltris @ou envelopesA de um fmli de retsD irunfernE isD prolsD elipseD hiproleD lemnist e rdiideF

1.1

A equao de uma famlia de curvas em

R2

henotemos por x e y s oordends usuis em R2 F m fmli de urvs em

R2 pode ser representdo por meio de um equo f (x, y, 1 , 2 , ..., m ) = 0

@IFIA

que @lm de xD yA ontm m prmetros 1 , 2 , ..., m juntmente om m1 reles

g1 (1 , 2 , ..., m ) = 0, g ( , , ..., ) = 0, 2 1 2 m ................. g m1 (1 , 2 , ..., m ) = 0.

um equo d form

@IFPA

m fmli de urvs em R2 om I prmetro pode ser representd trvs de

f (x, y, ) = 0.

@IFQA

m fmli de urvs em R2 om P prmetros pode ser representd trvs de dus eques d form

f (x, y, , ) = 0, g (, ) = 0.
I

@IFRA

A equao de uma Famlia de curvas

1.1.1 Segmento de comprimento constante

Captulo 1

omemos um segmento de omprimento onstnte k em que sus extremiddes deslizm nos ldos de um ngulo retoF

pigur IFIX ejm e e f os pontos extremos desse segmento de omprimento kD que deslizem pelos eixos ds oordendsF y ponto e deslizndo no eixo ds sisss e f deslizndo no eixo ds ordendsD A(, 0) e B (0, )F y segmento ef est ontido n ret de equo y = x + , om = 0, que tmm pode ser esrito n form de

y + x = 0.
ys prmetros e se relionmD pelo eorem de itgorsD trvs d equo

2 + 2 = k 2 .
r d esolhido teremos um e onsequentemente um ret determindD om issoD temos tmm gor um fmli de rets de equo

f (x, y, , ) = y + x = 0 g (, ) = 2 + 2 k 2 = 0

@IFSA

A equao de uma Famlia de curvas

Captulo 1

pigur IFPX
1.1.2 Segmentos que determinam tringulos retngulos de rea constante

mos estudr um fmli de rets que determinm tringulos retngulos om os eixos de oordends de re onstnte igul k > 0.

pigur IFQX mos esolher semelhntemente o exemplo nterior os eixos que so ddos Q

A equao de uma Famlia de curvas

Captulo 1

pels oordends e os pontos de interseo om os eixos ds sisss e ds ordenE dsD respetivmenteD A(, 0) e B (0, )F es rets de equo @IFSA e os prmetros se relionm de mneir diferente do exemplo nteriorF xeste soD e , so os = k. ortntoD tetos de um tringulo retngulo de re igul kD ou sejD 2 = 2k. vogoD fmli determind pels equesX

y + x 2k = 0 2k = 0

@IFTA

pigur IFRX

A equao de uma Famlia de curvas

1.1.3 Segmentos de soma constante

Captulo 1

gonsidere fmli de segmentos que determinm um tringulo retngulo om ngulo reto determindo pelos eixos oordendos e uj som dos omprimentos dos tetos um onstnte kF

pigur IFSX gomo no exemplo nterior vmos esolher os pontos e e f omo extremiddes desses segmentosF y ponto e deslizndo no eixo ds sisss e f deslizndo no eixo ds ordendsD A(, 0) e B (0, ). r determinr s eques dess fmli vmos utilizr equo d ret suporte desses segmentos e relo entre os prmetros

e . e equo d ret determind pels intersees om os eixos y = x + ; = 0

e equo que relionm e

+ = k.

essimD o sistem de eques que determinm ess fmli de segmentos X

y + x = 0 + k = 0.

@IFUA

A equao de uma Famlia de curvas

Captulo 1

pigur IFTX
1.1.4 Ponto e reta

m ponto eD se move livremente sore um ret l e est ligdo um ponto pD exterior retF mos exminr fmli de tods s retsD pssndo em eD perpendiulres o segmento epF isolheremos o ponto e no eixo ds sisssF

pigur IFUX essim sus oordends so d form (, 0) e o ponto p est (xo no eixo ds T

A equao de uma Famlia de curvas

Captulo 1

ordends (0, p). e fmli de rets perpendiulres o segmento ep otido d seguinte mneirF r d orresponde um ret de ponto P (x, y ) formndo um tringulo retngulo peD logoD AP 2 + AF 2 = F P 2 e esrevendo equo

(x )2 + y 2 + 2 + p2 = x2 + (y p)2 .
hesenvolvendo temos

x2 2x + 2 + y 2 + 2 + p2 = x2 + y 2 2py + p2 .
impli(ndo otemos

py x + 2 = 0,
que equo dess fmli de retsF

@IFVA

pigur IFVX

1.1.5

Circunferncias com centro numa reta

m exemplo geometrimente simples e que ( lro que pr enontrrmos equo de um desss irunferni esolheremos um rio e o entro de oordeE nds (, ) num ret l. em perd de generlidde vmos esolher pr ess ret l o eixo ds sisssF ortnto ordend = 0D o entro d irunferni (, 0) e su equo

(x )2 + y 2 = R2 ,

A equao de uma Famlia de curvas

Captulo 1

pigur IFWX que tmm pode ser esrit n form

x2 + y 2 2x + 2 R2 = 0.

@IFWA

r d vlor esolhido do prmetro D otemos um irunferni dess fmliD por ess rzo equo @IFWA hmd de equo d fmli de irunE ferni de rio e entro no o eixo ds sisssF iss equo formd pels vriveis xD y e o prmetro F

pigur IFIHX

1.1.6

Circunferncia e um ponto

xeste exemploD tomremos um irunferni de rio 2a e entro no ponto F1 . isolhemos outro ponto F2 no interior dest que est um distni 2c de F1 e um ponto e pertenente irunferniF gonstrumos o segmento de AF2 e no seu ponto mdio trmos um ret perpendiulr LF xos interess gor equo d fmli de tods esss rets LF mos esolher

F1 e F2 pertenentes o eixo ds sisss de oordends c e c, respetivmenteF ej o ponto e de oordends (, ) e um ponto w de oordends @xD yA pertenE ente ret L. e meditriz o lugr geomtrio de todos os pontos que esto 2 mesm distni de e e F2 D ou sejD M F2 = AM ou M F2 = AM 2 , que o mesmo
V

A equao de uma Famlia de curvas

Captulo 1

pigur IFIIX que

(x )2 + (y )2 = (x + c)2 + y 2 .
hesenvolvendo ess equo nos d

x2 2x + 2 + y 2 2y + 2 = x2 + 2cx + c2 + y 2 ,
e (nlmente

2 + 2 2x 2y 2cx c2 = 0.

@IFIHA

pigur IFIPX gomo o ponto e pertene irunferni de rio 2aD podemos relionr e W

A equao de uma Famlia de curvas

n equo

Captulo 1

( c)2 + 2 = 4a2 ,
que desenvolvendo os prnteses e simpli(ndo nos d

2 + 2 2c + c2 4a2 = 0.
hs eques IFIH e IFII otemos s eques dess fmli de rets

@IFIIA

2 + 2 2x 2y 2cx c2 = 0 2 + 2 2c + c2 4a2 = 0.
1.1.7 Vo de um avio supersnico

m vio vo um ltur h d superfie terrestre om um veloidde suE persni v, isto D im d veloidde do som no r u. xos perguntmos quis pontos n regio d superfie terrestre que um oservdorD j ouviu ou vi ouvir o som do motor do vioF e veloidde do som no r de proximdmente QRQ mGs ou IPQRDV kmGhD sendo onsiderd veloidde mnim pr que qulquer orpo onsig ultrpssr rreir do somF gonsiderEse de supersni veloidde do orpo entre IRVT kmGh e TIWP kmGh e de hipersni im de TIWP kmGhF uponh que superfie

pigur IFIQX terrestre perfeitmente pln sore qul vo o vio om veloidde v e ltur

h onstntesF omemos n superfie terrestre um ret lD qul prlel trjeE tri retilne do vio num erto instnte tD orientd d direit pr esquerdF
ghme de B o ponto onde se enontrv o vio t segundos trsD de A o ponto n superfie terrestre perpendiulrmente ixo do ponto B e de y origem n superfie terrestre perpendiulrmente ixo do vio ps t segundosF m vio om veloidde supersni o rudo do motor se propg no r em tods s direes IH

A equao de uma Famlia de curvas

Captulo 1

pigur IFIRX so um esfer de rio ut e entro em B @ver (gF PFIRAF e interseo om suE perfie terrestre um irunferni de rio u2 t2 h2 e entro em AF e medid que diminui o tempo t vmos otendo rulos menores t que ut = hD ou sejD um ponto entre y e A @pigF PFISAF

pigur IFISX endo o ponto yD ento do sistem de eixosD e o ponto e de oordends (, 0) d um ds irunfernis dess fmli stisfz equo

(x )2 + y 2 = u2 t2 h2 ,

II

A equao de uma Famlia de curvas

onde = vtF hD fzendo t =

Captulo 1

otemos equo v

u2 2 2x + x2 + y 2 + h2 = 0. v2

gom isso equo dess fmli de irunfernis

u2 2 2x + x2 + y 2 + h2 = 0. v2

@IFIPA

IP

Famlia de curvas e sua envoltria

1.2 Famlia de Curvas e suas envoltrias

Captulo 1

Denio 1 Dada uma certa famlia de curvas em R2 , chamamos de Envoltria

dessa famlia de curvas, a curva que em cada um de seus pontos tangente com alguma curva da famlia.
r tornr mis lroD vmos exminr lguns exemplos seguir de mneir qeomtri eGou elgriF
1.2.1 Segmento e a perpendicular

omemos um ponto e qulquer no plno e um segmento efD de omprimento F ssndo por f tremos um ret perpendiulr o segmento efF

pigur IFITX e fmli de tods s rets perpendiulr o segmento ef um irunferni de rio om entro em eD qul ser envoltria dess fmli de retsF omemos e n origem do sistem e f de oordends (, )F e ret ef tem equo y x = 0 e ret perpendiulr estD tem equo

x + y R2 = 0,
pr o ponto f temos 2 + 2 = R2 F ortnto equo d fmli de ret perpenE diulr X

x + y R2 = 0 2 + 2 R 2 = 0

xote que o ponto f o ponto d irunferni que to ret perpendiulr o segmento efD ou sejD pr d ret existe um ponto f que to irunferniD ssim tods s ret so tngentes irunferni de rio e entro em eD que involtri dess fmliF

IQ

Famlia de curvas e sua envoltria

Captulo 1

pigur IFIUX
1.2.2 Circunferncia com centro numa circunferncia

m fmli de irunferni de rio r om entro em um irunferni de rio F e irunferni de rio r om entro no ponto eD onforme @pigFPFIVAD

pigur IFIVX

IR

Famlia de curvas e sua envoltria

tem equo

Captulo 1

(x )2 + (y )2 = r2
omemos fmli de irunferni expost n pigFPFIVF edotemos o ponto y omo origem do sistem de oordendsF ej e um ponto que pertene irunferni de rio om entro n origem ds oordendsF etriuiremos sis de e o prmetro e su ordend pelo prmetro D ou sejD o ponto A(, )F into os nmeros e stisfz relo

2 + 2 = R2
es eques im determinm fmli de irunfernis que estudmosF reE ismente equo de um irunferni de rio r e que exige que seu entro (, ) e perten irunferni de rio e entro no ponto yF iliminndo os prnteses e pssndo todos os termos pr o ldo esquerdo voltmos esrever s eques im n form

x2 + y 2 2x 2y + 2 + 2 r2 = 0, 2 + 2 R2 = 0.

@IFIQA

e primeir dests equesD lm de xD yD ontm dois prmetros e Y segund equo vinul estes dois prmetrosF ist ser form que vmos exminr fmli de irunferniF e involtri dest fmli ompost por dus irunfernis om rios R + r e R r @pigFPFIVA e entro no ponto yF
1.2.3 Trajetrias

m orpoD lndo so um ngulo em relo horizontlD desreve um trjetE ri prxim de um prol devido o de fors que enontrmos n nturezD por exemplo for d grvidde e for d resistni do rF m projtil desreve um trjetri hmd de curva balsticaF

pigur IFIWX gurv flsti

IS

Famlia de curvas e sua envoltria

Captulo 1

hesonsiderndo resistni do rD trjetri de um projtil desreveri um prolF x pigFPFIW urv trejd represent prol e urv ontnu urv lstiF mos estudr prtir dqui trjetri desrit pelo lnmento de um projtil onsiderndo pens for d grvidde e desprezndo for d resistni do r e outrs fors menos signi(tivsF ej v o mdulo d veloidde instntneD est veloidde tem dus omponenE tesD um horizontl e um vertilD que sero representds por vx e vy respetivE menteD tl que
2 2 v 2 = vx + vy ,

est veloidde tem direo e o sentido vriveis o longo dess trjetriF e direo tngente em d ponto d trjetri e o sentido o mesmo do movimento do projtilF ghmremos for de grvidde P = mg onstnte e om direo vertil e sentido pr ixoF h veloidde sofre o d elero de grvidde g pen n omponente vertilD ou sejD omo omponente horizontl perpendiulr g no sofre vrio e su intensidde onstnteF gonsiderndo o sentido positivo n vertil pr im e n horizontl pr direitD omponente vertil tem movimento retrddo n suid e elerdo n desidD que n psi do ensino mdio hmmos de Movimento Uniformemente

Variado e horizontl Movimento Retilneo UniformeD triuiremos veloidde

iniil vo D logo s eques ds veloiddes soX

vx = vxo ; vy = vyo gt.

determinm o mdulo d veloidde em d instnteF

@IFIRA @IFISA

mos gor estudr posio do orpo em d instnteD dotremos e o ponto iniil de lnmento de oordends (0, yo ), y = OB ltur im d superfie d err e x = OF distni horizontl e s eques de posio do orpo soX

x = vx t; gt2 . y = yo + vyo t 2
e ltur mxim r oorrer qundo vy = 0D ou sejD qundo

@IFITA @IFIUA

t=

vyo g

@IFIVA

IT

Famlia de curvas e sua envoltria

Captulo 1

pigur IFPHX ustituindo em @IFIUA otemos

2 vyo H = yo + 2g

@IFIWA

mos o lnmento de um projtil por um nho de um erto ponto y n superfie d terr pr direit so um ngulo om horizontl um veloiE dde iniil vo , desprezndo ltur do nho em relo superfie terrestreD nlogmente pr esquerdD termos o ngulo 180o F y lne mximo oorre qundo y = 0 e yo = 0D ou sejD de @IFIUA

vyo t
qundo t = 0 instnte iniil e

gt2 =0 2 2vyo g

t=

@IFPHA

o instnte (nlD oteremos o lne mximo em funo de vxo e vyo o esrever est expresso omo

X=

2vxo vyo (vyo )2 + (vxo )2 (vyo vxo )2 v 2 (vyo vxo )2 = = o g g g

enontrremos distni mxim qundo vyo vxo = 0D ou sejD qundo vyo = vxo que signi( = 45o D ess distni

X=
dus vezes mior que ltur mxim rF

2 vo g

@IFPIA

IU

Famlia de curvas e sua envoltria

1.2.4 Parbola de segurana

Captulo 1

e prol de segurn limit um zon em que qulquer projtil lndo tem su trjetri so ess prol e todo lvo que estej for dess prol no ser lndoF

pigur IFPIX rol de egurn e envoltri de tods s trjetris possveis do lnmento de um projtilD so s ondies que estudmosD prol de segurnD que vmos determinr su equoD onsiderndo su ltur mxim e seu lne mximo e levndo em ont que o nho enontrEse n origem do eixo de oordendsF

y = v0 t

gt2 2

mos estudr prol de segurn pr x > 0D o ponto iniil ser o ponto de ltur mxim e portnto su equo so o d grvidde ps t segundos do lnmento ser

y=
e

2 v0 gt2 2g 2

x = vo t.
ueremos mostrr que s trjetris dos projteis lndos so s mesms onE dies j menionds nteriormente no ruz prol de segurnF omemos gor equo do lnmento do projtil so um ngulo do ponto yD ou sejD

y = vyo t
e

gt 2 2

x = vxo t .

IV

Famlia de curvas e sua envoltria

Captulo 1

pigur IFPPX pzendo OF = vo t = vxo t D que igul

t =

vo t e sustituindo n equo vxo

2 gt2 gt 2 vo vyo t + , yy = 2g 2 2

otemosX
2 vo gt2 vyo gt2 vo vo t + 2g 2 vxo 2 vxo

1 2 vyo vo vo 2gvo t + g 2 t2 2g vxo vxo =

g 2 t2

1 2 vyo vo 2gvo t + g 2 t2 2g vxo =

vo vxo

1 2 vyo v2 v2 vo 2gvo t + g 2 t2 o 2 xo 2g vxo vxo

2

1 2 vyo vyo vo 2gvo t + g 2 t2 2g vxo vxo

1 vyo vo gt 2g vxo

gonlumos ento que prol de segurn envolve tods trjetris e que s vyo to em um pontoD qundo y = y D ou sejD qundo vo = gt D pr o instnte vxo vo vxo t= . gvyo
1.2.5 Propriedades da parbola

sremos prol de segurn pr veri(r dus proprieddes d prolF e primeir proprieddeD que usd omo de(nio d prolD refereEse distnE iD ou sejD prol o lugr geomtrio dos pontos equidistntes de um ddo ponto y e de um ret dd d @(gF IFIQAF y ponto y hmdo o foo d prol e ret dD diretriz @ver pigF IFPQAF

IW

Famlia de curvas e sua envoltria

Captulo 1

pigur IFPQX ueremos mostrr que distni de y igul distni de ret dD ssim

OT =

x2 + h2 =

(vo t)2 +

2 gt2 vo 2g 2

2 gt2 vo + 2g 2

2 vo gt2 v2 + = o h. 2g 2 g

2 vo que o doro d distni do g fooD o ponto yF into distni do ponto diretriz d X

mos onsiderr omo diretriz ret y =

T S = SF h =
om isso enerrmos primeir proprieddeF

2 vo h, g

pigur IFPRX mos estudr gor um outr propriedde que diz respeito o nguloF e lei de nellEhesrtesD o ngulo de inidni igul o ngulo de refroD onsiderndo o mesmo meio @ver pigF IFPRAF PH

Famlia de curvas e sua envoltria

emos que mostrr que

Captulo 1

F T N = OT M,
pr isso vmos determinr tngente de d nguloF ej wx ret tngente prol de segurn no ponto F e direo d tngente e d veloidde no ponto so iguisD vx = vxo = vo , vyo = 0 e portnto vy = gt, entoX

tg F T N =

vo vo vx = = . vy gt gt

entes de determinr tg OT M vmos esrever lgums relesX

pigur IFPSX

tg OT F =

x vo t = 2 . vo gt2 h 2g 2

h trigonometriD tngente de dois ngulos suplementres so simtrios e que tngente d som de dois ngulos o quoiente entre som ds tngentes por um menos o produto ds tngentesF ssemos o lulo d tngente do ngulo

OT M F ejmos tg OT M = tg (180o OT N ) = tg OT N = tg (F T N + OT F ) =
y numerdor X

tg F T N + tg OT F tg F T N + tg OT F = 1 tg F T N tg OT F tg F T N tg OT F 1

vo vo t = 2 + gt gt 2g 2
2 vo

vo gt2 + vo (

2 vo gt2 ) 2g 2 v2 gt2 gt( o ) 2g 2

PI

Famlia de curvas e sua envoltria

2 2 vo 2 2 vo g 2 t2 vo vo g 2 t2 (g t + ) ( + ) g 2 2 g 2 2 = = 2 gt2 gt2 vo v2 ) ) gt( gt( o 2g 2 2g 2

Captulo 1

y denomindor X
2 vo t 2 t gt( vo 2 vo gt2 ) 2g 2 v2 gt2 gt( o ) 2g 2

v2 gt2 gt( o ) 2g 2
2 t(vo

1=

2 vo g 2 t2 v 2 g 2 t2 + ) t( o + ) 2 2 = 2 2 v2 gt2 v2 gt2 gt( o ) gt( o ) 2g 2 2g 2

pinlmenteD reunindo numerdor e denomindorD otemos X

tg OT M =

vo . gt

ess propriedde d prol que nos permite (rmr queD se est tem um superfie lis espelhdD um fho de luz prlelo o eixo de simetri d prol onvergem pr o foo d prolD e d mesm form se temos um ponto de luz no foo d prol ess luz re)etid prlelmente o seu eixoD ou sejD no primeiro so nten prli e no segundo so um frolD so exemplos de plio d superfie prliF

pigur IFPTX

PP

Famlia de curvas e sua envoltria

1.2.6 Zona de audibilidade

Captulo 1

uponh um ponto w pertenente um dos rulos de entro ea(, 0) e rio

h2 . ortnto w de oordends @xDyA pertenente regio de udiiliddeD ou sejD stisfz equo u2 t2 (x )2 + y 2 u2 t2 h2 .

pzendo = vt podemos esrever equo

(x vt)2 + y 2 u2 t2 h2 ,
que o mesmo que

(v 2 u2 )t2 2vxt + (x2 + y 2 + h2 ) 0.

@IFPPA

gomo estmos supondo que t > 0D equo im tem desriminnte 0D ou sejD

(2vx)2 4(v 2 u2 )(x2 + y 2 + h2 ) 0.

hesenvolvendo ess equo otemos

4v 2 x2 4v 2 x2 4v 2 y 2 4v 2 h2 + 4u2 x2 + 4u2 y 2 + 4u2 h2 0,

ou sejD

4v 2 y 2 4v 2 h2 + 4u2 x2 + 4u2 y 2 + 4u2 h2 0,

e simpli(ndo e grupndo

(v 2 u2 )y 2 (v 2 u2 )h2 + u2 x2 0,
e dividindo por (v 2 u2 )h2

y2 x2 1, (v 2 u2 )h2 h2 u2
e gor fzendo c =

vh vh D j que v > u e c = > hD otemos u u x2 y2 1. c2 h2 h2

@IFPQA

essimD o ponto w pertene regio de udiilidde@M1 A formd pelos pontos que stisfzem equo @IFPQA pr x b H e y b HD e iguldde ontee qundo PQ

Famlia de curvas e sua envoltria

Captulo 1

pigur IFPUX w est n fronteir dess regio @M2 AF

1.2.7 Algumas propriedades da hiprbole

yserve que se o ponto M0 de oordends (x0 , y0 ) se estiver n fronteir d hiprole relo @IFPPA trnsformEse n iguldde

y2 x2 =1 c2 h2 h2
e supondo um determindo t pr um dos ruloD teremos ento

@IFPRA

t=
e ind mis

v2

vx0 , u2

OA = vt =

c2 x 0 v 2 x0 = . v 2 u2 c2 h2

Reta tangente a uma hiprbole

mos gor enontrr equo d ret tngente hiprole no ponto M0 D tome um ponto hD interseo d tngente om o eixo d sissD e o ponto x pertenente o eixo d siss e perpendiulr N M0 . ssemos o vlor d tngente de ngulo ADM0 .

c2 x o xo 2 2 NA OA ON h2 xo tg ADMo = tg N Mo A = = = c h = 2 . N Mo N Mo yo (c h2 )yo
ssemos gor o vlor d interseo d tngente om o eixo d ordendD D n equo

h2 xo y= 2 x + b, (c h2 )yo

PR

Famlia de curvas e sua envoltria

Captulo 1

pigur IFPVX

M0 tnto pertene tngente omo hiprole @IFPRAD logo devemos onsiderr s eques om x0 , y0 h2 x2 o yo = 2 +b (c h2 )yo
onde

b = yo
pinlmenteD

2 yo h2 x2 h2 x2 o o . = (c2 h2 )yo yo c2 h2 h2

b=

h2 , yo

e onsequentementeD equo d tngente ( n form

y=
wultiplindo ms prtes por

h2 xo h2 x . (c2 h2 )yo yo

yo D oteremos equo d tngente num form h2 fil de lemrr @ompre om equo d hiprole @IFPRAAX xo x yo y = 1. c2 h2 h2
@IFPSA

Assntotas de uma hiprbole

mos esrever equo ds ssntots d hiproleF ome s ret OS D OT D inlinds em relo o eixo ds sisss em um ngulo e h = 0D o rulo de entro em e e rio ut o ponto i pertenente ret OS e este ruloF h podemos determinrX

OE =

OA2 AE 2 =

v 2 t2 u2 t2 = t v 2 u2

PS

Famlia de curvas e sua envoltria

Captulo 1

pigur IFPWX e

tg =

ut AE u = = = 2 2 2 OE t v u v u2

1 v 1 u2
2

1 c 1 h2
2

c2

h . h2

gomo s ssntots pss no ponto yD sus equesD y e yD so respetivE menteD

y=
e

c2

h x h2

h x. y = 2 c h2

Propriedade do ponto mdio

isolhendo um ponto ritrrio M0 pertenente hiproleD queremos mostrr que se P1 OS e P2 OT D o segmento P1 P2 tngente um hiproleD ento M0 ponto mdioF y ponto P1 stisfz equo d ret tngente @IFPSA e oordends

x1 , y1 D stisfz equo d ssntot yD ento podemos esreverX y1 =

e sustituindo o nmero y1 n relo

c2

h x1 h2

@IFPTA

c2
otemos

yo y1 x o x1 2 =1 2 h h

x1 x yo o h c2 h2 c2 h2
PT

= 1.

Famlia de curvas e sua envoltria

Captulo 1

pigur IFQHX wultiplindo ms s prtes dest relo por relo

2 yo x2 o = 1, c2 h2 h2

c2

xo yo e proveitndo + 2 h h

enontrmos

x xo yo 1 = + , 2 2 2 2 h c h c h c2 h2 (mos om
@IFPUA

multiplindo por

c2 h2 x1 = xo + y o . h he mneir nlogD se pode lulr siss x2 do ponto P2 x2 = xo y o c2 h2 . h

@IFPVA

hs reles @IFPUA e @IFPVA otemos gor

c2 h2 x1 xo = x o x2 = y 0 h im rzo dos pontos P1 , Mo e P2 pertenerem mesm ret e por semelhnD P2 M0 = 1D se onlui que o ponto Mo o entro do segmento P1 P2 e o ponto de M0 P1 ontto do segmento tngente hiproleD entre s ssntotsF

PU

Famlia de curvas e sua envoltria

Captulo 1

Propriedade da rea
o s mesms ondies d propriedde nteriorD lulremos re do trinE gulo OP1 P2 F

pigur IFQIX fixemos do ponto P2 um perpendiulr P2 H sore ret OS F into re

S do tringulo OP1 P2 tem o seguinte vlorX 1 1 S = OP1 .P2 H = OP1 (OP2 sen2) = 2 2 x1 x2 1 sen2 1 . = . x 1 x2 = sen2 2 cos cos 2 cos2
gomo e

1 sen2 2sencos h . = = tg = 2 2 2 2 cos 2cos c h2

2 x1 x 2 = x2 o yo

2 c2 h2 x2 yo o 2 2 = ( c h ) = (c2 h2 ). h2 c2 h2 h2 he tl modoD qulquer tngente d hiprole que ort o ngulo entre s ssntotsD determin um tringulo que sempre tem mesm re e que

S = h c2 h2
F

PV

Famlia de curvas e sua envoltria

1.2.8 Lemniscata

Captulo 1

hesrevemos lemniscata

de Bernoulli1 omo envoltri de um fmli de

irunfernis om entro num hiproleF m hiprole equilter de equo

pigur IFQPX

x2 y 2 = k 2 e sej g um irunferni om entro ness hiprole pssndo pelo ponto yD origem do sistemF ej (, ) um ponto dess hiproleD irunferni em rio igul 2 + 2 equo de g do ldo direito d hiproleD serX (x )2 + (y )2 = 2 + 2 ,
que o mesmo que

x2 2x + y 2 2y = 0,
que equo dess fmli de irunferniF

pigur IFQQX
1 A lemniscata foi descrita pela primeira vez em 1694 por Jakob Bernoulli em um de seus trabalhos na Acta Eruditorum. Al a denominava de leminisco, lemniscus em Latin para "ta pendente", ta que adornava a coroa dos vencedores de certas competies da antiguidade.

PW

Famlia de curvas e sua envoltria

1.2.9 Cardiide

Captulo 1

y nome de cardiide1 derivdo d plvr greg kardioedides pr em form de oroD onde kardia signi( oro e eidos signi( formD emor sej relmente form mis omo o ontorno d seo trnsversl de um mF

pigur IFQRX m fmli de irunferni om entro num irunferni de rio e que pss em um ponto (xoF isolhmos o ponto (xo n origem do sistem y irunE ferni de rio e entro no ponto A(R, 0) de equo (x R)2 + y 2 = R2 e um irunferni om entro em (, ) de rio r de equo

(x )2 + (y )2 = r2 ,
onde r distni de y o entro destD logo r2 = 2 + 2 , ou sejD irunferni tem equo

(x )2 + (y )2 = 2 + 2 .
e equo d envoltri dess fmli de irunferni rdiideD que em oordends polr se esreve

r = 2R(1 + cos).

@IFPWA

r enontrr equo rtesinD fzendoX x = rcos; y = rsen, e x2 + y 2 = r2

cardiide foi inicialmente estudado por Ole Christensen Roemer em 1674, em um esforo para tentar encontrar o melhor projeto para os dentes da engrenagem. No entanto, a curva no foi dado o seu nome, at um matemtico italiano, Johann Castillon, usou em um artigo em 1741.
1O

QH

Famlia de curvas e sua envoltria

Captulo 1

pigur IFQSX n equo @IFPWAD otemos

x2 + y 2 = 2R 1 +
wultiplindo equo por

x x2 + y 2

x2 + y 2 otemos x2 + y 2 + 2Rx,

x2 + y 2 = 2R
que o mesmo que

x2 + y 2 2Rx = 2R

x2 + y 2

e gor elevndo o qudrdoD (nlmente otemos equo rtesin d rdiide

(x2 + y 2 2Rx)2 = 4R2 (x2 + y 2 ).

QI

Captulo 2 Clculo da Envoltria

istudremos gor de um form gerl omo determinr equo d envoltri de um fmli de urvsD pr isso de se esperr que usemos diferenioD que ferrment usd pr determinr tngente num erto ponto (x0 , y0 )F1

2.1

A diferenciao e a equao da Envoltria

Lema 1.1 Suponha que f (x, y, ) um polinmio. Vamos escrever em potncias

de
f (x, y, ) = p0 + p1 + p2 2 + p3 3 + ...
@PFIA

onde os coecientes p0 , p1 , p2 , p3 , ... so polinmios de x,y. Ento

f (x, y, + ) f (x, y, ) = f (x, y, ) + ...
@PFPA

onde f (x, y, )2 signica a soma de todos os termos que no tem e as reticncias indicamos os termos restantes, cada um dos quais contm um fator ou uma potncia deste. O polinmio ca parecido com
f (x, y, ) = p1 + 2p2 + 3p3 2 + ...
@PFQA

Prova.
ej f (x, y, ) um polinmio de gru nF into

f (x, y, + ) f (x, y, ) =
1 Boltianski, 2f
(x, y, ) a derivada parcial com respeito a do polinmio f (x, y, ).

V. G., La Envolvente, pp. 56-70.

QP

A diferenciao e a equao da Envoltria

Captulo 2

1 = [p0 + p1 ( + ) + p2 ( + )2 + p3 ( + )3 + ... (p0 + p1 + p2 2 + p3 3 + ...)] = = p1 [( + ) ] p2 [( + )2 2 ] p3 [( + )3 3 ] + + + ... = = p1 + p2 [(2 + )] + p3 [(32 + 3 + 2 )] + ... = = p1 + 2p2 + 3p3 2 + ... + os termos que tem .

2.1.1

Interseo de uma famlia de curvas

ej g envoltri de um fmli e v um urv dess fmli que to envoltri num ponto F iss fmli de urv pode estr nos dois ldos d envoltri @ver pigFPFIA ou pode estr tods de um ldo d envoltri @ver pigFPFP AD este tipo que estmos estudndoF ghmemos v9 um desss urvsD prxim de vD e to envoltri no ponto 9F

pigur PFIX es urv v e v9 tero pelo menos um ponto de interseo w e medid que v9 se proxim de v o ponto w se proxim do F vemremos que g o onjuntos de todos os pontos que tom lgum urv dess fmli de urvsD ou sejD se determinmos esses pontosD tmm determinmos envoltri dess fmli de urvsF gomo v e v9 esto prximsD podemos triuir um distni entre elsD to pequen qunto se queirF e urv v possui equo f (x, y, ) e v9 de equo

f (x, y, + ) e o ponto (x0 , y0 ) de interseo entre els stisfz o tnto equo

QQ

A diferenciao e a equao da Envoltria

Captulo 2

pigur PFPX de v omo de v9D stisfz o sistem

f (x, y, ) = 0, f (x, y, + ) = 0.
into otemos

f (x, y, ) = 0, f (x, y, + ) f (x, y, ) = 0.

hividindo por segund equo e plindo o vem PFID podemos esrever

f (x, y, ) = 0, f (x, y, ) + ... = 0.

Teorema 2 Cada ponto da envoltria satisfaz a equao que se obtm das relaes
f (x, y, ) = 0, f (x, y, ) = 0,
@PFRA

ao eliminar o parmetro .

Teorema 3 Suponha que a famlia de curvas est determinada pelas equaes (1.4).
Ento cada ponto da envoltria satisfaz a equao que se obtm das relaes
f (x, y, , ) = 0, g (, ) = 0, f .g g .f = 0,
@PFSA

QR

A diferenciao e a equao da Envoltria

Captulo 2

excluindo os parmetros e .

Prova.
r provr frmul PFS ns vmos exminr dus urvs prxims v e v9 de noss fmliF uponhmos que urv v orresponde os vlores e D e urv v9 orresponde os vlores prximos dos prmetros + 1 e + 2 F hesse modoD s eques d urv v e v9 se esreve n form

(L) (L )

f (x, y, , ) = 0, f (x, y, + 1 , + 2 ) = 0,

@PFTA

o mesmo tempo que os vlores esolhidos dos prmetros stisfzem relo @IFRAD ou sejD

g (, ) = 0, g ( + 1 , + 2 ) = 0.
tuntemos eques PFT e PFUD otemos

@PFUA

f (x, y, , ) = 0, f (x, y, + , + ) f (x, y, , ) = 0, 1 2 g (, ) = 0, g ( + , + ) g (, ) = 0.

1 2

que igul X

f (x, y, , ) = 0, f (x, y, + 1 , + 2 ) f (x, y, , + 2 )+ +f (x, y, , + 2 ) f (x, y, , ) = 0, g (, ) = 0, g ( + 1 , + 2 ) g (, + 2 ) + g (, + 2 ) g (, ) = 0.

@PFVA

es primeirs reles que se exmin om um sistem de eques em xD yD determinm o ponto de interseo de v e v9F im rzo d frmul @PFPA podemos esrever

f (x, y, + 1 , + 2 ) f (x, y, , + 2 ) = 1 (f (x, y, , + 2 ) + ...), f (x, y, , + 2 ) f (x, y, , ) = 2 (f (x, y, , ) + ...), g ( + 1 , + 2 ) g (, + 2 ) = 1 (g (, )) + ..., g (, + 2 ) g (, ) = 2 (g (, )) + ...

QS

A diferenciao e a equao da Envoltria

essim s reles @PFV A voltmos esrever n form

Captulo 2

f (x, y, , ) = 0, g (, ) = 0, 1 (f (x, y, , + 2 ) + ...) + 2 (f (x, y, , ) + ...) = 0, 1 (g (, + 2 ) + ...) + 2(g (, ) + ...) = 0.

@PFWA

ermos que ontm retinis qui so o termos que ontm os ftores 1 ou 2 F wultiplindo tereir relo por

1 (g (, ) + . . . ) 2 (g (, + 2 ) + . . . )
e qurt relo por

1 (f (x, y, , ) + . . . ) + 2 (f (x, y, , + 2 ) + . . . )
e somndoD depois de sutrir s reles semelhntes e grupndoD otemos
2 (2 1 + 2 )[(f (x, y, , + 2 ) + . . . )(g (, ) + . . . )

(g (, + 2 ) + . . . )(f (x, y, , + 2 ) + . . . )] = 0,
2 2 2 o nmero 2 1 + 2 D solutmenteD diferente de zeroD j que se 1 + 2 = 0 impliri

1 = 0 e 2 = 0, onsequentementeD s urvs v e v9 so oinidentesD o que no 2 verddeF essimD ltim relo se pode dividir por 2 1 + 2 D e otemos (f (x, y, , + 2 )+ ...)(g (, )+ ...) (g (, + 2 )+ ...)(f (x, y, , + 2 )+ ...) = 0.
ist reloD onjuntmente om primeir ds reles @PFWA D nos proporion os pontos de interseo ds urvs v e v9F e proximmos urv v9 de vD ou sejD se esolhemos os nmeros 1 e 2 d vez mis prximo de zeroD temos que ltim relo D no limiteD pss ser equo

f (x, y, , )g (, ) g (, )f (x, y, , ) = 0,
ou sejD se trnsform n ltim relo @PFSAF istD onjuntmente om primeir ds eques @PFSA D nos permite hr quele ponto no qul urv v to envolE triF essimD triuindo relo otid ds primeirs eques @PFW AD hremos o sistem de eques @PFSAF y ponto no qul urv v to envoltri deve stisE fzer esse sistemF ortnto por v se pode dmitir qulquer ds urvs d fmliD ento qulquer ponto d envoltri deve @pr ertos e A stisfzer o sistem @PFSAD que o que (rm o teorem QF QT

A diferenciao e a equao da Envoltria

Captulo 2

y leitorD que onhee noo de determinnte e os teorems fundmentis sore eques lineresD pode eitr omo verddeiro o seguinte teoremF

Teorema 4 Se a famlia de curvas determinada pelas equaes (1.1) e (1.2),

ento qualquer ponto da envoltria satisfaz a equao que resultante da equao (1.1), adicionar (1.2) a relao
f1 (g1 )1 (g2 )1 f 2 (g1 )2 (g2 )2 ... ... ... ... ... fm (g1 )m (g2 )m

. . .

. . .

. . .

=0

(gm1 )1 (gm1 )2

(gm1 )m

e eliminamos do sistema de equaes os parmetros 1 , 2 , ..., n .

undo m = 1 este teorem se reduz o teorem PD e qundo m = 2 se reduz o teorem QF
2.1.2 Curva discriminante

xos eorems P e Q omentmos que qulquer ponto d envoltri stisfz equo otid om elimino dos prmetros ns reles @PFRA ou @PFSAF xs no dizemos que envoltri determind pel equo otidD e pens dizemos que em qulquer ponto d envoltri stisfz est equoF ssso no um soF y fto enontrEse em um urv determind trvs d equo otid eliminndo os prmetros em @PFRA ou @PFSA@ est urv hmd de curva discriminante AD lm d envoltriD pode onter um nmero de pontos que no pertenem estF ue represent ess urv disriminntec r responder est pergunt se referir @sem lri(oD ms todos os rgumentos pode ser feito usndo noo de derivd que introduzimos imAD que pode representr um urv determind por um equoF uponhEse que f@xD yA qulquer polinmio em xD yF y lugr geomtrio de pontos no plnoD ujs oordends stisfzem equo

f (x, y ) = 0,
se hm curva algbricaF e ret um urv lgriD j que su equo tem form y = kx + bD ou y kx b = 0. es reles @IFQA ou @IFRA permitem hegr onluso que irunferni D hiprole D prol D so tmm exemplos de urvs lgrisF e urv lgri dizemos que lisa se em d ponto podemos trr um tngenteF e retD irunferniD prol e hiprole so urvs lissF ws pode onteer que urv lgri pode onter pontos especiaisD que triuiu QU

A diferenciao e a equao da Envoltria

Captulo 2

pontos crunodales @onde urv ort si mesmA pontos tacnodos @onde urv tngente si mesmA e pontos isoladosF essimD por exemploD urv determind
pel equo

(x2 + y 2 )2 2a2 (x2 y 2 ) = 0,

est hmd lemnist de fernoulliD @pigF PFQA ortEseD urv

y 2 x4 = 0
@pigF PFRA tem um ponto de utoontto n origem ds oordendsD e urv de equo

(x2 + y 2 )(y x 1) = 0,
formd por pontos pertenentes ret y x 1 = 0 @ou sejD y = x + 1) eD lm dissoD o ponto y @origem ds oordendsAD perto d qul no h outros pontos dest urv @pigFPFSAF ulquer urv lgri ou no ontm pontos espeiisD isto D lis ou tem pens um nmero (nito de pontos espeiisD que divide em pedos isoldos lisD e no outros pontos espeiisD pr lm dqueles listdos imD urv lgri no pode terF uponh gor que h um fmli de urvs lgris determindos pel equE o @IFQA ou @IFRAF e qulquer urv v de noss fmli tem um ponto runodl @pigFPFTA ontee que urv v9D 4prxim4d primeirD origtorimente ort urv v em um ponto w prximo do ponto F ortntoD rzo om jud do qul esteleemos

pigur PFQX vemnist de fernoulli eorem P ou QD que demonstrm que s oordends do ponto stisfzem s eques @PFRA ou @PFSAD ou sejD o ponto pertene urv disriminnteF essimD os pontos de runodles de d urv d fmli deve pertener urv disriminnteF h mesm formD qulquer ponto isoldo d urv v tmm deve pertener urv disriminnteF he tl modo urv disriminnte no s ontm envoltriD ms ontm todos os pontos espeiis de noss fmliF eontee que QV

A diferenciao e a equao da Envoltria

Captulo 2

pigur PFRX

pigur PFSX

pigur PFTX isso j est esgotndo todos os pontos d urv disriminnteD ou sejD a curva dis-

criminante incluem a envoltria e o lugar geomtrico de todos os pontos especiais de todas as curvas de famlia, que estudamos (Fig. 2.7)F eD pelo ontrrioD form
exmindos um fmli de urvs que no tm pontos espeiisD ento urv disE riminnte ontm nd mis do que envoltriD neste so urv disriminnte oinide om envoltriF xos exemplos disutidos ixo tods s fmlis so omposts por urvs que no tm pontos espeiisF ortntoD vmos pens enE ontrr urv disriminnteD j que nos sos que estudmos est oinidir om QW

A diferenciao e a equao da Envoltria

Captulo 2

pigur PFUX envoltriD ou sejD limitremos elimino dos prmetros ds eques @PFRA ou @PFSAF
2.1.3 A astride

entes de prosseguir om o prximo exemplo vmos presentr um urv inteE ressnte hmd astroideF

pigur PFVX omemos um irunferni de rio e outr de rio 1/4R que rolD sem deslizrD no interior d miorF pixemos um ponto e n irunferni menor trjetri que o ponto e fz um urv hmd stroideF uponh que irunferni de rio tem entro n origem do sistemD o ponto RH

A diferenciao e a equao da Envoltria

Captulo 2

pigur PFWX e pertenente irunferni de rio rD tem iniilmente posio @DHAD girndo no sentido horrio el perorrer num volt

2r = 2

R R = , 4 2

ou sejD qurt prte de um volt d irunferni de rio D urv que o ponto (xo e d irunferni de rio r desreve o que hmmos de astroideF

pigur PFIHX omemos um segmento de omprimento kF pmos deslizr sus extremiddes nos eixos ds sisss o ponto eD e no eixo ds ordends o ponto fF mos triuir RI

A diferenciao e a equao da Envoltria

Captulo 2

pr s oordends de A(, 0) e pr B (0, )D ret ef ter equo

y = x + ; = 0
podemos exiir ess fmli de rets omo

y + x = 0 2 + 2 k 2 = 0.

@PFIHA

elo eorem QD enontrremos envoltri desss rets eliminndo os prmetros

e no sistem de trs equesD enontrndo s derivds priis e esrevendo n form de f g f g = 0,

f = y ; f = x
e

g = 2 ; g = 2
simpli(ndoD ompletremos o sistem

y + x = 0 2 + 2 k 2 = 0 y x + 2 2 = 0..
mndoD otemos

@PFIIA

wultiplindo primeir equo por @ AD tereir equo por @A e soE

(2 + 2 )x = 3 ,
que o mesmo que

k 2 x = 3 ,
d (mos om

= (k 2 x)1/3 .
r enontrr o vlor de D multiplimos primeir equo por D tereir equo por e somndoD otemos

(2 + 2 )y = 3 ,
que o mesmo que

k2y = 3,

RP

A diferenciao e a equao da Envoltria

d (mos om

Captulo 2

= (k 2 y )1/3 .
ustituindo os vlores de e n segund equo do sistemD otemos

(k 2 x)2/3 + (k 2 y )2/3 = k 2 ,
(nlmente dividindo tudo por k 4/3 D enontrmos equo

x2/3 + y 2/3 = k 2/3 ,

que envoltri dess fmli de retsD e onsequentementeD segmentos que so tngentes ess astroideF
2.1.4 Segmento que determinam tringulos retngulos de rea constante

imos no gptulo I equo d fmli desses segmentos so

y + x 2k = 0 2k = 0.
eguindo (rmo do teorem Q vmos determinr s derivds priis

f = y ; f = x; g = ; g = ,
e gor exiimos equo

f g f g = y x = 0.
esolveremos o sistem omposto pels trs eques

y + x 2k = 0 2k = 0 x y = 0
ustituindo y por x n primeir equo otemos

x = k.
enlogmenteD

y = k.

RQ

A diferenciao e a equao da Envoltria

wultiplindo os dois resultdos otemos

Captulo 2

xy = k 2
e usndo segund equo do sistemD hegmos

2kxy = k 2 .
impli(ndoD temos equo d envoltri dess fmli de urvsD que um hiprole

xy =

k 2

pigur PFIIX

2.1.5

Segmento e soma constante

oltmos gor o prolem d fmli de segmentos que tem sus extremiddes no sistem de eixos e que som de sus oordends um onstnte kF gomo j foi mostrdo @IFUA s eques ixo determinm ess fmli de segE mentosF

y + x = 0 +k =0
pzendo = k e sustituindo n equo d ret e simpli(ndo teremos um equo pens om um prmetroD no so F ytemosX

(k )y + x (k ) = 0

RR

A diferenciao e a equao da Envoltria

ky + (x y k ) + 2 = 0
e ento podemos plir o eorem PX

Captulo 2

f (x, y, ) = 2 + (x y k ) + ky = 0 f (x, y, ) = 2 + (x y k ) = 0.
wultiplindo por (2) primeir equo e por segund equoD somndoD eliminmos o termo de gru P n primeir equoD (mos omX

(x y k ) 2ky = 0 2 + (x y k ) = 0
egor fzendo =
(xy k) 2

e sustituindo n primeirD otemos

(x y k ) (x y k ) 2ky = 0, 2
multiplindo por P

(x y k )2 4ky = x2 + y 2 + k 2 2kx 2xy 2ky = 0

somndo e sutrindo 4xy D

x2 + y 2 + k 2 2kx + 2xy 2ky 4xy = 0 (k x y )2 = 4xy k x y = 2 xy x + 2 xy + y = k ( x + y )2 = k

pigur PFIPX

RS

A diferenciao e a equao da Envoltria

e (nlmente

Captulo 2

x+ y = k

equo d envoltri1 dess fmli de segmentosF

2.1.6 Segmento e sua perpendicular

vemremos que neste exemploD ns temos um ponto (xo pD um ponto e que vri de posio num ret (xF t determinmos equo dess fmli de rets perpendiulres o segmento epD que esrevemos qui su equo

f (x, y, ) = py x + 2 = 0,
enontrremos equo d envoltriD omo tem um ponto (xo e um ret (xD espermos que sej um prolF

pigur PFIQX eguindo o que diz o teoremD pr enontrr equo d envoltriD st derivr ess equo e eliminr o prmetro F mos pssr o lulo d derivd

f = x + 2
fzendo =

x e sustituindo n equo de f (x, y, ) e multiplindo por R temos 2 4py 2x2 + x2 = 0,

um caso particular de uma hipoelipse (ou curva de Lam) matemtico francs Gabriel Lam y n n (1795 - 1870) que generalizou a equao da elipse | x a | + | b | = 1.

RT

A diferenciao e a equao da Envoltria

ou sejD

Captulo 2

4py = x2
equo d prol omo envoltri dess fmli de retsF
2.1.7 Circunferncias com centro numa reta

m fmli de irunfernis om rio e entro num ret l @pigFIAF gomo j vimos equo @IFWA dess fmli

x2 + y 2 + 2x + 2 R2 = 0
isreveremos equo d fmli de urvs n form polinomil

f (x, y, ) = 0,
onde f (x, y, ) prte esquerd d equo @IFIA

@PFIPA

epens dus rets tngenim d um ds irunfernis dess fmliD so prlels ret vD s involtris dess fmli de irunfernisD ou sejD s rets

y = R e y = R F gonheendo equo dess fmli de irunferni vist no gptulo ID vmos gor exiir equo d su envoltriaD esrevendo n form f (x, y, ) = 0
e derivndo em relo otemos

x2 + y 2 2x + 2 R2 = 0, 2x + 2 = 0.

pigur PFIRX pzendo = x n primeir desss eques otemos

y 2 R2 = 0
RU

A diferenciao e a equao da Envoltria

Captulo 2

e d pens dus rets y = R e y = R, ou sejD so s involtris dess fmli de irunfernisF

2.1.8 Circunferncias com centro numa Circunferncia

t vimos s eques d fmli de irunfernis de rio r om entro num irunferni de rio

x2 + y 2 2x 2y + 2 + 2 r2 = 0, 2 + 2 R2 = 0.
e tereir equo onforme o eorem Q X

@PFIQA @PFIRA

x + y = 0

@PFISA

r determinr envoltri vmos isolr os temos que tem , de um ldo d igulddeD

x2 + y 2 + R 2 r 2 2 x + y = 0 x + y =
ilevndo o qudrdo ms eques

(x)2 + 2xy + (y )2 = (x)2 2xy + (y )2 = 0

x2 + y 2 + R 2 r 2 2

omndo s dus eques e ftorndo otemos

(2 + 2 )x2 + (2 + 2 )y 2 =
que o mesmo que

x2 + y 2 + R 2 r 2 2

4R2 (x2 + y 2 ) = (x2 + y 2 + R2 r2 )2

hesenvolvendo os prnteses

4R2 (x2 + y 2 ) = x4 + y 4 + R4 + r4 + 2x2 y 2 + 2x2 R2 2x2 r2 + 2y 2 R2 2y 2 r2 2R2 r2

RV

A diferenciao e a equao da Envoltria

impli(ndo

Captulo 2

x4 + y 4 + R4 + r4 + 2x2 y 2 2x2 R2 2x2 r2 2y 2 R2 2y 2 r2 2R2 r2 = 0

omndo 4R2 r2 e ftorndo temos

(x2 + y 2 R2 r2 )2 = 4R2 r2
i (nlmente s eques ds envoltris dess fmli so

x2 + y 2 = (R + r)2
e

x2 + y 2 = (R r)2 .

pigur PFISX

2.1.9

A Hiprbole como envoltria

imos que equo d fmli de irunfernis

f (x, y, ) = 1

u2 2 2x + x2 + y 2 + h2 , v2

RW

A diferenciao e a equao da Envoltria

Captulo 2

e gor tomndo su derivd pril em relo que denotremos por

f (x, y, ) = 2 1

u2 2x v2

que podemos esrever n formD de ordo om o eorem P devemos eliminr o u2 prmetro D pr isso fremos 1 2 x = 0 e ssim otemos v

x u2 1 2 v

ustituindo em f (x, y, ) otemos

x2 2x2 + x2 + y 2 + h2 = 0, u2 u2 1 2 1 2 v v
que o mesmo que

x2 v 2 + v 2 u2 2 2 2 2 x + y 2 + h2 = 0. + x + y + h = u2 v 2 u2 1 2 v x2 u 2 + y 2 + h2 = 0. v 2 u2

h otemos

hividindo por h2 (mos om

x2 y2 1=0 (v 2 u2 )h2 h2 u2
e (nlmente fzendo c =

u h otemos v x2 y2 =1 c2 h2 h2

que equo de um hiprole omo envoltri dess fmli de irunfernisD emor no nosso prolem o ldo direito d hiproleD qundo x > 0D sej soluoF

SH

A diferenciao e a equao da Envoltria

Captulo 2

pigur PFITX
2.1.10 A Elipse como envoltria

etomndo fmli de rets gerds prtir de um irunferni e um pontoD s quis expressmos pels eques ixo

2 + 2 2x 2y 2cx c2 = 0 2 + 2 2c + c2 4a2 = 0

@PFITA @PFIUA

heterminemos tereir equo de ordo om o eorem Q derivndo em relo e f = 2 2xY f = 2 2y Y g = 2 2c e g = 2 que

( x) ( y )( c) = 0
mm podemos esrever omo

@PFIVA

( c)y = (x c)
e n form de equo de um ret v9

y=

c x . c c

entes de esrever envoltri g dess fmli de rets vmos exminr lgums proprieddesF isolhemos ento um ponto e de oordends , que stisfz s eques PFITD PFIUD PFIV e onsequentemente vi existir um ponto de oordends xDy que stisfz ret tngente v e envoltri gF emos ento eD e F1 pertenE entes mesm ret v9D j que sus oordends tmm stisfz equo dess retD logo

AT + T F1 = 2a

SI

A diferenciao e a equao da Envoltria

rio d irunferniF

Captulo 2

pigur PFIUX gomo todo ponto de v equidistnte e e F2 D ento AT = T F2 e d otemos

T F1 + T F2 = 2a,
ou sejD primeir propriedde a envoltria C o lugar geomtrico dos pontos em

que a soma das distncia a dois pontos xos F1 e F2 igual a uma constanteD que
gerlmente dd omo de(nio d elipseF e segund propriedde tem hver om os ngulos que rel v fz om s semiE rets T F1 e T F2 F ys pontos F2 e A so simtrios em relo ret LD portnto

M T A = M T F2 F e ret v9 intersept ret v no ponto D logo os ngulos M T A e T T F1 so opostos pelo vrtieD d M T A = T T F1 = M T F2

ssso signi( que o rio de luz que si do ponto F2 em direo F2 T D o re)etir n ret v segundo lei "o ngulo de incidncia igual ao ngulo de refrao"D seguir em seguid pelo segmento T F1 F imor rel L to elipse no ponto eD por onsequniD re)exo do rio no ponto T d ret v equivlente re)exo d prpri elipse no ponto T F ois ssimD se colocarmos em um dos focos da elipse SP

A diferenciao e a equao da Envoltria

Captulo 2

pigur PFIVX

uma fonte puntiforme de luz mostra que cada raio , convergir para o segundo foco, ou seja, todos os raios reetidos se reuniro ( "enfocaram", daqui a denominao "foco") no segundo foco da elipse @pigF PFIVAF

pigur PFIWX r (nlizrD desenvolvendo relo que otemos n primeir proprieddeD equo d elipse que exminmos tem form de

x2 y2 + = 1. a2 a2 c2
SQ

A diferenciao e a equao da Envoltria

Captulo 2

ist equo tmm pode ser otid de @PFITAD @PFIUAD @PFIVA eliminndo os prE metros e F qerlmente esrevemos b2 = a2 c2 e equo se esreve n formX

x2 y 2 + 2 = 1. a2 b

2.1.11 Lemniscata

@PFIWA

he vris mneirs podemos oter equo d lemnistD ms vmos gor oter omo um fmli de irunfernisD que pss pel origemD om entro num hiproleF isolhmos um ponto n hiprole P (, )D ento omo j vimos equo dess fmli de irunfernis tem equo

f (x, y, , ) = x2 + y 2 2x 2y = 0,
omo pertene hiproleD podemos relionr os dois prmetros pel equo

g (, ) = 2 2 k 2 = 0
e determinndo s derivds priisD otemos equo

x + y = 0.
h primeir equo temos

(x2 + y 2 )2 = (2x + 2y )2 = 42 x2 + 8yx + 4 2 y 2 = 42 x2 + 4yx + 4yx + 4 2 y 2 .

pzendo y = x D otemos

42 x2 4 2 x2 + 42 y 2 + 4 2 y 2 = 4x2 (2 2 ) 4y 2 (2 2 ) = 4(2 2 )(x2 y 2 ).

gomo 2 2 = k 2 D onlumos que

(x2 + y 2 )2 = 4k 2 (x2 y 2 ),
que equo d lemnistD om isso lemnist envoltri dess fmli de irunfernis om entro n hiproleF

SR

A diferenciao e a equao da Envoltria

Captulo 2

pigur PFPHX

SS

Apndice A
A.1 Introduo

epresentremos gor lgums eques trtds n qeometri nlti do enE sino mdio e usmos nest dissertoF
A.1.1 Retas e circunferncias

y ponto vmos representr omo um pr de oordends no plnoD por exemploD ea@RDQAF e ret vmos representr por dois pontos efD e equo d ret no plno rtesino representd ns formsX grtesin @ou qerlA e eduzid @ou e(mAF e temos dois pontos e e fD vmos determinr ret efF mos representr oordends do ponto e por xA , yA e s oordends de f por xB , yB F e equo grtesin @ou qerlA d ret pode ser luld usndo um ponto vrivel @xD yA e os dois pontos que j onheemos e e fF gomo os trs pontos pertenem ret efD tngente dois dois destes pontos so iguisD ou sejD

yA yB a y yA = = x xA xA xB b
D d fzendo b(y yA ) = a(x xA ) e eliminndo os prntesesD otemosX

by byA = ax + axA
que o mesmo que

ax + by = axA + byA .
pzendo c = byA + axA hegmos equoX

ax + by = c.
r esrever equo e(m @ou eduzidAD st dividir por e isolr o yD ou

ST

Introduo
sejD

Apendice

c a y = x+ b b a c e n = hegmos formX b b y = mx + n

e hmndo m =

D onde m hmdo de oe(iente ngulrD pois tngente do ngulo de inlino de retD e n hmdo de oe(iente linerD que interseo d ret om o eixo yF

Denio 5 Lugar Geomtrico um conjunto dos pontos que tem uma mesma
propriedade.
essim podemos dizer que irunferniAF e irunferni de entro (, ) e rio D representd pel equoX

Circunferncia

o lugr geomtrio dos pontos

que esto mesm distni @rio d irunferniA de um ponto ddo @entro d

(x )2 + (y )2 = R2 .

@eFIA

pigur eFIX

SU

Introduo
A.1.2 Elipse

Apendice

Elipse o lugr geomtrio dos pontos em que som ds distnis dois

pontos (xos @foosA um onstnteF e elipse de foos e e fD entro (, )D onsiderndo 2a o omprimento do eixo miorD n horizontlD 2b o omprimento do eixo menorD n vertil e 2c distni folD representd por

(x )2 (y )2 + = 1, a2 b2
onde os prmetros D e se relionm pel equo

@eFPA

b 2 + c 2 = a2 .

pigur eFPX

SV

Introduo
A.1.3 Parbola

Apendice

e Parbola o lugr geomtrio dos pontos equidistntes um ponto (xo @fooA e um ret @diretrizAF m prol de foo F (a, b + p)D vrtie V = (a, b) e diretriz y = b pD onde Pp distni do foo diretrizD representd por

(x a)2 = 4p(y b)

@eFQA

pigur eFQX

A.1.4

Hiprbole

e Hiprbole de foos e e f o lugr geomtrio dos pontos em que diferenD entre s distnis do foo e e do foo fD um onstnteF m hiprole de entro (, )D sej P distni fol e P distni prinipl e P distni seundriD tl que a2 + b2 = c2 D representd por

(x )2 (y )2 = 1, a2 b2
onde os prmetros D e se relionm pel equo

@eFRA

a2 + b 2 = c 2 .

Rotao de eixo
omum preer hiprole equilter n form

xy = k
SW

Introduo

Apendice

pigur eFRX D vmos mostrr que um hiprole om um roto de eixoF

pigur eFSX mos onsiderr dois eixos um om eixos xy e outro om eixos xy D o segundo rotiondo no sentido ntiEhorrio de um ngulo F es oordends do ponto e no sistem de eixos xy hmmos de xeD ye e no sistem de eixos xy hmmos de

xA, yAF mos esrever xA = xAcos yAsen yA = xAsen + yAcos

egor pr um ponto qulquer de oordends xDy e x, y D esrevendo

xy = (xcos ysen)(xsen + ycos) = k

TH

Introduo

Apendice

pigur eFTX

x2 cossen y 2 cossen + xycos2 xysen2 = k

(x2 y 2 )cossen + xy (cos2 sen2 ) = k

x ltim equo esolhemos um vlor de que nule o termo xy D ou sejD = 45o D d otemos

(x2 y 2 )cos(45o )sen(45o ) = x2 y 2 = 2k

equo de um hiprole rotiond de 45o em rel o eixo xyF

A.1.5

Lemniscata

e lemnist um urv pln de(nid prtir de dois pontos ddos F1 e F2 D onheido omo foosD um distni de P um do outro omo o lugr geomtrio dos pontos D de modo que P F1 .P F2 = a2 F e urv tem um form semelhnte o lgrismo V e smolo pr representr in(nitoF

Denio 6 A Lemniscata o lugar geomtrico dos pontos P, cujo produto das

distncia a dois pontos xos (focos) igual a a2 .
ejm F1 = (a, 0) e F2 = (a, 0) os foos d lemnist de entro O = (0, 0)D ou sej

(x + a)2 + y 2 . (x a)2 + y 2 = a2
TI

Introduo

Apendice

pigur eFUX vemnist de fernoulli

[(x + a)2 + y 2 ].[(x a)2 + y 2 ] = a4 [x2 + 2ax + a2 + y 2 ][x2 2ax + a2 + y 2 ] = a4 [(x2 + y 2 ) + (a2 + 2ax)][(x2 + y 2 ) + (a2 2ax)] = a4 (x2 + y 2 )2 + (x2 + y 2 )(a2 2ax) + (x2 + y 2 )(a2 + 2ax) + a4 4a2 x2 = a4 (x2 + y 2 )2 + (x2 + y 2 )2a2 4a2 x2 = 0 (x2 + y 2 )2 + (x2 + y 2 2x2 )2a2 = 0 (x2 + y 2 )2 = 2a2 (x2 y 2 )
form rtesin d lemnistF pzendo x = rcos e y = rsinD otemos equo polr

r2 = 2a2 cos2
A.1.6 Cardiide

pigur eFVX e

Cardiide

de(nid pelo perurso de um ponto n irunferni de um TP

Introduo

Apendice

rulo om um rio que rol sem esorregr sore um outro rulo de mesmo rioF iquo rtesin

(x2 + y 2 2Rx)2 = 4R2 (x2 + y 2 ).

iquo polr

r = 2R(1 + cos)

TQ

Noo de limite
A.2 Noo de limite e derivada

Captulo 2

mos estudr limite ds funes polinomiis f (x) = an xn + an1 xn1 + ... +

a2 x2 + a1 x + a0 F ghmemos de limite v de f@xA qundo x se proxim de D e representdo porX lim f (x) = L

xb

ixemplo IX ej f (x) = 3x 5D o lim 3x 5 = 3.4 5 = 12 5 = 7

x4

ixemplo PX ej f (x) = 5x2 4x2D o lim 5x2 4x 2 = 5.(2)2 4.(2)2 =

x2

20 + 8 2 = 26

Denio 7 Uma funo de domnio D contnua num ponto x0 de seu domnio,

se somente se: i) existir o valor de f (x0 ); ii)existir o lim f (x) x x0 iii)f (x0 ) = lim f (x)
xx0

e funo polinomil um exemplo de funo ontnu em

Denio 8 Chama-se derivada de uma funo f(x) num certo ponto x0 , pertencente ao domnio de f (x), ao valor f (x0 ) = lim xx0 limite e for diferente de .
f ( x) f ( x0 ) , x = x0 , se existir o x x0

e funo polinomil ontnu e derivvel em todo seu domnioF ixemploX P (x) = 5x3 + 2x2 2x + 8D derivd de P (x) ser representd por P (x) = 3.5x31 + 2.2x21 1.2x11 + 0 que efetundo s operes otemos

P (x) = 15x2 + 4x 2F

A.3

Derivada parcial

uponh que um funo rel f pr d terno (x, y, ) ssoi um nio nmero rel f (x, y, )F gomo por exemplo f (x, y, ) = x2 + 3xy 4y denotremos por fx (x, y, ) deE rivd pril de f em relo xD onsiderndo y e ontntesD ou sejD fx (x, y, ) =

2x + 3y Y nlogmente derivd pril em relo yD onsiderndo x e onsE tntesD fy (x, y, ) = 3x 4 e derivd pril em relo D onsiderndo x e y onstntesD f (x, y, ) = 4y.

TR

Referncias Bibliogrcas
I vilD qerldo FFD Clculo: diferencial e integralD vivros nios e gient(osY io de tneiroY iditor niversidde de frsliY ppF ITTEITVD @IWUVAF P foltinskiD ldemir qFD La EnvolventeD iditoril wir wosouD @IWUUAF Q wrkushevihD eFsFD Curvas Notveis Y rduzido por oinson woreir enE rio E o ulo X etul iditorD IWWS E @goleo wtemtiX prendendo e ensinndoA R mrezD sr giurriFD A vueltas con la envolvente: una aventura de curvas

con algunos personajes. niversidd de v ioj E heprtmento de wtemE

tis y gomputinFD @PHHWAF S ilhesD wF eF A Envoltria de Curvas PlanasD gdernos do swi E rie wE temti E olume Q@PHHWAF

TS