UNIVERSIDADE FEDERAL DO TRI

ANGULO MINEIRO
MESTRADO PROFISSIONAL EM MATEM

ATICA EM REDE
NACIONAL
Joaquim Barbosa J unior
Resolucao de problemas usando o wxMaxima
Uberaba-MG
2013
JOAQUIM BARBOSA J

UNIOR
Resolucao de problemas usando o wxMaxima
Dissertac ao, apresentada ao curso de Mes-
trado Prossional em Matem atica em Rede
Nacional-PROFMAT, como parte das ati-
vidades para obten cao do ttulo de Mestre
em Matem atica da Universidade Federal do
Triangulo Mineiro - UFTM, Departamento
de Matematica.
Uberaba
2013
A minha esposa Maria R ubia Barbosa
e minha lha Mariannah Silva Barbosa.
AGRADECIMENTOS
Agradeco a Deus acima de tudo.
Ao meu orientador Ms. Welington Barros e Barbosa.
Ao meu co-orientador Dr. Osmar Alessio.

`
A coordenadora do PROFMAT polo UFTM, Dr. Marcela Luciano Vilela de Souza

`
A CAPES
Agradeco ao IMPA e a SBM pela criacao do PROFMAT, que proporcionou-me a
oportunidade de tornar-me um mestre.
Ao meus companheiros de muitas viagens Mario e Neilon.
A mente que se abre a uma nova ideia jamais voltara ao seu tamanho original.
Albert Einstein
RESUMO
Este trabalho ilustra as potencialidades do software wxMaxima usando o sistema
operacional UBUNTU-Linux em um ambiente graco KDE. Mostra com trabalhar com
vari aveis, listas, equacoes, func oes e gr acos de duas ou tres dimens oes. Outros temas do
ensino superior como limites, derivadas, integrais, matrizes, sistemas lineares, autovalores,
autovetores e equa coes diferenciais tambem s ao abordados. WxMaxima e um software
livre e pode fazer c alculos usando a forma simbolica e/ou numerica. Pode tambem ser
utilizado em sistemas operacionais como MacOS e Windows. A disserta cao tambem
apresenta sugest oes sobre como e onde o aplicativo pode ser utilizado.
Palavras-chave: Resoluc ao de problemas, Maxima, wxMaxima, Macsyma, Software
livre, Matematica computacional simb olica, CAS
ABSTRACT
This work shows the potential of to use the software wxMaxima in UBUNTU-Linux
operating system with a graphical environment KDE. Shows how to work with variables,
lists, equations, functions and graphs in two or three dimensions. Other issues in higher
education as limits, derivatives, integrals, matrices, linear systems, eigenvalues, eigenvec-
tors and dierential equations are also discussed. WxMaxima is free software and can
perform calculations using the symbolic form and / or numerical. Can also be used on
operating systems like Windows and MacOS. The dissertation also presents suggestions
on how and where the application can be used.
Keywords: Troubleshooting, Maxima, WxMaxima, Macsyma, Free software, Symbolic
computational mathematics, CAS
Conte udo
Lista de Figuras
1 INTRODUC

AO p. 14
2 REGRAS B

ASICAS DO WXMAXIMA p. 16
2.1 VARI

AVEIS E C

ALCULOS ALG

EBRICOS . . . . . . . . . . . . . . . p. 16
2.2 LISTAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 18
2.3 RESOLVENDO EQUAC

OES . . . . . . . . . . . . . . . . . . . . . . . p. 18
2.4 DEFININDO FUNC

OES DE UMA OU MAIS VARI

AVEIS . . . . . . p. 19
3 PLOTAGEM DE GR

AFICOS p. 22
3.1 DUAS DIMENS

OES . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 22
3.1.1 Func oes explcitas . . . . . . . . . . . . . . . . . . . . . . . . . . p. 22
3.1.2 Func oes implcitas e parametricas . . . . . . . . . . . . . . . . . p. 24
3.2 TR

ES DIMENS

OES . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 27
3.2.1 Func oes explcitas . . . . . . . . . . . . . . . . . . . . . . . . . . p. 27
3.2.2 O draw3d . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 28
3.3 USANDO GR

AFICOS PARA ENCONTRAR RA

IZES NUM

ERICAS . p. 33
4 C

ALCULO DIFERENCIAL E

ALGEBRA LINEAR p. 34
4.1 LIMITES DE FUNC

OES . . . . . . . . . . . . . . . . . . . . . . . . . p. 34
4.2 DERIVADAS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 36
4.3 INTEGRAIS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 38
4.4 SISTEMAS LINEARES . . . . . . . . . . . . . . . . . . . . . . . . . . p. 39
4.5 MATRIZES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 41
4.6 POLIN

OMIO CARACTER

ISTICO, AUTOVALORES E AUTOVETO-

RES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 44
5 EQUAC

OES DIFERENCIAIS ORDIN

ARIAS p. 46
5.1 REVISANDO A TEORIA . . . . . . . . . . . . . . . . . . . . . . . . . p. 46
5.1.1 Equacoes de de 1 ordem . . . . . . . . . . . . . . . . . . . . . . p. 46
5.1.1.1 Equac oes de variaveis separ aveis . . . . . . . . . . . . p. 46
5.1.1.2 Equac oes exatas . . . . . . . . . . . . . . . . . . . . . p. 47
5.1.1.3 Equac oes lineares e os fatores integrantes . . . . . . . . p. 47
5.1.2 EDOs de 2 ordem com coecientes constantes . . . . . . . . . . p. 48
5.1.2.1 Equac ao caracterstica e resoluc ao da equac ao homogenea p. 48
5.1.2.2 Duas razes reais distintas . . . . . . . . . . . . . . . . p. 49
5.1.2.3 Duas razes complexas . . . . . . . . . . . . . . . . . . p. 49
5.1.2.4 Uma raiz real . . . . . . . . . . . . . . . . . . . . . . . p. 50
5.2 USANDO O WXMAXIMA PARA SOLUCIONAR EDOS . . . . . . . p. 51
5.3 CAMPO DE DIREC

OES . . . . . . . . . . . . . . . . . . . . . . . . . p. 52
6 CONSIDERAC

OES FINAIS p. 56
Referencias p. 57
Lista de Figuras
1 Logo do Maxima. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 15
2 Atribuindo vari aveis e realizando c alculos. . . . . . . . . . . . . . . . . p. 17
3 Calculo de razes exatas. . . . . . . . . . . . . . . . . . . . . . . . . . . p. 17
4 Calculo de razes nao exatas com resultado simbolico ou numerico. . . . p. 17
5 Calculo de logaritmos. . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 17
6 Trabalhando com listas. . . . . . . . . . . . . . . . . . . . . . . . . . . p. 18
7 Resolvendo equacoes do segundo grau . . . . . . . . . . . . . . . . . . . p. 19
8 Resolvendo equacoes literais . . . . . . . . . . . . . . . . . . . . . . . . p. 19
9 Calculo de imagens e zero da fun cao f(x) = 3x + 1 . . . . . . . . . . . p. 20
10 C alculo de imagens e zero da func ao g(x) = x
2
+ x + 1 . . . . . . . . . p. 20
11 C alculo das imagens r(1, 2, 3) , r(1, 0, 6) e r(

a,
3

a, 12a) . . . . . . p. 21
12 Resolvendo as equac oes r(s, 2, 9) = 0 e r(

t, t, 0) = 0 . . . . . . . . . p. 21
13 Gr aco de func oes explcitas usando o plot2d. . . . . . . . . . . . . . . p. 23
14 Gr aco de func oes explcitas usando o wxplot2d. . . . . . . . . . . . . . p. 23
15 Comando wxdraw2d em uma equa cao de elpse. . . . . . . . . . . . . . p. 25
16 Comando wxdraw2d em uma equa cao de hiperbole. . . . . . . . . . . . p. 25
17 Comando wxdraw2d para duas fun coes implcitas. . . . . . . . . . . . . p. 26
18 Comando wxdraw2d para func ao parametrica. . . . . . . . . . . . . . . p. 26
19 Exemplo plot3d em paraboloide e plano . . . . . . . . . . . . . . . . . . p. 28
20 Explicit:Paraboloide hiperb olico . . . . . . . . . . . . . . . . . . . . . . p. 30
21 Parametric:Helice . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 31
22 Parametric Surface:Toro . . . . . . . . . . . . . . . . . . . . . . . . . . p. 31
23 Implicit: Cone . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 31
24 Quatro comandos dentro de um mesmo draw3d . . . . . . . . . . . . . p. 32
25 Quatro gr acos em unico draw3d. . . . . . . . . . . . . . . . . . . . . . p. 32
26 Outra perspectiva para os quatro gracos . . . . . . . . . . . . . . . . . p. 32
27 Inec acia do comando solve e fun cao f(x). . . . . . . . . . . . . . . . . p. 33
28 Gr aco de f(x) e utilizacao do nd root. . . . . . . . . . . . . . . . . . p. 33
29 Limites laterais e bilateral. . . . . . . . . . . . . . . . . . . . . . . . . . p. 35
30 Limites tendendo ao innito. . . . . . . . . . . . . . . . . . . . . . . . . p. 36
31 Alguns limites fundamentais. . . . . . . . . . . . . . . . . . . . . . . . . p. 36
32 Derivada de uma func ao composta. . . . . . . . . . . . . . . . . . . . . p. 37
33 Exemplo de derivada parcial. . . . . . . . . . . . . . . . . . . . . . . . . p. 37
34 Comando integrate. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 38
35 Incapacidade de integrate para integrar algumas fun coes. . . . . . . . . p. 39
36 O uso de romberg para integrais denidas. . . . . . . . . . . . . . . . . p. 39
37 Solucionando sistemas lineares com solve. . . . . . . . . . . . . . . . . . p. 40
38 Sistema possvel e indeterminado. . . . . . . . . . . . . . . . . . . . . . p. 40
39 Sistema impossvel. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 41
40 Denindo uma matriz . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 42
41 Alguns elementos da matriz A. . . . . . . . . . . . . . . . . . . . . . . . p. 42
42 Determinante e escalonamento. . . . . . . . . . . . . . . . . . . . . . . p. 42
43 Matriz inversa. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 42
44 Matriz B e produto por escalar. . . . . . . . . . . . . . . . . . . . . . . p. 43
45 Produto entre matrizes. . . . . . . . . . . . . . . . . . . . . . . . . . . p. 43
46 Adic ao e diferen ca. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 43
47 Autovalores da matriz C. . . . . . . . . . . . . . . . . . . . . . . . . . . p. 45
48 Autovalores usando o pacote eigen. . . . . . . . . . . . . . . . . . . . . p. 45
49 Autovetores da matriz C. . . . . . . . . . . . . . . . . . . . . . . . . . . p. 45
50 Equac ao diferencial de 1 ordem com condicao inicial (, 3). . . . . . . p. 52
51 Equac ao diferencial de 1 ordem com condicao inicial (2,

5) . . . . . p. 52
52 Equac ao diferencial de 2 ordem com condic oes de contorno (1, 5; 0, 5) e
(2; 6). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . p. 52
53 Campo de dire coes com condicao inicial. . . . . . . . . . . . . . . . . . p. 53
54 Campo de dire coes com condicao inicial. . . . . . . . . . . . . . . . . . p. 54
55 Campo de dire coes com condicao inicial. . . . . . . . . . . . . . . . . . p. 54
56 Condic oes iniciais escolhidas atraves de clics do mouse . . . . . . . . p. 55
14
1 INTRODUC

AO
Sabe-se, atualmente, que com os avancos tecnol ogicos o uso de computadores se tor-
nou indispensavel. Devido ao grande n umero de informa coes do mundo atual bancos,
hospitais, aeroportos e lojas nao podem mais funcionar sem o uso de tais m aquinas. Na
educac ao, professores podem usar essa tecnologia para enriquecer suas aulas proporcio-
nando aos alunos mais uma ferramenta de aprendizagem que pode ser muito ecaz se bem
utilizada. Os computadores tambem tem extrema import ancia para muitos prossionais
da area de exatas, no que diz respeito a resoluc ao de problemas que envolvam c alculos
complexos ou ate mesmo muito extensos. Neste sentido, os computadores e seus softwa-
res se tornam poderosas ferramentas de ensino, aprendizagem e resolu cao de problemas.
Pensando nisso, este trabalho apresenta um material complementar a alunos dos cursos
de gradua cao ou p os-graduac ao, que possuam as disciplinas de

Algebra Linear, Calculo
Diferencial e Integral, Equacoes Diferenciais e C alculo Numerico em seus planos de curso.
Esta dissertac ao pretende analisar alguns problemas tpicos das disciplinas citadas apre-
sentando resoluc oes algebricas e/ou numericas utilizando recursos computacionais.
Para as solucoes computacionais ser a utilizado o software wxMaxima 11.08.0 no sis-
tema operacional Ubuntu-Linux com ambiente gr aco KDE. Para usuarios que n ao sao
familiarizados com o Linux, existe tambem versoes do wxMaxima para Windows ou Ma-
cintosh. Os arquivos do Windows ou MacOS para download e instalac ao podem ser
encontrados no seguinte site http://sourceforge.net/projects/maxima/les/. No Ubuntu-
Linux, em uma janela do terminal, digite sudo apt-get install wxmaxima junto com a
senha de super usu ario para instalar o programa. O leitor n ao precisar a pagar licencas para
poder utiliza-lo pois e um programa livre, razao pela qual foi escolhido para tal estudo.
O autor recomenda que o leitor esteja sempre com o software ao lado para que, na leitura
do texto, v a comprovando os comandos e aprendendo a us a-los de forma completamente
pr atica. Maxima e uma linguagem computacional baseada em Lisp para a manipulac ao de
express oes simb olicas e numericas. Manipula express oes, gr acos, c alculos de integrac ao
e diferenciac ao,matrizes, limites, vetores,etc. Pode obter resultados de forma simb olica,
15
Figura 1: Logo do Maxima.
sendo seu ponto mais interessante. Para se resolver, por exemplo, a equacao x
2
2 = 0 um
outro programa qualquer pode retornar como resultado x = 1, 4142 ou x = 1, 4142. Por
mais que se aumente a precisao do resultado, sempre sao perdidas innitas casas decimais
no processo. Utilizando a forma simb olica do wxMaxima, para a mesma equa cao, as razes
seriam x =

2 ou x =

2. Neste caso, nao h a nenhuma perda por arredondamento ou

truncamento de resultados.
Maxima surgiu do c odigo fonte do Macsyma desenvolvido pelo MIT (Massachusetts
Institute of Technology) entre 1968 e 1982. Em 1982 uma c opia do Macsyma foi entregue
ao departamento de energia americano e outra ao professor William F. Schelter, da uni-
versidade do Texas. Esta c opia foi chamada de Macsyma DOE (Departament of energy).
Tres anos antes de sua morte em 2001, professor Schelter conseguiu licenca do departa-
mento de energia para tornar livre o c odigo fonte do software . Assim outras pessoas
poderiam continuar desenvolvendo o programa. E continuam ate hoje. Essa vers ao livre
do Macsyma e conhecida como Maxima.
A disserta cao segue assim apresentada: O captulo 2, trata de regras e comandos
b asicos para denicao de vari aveis, listas, equac oes e funcoes. No captulo 3 e feita a
plotagem de gr acos bidimensionais e tridimensionais de forma explcita, implcita e pa-
rametrica. No nal deste mesmo captulo, aborda-se um metodo para se resolver equac oes
utilizando-se gracos. Temas do calculo diferencial e integral e algebra linear s ao traba-
lhados no captulo 4. Neste s ao calculados limites, derivadas, integrais, operac oes com
matrizes, resolucao de sistemas lineares, autovalores, autovetores utilizando auxlio com-
putacional. H a uma breve revisao do conte udo de equacoes diferenciais na primeira sec ao
do captulo 5, nas outras se coes s ao resolvidas equac oes diferenciais e construdos campos
de direcoes usando o wxMaxima. No ultimo captulo, s ao feitas algumas conclusoes e
sugest oes a respeito do software destacando suas potencialidades.
16
2 REGRAS B

ASICAS DO WXMAXIMA
2.1 VARI

AVEIS E C

ALCULOS ALG

EBRICOS
O wxMaxima recebe comandos ou valores digitados na linha %i(n), os executa e
mostra o resultado na linha %o(n), onde n e um n umero natural. A letra i em %i(n)
signica input(do ingles: entrada) e a letra o em %o(n) signica output (do ingles:sada).
Pode-se atribuir valor a uma variavel no software atraves do sinal de dois pontos (:). Logo,
b:5, signica que b vale 5 ou b = 5. Todo comando no wxMaxima e executado somente
ap os a combinac ao de teclas shift + enter ser pressionada. A tecla enter e utilizada
junto com o sinal de ponto e vrgula (;) quando se quer inserir v arios comandos ao mesmo
tempo. Por exemplo, a:1 ; b:-3 ; c:1/5 diz ao programa que as vari aveis a, b e c s ao
respectivamente 1, -3 e
1
5
. Pode-se ent ao fazer calculos aritmeticos usando os smbolos
da tabela 1 com a atribuic ao de valores acima. (gura 2)
A raiz quadrada e feita pelo comando sqrt(<n umero>). Para o calculo das razes
com os demais ndices, deve ser utilizada a potenciac ao. Assim,desejando-se calcular
4

16, usa-se a potencia cao 16

1
4
. Para
3

216 ,216
1
3
. Generalizando, deve ser digitado
<radicando>**(1/<ndice>). As guras 3 e 4, mostram alguns exemplos de c alculos
de razes. Como dito anteriormente, uma das potencialidades do software e o calculo
simb olico, que e exibido em formato LaTex. Note que isso ocorreu em casos de razes
inexatas, mas se o usuario desejar uma resposta numerica, poder a utilizar o comando
Smbolos ou comandos Operac ao
+ adi cao
- subtracao
* multiplica cao
/ divisao
** ou potenciac ao
log(x) logaritmo neperiano
log(x)/log(b) log.de x na base b
Tabela 1: Operac oes b asicas no wxMaxima
17
Figura 2: Atribuindo vari aveis e realizando c alculos.
Figura 3: Calculo de razes exatas.
Figura 4: Calculo de razes nao exatas com resultado simbolico ou numerico.
Figura 5: Calculo de logaritmos.
%,numerque passa para numerica a ultima sada simb olica.
1
Para o c alculo de logarit-
mos neperianos (na base e) e utilizado o comando log(<n umero>). Como o software n ao
possui um comando pr oprio para logaritmos em outras bases, deve-se utilizar uma relac ao
1
O smbolo %, sozinho, e usado sempre que se queira referir a ultima sada do programa. Assim na
entrada %i7, (gura 4), % se refere a sada %o6.
18
bastante conhecida de mudanca de base, log
b
(x) =
log
e
(x)
log
e
b
, para solucionar o problema.
Na linha de comando: log(<n umero>)/log(<base>).(gura 5) Os c alculos tambem po-
dem ser organizados utilizando-se coment arios que nao sao interpretados pelo programa
quando escritos entre os sinais /* e */. Por v arias vezes, neste texto, o autor utiliza este
recurso para melhorar a compreens ao dos comandos contidos nas guras.
2.2 LISTAS
Muitas vezes, como ser a visto posteriormente, o programa trabalhar a com listas. Uma
lista e uma colecao de n umeros, vari aveis, fun coes, matrizes, vetores, etc ... Sempre vem
escritos entre colchetes e com todos seu elementos separados por vrgula. Na gura 6 h a
exemplos de listas e operacoes que podem ser feitas utilizando-as.
Figura 6: Trabalhando com listas.
2.3 RESOLVENDO EQUAC

OES
O software consegue resolver muitas equac oes de forma simbolica. Uma equac ao
e solucionada atraves do comando solve(<equac ao>, < variavel>), digitando no campo
<vari avel> a variavel a ser isolada. No campo <equac ao> os membros da equac ao devem
ser separados pelo sinal de igual, diferentemente da atribuicao de valores ` a vari aveis que e
feito usando o sinal de dois pontos. Como exemplo, a equac ao
p
4

r
9
+k
2
= 5 foi resolvida
na gura 8 em relac ao ` as variaveis p, r e k. Algumas equacoes do segundo grau tambem
foram resolvidas na gura 7. Para ns agilizar a digitac ao, a equac ao contida na gura 8,
recebeu um nome, eq1, atraves do sinal de dois pontos. Desta forma, nao e necessario
car digitando a equac ao in umeras vezes, bastando apenas chamar por seu nome.
19
Figura 7: Resolvendo equacoes do segundo grau
Figura 8: Resolvendo equacoes literais
2.4 DEFININDO FUNC

OES DE UMA OU MAIS VARI

AVEIS
O wxMaxima possui tambem in umeros comandos para trabalhar com funcoes. Uma
func ao e denida no programa atraves do sinal de dois pontos (:) junto com o sinal de
de igual(=). Assim, escrevendo f(x) := 3*x+1, esta denindo-se a func ao f(x) = 3x + 1.
Com a func ao denida, pode-se calcular imagens digitando simplesmente f(1), f(2), f(-5),
f(3/4), etc... Alem disso, e possvel determinar as razes da func ao atraves do comando
solve(<func ao> = 0, <vari avel>), onde <func ao> deve ser preenchido com a func ao f(x)
e <vari avel> com a variavel que se pretende isolar. Logo deve ser digitado solve (f(x)
= 0, x). (gura 9) Observe tambem o exemplo envolvendo uma func ao do segundo grau
g(x) = x
2
+x+1 na gura 10. Primeiramente, a func ao e denida, tem algumas imagens
calculadas, determinando-se posteriormente as razes. Note que foi usado o comando %pi
para se referir ao n umero irracional . Nas razes da gura 10, %i signica a unidade
imagin aria, mostrando que a func ao g(x) possui razes complexas. Para func oes de mais
de uma vari avel, o processo e feito de forma analoga. Na gura 11, tem-se a func ao
r(x, y, z) = x
2
+ y
3

z
3
e o c alculo de algumas imagens. Duas equac oes foram resolvidas
20
na gura 12 usando a fun cao r, sendo a primeira equac ao
r(s, 2, 9) = 0 s
2
+ 8 + 3 = 0 s
2
= 11 s =

11i
e a segunda
r(

t, t, 0) = 0 t + t
3
+ 0 = 0 t(1 + t
2
) = 0 t {0, i, +i}.
O calculo de limites, derivadas e integrais de funcoes ser a detalhado em sec oes posteriores.
Figura 9: Calculo de imagens e zero da fun cao f(x) = 3x + 1
Figura 10: Calculo de imagens e zero da fun cao g(x) = x
2
+ x + 1
21
Figura 11: Calculo das imagens r(1, 2, 3) , r(1, 0, 6) e r(

a,
3

a, 12a)
Figura 12: Resolvendo as equac oes r(s, 2, 9) = 0 e r(

t, t, 0) = 0
22
3 PLOTAGEM DE GR

AFICOS
3.1 DUAS DIMENS

OES
O wxMaxima tambem constr oi gr acos de func oes bidimensionais. Para isso ha quatro
comandos basicos:
(i) plot2d
(ii) wxplot2d
(iii) draw2d
(iv) wxdraw2d
3.1.1 Funcoes explcitas
O comando plot2d plota gracos de func oes explcitas de duas dimensoes em uma
janela separada da janela do wxMaxima, utiliza-se a seguinte sintaxe:
plot2d([<lista de fun coes>],[x,<xmin>,<xmax>][y,<ymin>,<ymax>])
Os campos <xmin>, <xmax>, <ymin> e <ymax> indicam as dimensoes da janela
de visualizac ao do graco. Assim, a janela de visualizac ao e um ret angulo com vertices
opostos, (<xmin>,<ymin>) e (<xmax>,<ymax>). No campo <lista de fun coes> devem
ser colocadas todas as fun coes a serem plotadas observando duas coisas:
(a) Todas as func oes devem estar entre colchetes e separadas por vrgulas. (Lista)
(b) S o deve ser digitado o segundo membro de cada func ao.
Na gura 13 foram plotados os gr acos de f(x) = x sen(x) e g(x) = sen(x) em uma
unica janela usando o plot2d, ja na gura 14 foi usado o wxplot2d para que o leitor note
23
as diferencas. Foi criada uma lista [x sen(x) , sen(x)] e utilizada uma janela com vertices
(-4,-2) e (4,2) nos dois casos. A diferen ca entre os comandos plot2d e wxplot2d e que no
segundo o gr aco e exibido dentro do pr oprio ecra do wxMaxima.
Figura 13: Graco de funcoes explcitas usando o plot2d.
Figura 14: Graco de func oes explcitas usando o wxplot2d.
24
3.1.2 Funcoes implcitas e parametricas
Para o plotagem de fun coes implcitas e parametricas, em duas dimens oes, e utili-
zado o comando draw2d ou wxdraw2d, que sao carregados no pacote draw
1
digitando-se
load(draw). O wxdraw2d possui as seguintes sintaxes:
(i) wxdraw2d(implicit(<func ao implcita>, x,<xmin>,<xmax>, y,<ymin>,
<ymax>))
(ii) wxdraw2d(parametric(< X > , < Y > , t,<tmin>,<tmax>))
Em (i), <func ao implcita> n ao e uma lista mas uma unica func ao. Em (ii), < X >
e < Y > s ao func oes do par ametro t. Se o usuario quiser mais gr acos em uma unica
janela, deve usar um comando implict ou parametric para cada func ao dentro do mesmo
comando draw2d. Os outros par ametros tem o mesmo signicado que aqueles citados no
plot2d. As diferen cas entre o draw2d e wxdraw2d sao an alogas `as do plot2d e wxplot2d.
Resumindo, implicit indica ao wxdraw2d que a funcao digitada deve ser considerada
implcita enquanto parametric(ii) indica que a func ao deve ser parametrica. Exemplos do
comando draw2d para func oes implcitas estao nas guras 15, 16 , 17. Na gura 18, foi
utilizada uma cicloide de equac oes parametricas
_
X(t) = t sen(t)
Y (t) = 1 cos(t)
t [0, 8].
Foi utilizado tambem o comando nticks que indica o n umero de pontos que devem ser
calculados para a construc ao do graco. Ja xrange e yrange servem para dar um
melhor ajuste a janela.
1
Um pacote contem um conjunto de comandos nele organizados para um determinado m. Draw e
um pacote especializado em gracos de duas ou tres dimensoes.
25
Figura 15: Comando wxdraw2d em uma equac ao de elpse.
Figura 16: Comando wxdraw2d em uma equac ao de hiperbole.
26
Figura 17: Comando wxdraw2d para duas func oes implcitas.
Figura 18: Comando wxdraw2d para func ao parametrica.
27
3.2 TR

ES DIMENS

OES
No caso dos gr acos em tres dimens oes, usa-se:
(i) plot3d
(ii) wxplot3d
(iii) draw3d
(iv) wxdraw3d
A diferenca entre os comandos sem o wx, no espaco, e que os gr acos podem ser
rotacionados, aproximados ou distanciados enquanto no segundo caso isso,com o wx,
isso n ao acontece. Para o comando draw3d(sem wx) deve-se carregar sempre o pacote
draw atraves da sintaxe load(draw).
3.2.1 Funcoes explcitas
Ser a usado, nesta sec ao, plot3d
2
para fun coes explcitas com a seguinte sintaxe que e
completamente an aloga ao wxplot2d:
plot3d([<Lista de fun coes>, [x,<xmin>,<xmax>], [y,<ymin>,<ymax>]])
Plot3d d a um bom acabamento em superfcies tridimensionais, atribuindo cores di-
ferentes as partes da superfcie dependendo do intervalo da variavel z, mas tem suas
limitac oes na hora de desenhar func oes implcitas. Como exemplo de func ao explcita,
considere o paraboloide elptico P : z = 3x
2
+ 4y
2
secionada pelo plano paralelo ao
plano
XY
, : z = 200 (gura 19). Observe que no argumento, <Lista de funcoes>, a
vari avel z n ao deve ser digitada, somente o segundo membro. Para o caso de fun coes
parametricas e implcitas, usa-se o draw3d, que e um comando mais completo e ser a visto
na proxima sec ao.
2
A sintaxe do wxplod3d e identica.
28
Figura 19: Exemplo plot3d em paraboloide e plano
3.2.2 O draw3d
O comando e mais completo que o plot3d para criar gracos tridimensionais. Consegue
desenhar, em uma mesma janela, varias fun coes escritas de diversas formas, sejam elas
parametricas, implcitas e ate mesmo as explcitas feitas pelo plot3d. Para isso, deve-se
entender quatro subcomandos basicos que precisam ser digitados dentro dos parentesis do
draw3d. S ao eles:
(i) explicit(<func ao>, x,<xmin>,<xmax>, y,<ymin>,<ymax>)
(ii) parametric(< X >, < Y >, < Z >, t, < tmin >, < tmax >)
(iii) parametric surface(< X >, < Y >, < Z >, u, < umin >, < umax >, v, < vmin >,
< vmax >))
(iv) implicit(<func ao>, x,<xmin>,<xmax>, y,<ymin>,<ymax>,z,<zmin>,
<zmax>)
O item (i) e usado para func oes explcitas onde <func ao> e apenas o segundo membro da
func ao. Na gura 20, est a representado um paraboloide hiperb olico de equacao z = x
2
y
2
e cor laranja selecionada, pelo subcomando color=orange. A tabela 2 mostra algumas
opc oes de < cor > para color=< cor > que podem ser usadas no draw 2d ou 3d. Ja
(ii) serve para funcoes parametricas onde <X>, <Y> e <Z> s ao func oes de um unico
29
par ametro t. A gura 21 contem exemplo da helice de equac oes parametricas
_

_
X(t) = 2 cos(t)
Y (t) = 3 sen(t)
Z(t) = 3 t
t [2, 2]
usando parametric. O comando parametric surface (iii), deve ser utilizado quando a
superfcie tem dois parametros. Um toro de equac oes parametricas
_

_
X(u, v) = (R + r cos(v)) cos(u)
Y (u, v) = (R + r cos(v)) sen(u)
Z(u, v) = r sen(v)
u, v [0, 2]
foi criado com o parametric surface na gura 22. Implicit, no item (iv), plota uma func ao
implcita. No campo <func ao>, dever ser digitado os dois membros da equac ao a ser
plotada. A gura 23 mostra, um cone de equa cao z
2
= 3x
2
+3y
2
, construdo com implicit.
A gura 24 mostra os quatro subcomandos juntos e mais opc oes de cores em um unico
draw3d. Utilizou-se os comandos xrange, yrange e zrange para xar um cubo no R
3
onde os gracos serao visualizados. A omiss ao destes faz com que o wxMaxima escolha as
dimens oes do cubo automaticamente. Foram usados um cilindro parab olico z = (x5)
2
7
no explicit
3
, um segmento parametrizado
_

_
X(t) = r
Y (t) = 0
Z(t) = r
r [10, 10]
no parametric, uma esfera (x + 5)
2
+ y
2
+ z
2
= 25 no implicit e um plano parametrizado
_

_
X(u, v) = 3 u
Y (u, v) = 1 + 2u + v
Z(u, v) = 10 + u
u, v [30, 30]
no parametric surface. As imagens 25 e 26 mostram janelas resultantes do comando
draw3d em perspectivas diferentes.
A qualquer momento, os gracos construdos neste captulo podem ser salvos ou copi-
ados para a area de transferencia a m de que possam ser usados, futuramente, em outros
aplicativos como editores de texto. Se o comando possuir o prexo wx, basta clicar
3
Como no explicit do draw3d e necessario apenas o segundo membro da funcao, usou-se rhs para
extrair somente esse membro. Rhs e lhs retornam respectivamente os membros direito e esquerdo de uma
equacao.
30
Cor Opc ao < cor >
branco white
preto black
cinza gray
vermelho red
amarelo yellow
verde green
azul blue
rosa escuro magenta
rosa claro pink
laranja orange
marrom brown
violeta violet
roxo purple
Tabela 2: Opc oes de cores para o draw.
com o bot ao direito sobre a gura e escolher a opcao salvar imagem. O gr aco ser a salvo
em um arquivo de imagem separadamente. Se o comando nao possuir o prexo, clica-se
no cone salvar na area de transferencia, para entao usar-se a opc ao colar em um editor
de texto ou imagem.
Figura 20: Explicit:Paraboloide hiperb olico
31
Figura 21: Parametric:Helice
Figura 22: Parametric Surface:Toro
Figura 23: Implicit: Cone
32
Figura 24: Quatro comandos dentro de um mesmo draw3d
Figura 25: Quatro gr acos em unico draw3d.
Figura 26: Outra perspectiva para os quatro gr acos
33
3.3 USANDO GR

AFICOS PARA ENCONTRAR RA

IZES NUM

ERICAS
Dependendo do grau de diculdade de uma equa cao, o comando solve, discutido em
sec oes anteriores, nao consegue encontrar a raiz de uma equac ao. Um bom exemplo e
cos(x) = log
e
x que nao pode ser resolvida pelo solve (gura27). Temos que cos(x) =
log
e
x cos(x) log
e
x = 0 f(x) = cos(x) log
e
x = 0. Dessa forma, encontrar a raiz
da equacao e equivalente a encontrar o zero da fun cao. Plotando-se o graco de f(x) (gura
28), que foi obtida pela diferen ca dos comandos lhs e rhs, encontra-se o intervalo (1,2) no
qual a raiz se encontra. Ap os o intervalo ser determinado, basta utilizar o comando nd
root com a seguinte sintaxe:
nd root(f(x)=0,x,<xmin>, <xmax> ).
O nd root encontrar a a raiz da equac ao cos(x) log
e
x = 0 no intervalo (1 , 2) encon-
trando x = 1, 302964001216013.
Figura 27: Inecacia do comando solve e func ao f(x).
Figura 28: Graco de f(x) e utilizac ao do nd root.
34
4 C

ALCULO DIFERENCIAL E

ALGEBRA LINEAR
4.1 LIMITES DE FUNC

OES
Limites sao usados quando se quer saber o comportamento de uma funcao f(x) quando
x esta na vizinhanca de um valor x
o
,
lim
xx
o
f(x)
quando x tende ao innito positivo
lim
x
f(x)
ou innito negativo.
lim
x
f(x)
No caso dos limites tendendo a um valor x
o
, ainda podem ser calculados os limites laterais
quando x se aproxima de x
o
pela direita
lim
xx
+
o
f(x)
ou pela esquerda.
lim
xx

o
f(x)
O limite de f(x) com x tendendo a x
o
s o existe quando os limites laterais existem e sao
iguais. O sofware wxMaxima faz o c alculo de limites atraves do comando limit. Para os
limites tendendo a um n umero e real e usado
limit(<func ao>,<vari avel>,<n umero>)
e para limites laterais tendendo a esquerda e a direita
limit(<func ao>,<vari avel>,<n umero>,minus)
e
35
limit(<func ao>,<vari avel>,<n umero>,plus),
respectivamente. No campo <n umero> deve ser digitado o n umero para o qual a vari avel
x tende. Alem dos n umeros reais retornados por limit, podem aparecer as palavras und,
ind ou innity, signicando que o limite e indeterminado. Considere o exemplo contido
na gura 29 para saber o valor do limite da func ao f(x) =
1
3x6
quando x tende a 2 pela
esquerda, direita e bilateralmente. Deniu-se a func ao f, como feito em se cao anterior,
calculando posteriormente os limites.
Figura 29: Limites laterais e bilateral.
Para os limites tendendo a mais ou a menos innito usam-se, respectivamente, as
sintaxes
limit(<func ao>,<variavel>,inf)
e
limit(<func ao>,<vari avel>,minf)
signicando inf, mais innito e minf, menos innito. Na gura 30,foi tomada uma fun cao
g denida como o quociente entre dois polinomios de 3 grau e calculado seus limites
tendendo a mais e menos innito. Tres limites fundamentais do c alculo diferencial est ao
presentes na gura 31. S ao eles:
(i) lim
x0
sen(x)
x
= 1
(ii) lim
x
_
1 +
1
x
_
x
= e
(iii) lim
x0
a
x
1
x
= ln(a)
36
O resultado do limite (ii), %e , e a constante de Euler e.

E um n umero irracional aproxi-
madamente igual a 2,71828182 .

E tambem importante lembrar que qualquer logaritmo
que apareca no programa e neperiano, ou seja, na base e, conforme dito na primeira se cao
do captulo 02.
Figura 30: Limites tendendo ao innito.
Figura 31: Alguns limites fundamentais.
4.2 DERIVADAS
A derivada f(x) de uma funcao f(x) pode ser interpretada como taxa de variacao
instant anea da func ao, ou como coeciente angular da reta tangente ao graco de f no
ponto (x,f(x)).

E denida atraves do limite
f

(x) = lim
x0
f(x + x) f(x)
x
.
Se esse limite n ao existir, diz-se que a fun cao n ao e derivavel. O smbolo
dy
dx
tambem
e outra maneira de se simbolizar a derivada da func ao f(x)=y em rela cao a x. Caso f
for deriv avel, sua derivada f(x) e chamada derivada de 2 ordem, se f(x) existir. Se
f
(n1)
(x) for derivavel, sua derivada f
(n)
(x) e dita de ordem n (se f
(n)
(x) existir) .
37
Usando o wxMaxima, a derivada de uma func ao e calculada atraves do comando di da
seguinte forma:
di(<func ao>,<vari avel>, <ordem>)
Devem ser declarados no comando di, a fun cao, a vari avel independente e a ordem
da derivada desejada. Derivadas de primeira, segunda, terceira e decima ordens foram
obtidas para a func ao composta f(x) = cos(2t 5) na gura 32.
Para funcoes de duas ou mais vari aveis, podem ser calculadas derivadas parciais que
s ao denidas pelo limite
f
x
i
= lim
x
i
0
f(x
1
, x
2
, , x
i
+ x
i
, , x
n
) f(x
1
, x
2
, , x
i
, , x
n
)
x
i
.
Resumindo, deriva-se em relac ao a vari avel x
i
considerando as outras vari aveis constantes.
Na gura 33, foi denida uma func ao de duas variaveis g(w, x) = log
e
(x
2
w
5
xw
2
). Apos
isso, foram calculadas derivadas parciais de primeira ordem em rela cao as vari aveis w e x.
Figura 32: Derivada de uma func ao composta.
Figura 33: Exemplo de derivada parcial.
38
4.3 INTEGRAIS
Integrais podem ser calculadas atraves dos comandos integrate e romberg com as se-
guintes sintaxes:
(i) integrate(<func ao>,<vari avel>)
(ii) integrate(<func ao>,<vari avel>, <lim-inf> , <lim-sup>)
(iii) romberg(<func ao>,<vari avel>, <lim-inf> , <lim-sup>)
Para o calculo de integrais indenidas usa-se (i) e para as denidas (ii). Os campos
<lim-inf> e <lim-sup> s ao respectivamente os limites de integracao inferior e superior.
Quando nao e possvel obter a integral denida por integrate, utiliza-se romberg, em
(iii), com mesma sintaxe de integrate em (ii). Na gura 34, foram calculadas a integral
denida e indenida por integrate. A gura 35 mostra uma situac ao quando o integrate
n ao consegue determinar o valor da integral denida
_
2
0

m
4
+ 1 dm.
Na gura 36, romberg e utilizado para resolver a mesma integral, numericamente.
1
Figura 34: Comando integrate.
1
O comando romberg deve ser carregado atraves de load(romberg)
39
Figura 35: Incapacidade de integrate para integrar algumas fun coes.
Figura 36: O uso de romberg para integrais denidas.
4.4 SISTEMAS LINEARES
Um sistema linear pode ser resolvido atraves do comando
solve([< lista
e
>], [< lista
v
>])
em que [< lista
e
>] e uma lista das equac oes a serem resolvidas e [< lista
v
>] um lista
das vari aveis envolvidas. Determinou-se, atraves de solve, a solu cao do sistema
_

_
2x 3y + 4z + 6t + 2w =
59
10
4x y + 5z + 3t + 3w =
41
10
7x + 9y + 3z 6t + 11w =
134
5
2x 2y 3z + 5t + 8w =
877
30
x + 3y z + t + 7w =
653
30
de cinco equac oes e cinco variaveis na gura 37. Quando o sistema e possvel e indeter-
minado como no sistema,
_

_
2x 3y + 4z t = 9
4x y + 5z + 3t = 10
2x + 10y + 3z 6t = 15
40
solve ir a usar como par ametro n umeros reais como %r1, %r2, ... , %rn. (gura 38).
Quando o sistema e impossvel conforme
_

_
2x 3y + 4z = 7
4x y + 5z = 15
6x + 9y 12z = 17
o solve retornar a colchetes vazios (gura 39).
Figura 37: Solucionando sistemas lineares com solve.
Figura 38: Sistema possvel e indeterminado.
41
Figura 39: Sistema impossvel.
4.5 MATRIZES
Uma matriz e declarada no wxMaxima atraves do comando
matrix([linha
1
], [linha
2
], , [linha
n
])
sendo cada [linha
i
] uma lista dos elementos da linha. A sess ao 2.2 contem detalhes sobre
como trabalhar com listas. Quando uma matriz e criada, podem ser feitas chamadas de
alguns elementos da matriz, como:
(i) < matriz > [i, j] para um elemento da linha i e coluna j.
(ii) row(< matriz >, i) para chamar toda a linha i.
(iii) col(< matriz >, j) para chamar toda a coluna j
Outros comandos podem ser utilizados sobre ela. Determinant calcula o determinante da
matriz, invert a inverte e echelon d a sua forma escalonada. (guras 40, 41, 42 e 43). A
sintaxes sao, respectivamente,
(iv) determinant(< matriz >)
(v) invert(< matriz >)
(vi) echelon(< matriz >)
Para operac oes entre matrizes tem-se, o produto de uma matriz por um escalar, a
soma e a subtracao e produto entre matrizes nas guras 44, 45 e 46. A parte referente a
autovalores e autovetores ser ao tratados na pr oxima sess ao.
42
Figura 40: Denindo uma matriz
Figura 41: Alguns elementos da matriz A.
Figura 42: Determinante e escalonamento.
Figura 43: Matriz inversa.
43
Figura 44: Matriz B e produto por escalar.
Figura 45: Produto entre matrizes.
Figura 46: Adicao e diferenca.
44
4.6 POLIN

OMIO CARACTER

ISTICO, AUTOVALORES E AUTOVETORES

O polinomio caracterstico p() de uma matriz e aquele usado para obter os autova-
lores desta mesma matriz.

E obtido atraves da equacao

a
1,1
a
1,2
a
1,3
a
1,n
a
2,1
a
2,2
a
2,3
a
2,n
a
3,1
a
3,2
a
3,3
a
3,n
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
a
n,1
a
n,2
a
n,3
a
n,n

= 0 .
Onde a
i,j
s ao os elementos de uma matriz quadrada A. No Maxima, o polin omio carac-
terstico pode ser obtido atraves de charpoly(< matriz >,< var >). O comando depende
somente de uma matriz e da vari avel independente do polin omio. A gura 47 contem
exemplo do comando charpoly na variavel w e o uso de solve para determinar os auto-
valores.
Os autovalores de uma matriz tambem podem ser calculados atraves de um pacote
especializado chamado eigen que deve ser carregado atraves do comando load(eigen). Para
o obtenc ao dos autovalores usa-se
eigenvalues(< matriz >)
Na gura 48, deve-se observar no resultado de eigenvalues, que a primeira lista contem os
autovalores e a segunda a multiplicidade de cada um como raiz do polin omio caracterstico.
Quando se deseja tambem os autovetores da matriz, faz-se uso de outra ferramenta
do pacote eigen, o eigenvectors.
eigenvectors(< matriz >)
Eigenvectors calcula, alem dos autovetores, todos os autovalores e suas respectivas multi-
plicidades. Retorna uma lista contendo os autovalores, uma contendo as multiplicidades
e outra contendo os autovetores nesta ordem. A gura 49 contem exemplo da ferramenta
eigenvectors e a tabela 3 a interpreta cao dos resultados.
45
Figura 47: Autovalores da matriz C.
Figura 48: Autovalores usando o pacote eigen.
Figura 49: Autovetores da matriz C.
Autovalor Multiplicidade Autovetor
2 1 (1,0,-1)
3 1 (1,1,1)
6 1 (1,-2,1)
Tabela 3: Interpreta cao do resultado da gura 49.
46
5 EQUAC

OES DIFERENCIAIS ORDIN

ARIAS
5.1 REVISANDO A TEORIA
Segundo Zill e Cullen [8], uma equac ao contendo derivadas de uma ou mais variaveis
dependentes, em relac ao a uma ou mais variaveis independentes e dita equac ao diferencial.
Se a equa cao diferencial possui apenas derivadas de uma ou mais variaveis dependentes, em
relac ao a uma s o vari avel independente e classicada como equa cao diferencial ordinaria.
O objetivo de se resolver uma equacao diferencial e determinar as func oes incognitas
(vari aveis dependentes). A ordem de uma EDO e a maior ordem entre as derivadas que
guram na equa cao. Por exemplo, sendo y = f(x), considere a EDO
a
n
y
(n)
+ a
n1
y
(n1)
+ + a
1
y

+ a
0
y = b
onde a
n
= 0. Diz-se que n e a ordem da equacao diferencial e cada a
i
e b constantes ou
func oes de x.
5.1.1 Equacoes de de 1 ordem
5.1.1.1 Equac oes de variaveis separ aveis

E toda equac ao diferencial da forma

dy
dx
= p(x)q(y). (5.1)
O interessante desse tipo de equac oes e que suas variaveis podem ser separadas em cada
membro da equac ao, o que torna simples sua resolucao. Assim 5.1 pode ser escrita como
1
q(y)
dy = p(x)dx
que quando tem os membros integrados chega-se a
_
1
q(y)
dy =
_
p(x)dx + C
47
que muitas vezes pode ser resolvida utilizando-se os metodos de integrac ao aprendidos no
c alculo b asico.
5.1.1.2 Equac oes exatas

E qualquer equacao da forma

M(x, y) + N(x, y)
dy
dx
= 0 (5.2)
com
M
y
(x, y) = N
x
(x, y) (5.3)
sendo M(x, y) e N(x, y) func oes de x e y. As func oes M
y
(x, y) e N
x
(x, y) sao derivadas
parciais e y e funcao de x. Se a condic ao 5.3 for satisfeita, existe um func ao (x, y) tal
que:

x
= M(x, y)

y
= N(x, y)
Assim 5.2 pode ser escrita como

x
+

y
dy
dx
=
d
dx

d
dx
= 0 d = 0dx
que, atraves de integrac ao nos dois membros, possui solu cao implcita (x, y) = c.
5.1.1.3 Equac oes lineares e os fatores integrantes
A teoria do fator integrante (t) e usada para se resolver uma EDO linear de primeira
ordem, na sua forma geral, ou seja
dy
dt
+ m(t)y = n(t) (5.4)
onde m(t) e n(t) s ao funcoes da vari avel independente t. O fator integrante para a equac ao
5.4 deve ser
(t) = e

m(t)dt
(5.5)
pois se multiplicado em ambos os membros da equac ao 5.4, tem-se
dy
dt
+ m(t)y = n(t)
(t)
dy
dt
+ (t)m(t)y = n(t)(t)
48
(e

m(t)dt
)
dy
dt
+ (e

m(t)dt
)m(t)y = n(t)(e

m(t)dt
)
onde o primeiro membro da ultima equac ao e uma derivada do produto, ent ao
d[y(e

m(t)dt
)]
dt
= n(t)(e

m(t)dt
)
d[y(e

m(t)dt
)] = [n(t)(e

m(t)dt
)]dt
integrando-se os dois membros
_
d[y(e

m(t)dt
)] =
_
[n(t)(e

m(t)dt
)]dt
y(e

m(t)dt
) C =
_
[n(t)(e

m(t)dt
)]dt
y =
_
[n(t)(e

m(t)dt
)]dt + C
(e

m(t)dt
)
y =
1
(t)
__
n(t)(t)dt + C
_
(5.6)
Assim a equac ao 5.4 pode ser resolvida usando o fator integrante 5.5 e possui soluc ao
geral 5.6.
5.1.2 EDOs de 2 ordem com coecientes constantes
5.1.2.1 Equac ao caracterstica e resolucao da equac ao homogenea
Uma equa cao geral de segunda ordem com coecientes constantes a,b e c tem a forma
ay

+ by

+ cy = f(x) (5.7)
e e resolvida determinando-se, primeiro, a soluc ao da equac ao homogenea
ay

+ by

+ cy = 0 (5.8)
e somando-se a ela uma soluc ao particular.
1
Observando 5.8 nota-se que, quando c e n ao
nulo, a func ao inc ognita y e uma combinacao linear de suas derivadas primeira e segunda.
Caso c seja nulo e b nao, a derivada primeira e m ultipla da derivada segunda. Uma das
func oes que satisfaz essas propriedades, e a func ao exponencial
y = e
rx
, r R (5.9)
1
O caso da solucao particular nao sera tratado neste texto, mas pode ser encontrado em qualquer bom
livro de equa coes diferenciais. Vide bibliograa [2] no nal deste trabalho.
49
pois y

= re
rx
e y

= r
2
e
rx
. Substituindo 5.9 e suas derivadas em 5.8 tem-se
ay

+ by

+ cy = 0 ar
2
e
rx
+ bre
rx
+ ce
rx
= 0 (ar
2
+ br + c)e
rx
= 0
como e
rx
= 0,
ar
2
+ br + c = 0 (5.10)
O expressao 5.10 e chamada equacao caracterstica da equacao diferencial 5.8. Por ser
uma equac ao do segundo grau, temos 3 casos a considerar nas pr oximas sec oes.
5.1.2.2 Duas razes reais distintas
Se a equac ao caracterstica 5.10 tem duas razes reais distintas r
1
e r
2
, o que acontece
quando b
2
4ac > 0, a solu cao geral da equacao 5.8 ser a
y = C
1
e
r
1
x
+ C
2
e
r
2
x
(5.11)
pois substituindo 5.11 em 5.8
ay

+ by

+ cy = a(C
1
r
2
1
e
r
1
x
+ C
2
r
2
2
e
r
2
x
) + b(C
1
r
1
e
r
1
x
+ C
2
r
2
e
r
2
x
) + c(C
1
e
r
1
x
+ C
2
e
r
2
x
) =
= C
1
e
r
1
x
(ar
2
1
+ br
1
+ c) + C
2
e
r
2
x
(ar
2
2
+ br
2
+ c) = C
1
e
r
1
x
.0 + C
2
e
r
2
x
.0 = 0
pois r
1
e r
2
s ao razes da equac ao caracterstica.
5.1.2.3 Duas razes complexas
Se b
2
4ac < 0, a equa cao caracterstica 5.10 possuira duas razes complexas
r
1
= p qi, p, q R .
Tem-se ent ao, como solucao, a fun cao 5.11 com expoentes complexos. Neste ponto, faz-se
necess aria a f ormula de Euler
e
it
= cos(t) + isen(t)
para potencias de n umeros complexos. Assim, a soluc ao com razes complexas ca
y = C

1
e
r
1
x
+ C

2
e
r
2
x
= C

1
e
(p+qi)x
+ C

2
e
(pqi)x
= C

1
e
px
e
qix
+ C

2
e
px
e
qix
=
= C

1
e
px
(cos(qx) + isen(qx)) + C

2
e
px
(cos(qx) isen(qx)) =
= (C

1
e
px
+ C

2
e
px
)cos(qx) + i(C

1
e
px
C

2
e
px
)sen(qx) =
50
= (C

1
+ C

2
)e
px
cos(qx) + i(C

1
C

2
)e
px
sen(qx) = C
1
e
px
cos(qx) + C
2
e
px
sen(qx)
Logo a solu cao e
y = C
1
e
px
cos(qx) + C
2
e
px
sen(qx) . (5.12)
5.1.2.4 Uma raiz real
Quando o discriminante b
2
4ac e nulo, nao e possvel utilizar nenhuma das soluc oes
anteriores, pois tem-se uma unica raiz r =
b
2a
para a equac ao caracterstica 5.10. As
soluc oes 5.11 e 5.12 n ao s ao apropriadas pois r
1
= r
2
e n ao existem soluc oes complexas,
respectivamente. Neste caso, procura-se uma segunda solu cao, y
2
que seja um produto
da conhecida exponencial e

bx
2a
e uma fun cao desconhecida d(x).
y
2
= d(x)e

bx
2a
(5.13)
Calculando as derivadas primeira e segunda de 5.13
y

2
= d

(x)e

bx
2a

b
2a
d(x)e

bx
2a
y

2
= d

(x)e

bx
2a

b
2a
d

(x)e

bx
2a

b
2a
d

(x)e

bx
2a
+
b
2
4a
2
d(x)e

bx
2a
e substituindo-as na equac ao 5.8, tem-se
a
_
d

(x)e

bx
2a

b
2a
d

(x)e

bx
2a

b
2a
d

(x)e

bx
2a
+
b
2
4a
2
d(x)e

bx
2a
_
+
+b
_
d

(x)e

bx
2a

b
2a
d(x)e

bx
2a
_
+ c
_
d(x)e

bx
2a
_
= 0
e

bx
2a
_
a
_
d

(x)
b
2a
d

(x)
b
2a
d

(x) +
b
2
4a
2
d(x)
_
+ b
_
d

(x)
b
2a
d(x)
_
+ cd(x)
_
= 0
e

bx
2a
_
ad

(x) +
_

b
2

b
2
+ b
_
d

(x) +
_
b
2
4a

b
2
2a
+ c
_
d(x)
_
= 0
e

bx
2a
_
ad

(x) + 0.d

(x) +
_
b
2
2b
2
+ 4ac
4a
_
d(x)
_
= 0
e

bx
2a
_
ad

(x) + 0.d

(x)
_
b
2
4ac
4a
_
d(x)
_
= 0
e

bx
2a
_
ad

(x) + 0.d

(x) +
0
4a
.d(x)
_
= 0 d

(x) = 0
Concluindo-se ent ao que a derivada segunda de d(x) e nula, a derivada primeira uma
constante e a funcao d(x) uma func ao do primeiro grau da forma d(x) = C

1
+C
2
x. Logo
51
a solucao geral sera
y = C

1
y
1
+ C
2
y
2
= C

1
y
1
+ C
2
d(x)y
1
= C

1
e

bx
2a
+ C
2
(C

1
+ C
2
x)e

bx
2a
=
= (C

1
+ C
2
C

1
)e

bx
2a
+ C
2
xe

bx
2a
= C
1
e

bx
2a
+ C
2
xe

bx
2a

y = C
1
e

bx
2a
+ C
2
xe

bx
2a
(5.14)
5.2 USANDO O WXMAXIMA PARA SOLUCIONAR EDOS
O wxMaxima usa o comando ode2 para resolver equacoes de primeira ou segunda
ordens da seguinte forma:
ode2(<equac ao>,<vardep>,<varindep>)
Sendo <equac ao>, a equac ao diferencial, <vardep>, a vari avel dependente (fun cao) e
<varindep>, a vari avel independente. Quando se deseja resolver problemas envolvendo
condic oes iniciais, utiliza-se
ic1(<soluc ao>,< x
1
>,< y
1
>)
para soluc oes de equac oes de primeira ordem, onde e necessario um ponto, (< x
1
>,<
y
1
>), e
bc2(<soluc ao>,< x
1
>,< y
1
>,< x
2
>,< y
2
>)
para solu coes de equac oes de segunda ordem, onde precisa-se de dois pontos, (< x
1
>,<
y
1
>,< x
2
>,< y
2
>). Como exemplo, tem-se as equac oes diferenciais
y

(x) + 10y = 0,
2x + y
2
+ 2xyy

= 0
e
y

(x) 5y

(x) + 6y = 0
resolvidas com suas respectivas condic oes de iniciais nas guras 50, 51 e 52.
O ap ostrofo, visto antes do comando di, faz com que o programa nao tente calcular
a derivada de y, conforme visto na sec ao 4.2. Com seu uso, wxMaxima n ao calculas as
derivadas mas sim as entende como derivac oes da fun cao inc ognita, y

e y

.
52
Figura 50: Equac ao diferencial de 1 ordem com condicao inicial (, 3).
Figura 51: Equacao diferencial de 1 ordem com condicao inicial (2,

5)
Figura 52: Equac ao diferencial de 2 ordem com condic oes de contorno (1, 5; 0, 5) e (2; 6).
5.3 CAMPO DE DIREC

OES
O campo de direc oes de uma EDO
dy
dx
= f(x, y) e um gr aco que relaciona, a cada
ponto do plano cartesiano (x
P
, y
P
), um segmento de reta com inclinac ao igual ao valor da
derivada primeira
dy
dx
neste ponto. O campo direcional sugere a aparencia que a solucao
da EDO deve ter, pois se a funcao solu cao passa por um determinado ponto do plano,
deve ser tangente ao segmento relativo a este mesmo ponto.
A plotagem de campos direcionais pode ser feita no wxMaxima atraves de
plotdf(<equac ao>,[trajectory at,< x
o
>, < y
o
>])
sendo <equac ao> o segundo membro da EDO quando esta tem isolada a derivada
dy
dx
no
53
primeiro membro. Para usar-se plotdf deve-se antes carregar seu devido pacote atraves de
load(plotdf ). A op cao trajectory at serve para informar uma condic ao inicial y(x
o
) = y
o
. A
ttulo de exemplo,nas guras 53,54 e 55 foram criados os campos de direc oes das seguintes
equac oes com condi coes iniciais:
dy
dx
= x , y(1) = 2
dy
dx
= e
x
, y(0) = 1
dy
dx
= y
2
1 , y(2) = 4
Figura 53: Campo de direc oes com condic ao inicial.
Para a equacao
dy
dx
= y
2
x e
y
(y
2
2y + 2)
n ao foi usada uma condi cao inicial atraves de trajectory at, mas usou-se o mouse para
escolher diversas condicoes iniciais e plotar varias curvas em uma mesma janela. Para
isso, basta clicar no par ordenado do plano cartesiano correspondente a condic ao inicial
desejada.(gura 56)
54
Figura 54: Campo de direc oes com condic ao inicial.
Figura 55: Campo de direc oes com condic ao inicial.
55
Figura 56: Condic oes iniciais escolhidas atraves de clics do mouse
56
6 CONSIDERAC

OES FINAIS
Como visto, o software analisado neste trabalho, possui in umeras ferramentas que
podem ser utilizadas na apresentacao, ilustrac ao/representacao e complementac ao da te-
oria de diversos conte udos matem aticos. Entretanto e importante ressaltar, que nao se
pretende, aqui, substituir o tratamento formal baseado em demostrac oes, que s ao t ao
importantes para o estudo da Matem atica, mas apresentar formas de comprova cao com-
putacional que facilitem a compreensao de fatos que devem tambem ser vistos sobre o
olhar da mais pura Matematica.
O programa e diferencial tecnol ogico que torna o estudo da disciplina envolvida mais
interessante para os alunos na hora dos estudos, podendo comprovar resultados j a conhe-
cidos. Ja para professores, h a a possibilidade de conferir resoluc oes de quest oes que, por
exemplo, serao usadas em uma avaliac ao ou explanac ao.
O software tambem tem muita utilidade para prossionais, que possuem o conheci-
mento da teoria matem atica e precisam apenas de uma r apida solu cao para determinado
problema. Em outros casos, a resoluc ao pode necessitar grande quantidade de calculos, o
que torna inviavel sua resoluc ao sem auxlio computacional.
Apesar do software possuir uma imensidade de comandos e aplicac oes, e de f acil apren-
dizagem, podendo ser operado com poucas horas de dedicac ao. O aplicativo tambem per-
mite resolver problemas pontuais, bastando para isso apenas o entendimento do captulo 2
e a consulta dos comandos especcos necess arios para realizar a tarefa desejada. Pode-se
citar, por exemplo, a plotagem de gr acos ou resoluc ao de uma EDO.
Outro ponto forte do Maxima e sua gratuidade, pois pode ser distribudo livremente
e utilizado amplamente em instituicoes de ensino ou para uso pessoal sem qualquer custo
de instala cao ou direitos autorais. Vale lembrar que o aplicativo est a disponvel nos tres
mais conhecidos sistemas operacionais: Linux, Windows e MacOS.
57
Referencias
[1] BOLDRINI, Jose Luiz .

Algebra linear. 3
a.
edic ao. S ao Paulo:HARBRA, 1986 .405p
[2] BOYCE, William E. e DiPrima, Richard C. Equacoes Diferenciais Elementares
E Problemas De Valores De Contorno. 9
a
edic ao. Rio de Janeiro:LTC , 2010.
607p
[3] LEITHOLD, Louis . O Calculo Com Geometria Analtica:Volume 1. 3
a.
edic ao.
S ao Paulo:HARBRA, 1994 . 685p
[4] LEITHOLD, Louis . O Calculo Com Geometria Analtica:Volume 2. 3
a.
edic ao.
S ao Paulo:HARBRA, 1994 . 1178p
[5] SANTOS, Bruna . Introducao ao Software MAXIMA. Porto, 2009. Disponvel
em: <http://cmup.fc.up.pt/cmup/v2/include/ledb.php?id=289&table=publicacoes
&eld=le>. Acesso em: 15 out. 2012.
[6] SWOKOSWSKI, Earl Willian. Calculo com geometria analtica. 2 ed. Sao Paulo:
Makron Books, 1994. 744p
[7] VILLATE, Jaime E. Introducao aos Sistemas Dinamicos: uma abordagem
pr atica com Maxima. Porto, 2007. Disponvel em: <http://villate.org/doc/ sistemas-
dinamicos/ sistdinam-1 2.pdf>. Acesso em: 12 out. 2012.
[8] ZILL, Dennis G.; CULLEN, Michael R. Equacoes diferenciais. 3 ed. Sao Paulo:
Makron Books, 2010. 473p