Usando o Maple em Geometria Anal tica

Lenimar Nunes de Andrade UFPB - Joo Pessoa, PB a e-mail: lenimar@mat.ufpb.br 20 de fevereiro de 2002

Introduo ca

O Maple um programa de Computaao Algbrica de uso geral que possui inmeros e c e u recursos numricos e grcos, alm de tambm funcionar como uma linguagem de proe a e e gramao. Ele vem sendo desenvolvido no Canad desde 1981 pela Waterloo Maple Inc. ca a Com ele, poss realizar clculos que contenham s e vel a mbolos como , ou 2 sem a necessidade de fazer aproximaes numricas ou realizar simplicaoes e clculos com co e c a expresses algbricas como ax2 + bx + c ou x3 + log(x) sem ser preciso atribuir valores o e numricos `s variveis ou constantes. Devido a essas propriedades, poss encontrar e a a e vel solues exatas para problemas prticos que envolvam resoluo de equaes, derivadas, co a ca co integrais, clculo matricial, etc, tudo isso integrado a recursos que permitem visualizaao a c de grcos planos ou tridimensionais. a O objetivo deste artigo dar uma pequena amostra de como esse programa pode ser e usado para resolver problemas de Geometria Anal tica. Cada comando digitado deve terminar com um ; (ponto e v rgula) ou com : (dois pontos), seguido de Enter. Se o comando terminar com ponto e v rgula, o resultado da sua execuao ser mostrado logo em seguida. Se terminar com dois pontos, o resultado c a no ser mostrado, podendo ser usado posteriormente. a a As operaoes aritmticas bsicas so indicadas por + (adio), - (subtraao), * (mulc e a a ca c tiplicao), / (diviso) e ^ (potenciao) e a ordem de prioridade nos clculos a mesma ca a ca a e utilizada na Matemtica. a Exemplo 1.1 Ao lado do aviso de prontido do Maple (um sinal de maior) digitamos a 3 + x2 4a + 5 + 1 7a + x2 e encerramos a linha com um ponto e v rgula. Ele calcula a soma e mostra imediatamente o resultado: > 3 + x^2 - 4*a + 5 + 1 - 7*a + x^2; 9 + 2x2 11a A simplicaao fundamental na apresentao de muitos resultados. Para isso, o c e ca Maple possui o comando simplify(expresso), entre outros comandos. a a Exemplo 1.2 Simplicar a expresso x6 + 3x5 3x4 42x3 153x2 + 3x + 11 x6 4x5 15x4 + 56x3 + 15x2 4x 1
1

> simplify( (x^6 > (x^6

+ 3*x^5 - 4*x^5

- 3*x^4 - 42*x^3 - 153*x^2 - 15*x^4 + 56*x^3 + 15*x^2 x2 + 3x + 11 x2 4x 1

+ 3*x + 11)/ - 4*x - 1 ));

Exemplo 1.3 O comando factor(expresso) pode ser usado para fatorar uma expresso a a dada. Por exemplo, fatorando x4 16 e x5 + x + 1 obtemos: > factor(x^4 - 16); (x 2)(x + 2)(x2 + 4) > factor(x^5 + x + 1); (x2 + x + 1)(x3 x2 + 1) Exemplo 1.4 O comando para resoluo de uma equao o solve(equao). Ele enca ca e ca contra solues reais ou complexas de muitos tipos de equaes: polinomiais, logar co co tmicas, exponenciais, trigonomtricas, irracionais, etc. Aqui, resolvemos duas equaes do see co gundo grau e a equao irracional x + 6 + x + 1 = 7x + 4. O comando sqrt(x) ca denota a raiz quadrada de x. > solve( x^2 + 4*x + 2 = 0 ); 2 + > solve( x^2 + 4*x + 5 = 0); 2 + I, 2 I > solve( sqrt(x + 6) + sqrt(x + 1) = sqrt(7*x + 4)); 3

2, 2

Pontos e retas

Os comandos do Maple esto agrupados de acordo com assunto, formando pacotes a que podem ser chamados com um comando with(pacote). Por exemplo, o Maple possui um pacote chamado geometry com mais de 100 comandos relacionados com itens de geometria euclidiana plana. No pacote geometry um ponto P = (a, b) denido na forma point(P, a, b) e uma e reta L pode ser denida de duas maneiras com um comando line:
Com sua equaao e a lista de variveis: line(L, equao, [variveis]) c a ca a Com dois de seus pontos A, B e as variveis: line(L, [A, B], [variveis]) a a

Entre as muitas funoes do pacote geometry relacionados com os objetos point e c line, vamos citar algumas: coordinates(P) Coordenadas do ponto P
2

Equation(L) Equao da reta L ca slope(L) Declividade da reta L distance(P, Q) Distncia entre os pontos P e Q a distance(P, L) Distncia entre o ponto P e a reta L a PerpendicularLine(L2, P, L1) Dene a reta L2 que passa pelo ponto P e perpene dicular ` reta L1 a ParallelLine(L3, Q, L4) Dene a reta L3 que passa pelo ponto Q e paralela ` reta e a L4 Exemplo 2.1 Obter a equao da reta que passa pelo ponto P = (5, 6) e perpendica e cular a reta que passa por A = (1, 1) e B = (3, 2). ` Inicialmente, denimos um ponto P como objeto geomtrico do pacote geometry. e > with(geometry): > point(P, 5, -6): Agora, denimos a reta r que passa pelos pontos A = (1, 1) e B = (3, 2). > line(r, [point(A, 1, 1), point(B, -3, 2)], [x, y]): Depois de denida a reta r, podemos obter sua equao e sua declividade. ca > Equation(r); 5 x 4y = 0 > slope(r); 1 4 Denimos a reta s que passa por P e perpendicular a r e mostramos sua equao. e ca > PerpendicularLine(s, P, r): > Equation(s); 26 4x + y = 0

Circunferncias e

Uma circunferncia C pode ser denida usando-se o comando circle de uma das e quatro maneiras mostradas a seguir:
Com trs pontos P , Q e R e lista de variveis: circ(C, [P, Q, R], [variveis]) e a a Com dois de seus pontos P e Q diametralmente opostos e a lista de variveis: a circ(C, [P, Q], [variveis]) a Com sua equaao e a lista de variveis: circle(C, equao, [variveis]) c a ca a
3

 Com o centro O e o raio r: circ(C, [O, r], [variveis]) a

Citemos algumas das funoes do pacote geometry relacionadas com o comando circle: c center(C) Centro da circunferncia C e radius(C) Raio da circunferncia C e Equation(C) Equaao da circunferncia C c e Exemplo 3.1 Seja C a circunferncia cuja equao x2 + y 2 3x + 7y 1 = 0. Calcular e ca e as coordenadas do seu centro e o seu raio. > with(geometry): > circle(C, x^2 + y^2 - 3*x + 7*y - 1 = 0, [x, y]): > coordinates(center(C)); 3 7 , 2 2 > radius(C); 1 31 2 2 O comando solve tambm pode ser usado para resolver sistemas de equaes. Para e co isso, basta utiliz-lo com a lista entre chaves das equaes do sistema. a co Exemplo 3.2 Determine a interseo da circunferncia C2 que passa pelos pontos A(5, 4), ca e B(6, 1) e C(3, 2) com a reta R1 que passa pelos pontos D(1, 2) e E(4, 1). > > > > with(geometry): circle(C2, [point(A,5,4), point(B,6,1), point(C,-3,-2)], [x,y]): line(R1, [point(D, 1, 2), point(E, -4, 1)], [x,y]): EqCirc := Equation(C2); EqCirc := x2 23 + y 2 2x 2y = 0 O sinal de := utilizado pelo Maple para fazer a atribuio de valor a uma determinada e ca varivel. a > EqReta := Equation(R1); EqReta := 9 + x 5y = 0 > solve({EqCirc, EqReta}); 38 73 ,x= } 13 13 Obtivemos ento uma interseo formada pelo conjunto de pontos a ca {y = 1, x = 4}, {y = (4, 1), ( 73 38 , ) 13 13

Cnicas o

No pacote geometry, cada cnica da qual se conhece a equao pode ser denida com o ca um comando conic(G, [equao], [variveis]) ca a Opcionalmente, a palavra conic pode ser substitu da por parabola, ellipse ou hyperbola. Mas, h muitas outras maneiras de deniao de cada cnica. Por exemplo, uma a c o parbola P da qual seja conhecida o foco F e o vrtice V pode ser denida com um a e comando parabola(P, [focus = F, vertex = V], [variveis]), a uma elipse E da qual sejam conhecidos seus focos F 1 e F 2 e a soma dos raios focais s pode ser denida na forma ellipse(E, [foci = [F1, F2], distance= s], [variveis]) a e uma hiprbole H da qual sejam conhecidos os focos F 1 e F 2 e os vrtices V 1 e V 2 pode e e ser denida por hyperbola(H, [foci = [F1, F2], vertices = [V1, V2]], [variveis]). a Depois de denida, podemos obter informaoes a respeito de uma cnica G com os c o seguintes comandos: form(G) Classicaao de G c Equation(G) Equao de G ca foci(G) Focos de G vertices(G) Vrtices de G e center(G) Centro de G asymptotes(G) Ass ntotas de G directrix(G) Diretriz de G Exemplo 4.1 Considere a parbola P com vrtice V = (3, 4) e foco F = (2, 4). Detera e mine sua equaao e sua diretriz. c > with(geometry): > parabola(P, [vertex = point(V,-3,4), focus = point(F,2,4)], [x,y]): > EqPar := Equation(P); EqP ar := 1100 + 25y 2 500x 200y = 0 > EqPar/25; 44 + y 2 20x 8y = 0
5

> Equation(directrix(p)); x+8=0 Exemplo 4.2 Determine a equao da elipse E de focos F1 = (4, 3), F2 = (4, 5) e soma ca dos raios focais igual a 12. > > > > with(geometry): point(F1, 4, 3), point(F2, 4, -5): ellipse(E, [foci=[F1, F2], distance=12], [x, y]): eq := Equation(e); eq := 576x2 4608x + 320y 2 + 640y 1984 = 0 Podemos usar o comando completesquare(equao, varivel) do pacote student ca a para completar os quadrados e escrever a equao em um formato usual. ca > with(student): eq := completesquare(eq, x); eq := 576(x 4)2 11200 + 320y 2 + 640y = 0 > eq := completesquare(eq, y); eq := 320(y + 1)2 11520 + 576(x 4)2 = 0 Agora, somamos 11520 ao lado esquerdo (lhs) e ao lado direito (rhs) da equao eq: ca > eq := lhs(eq) + 11520 = rhs(eq) + 11520; eq := 320(y + 1)2 + 576(x 4)2 = 11520 > eq := eq/11520; eq := 1 1 (y + 1)2 + (x 4)2 = 1 36 20

Exemplo 4.3 Determine os focos, os vrtices e as ass e ntotas da hiprbole H de equao e ca 2 2 9y 4x 36y + 20x = 100. > with(geometry): > hyperbola(H, 9*y^2 - 4*x^2 - 36*y + > map(coordinates, foci(H)); 5 1 [[ , 2 1443], 2 6 > map(coordinates, vertices(H)); 5 1 [[ , 2 111], 2 3 > map(Equation, asymptotes(H)); 20*x = 100, [x,y]): 5 1 [ ,2 + 1443]] 2 6 1 5 [ ,2 + 111]] 2 3

11 2 1 2 = 0, y x = 0] [y + x 3 3 3 3
6

Exemplo 4.4 Determine o centro e identique a cnica denida pela equao o ca 2 2 2x + 3y + 8x 6y 13 = 0. > with(geometry): > conic(c, 2*x^2 + 3*y^2 + 8*x - 6*y - 13 = 0, [x, y]): > coordinates(center(c)); [2, 1] > form(c); ellipse2d Para obter mais informaes sobre o Maple e sobre Computaao Algbrica, consultar co c e as pginas www.SymbolicNet.org e www.mapleapps.com na Internet. a