Você está na página 1de 73

UNIVERSIDADE FEDERAL DO AMAZONAS

INSTITUTO DE CINCIAS EXATAS


PROGRAMA DE PS-GRADUAO EM MATEMTICA
MESTRADO PROFISSIONALIZANTE EM MATEMTICA

NMEROS PERPLEXOS:UMA ABORDAGEM PARA O ENSINO


MDIO

Jlio Czar Marinho da Fonseca

MANAUS
2013

UNIVERSIDADE FEDERAL DO AMAZONAS


INSTITUTO DE CINCIAS EXATAS
PROGRAMA DE PS-GRADUAO EM MATEMTICA
PROGRAMA DE MESTRADO PROFISSIONALIZANTE EM MATEMTICA

Jlio Czar Marinho da Fonseca

NMEROS PERPLEXOS: UMA ABORDAGEM PARA O ENSINO


MDIO

Dissertao apresentada ao Programa de Mestrado Prossional em Matemtica da Universidade Federal do Amazonas, como requisito para
obteno do ttulo de Mestre em Matemtica

Orientador: Prof. Dr. Afredo Wagner Martins Pinto

MANAUS
2013

JLIO CZAR MARINHO DA FONSECA

NMEROS PERPLEXOS: UMA ABORDAGEM PARA O ENSINO


MDIO

Dissertao apresentada ao Programa de Mestrado Prossional em Matemtica da Universidade Federal do Amazonas, como requisito para
obteno do ttulo de Mestre em Matemtica.

Aprovado em 07 de maro de 2013.

BANCA EXAMINADORA
Prof. Dr. Afredo Wagner Martins Pinto
Presidente
Profa. Dr. Marcus Antonio Mendona Marrocos
Membro
Prof. Dr. Carlos Gustavo Tamm de A. Moreira
Membro

AGRADECIMENTOS

Primeiramente agradeo a Deus, por me acompanhar em todos os momentos.


A minha esposa, Angela de Albuquerque Nunes, pelo amor, compreenso e apoio sempre presente em minha vida.
A Beatriz Nunes Fonseca, minha princesinha, que me d foras para lutar e buscar
vencer todas as batalhas que a vida impe;
A minha me, Rocilda Marinho da Fonseca, em memria e a meu pai, Belmiro Cidade
Fonseca, o homem mais guerreiro que conheo;
A meus irmos, pelo apoio, pela acolhida e orientao nos momentos dicieis.
Agradeo ao meu orientador Prof. Dr. Alfredo Wagner, por sua competncia e pelo
seu tempo dedicado a mim sempre que necessrio.
Agradeo a todos os meus professores do Departamento de Matemtica da UFAM e
aos amigos que me ajudaram.
Finalmente agradeo a banca examinadora pelas sugestes dadas, que contribuiram
para a melhoria desta dissertao.

RESUMO

Este trabalho visa apresentar a alunos do ensino mdio o conjunto dos nmeros perplexos.
A abordagem utilizada ser a analogia entre este conjunto e o conjunto dos nmeros
complexos, sero denidas operaes de adio e multiplicao de nmeros que compem
o sistema dos nmeros perplexos, bem como ser analisado a escrita deste nmeros na
forma polar, O sistema perplexo ser situado como estrutura algbrica e tambm ter sua
representao geomtrica discutida ao longo do trabalho. Alm disso, faremos o estudos de
equaes polinomiais em P. Por m, um estudo formal sobre a forma exponencial exigir
que ocorra um desvio no escopo do trabalho, mas que se justica devida necessidade de
apresentar de forma mais precisa resultados apresentados no captulo IV.

Palavras-chave: Nmeros Reais, Nmeros Complexos, Nmeros Perplexos.

ABSTRACT

This work aims present to high school students the perplex numbers, the approach is the
analogy between the set of complex numbers and the set of perplex, are dened operations
of addition and multiplication of numbers that make up the system of numbers perplex,
and will be located as structure algebraic and geometric representation will also have
throughout in this work. As an application of this system will be answered polynomial
equations of 1 e 2 grade. Finally, a study formal on the writing exponential require a
deviation occurs in the scope of work, but it is justied due to the need of introduce a
more formal resulted presents in chapter IV.

Keyswords: Real numbers, Complex numbers, Perplex numbers .

Sumrio
Introduo

1 Um Breve Histrico do surgimento dos cojuntos numricos:N, Z, Q e R

1.1 N, Z, Q e R . . . . . . . . . . . . . . . . .
1.1.1 Conjunto dos Nmeros Naturais .
1.1.2 Conjunto dos Nmeros Inteiros .
1.1.3 Conjunto dos Nmeros Racionais
1.1.4 Conjunto dos Nmeros Reais . .

2 O corpo dos Nmeros Complexos


2.1
2.2
2.3
2.4
2.5
2.6

Como surgiram os nmeros complexos


O corpo dos Nmeros Complexos . . .
Conjugado e Valor Absoluto . . . . . .
A Forma Polar . . . . . . . . . . . . .
Extrao de Razes . . . . . . . . . . .
Exponencial . . . . . . . . . . . . . . .

3 Funes Hiperblicas

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.

3.1 Consequncias da denio das funes hiperblicas .


3.1.1 Algumas Identidades das Funes Hiperblicas
3.1.2 Frmula de Moivre . . . . . . . . . . . . . . .
3.2 Resumo das Funes Hiperblicas . . . . . . . . . . .
3.2.1 Cosseno Hiperblico . . . . . . . . . . . . . .
3.2.2 Seno Hiperblico . . . . . . . . . . . . . . . .
3.2.3 Tangente Hiperblico . . . . . . . . . . . . . .

4 Conjunto dos Nmeros Perplexos

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

4.1 Forma Algbrica de um Nmero Perplexo . . . . . . . . . . . . .


4.2 Conjugado de um Nmero Perplexo e o Simtrico em relao
dos quadrantes mpares. . . . . . . . . . . . . . . . . . . . . . .
4.3 Divisores de zero em P. . . . . . . . . . . . . . . . . . . . . . . .
1

.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

3
3
4
6
7

9
10
12
15
15
16

18

18
19
20
20
21
21
21

24

. . . . . . 26
Bissetriz
. . . . . . 27
. . . . . . 30

4.4 Forma Polar . . . . . . . . . . . . . . . . . . . . . . . .


4.4.1 A "norma"de um Nmero Perplexo . . . . . . .
4.4.2 Funo Radial . . . . . . . . . . . . . . . . . . .
4.5 Geometria do Plano Perplexo . . . . . . . . . . . . . .
4.6 A Multiplicao na Forma Polar de Nmeros Perplexos
4.6.1 Diviso de dois Nmeros Perplexos . . . . . . .
4.6.2 Potenciao e Radiciao nos Perplexos . . . . .
4.6.3 Razes de Nmeros Perplexos . . . . . . . . . .
4.7 Equaes do 1 e 2 grau em P . . . . . . . . . . . . .
4.7.1 Equao do 1 grau em P . . . . . . . . . . . .
4.7.2 Equao polinomial do 2 grau em P. . . . . . .
4.7.3 Equaes polinmiais em P . . . . . . . . . . .
4.7.4 Forma Exponencial . . . . . . . . . . . . . . . .

5 Estruturas Algbricas

5.1 Grupo . . . . . . . . . . . . . . .
5.1.1 Subgrupo . . . . . . . . .
5.1.2 Homomorsmo de grupos
5.1.3 Ncleo de Homomorsmo
5.1.4 Isomorsmo de Grupos . .
5.2 Anel . . . . . . . . . . . . . . . .
5.2.1 Subanis . . . . . . . . . .
5.2.2 Corpo . . . . . . . . . . .
5.2.3 Operaes com Ideais . . .
5.2.4 Ideais Maximais . . . . . .
5.2.5 Anis Quocientes . . . . .
5.2.6 Homomorsmo de Anis .

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

31
31
31
33
36
37
37
38
39
39
40
43
46

49

49
50
51
52
52
52
53
54
54
55
55
56

6 Forma Polar dos Nmeros Perplexos

59

7 Consideraes Finais

61

Referncias Bibliogrcas

63

6.1 Funo ngulo em U . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 59


6.2 Clculo da Forma Polar de u . . . . . . . . . . . . . . . . . . . . . . . . . . 60
6.2.1 Potenciao e Radiciao . . . . . . . . . . . . . . . . . . . . . . . . 60

LISTA DE SMBOLOS
N
Z
R
P
B1
B2
Rf
R2
(u)
kukp
B1 B2
P/B1 e P/B2
card(Rf )

Arg(z)

Conjunto do Nmeros Naturais


Conjunto dos Nmeros Inteiros
Conjunto do Nmeros Reais
Conjunto do Nmeros Perplexos
Conjunto das Bissetrizes dos quandrantes mpres
Conjunto das Bisstrizes quadrantes pares
Conjunto das Raizes do polinmio f
Plano Cartesiano
Funo Radial
"mdulo" Perplexo
conjunto dos elementos singulares
aneis quociente
cardinalidade do conjunto Rf
Argumento Principal
isomorfo

Introduo
No Ensino Mdio, os alunos tm o primeiro contato formal com o corpo dos nmeros

complexos, passam a saber que existe um ente que representa 1, alm disso, passam
a operacionalizar com esses nmeros e aprendem tambm a escrev-los em sua forma trigonomtrica; a principal justicativa da utilizao deste nmeros neste nivel est na sua
utilizao para resolver equaes polinomiais
Sabendo que os alunos do ensino mdio so conhecedores da lgebra que envolve os nmeros complexos e sabendo que o conjunto dos nmeros perplexos possui uma lgebra
anloga quanto as operaes que propomos uma abordagem do anel dos nmeros perplexos para discentes do Ensino Mdio, de maneira anloga a dos nmeros complexos,
conceituando-os como par ordenado e denindo a soma e a multiplicao neste conjunto.
Outro ponto relevante neste trabalho apresentar a unidade perplexa p.
Apesar de no ser um conjunto divulgado em livros textos do nivel mdio, o conjunto dos
nmeros perplexos no novo em [9]; Fjelstad apresentou um aplicao dos nmeros perplexos para interpretar o fenmeno superluminal [1]. Deste modo, estendeu a relatividade
especial para o caso kvk > c. os nmeros perplexos foram apresentados pela primeira vez
em 1919, por L. E. Dickson, e ao longo do tempo est sendo utilizada com lucrativos ns
para resolver problemas fsicos especialmente na teoria da relatividade.
importante mencionar que na literatura, os nmeros perplexos recebem diversas nomeclaturas em [7] podemos encontar estes nomes: nmeros hiperblicos, nmeros espaotempo, split-complex numbers ou double numbers, em alguns artigos a unidade perplexa
tambm chamada de unidade alucinada ou fantasmagrica. Este trabalho visa no
s apresentar o conjunto dos nmeros perplexos no nivel mdio, como tambm divulgar os avanos matemticos realizados na matemtica moderna, fazer conhecimento "novos"chegar ao conhecimento de futuros matemticos.
Para fazer a abordagem dos nmeros perplexos devemos ver a estrutura que ser tomada
na analogia, assim faz-se necessrio descrevermos o conjunto dos nmeros complexos, o
que ser feito no captulo 2. Enunciaremos as propriedades e principais resultados deste
conjunto, para as demonstraes indicamos as referncias [18] e [8]. Outro ponto, discutido nos complexos sobre a quantidade de razes n-simas da expresso z n = w, bem
como suas mais variadas formas de apresentao. No corpo dos complexos existe a escrita
sob a forma trigonomtrica, de maneira anloga buscaremos uma escita para os nmeros
1

perplexos; no entanto, ao passo que avanamos, sentimos a necessidade de apresentarmos as funes hiperblicas, para esse propsito foi construido o captulo 3, o qual ser
largamente usado na forma polar de um nmero perplexo. Devidamente apresentados os
nmeros complexos e as funes hiperblicas, passamos a discutir a estrutura dos nmeros
perplexos.
O captulo 4, foi escrito especialmente para esse propsito, tomar o conjunto dos nmeros
perplexos anlogo ao conjunto dos complexos, neste captulo procuramos denir com preciso o que tratamos como um nmero perplexo, as operaes de adio e multiplicao,
a interpretao geomtrica destes conceitos, buscamos um meio de explorarmos a escrita
hiperblica e a exponencial destes nmeros. Tambm trataremos das equaes polinomiais com coecientes perplexos e mostraremos que um polinmio mnico de grau n, possui
no mximo n2 razes perplexas, para isso utilizaremos uma base idempotente, daremos
exemplos de polinmios de grau n, que possui exatamente n2 razes. No faremos a aplicao fsica, mas indicamos [22] para uma anlise da aplicao. Outro ponto importante
neste captulo esta na presena de caracteristicas neste conjunto que no aparecem nos
complexos, nem nos reais. Ao falarmos de estruturas algbricas deixamos a formalizao
das propriedades da forma polar para o captulo 6, tendo em vista uma abordagem mais
sosticada para este aspecto, distoando do escopo do nivel mdio.
o captulo 5, vem repleto de estrutas algbricas, pois, buscamos formalizar a escrita perplexa na forma polar, sabendo que a apresentao foi feita a contento no captulo 4,
buscaremos aplicar os conceitos algbricos dos nmeros perplexos atravs de sua caracterizao como um anel comutativo com unidade. Alm de mostrarmos neste capitulo que
os conjunto quociente P/B1 e P/B2 so isomorfos a R
O capitulo 6 foi idealizado para tratar de maneira formal a forma exponencial dos nmeros perplexos. Nas consideraes nais faremos a comparao entre os dois conjutos, bem
como listaremos algumas caractersticas presentes nos perplexos que no encontramos nos
complexos.

Captulo 1
Um Breve Histrico do surgimento dos
cojuntos numricos:N, Z, Q e R
1.1 N, Z, Q e R
1.1.1 Conjunto dos Nmeros Naturais
comum encontrar nos livros didticos do Ensino Mdio histrias da origem dos nmeros naturais. consenso entre os autores utilidade fundamental desses nmeros,
"Enumerar elementos de um conjunto". LIMA (2006, p. 38) arma que a importncia
dos nmeros naturais provm do fato de que eles constituem o modelo matemtico que
torna possvel o processo de contagem. Porm, os livros do Ensino Mdio no ressaltam que a fundamentao lgica-matemtica do conjunto dos nmeros naturais, no foi
a primeira a acontecer, dando aos discentes a impresso de que os acontecimentos sobre
a estruturao dos cojuntos numricos ocorreu de forma linear, o que no verdadeiro,
como ca claro nas palavras de HEFEZ (1993, p. 22). "Os nmeros naturais ainda resistiram s investidas por algum tempo. Segundo vrios matemticos da poca no seria
possvel construir tais nmeros".
Para LIMA (2010, p. 2), deve-se ao matemtico, Giuseppe Peano (1858-1932), a estrutura axiomtica aos nmeros naturais que se adota atualmente, e que consiste em quatro
axiomas que caracterizam os nmeros naturais completamente:
1. Todo nmero natural tem um sucessor, que ainda um nmero natural;
2. Nmeros naturais diferentes tm sucessores diferentes.
3. Existe um nico nmero natural 1 que no sucessor de nenhum outro
natural.
4. Se um conjunto de nmeros naturais contm o nmero 1 e contm tambm
o sucessor de cada um dos seus elementos, ento esse conjunto contm todos
3

os nmeros naturais.
Deve-se ressaltar que o nome do conjunto numrico {1, 2, 3, ...} conjunto dos Nmeros
Naturais, e denota-se por N, exatamente por seu surgimento ser to natural. Neste
conjunto so denidas duas operaes: Adio e Multiplicao.
Seja A : NXNN , onde (m, n)m + n, do seguinte modo:
(

m + 1 = s(m)
m + s(n) = s(n + m)

Seja M : NXNN , tal que (m, n)m.n, do seguinte modo:


(

m.1 = m
m(n + 1) = m.n + m

A adio associativa, comutativa e ao acrescentarmos o zero no conjunto, a adio


tambm ter elemento neutro. J a multiplicao associativa, comutativa, alm do
nmero 1 ser o elemento neutro. Existe uma propriedade que relaciona as duas operao
chamada de distributividade da multiplicao em relao a adio: m(n + p) = mn + mp.

1.1.2 Conjunto dos Nmeros Inteiros


O conjunto dos Nmeros Naturais cheio de lacunas, j que s possvel fazer a
subtrao a b, se, e somente se, a > b, ou seja, no contemplava questes envolvendo
a ideia de subtrao de nmeros naturais em que o minuendo menor que o subtraendo.
No decorrer da evoluo, o comrcio j era uma realidade em sociedade e a noo de
perdas e prejuzo guravam no cotidiano do homem. E assim, os nmeros naturais no
eram sucientes para necessidade humana, no havia a noes de nmero negativo nem
uma maneira de operar com eles. Todavia esses nmeros eram necessrios, as subtraes
a b, com b > a deveriam apresentar solues. Segundo DOMINGUES(2003, p. 30)
para enfrentar essas questes, foi preciso ampliar o conjunto dos nmeros naturais com
a juno dos nmeros negativos, introduzidos a princpio para possibilitar a resposta da
subtrao de quaisquer dois elementos de N. Esse passo gerou naturalmente a necessidade
de estender as operaes e a relao de ordem de N ao novo conjunto, formado pelos
nmeros naturais e os nmeros negativos.
Ideia intuitiva que, por exemplo, todas as diferenas 0-1, 1-2, 2-3 ...de
alguma maneira so equivalentes e representam o mesmo nmero, um novo
nmero que veio a ser indicado por -1. De maneira anloga se introduzem os
nmeros -2,-3,-4,... . (DOMINGUES, 2003, p. 30)
Obtido esses novos nmeros, preciso ainda incorpor-los consistentemente ao conjunto
dos Nmeros Naturais, ou seja:
4

i. Estender para o novo conjunto numrico, ou seja, Z = {..., 3, 2, 1, 0, 1, 2, 3, ...},


as operaes adio e multiplicao de nmeros naturais;
ii. Estender a ideia de menor e maior a partir das ideias correspondentes em N
Depois de realizadas as extenses referidas o conjunto Z concebido como o sistema dos
nmeros inteiros. De certo que os nmeros naturais tambm so chamados de inteiros
positivos. Pois N est contido em Z.

Adio e Multiplicao de Nmeros Inteiros.


Em Z temos as operaes fundamentais: Adio e Multiplicao. Estas operaes permitem construir novos nmeros a partir de pares de nmeros dados, e so essenciais para
o processo de contagem. Enquanto nos naturais a adio possui 3 propriedades, em Z
acrescenta-se uma quarta, a existncia do nmero oposto. Ou seja, a + (a) = 0,onde a o oposto de a. A multiplicao agora tm outras possibilidades para os fatores, a saber.

ab > 0,

ab > 0,
ab =

ab < 0,

ab < 0,

se
se
se
se

a > 0 e b > 0,
a < 0 e b < 0,
a > 0 e b < 0,
a < 0 e b > 0.

(1.1)

importante nos inteiros interpretar os produtos -1. 1 = -1 e (-1).(-1) = 1. Uma interpretao para eles dado abaixo.
Considere as grandezas a, 2a, 3a, 4a, etc. o processo de acrescentar a pode prosseguir
indenidamente. Mas, tomemos o caminho inverso, ou seja, subtrair a grandeza a de
cada um dos termos anteriores, obtendo: 3a, 2a, a, 0. E depois? Como prosseguir? Que
sentido atribuir subtrao 0 a? ROQUE (2012, p. 246) arma que Argand props
uma construo capaz de assegurar, alguma "realidade"a estes termos.
Consideremos uma balana com dois pratos A e B. Acrescentemos ao prato
A as quantidades a,2a,3a,4a, e assim sucessivamente, o que faz a balana
pender para o lado do prato A. Se quisermos, podemos retirar uma quantidade
a de cada vez, restabelecendo o equilbrio. E quando chegamos a 0? Podemos
continuar retirando estas quantidades? Sim, basta acrescent-las ao prato
B". Atribuindo a noo relativa do que "retirar"signica: retirar do prato
A signica acrescentar ao prato B. Deste modo, as quantidades negativas
puderam deixar de ser "imaginrias"para se tornar "relativas". ROQUE(2012,
p. 247)
5

A Representao proposta por Argand, interpreta a multiplicao com nmeros negativos, como, por exemplo, multiplicao por 1, passa a ser vista como uma reexo em
relao origem. Isto possibilita entender facilmente porque (1) (1) = +1, pois
basta observar que, aps a reexo de 1 em relao origem, obtm-se +1. O simtrico
de um nmero inteiro passa a ser a quantidade m que deixou a balana em equilbrio, ou
seja, o nmero inteiro m simtrico de um nmero n se m + n = 0.

1.1.3 Conjunto dos Nmeros Racionais


Historicamente os inteiros negativos no foram os primeiros nmeros a surgir dos naturais, as fraes vieram antes (DOMINGUES, 2003, p. 8).
Para SMOLE(2010, p. 13), o surgimento dos nmeros racionais est associado noo de
medidas. Independentemente do que estejamos medindo, medir signica "comparar duas
grandezas do mesmo tipo", para representar as medidas surgiram os nmeros racionais,
que so tambm utilizados para representar quantidade no inteiras e relao como as que
aparecem na diviso de uma pizza ou nos problemas envolvendo escalas, convm lembrar
que os gregos usavam razes para comparar grandezas de mesma espcie, e assim dois
segmentos so ditos comensurveis quando possvel medi-los ao mesmo tempo, com a
mesma unidade estabelecida. Nos nmeros inteiros, que h representao para fraes
nas quais numerador no mltiplo do denominador.
A noo intuitiva grega de comensurabilidade, responde a expresso nx m = 0, assim
tendo a concepo geomtrica de razo possvel descrever o novo nmero que foi chamado de numero racional, onde neste conjunto cada nmero diferente de zero passa a ter
um inverso em Q, no entanto perde-se o principio da boa ordenao1
Obtido esses novos nmeros, preciso ainda incorpor-los consistentemente ao conjunto
dos nmeros inteiros, ou seja:
i. Estender para o novo conjunto numrico, ou seja, Q = { ab , a Z e b 6= 0 Z},
as operaes adio e multiplicao de nmeros inteiros.
ii. Estender a ideia de menor e maior a partir das ideias correspondentes em
Z.
Depois de realizadas as extenses referidas o conjunto Q concebido como o sistema dos
nmeros racionais. De certo que os nmeros inteiros tambm so chamados de racionais.
J que dado a Z temos a = a/1 Q, logo Z Q.
1 Principio

da boa ordenao: Seja A um domnio ordenado, todo subconjunto no vazio de A limitado


inferiormente possui um menor elemento.

Adio e multiplicao de Nmeros Racionais.


No conjunto Q deniram-se as operaes fundamentais de adio e multiplicao.
a c
ad + bc
+ =
, onde b e d 6= 0
b d
bd
a c
ab
. = , onde b e d 6= 0
b d
cd

(1.2)
(1.3)

1.2 chamadada de Adio e 1.3 dita multiplicao.


A adio preserva as propriedades de Z, ou seja, associativa, comutativa, existe um
elemento neutro. Para cada r em Q existe r em Q. J na multiplicao as propriedades
associativa, comutativa e existncia da unidade so mantidas, e acrescentada a propriedade da existncia do inverso de um nmero racional no nulo.
Em Q tambm possvel observar a escrita decimal de seus elementos, atravs de uma
vericao observa-se que quando o denominador desprovido dos fatores primos 2 e 5 a
representao decimal ser uma dizima peridica.

1.1.4 Conjunto dos Nmeros Reais


O grande desenvolvimento da Matemtica a partir da criao do Clculo diferencial
no sculo dezessete colocou diante dos matemticos novos problemas que, para serem
melhor compreendidos e solucionados, requeriam uma fundamentao mais rigorosa do
conceito de nmero. Esta tarefa foi empreendida pelos matemticos do sculo dezenove.
HEFEZ (1997, p. 22) arma que o primeiro a idealizar um mtodo para a construo dos
nmeros inteiros negativos e dos nmeros racionais a partir dos nmeros naturais foi Karl
Weierstrass. E argumenta que foi bem mais sutil e profunda a construo dos nmeros
irracionais, a partir dos nmeros racionais, isto foi conseguido independentemente por
Georg Cantor e Richard Dedekind por volta de 1870. Os nmeros irracionais j eram
conhecidos pelos pitagricos, pois os gregos utilizavam a noo de comensurabilidade
entre duas grandezas.
Dois segmentos a e b so ditos comensurveis se existir uma unidade de
comprimento que mea, de maneira exata, ambos segmentos. Isto , dados
dois segmentos comensurveis a e b, existe um segmento u e nmeros inteiros
p e q tais que a = pu e b = qu. A razo de a por b pq . (AVILA 2003, p. 47 )
A crena dos pitagricos na qual quaisquer dois segmentos seriam comensurveis, foi
abalada com a descoberta de um par de segmentos no comensurveis. Isso ocorreu
quando eles estudaram a razo entre a diagonal e o lado de um quadrado. O fato de a

diagonal e o lado de um dado quadrado no serem comensurveis equivalente a 2 no


ser um nmero racional. Realmente, se tomarmos um quadrado de lado, digamos, 1, pelo
7

Teorema de Pitgoras, o quadrado de sua diagonal ser igual a 2. Assim o sistema dos
nmeros racionais apresentava lacunas, ao pensarmos em uma reta dos racionais essa reta
teria "buracos"ao longo de toda sua extenso, como o sistema foi concebido para medir,
esses buracos deveriam ser preenchidos. Neste ponto estrutura-se o conjunto dos nmeros
irracionais. A inspirao de Dedekind para a fundamentao do conjunto surgiu da Teoria
das Propores de Eudoxo2 , na qual Dedekind cria o conceito de corte.
Um corte de Dedekind um par ordenado (A, B), no qual A e B so
subconjuntos no-vazios de nmeros racionais, tais que A no possui elemento
mximo, a unio de A e B o conjunto de todos os racionais e, dados x em A
e y em B quaisquer, x < y . ([3])
Em cada caso em que h um corte (A1 , A2 ) que no produzido por qualquer nmero
racional, Dedekind criou um novo nmero a, irracional, que ser considerado como completamente denido por este corte; assim diz-se que este nmero a corresponde ao corte,
ou por ele produzido. Com estas armaes Dedekind, completa a reta numrica, e
fundamenta o conjunto dos nmeros Reais, como um corpo completamente ordenado, e
deni o conjunto I dos irracionais, tal que R = Q I. O conjunto dos nmeros R possui
as operaes de adio, multiplicao, relao de ordem entre seus elementos, e satisfaz o
principio da boa ordenao, no entanto equaes do tipo x2 + 1 = 0, no possuem soluo
em R.

2 Diz-se

que quatro grandezas esto na mesma razo, a primeira para a segunda e a terceira para
a quarta se, quando eqimltiplos quaisquer so tomados da primeira e da terceira e eqimltiplos
quaisquer da segunda e da quarta, os primeiros equimltiplos so ambos maiores que, ou ambos iguais a, ou
ambos menores que, os ltimos equimltiplos considerados em ordem correspondentes. BONGIOVANNI
(2005,pg 96).

Captulo 2
O corpo dos Nmeros Complexos
2.1 Como surgiram os nmeros complexos
Como foi tratado ao nal do captulo 1, algumas equaes algbricas no mbito dos
nmeros reais no possuam soluo em R.
A histria aponta como fato crucial para a iniciativa da abordagem acerca dos nmeros
complexos, o estudo das equaes do 3 grau.
De certo que equaes do segundo grau com discriminante negativo no
tinham soluo R, e nesse ponto se encerravam as discusses, mas quando Tartaglia descobriu uma frmula que resolvia as equaes do 3 grau, e Bombelli
considerou a equao x3 15x 4 = 0, e utilizou a formula de Tartaglia para
encontrar a soluo, que os matemticos se propuseram a fundamentar o
conjunto com nmeros onde se pudesse ter raiz quadrada de nmero negativo.
ROQUE(2012, p. 172)

Leonhard Euler (1707-1783), introduziu a notao i = 1 e identicou as razes da


equao z n = 1 com os vrtices de um polgono regular de n lados. Alm de denir a
funo exponencial no conjunto dos nmeros complexos, pela frmula: ei = cos + isen.
Carl Friedrich Gauss (1777-1855) foi quem introduziu a denominao nmero complexo.
Em sua tese de doutorado, Gauss provou, o Teorema Fundamental da lgebra, que arma
que toda equao algbrica denida sobre C admite pelo menos uma raiz. Deve-se tambm
a Gauss a representao geomtrica dos nmeros complexos, associando as suas partes
real e imaginria, respectivamente, abscissa e ordenada de pontos do R2 . Jean Robert
Argand(1768-1822) investigou, as grandezas que satisfazem proporo +1 : +x :: +x :
1 e encontrou a resposta por meio do seguinte diagrama:
segmentos KA e KI so entendidos, respectivamente, como segmentos direcionados de K para A e de K para I e representam as grandezas unitrias
9

Figura 2.1: Diagrama de Argand.


positiva e negativa. Em seguida, traa-se uma perpendicular EN reta que
une I a A. O segmento KA est para o segmento direcionado KE assim como
KE est para KI; e KA est para o segmento direcionado KN assim como
KN est para KI. Logo, a condio de proporcionalidade exigida acima para
a grandeza x satisfeita por KE e KN. (ROQUE, 2012, p. 248)
Decorre desta interpretao que as grandezas geomtricas que satisfazem proporo
requerida so, portanto, KE e KN, que podem ser vistas como representaes geomtricas
de +i e i. Este diagrama mostra que devemos tomar a multiplicao por i como uma
rotao do segmento orientado no plano onde o zero o centro de rotao, o ponto que
organiza o giro. Nos nmeros complexos h uma relao de ordem, ou seja, no se pode
dizer que um nmero complexo maior do que outro.

2.2 O corpo dos Nmeros Complexos


Denimos o corpo dos nmeros complexos como sendo o conjunto:
C = {(x, y); x R y R}

(2.1)

Onde denimos as seguintes operaes de adio e multiplicao: Seja z = (x, y) e


w = (a, b) C, ento:
z + w = (x + a, y + b)
(2.2)
zw = (xa yb, xb + ya)

(2.3)

1. Observao. A adio acima simplesmente a adio de vetores em R2 enquanto


que a multiplicao tem uma interpretao geomtrica mais elaborada que veremos
na seo 2.4.
10

O conjunto R2 com as operaes acima denidas ser denotado por C, e seus elementos
sero chamados de nmeros complexos.
O nmero complexo (0,0) ser denotado simplesmente por 0 e o nmero complexo (1,0)
por 1.
Para cada z = (x, y) C, deni-se:
a. z = (x, y)
y
x
b. z 1 = ( x2 +y
2 , x2 +y 2 ) se z 6= 0

Proposio 2.1. As seguintes propriedades se vericam para quaisquer z,w, t C


A1 z + (w + t) = (z + w) + t (associatividade da adio)
A2 z + w = w + z (comutatividade da adio)
A3 0 + z = z = z + 0 (existncia elemento neutro da adio)
A4 z + (z) = 0 (existncia do elemento simtrico da adio)
M1 z(wt) = (zw)t (associatividade da multiplicao)
M2 zw = wz (comutatividade da multiplio)
M3 z1 = z (existncia do elemento neutro da multiplicao)
M4 zz 1 = 1 z 6= 0(existncia do inverso multiplicativo)

AM z(w + t) = zw + zt (distributividade da adio em relao a multiplicao)


Indicamos [14] para a demonstrao das propriedades da adio.
Tendo denido as operaes de adio e multiplicao em C, deni-se as operaes de
subtrao e diviso.
z w = z + (w)
(2.4)
z/w = zw1 , w 6= 0

(2.5)

alm disso, a potenciao tambm denida de maneira usual:


n
1
z 0 = 1, z n = z...z
...z 1} se z 6= 0 (n 1)
|{z} e z = z| {z
n

(2.6)

Decorre de Propisio 2.1 que todas as propriedades das operaes aritmticas de nmeros
reais so validas para nmeros complexos.
Um conjunto no qual esto denidas uma operao de adio e uma operao de multiplicao satisfazendo as propriedades mencionadas na Proposio 2.1 chamado de corpo.
O nmero complexo (x, 0), com x R ser simplesmente representado por x. Note que
isto est de pleno acordo com o que j zemos com o elemento neutro 0 e o elemento
11

unidade (1, 0). Deste modo. Considere o produto (0, 1)2 = (0, 1)(0, 1) = (1, 0) = 1,
ou seja, o nmero 1 possui uma raiz quadrada em C. o nmero complexo (0, 1)
denominado por i e chamado de algarismo imaginrio. Assim
z = (x, y) = (x, 0) + (0, y) = x(1, 0) + y(0, 1) = x + yi

(2.7)

Esta expresso recebe o nome de forma algbrica de z .


Com a forma algbrica no necessrio memorizar as denies de z + w e zw dadas em
2.2 e 2.3, basta usarmos algumas propriedades da adio e da multiplicao em C j
apresentadas.
z + w = x + iy + a + bi = x + a + (y + b)i

(2.8)

zw = (x + yi)(a + bi) = xa + ybi2 + (xb + ya)i = xa yb + (xb + ya)i

(2.9)

A forma algbrica uma importante representao para os nmeros complexos. Para


LIMA (2006, pg 161), Um nmero complexo um nmero da forma x + yi, com x e y

reais e i = 1. A interpretao geomtrica dada por LIMA (2006, p. 161) est descrita
abaixo:
Fixando um sistema de coordenadas no plano o complexo z = x + yi
representado pelo ponto P = (x, y). o ponto P chamado de imagem do
complexo z . Como a correspondncia entre os complexos e suas imagens uma
bijeo, frequentemente identicamos os nmeros complexos e suas imagens
por (x, y) = x + yi. O plano no qual representamos os complexos chamado
de plano e Argand - Gauss. (LIMA 2006, p. 161).
Decorre da interpretao do nmero complexo z = x + yi, como par ordenado que os
complexos z = x + yi e w = a + bi so iguais se, e somente se, x = ae y = b. Em
particular x + yi = 0 ento x = y = 0. As potncias de i apresentam um comportamento
na qual as potncias se repetem em ciclos de perodo 4. De fato, i0 = 1, i1 = i, i2 = 1,
i3 = i2 i = i e i4 = i2 i2 = 1.

2.3 Conjugado e Valor Absoluto


Dado um nmero complexo z = a + bi, denimos a parte real e a parte imaginria
de z por Re(z) = a e Im(z) = b, respectivamente. Quando Re(z) = 0, dizemos que z
imaginrio puro.
Como um nmero complexo z = a + bi o par ordenado (a, b) podemos represent-lo
gracamente como o ponto do plano cartesiano de abscissa x e ordenada y . Figura 2.2.
Neste contexto, chamamos o plano cartesiano de plano complexo, ou Argand-Gauss, e o
12

Figura 2.2: Plano Complexo

Figura 2.3: soma e subtrao

eixo x de eixo real, e o eixo y de eixo imaginrio.


Abaixo indicamos as interpretaes grcas da adio e subtrao de nmeros complexos,
denidas em 2.4 e 2.8.
Sejam, Z1 = a + bi e z2 = c + di dois complexos cujas imagens geomtricas
so P1 e P2 , respectivamente. O complexo z = z1 + z2 tem axo P tal que,



OP = OP1 + OP2 onde OP , OP1 , OP2 so vetores. J w = z2 z1 , tem

axo Q, cujo vetor paralelo a diagonal e possui o mesmo mdulo de P1 P2 .


(IEZZI,1993, p. 30)
Dados dois nmeros complexos w e z , a distncia entre w e z denida por |w z|.
Denimos o conjugado de um nmero complexo z = x+yi como sendo o nmero complexo
z = x yi. Gracamente, z o ponto do plano complexo obtido atravs de uma reexo
de z em torno do eixo real.

Figura 2.4: Conjugado de z

Proposio 2.2. As seguintes propriedades se vericam para quaisquer z,w C


a. z = z , z + w = z + w e zw = zw
13

b. ( wz ) =

z
w

se w 6= 0

c. z + z = 2Re(z), z z = 2iIm(z)
d. z R z = z
e. z imaginrio puro z = z
f. z n = z n
p
O valor absoluto de um nmero complexo z = x + yi denido por x2 + y 2 . (15)
Gracamente, o nmero real nos d o comprimento do vetor correspondente a z no plano
complexo.

Figura 2.5: mdulo de z

Proposio 2.3. As seguintes propriedades se vericam para quaisquer z,w C


a. Re(z) |Rez| |z|, Imz |Imz| |z|
b. |z|2 = zz e |z| = |z| e |zw| = |z||w|
c. | wz | =

|z|
|w|

,se w 6= 0

d. |z + w| |z| + |w|
e. |z + w| ||z| |w||
2. observao. A desigualdade d. conhecida como desigualdade triangular.
2. Indicamos [14] para detalhes sobre as demonstraes das proposies 2.2 e 2.3
Se z 6= 0 a proposio 2.3 b. implica que z 1 = |z|z 2 , em particular z 1 = z , se |z| = 1.
A identidade mostra que z e z 1 se comparam gracamente: z 1 aponta na direo de z
1
e tem valor absoluto z 1 = |z|
.
14

2.4 A Forma Polar


Consideremos um nmero complexo z = x + yi 6= 0. Seja 0 o ngulo que o eixo real
positivo forma com o vetor correspondente a z no sentido anti-horrio.
y
x
Como cos 0 = |z|
e sin 0 = |z|
, temos que z = |z|(cos0 +isin0 ). Assim sempre possvel
representar z na forma z = |z|(cos0 + isin0 ) onde 0 R.
A representao chamada representao polar de z . Se R satisfaz. dizemos que
um argumento de z . Assim 0 um argumento de z , entretanto qualquer da forma
0 + 2k , com k inteiro, tambm satisfaz a forma polar, em particular z possui innitos
argumentos. Por outro lado, se satisfaz a forma polar ento cos0 = cos e sin 0 = sin
o que implica 0 + 2k para algum k inteiro. Assim o conjunto de argz de todos os
argumentos de z dado por arg z={0 + 2k : k Z}. denotemos o nico argumento de
z que pertence ao intervalo (, ] , como argumento principal e escrevemos Arg z.
A identidade z = |z|(cos Argz + isin Argz). chamada forma polar de z.
Sejam z = |z|(cos + isin ) e w = |w|(cos + isin ) representaes polares de dois
nmeros complexos no nulos z e w. Vamos agora obter representaes polares para z 1
e zw:
z 1 = |z|1 (cos + isin )
(2.10)
zw = |z||w|(cos ( + ) + isin ( + )).

(2.11)

3. Observao. Esta igualdade nos d a interpretao grca do produto de dois nmeros complexos: zw tem valor absoluto |z||w| e tem + como um argumento.
Denindo A = {a, a A} e A + B = {a + b, a A e b B(A , B C}. Decorre
das frmulas 2.10 e 2.11 que arg(z 1 ) = argz e arg(zw) = argz + argw. Porm no
sempre verdade que Arg(z 1 ) = Argz nem Arg(zw) = Argz + Argw. Ainda de 2.10 e
2.11 temos que: z n = |z|n (cos n + i sin n) n Z. No caso em que |z| = 1, a igualdade
nos diz que:
(cos(n) + i sin(n))n = cos n + i sin n
(2.12)
Esta igualdade conhecida como formula de Moivre.

2.5 Extrao de Razes


Dado um nmero complexo w e um nmero natural n 1. Dizemos que z C uma
raiz n-sima de w se z n = w.
Se w = 0, claro que z = 0 a nica soluo da equao z n = w. logo o nmero 0 possui
uma nica raiz n-sima que o prprio 0. Veremos a seguir que se w 6= 0 ento existe
exatamente n solues distintas da equao z n = w.
15

Teorema 2.1. Fixe n N . Todo nmero complexo no nulo w possui exatamente n


razes n-simas complexas distintas, a saber:

p
Arg(w) + 2k
Arg(w) + 2k
n
+ i sin
] k = 1, 2, ...n
|w|[cos
n
n

(2.13)

Demonstrao:A primeira condio satisfeita precisamente quando |z|= n |w|, en,


quanto, as duas ltimas so satisfeita quando n = + 2k com k Z, isto = +2k
n
com k Z. Assim, as razes n-simas de w so os nmeros zk para k Z. fazendo
k = 0, 1, ..., n 1 obtemos razes distintas n-sima de w. Entretanto, os demais valores
de k nos do repeties das razes z0 , z1 , ...zn1 . De fato, tome k Z arbitrrio, escreva
k = qn + r com q Z e 0 r < n como, = +2k
= +2r+2qn
= +2r
+ 2q vemos
n
n
n
que zk = zr z0, z1, ...zn 1.
A raiz n-sima de w obtida fazendo k = 0 em (22) chamada de raiz n-sima principal

de w . A notao n w resevada para esta raiz.


p

4 Observao. Todas as n razes n-simas de w possuem o mesmo mdulo, a saber


p
|z|= n |w|. logo, elas so representadas por n pontos sobre uma circunferncia com
p
centro na origem e raio |z|= n |w|.
Alm disso, estes pontos esto igualmente espaados ao longo desta circunferncia
devido relao de seus argumentos.
Exemplicando: Resolver a equao x6 + 64 = 0.

Sendo x C, temos que x = 6 64, sabendo que 64 = 64(cos ( + 2k)+i sin ( + 2k).
Conclumos que x = 2(cos ( 6 + k
) + i sin ( 6 + k
), tomando k = 0, 1, 2, ...5 encontramos
3
3
a razes do problema. O conjunto soluo representado pelo hexgono regular da Figura
2.6.

Figura 2.6: Conjuto da raizes

2.6 Exponencial
Da equao 2.10, sabemos que zw = |z||w|(cos ( + ) + isin ( + )), por outro lado
sabemos que: e(s+t) = es et , ento faamos eiy = cos y + i sin y , uma interpretao para
16

eiy . Alm disso, temos as propriedades:


i. e0 = 1
ii. eyi .exi = e(x+y)i
iii. exi = (exi )1

Motivados por estas consideraes, temos a seguinte denio:

Denio 2.1. Dado um nmero complexo z = x + iy, a exponencial de z dada por


ez = ex (cos y + i sin y).

Proposio 2.4. Para quaisquer z ,w C temos que ez = ew se, e somente se z =


w + 2ki para algum k Z

Na seo 2.4 vimos que todo nmero complexo no nulo z tem uma representao polar
z = r(cos + i sin ), onde r = |z| e um argumento de z . Com a noo de exponencial
esta igualdade pode ser escrita de forma mais econmica, a saber, z = rei
Observasse tambm que as n razes n-simas de um nmero complexo no nulo w podem
p
Argw+2k
ser escritas da seguinte maneira: n |w|ei n , para k = 0, 1, ..., n 1.
2k
Em particular, as n-simas do nmero 1 so dadas por k = ei n para k = 0, 1, ..., n 1.
Notemos tambm que as n razes n-simas de w podem ser obtidas multiplicando-se a raiz

n-sima principal n w de w pelas razes n-simas da unidade.

17

Captulo 3
Funes Hiperblicas
Denio 3.1. Chamaremos de funes hiperblicas as funes denidas abaixo:
a. Seno Hiperblico:R R, onde sinh t =

et et
2

b. Cosseno Hiperblico:R R,onde cosh t =

et +et
2

c. Tangente Hiperblico:R R,onde tanh t =

et et
et +et

Uma justicativa para essa nomeclatura e o fato de que se tomarmos x = cosh (t) e
y = sinh (t) teremos x2 y 2 = 1, portanto a curva : R R2 ; (t) = (x(t), y(t)) uma
parametrizao do ramo direito da hiprbole equiltera x2 y 2 = 1

Proposio 3.1. cosh uma funo par, sinh e tanh so mpares.


Demonstrao. De fato, x R, temos cosh (x) = e 2+e = cosh x, logo cosh x par.
x
x )
x
x
= sinh x, logo sinh x mpar. De modo anlogo
Para sinh (x) = e 2e = (e e
2
possvel mostrar a paridade das outras funes.
x

3.1 Consequncias da denio das funes hiperblicas


Proposio 3.2. Considerando x R. Se x 6= 0 ento cosh x > 1
Demonstrao. Se x = 0, segue que cosh 0 = e +e
= 1. Seja x R, tal que x =
6 0,
2
x
2
2x
x
x
e sabendo que (e 1) > 0, deste modo temos e + 1 > 2e , como e > 0 x R,
x
x
conclui-se que e +e2 > 1, ou seja, cosh x > 1.
0

Proposio 3.3. Considerando x R. Se x < 0 ento sinh x < 0 e tanh x ] 1, 0[.

18

Demonstrao. Se x < 0, ento x > 0 e deste modo ex < ex , logo ex ex < 0, ou


x
x
seja, e e2 < 0, portanto sinh x < 0.
x
x
x
x
Sabendo que ex < ex x R, segue que e e2 < e +e2 , ou seja, sinh x < coshx x
R. Segue da denio 3.1, que |tanh x| < 1 e deste modo,1 < tanh x < 1. Segue da
proposio 3.1.2, que cosh x estritamente positivo, portanto o sinal de (tanh x) igual
ao sinal (sinh x), e portanto para x < 0, tem-se tanh x ] 1, 0[.

Proposio 3.4. Considerando x R. Se x > 0 ento sinh x > 0 e tanh x ]0, 1[.
Demonstrao. Se x > 0, ento x < 0 e deste modo ex < ex , logo ex ex > 0, ou
x
x
seja, e e2 > 0, portanto sinh x > 0.
x
x
x
x
Sabendo que ex < ex x R, segue que e e2 < e +e2 , ou seja, sinh x < coshx x
R. Segue da denio 3.1, que |tanh x| < 1 e deste modo,1 < tanh x < 1. Segue da
proposio 3.1.2, que cosh x estritamente positivo, portanto o sinal de (tanh x) igual
(sinh x), e portanto para x > 0, tm-se tanh x ]0, 1[.

Lema 3.1. A funo sinh : R R denida por sinh (x) =

ex ex
2

crescente.

Demonstrao.
Sejam, x e y R, tal que x > y , faamos:
ex ex ey ey
sinh x sinh y =

2
2
(ex+y + 1)(ex ey )
=
2ex+y
> 0

(3.1)
Pois, 2ex+y > 0, (ex+y + 1) > 0 e (ex ey ) > 0. visto que a funo exponencial e
sabidamente crescente.

3.1.1 Algumas Identidades das Funes Hiperblicas


Para as funes hiperblicas, assim como nas funes trigonomtricas, possivel manusear as expresses matemticas que as denem am de encontrar outras expresses as
quais denotar-se-a por identidade. abaixo segue uma lista de identidades para todo x e y
reais.
a. cosh x + sinh x = ex
b. cosh x sinh x = ex
c. cosh2 x sinh2 x = 1
19

d. cosh (x + y) = cosh x cosh y + sinh x sinh y .


e. sinh (x + y) = sinh x cosh y + sinh y cosh x.
f. tanh (x + y) =

tanh x+tanh y
1+tanh x tanh y

Para as demonstraes indicamos o livro "O Clculo com Geometria Analtica" de Louis
Leithold, 3 edio, p. 514-527.

3.1.2 Frmula de Moivre


A conhecida frmula de Moivre, proveniente da trigonometria, tem aplicaes na trigonomtria hiperblica, como mostra o teorema abaixo:

Teorema 3.1 (Frmula de Moivre). Para quaisquer x R, m R vale a igualdade:

(cosh x + sinh x)m = cosh (mx) + sinh (mx) e (cosh x sinh x)m = cosh (mx) sinh (mx)

Demonstrao. Seja x R, das identidades hiperblicas sabemos que cosh x+sinh x = ex .


Logo m R (cosh x + sinh x)m = (ex )m = emx = cosh (mx) + sinh (mx).
Do mesmo modo, sabendo que cosh xsinh x = ex , temos (cosh x sinh x)m = (ex )m =
e(mx) = cosh (mx) sinh (mx)

3.2 Resumo das Funes Hiperblicas


Da identidade 3.1.1 alinea c, podemos relacionar as funes hiperblicas com a hiprbole equiltera unitria centrada na origem dos eixo coordenados,tendo em vista a
parametrizao x = cosh (t) e y = sinh (t).

Figura 3.1: Hiperble unitria x2 y 2 = 1

20

3.2.1 Cosseno Hiperblico


Domnio, imagem, limites no innito e grco da funo cosseno hiperblico:

cosh : R R

Expresso Domnio Imagem limx cosh x limx+ cosh x


ex +ex
2

[1, +[

Tabela 3.1: Funo cosseno hiperblico


Da Tabela 3.1 podemos fazer o esboo do grco da funo cosseno hiperblico.

3.2.2 Seno Hiperblico


Domnio, imagem, limites no innito e grco da funo seno hiperblico:
Da tabela 3.2 podemos fazer o esboo do grco da funo seno hiperblico.

sinh : R R

Expresso Domnio
x

e e
2

Imagem

limx sinh x limx+ sinh x

] , +[

Tabela 3.2: Funo seno hiperblico

Figura 3.2: Grco do cosh

Figura 3.3: Grco do sinh

3.2.3 Tangente Hiperblico


Faremos nesta seo uma discursso acerca da bijetividade da funo tanh, tendo em
vista que ao tratarmos de nmeros perplexos na forma polar deveremos tomar a funo
inversa da tangente hiperblica, para encontarmos o argumento hiperblico, o que s far
sentido se tal funo for bijetiva.
Da tabela 3.3 temos um esboo do grco da funo tangete hiperblico.
21

tanh : R R

Expresso Domnio Imagem limx tanh x limx+ tanh x


ex ex
ex +ex

] 1, 1[

Tabela 3.3: Funo tangente hiperblico

Figura 3.4: Grco da Funo tanh

Teorema 3.2. A funo tanh : R (1, 1). uma bijeo.


Demonstrao. A tabela 3.3 mostra que tanh uma sobrejeo, visto que Im(tanh) =
(1, 1). Seja x e y R tal que tanh(x) = tanh(y), Assim segue que:
ex ex
ey ey
=
ex + ex
ey + ey
2x
2y
e 1
e 1
2x
= 2y
e +1
e +1
2x
2y
2e = 2e

tanh x = tanh y

e2x = e2y
x=y

(3.2)
Portanto tanh x injetora. Deste modo conclumos que tanh uma bijeo.
Vamos mostrar que tanh : R (1, 1) crescente

22

Sejam x, y R, tal que x > y temos:


ex ex ey ey

ex + ex ey + ey
e2x 1 e2y 1
= 2x

e + 1 e2y + 1
2(e2x e2y )
=
(e2x + 1)(e2y + 1)
> 0

tanh x tanh y =

(3.3)
Pois, (e2x + 1)(e2y + 1) > 0, por hiptese x > y , a exponencial sabidamente crescente,
e2x > e2y logo tanh x > tanh y .
Deste modo existe a funo inversa tanh1 : (1, 1) R, dada por: y = tanh x x =
2x 1
tanh1 y , assim y = ee2x +1
e2x = 1+y
x = 12 ln 1+y
1y
1y
tanh1 y =

1 1+y
ln
2 1y

23

(3.4)

Captulo 4
Conjunto dos Nmeros Perplexos
O corpo dos nmeros complexos o terno matemtico (R2 , +, .), denido no captulo 2,
onde fazemos a multiplicao (a, b)(c, d) = (ac bd, ad + bc), foi tambm relatado naquele
captulo as consequncias orginadas desta forma de multiplicao, onde uma interpretao
geomtrica no conjunto de todos os nmeros complexos que possuem mesma norma kzk =
r, uma circunferncia de centro na origem e raio r no Plano de Argand Gauss.
Deniremos as seguintes operaes em R2 , onde u = (a, b) e v = (c, d).
Adio: + : R2 R2 R2 que associa cada par (u, v) R2 R2 ao par ordenado
u + v = (a + c, b + d) R2 .
Multiplicao: : R2 R2 R2 que associa cada par (u, v) R2 R2 ao par ordenado
u v = (ac + bd, ad + bc) R2 .
Igualdade
u = v a = c e b = d
(4.1)
Observemos que a soma denida a mesma soma denida para os nmeros complexos e
que o produto difere apenas no sinal da primeira coordenada.
Ao terno (R2 , +, ) chamaremos de conjunto dos nmeros perplexos e denotaremos
por P
Tomemos 0 = (0, 0) e 1 = (1, 0) em P

Proposio 4.1. As seguintes propriedades da adio e multiplicao se vericam para


quaisquer z,w, t P

A1 ) z + (w + t) = (z + w) + t (associatividade da adio)
A2 ) z + w = w + z (comutatividade da adio)
A3 ) 0 + z = z = z + 0 (existncia elemento neutro da adio)
A4 ) z + (z) = 0 (existncia do elemento oposto da adio)
M1 z (w t) = (z w) t (associatividade da multiplicao)

24

M2 z w = w z (comutatividade da multiplio)
M3 z 1 = 1 z = z com 0 6= 1(existncia do elemento neutro da multiplicao)
a2
1
1
M4 z = (a1 , a2 ) P, com a1 6= a2 se z 1 = ( a2aa
= 1
2 , a2 a2 ) ento z z
1

(existncia do inverso multiplicativo)

MA z (w +t) = z w +z t (distributividade da adio em relao a multiplicao)


Demonstrao. Como a adio coincide com a adio nos complexos, indicamos [14] para
maiores detalhes nas demosntraes das propriedades
Demonstrao. Seja z = (a1 , a2 ); w = (b1 , b2 ) e t = (c1 , c2 ), em P temos que:
M1 )(z w) t = (a1 b1 + a2 b2 , a1 b2 + a2 b1 ) (c1 , c2 )
(z w) t = ([a1 b1 + a2 b2 ]c1 + [a1 b2 + a2 b1 ]c2 , [a1 b1 + a2 b2 ]c2 + [a1 b2 + a2 b1 ]c1 )
(z w) t = ([a1 b1 ]c1 + [a1 b2 ]c2 + [a2 b2 ]c1 + [a2 b1 ]c2 , [a1 b1 ]c2 + [a1 b2 ]c1 + [a2 b2 ]c2
+ [a2 b1 ]c1 )
(z w) t = (a1 [b1 c1 + b2 c2 ] + a2 [b2 c1 + b1 c2 ], a1 [b1 c2 ] + b2 c1 ] + a2 [b2 c2 + b1 c1 ])
(z w) t = (a1 , a2 ) (b1 c1 + b2 c2 , b2 c1 + b1 c2 )
(z w) t = z (w t)
M2 ) (z w) = (a1 b1 + a2 b2 , a1 b2 + a2 b1 ) = (b1 a1 + b2 a2 , b1 a2 + b2 a1 ) = w z
M3 ) Tomemos 1 = (1, 0), faamos z 1 = (a1 .1 + a2 .0, a1 .0 + a2 .1) = (a1 , a2 ) = z , z P
M4 ) z P, com a1 6= a2 existe o perplexo z 1 tal que z z 1 = 1
Seja z 1 = (x, y) tal que z z 1 = 1(
, assim (a1 , a2 ) (x, y) = (1, 0) se, e somente se;
a1 x + a2 y = 1
a2
1
(a1 x + a2 y, a2 x + a1 y) = (1, 0)
x = a2aa
2 e y = a2 a2 o que
1
2
1
2
a2 x + a1 y = 0.
mostra a existncia do inverso multiplicativo quando a1 6= a2
M A)z (w + t) = (a1 , a2 ) (b1 + c1 , b2 + c2 )
z (w + t) = (a1 [b1 + c1 ] + a2 [b2 + c2 ], a2 [b1 + c1 ] + a1 [b2 + c2 ])
z (w + t) = (a1 b1 + a2 b2 + a1 c1 + a2 c2 , a2 b1 + a1 b2 + a2 c1 + a1 c2 )
z (w + t) = (a1 b1 + a2 b2 , a2 b1 + a1 b2 ) + (a1 c1 + a2 c2 , a2 c1 + a1 c2 )
z (w + t) = z w + z t

Chamamos de perplexo real ao nmero z = (a, 0), para todo a R, a representao


arma que todo nmero real considerado um nmero perplexo.
Tomemos a operao z + (w) e a representemos por z w, est operao recebe o nome
25

de subtrao em P.
De M4 resulta que dado u = (a, b), tal que |a| 6= |b|, ento o inverso do nmero perplexo
a
b
u o nmero u1 = ( a2 b
2 , a2 b2 ), deste modo consideremos um perplexo v que possua
inverso multiplicativo, e faamos u v 1 e a representemos por uv est operao recebe o
nome de diviso em P. Assim:
u v 1 =

ac bd bc ad
u
=( 2
,
)
v
c d2 c2 d2

(4.2)

Denimos tambm as potncias em P: n N, faamos u0 = 1 e un = u un1 .


Sem prejuizos para o entendimento da operao a ser utilizada, mudaremos o simbolo
representativo da multiplicao, ou seja, u v = u.v

4.1 Forma Algbrica de um Nmero Perplexo


Para os nmeros complexos, a forma algbrica dada por z = x + yi, onde i2 = 1,
faamos ento para os nmeros perplexos as seguintes observao.
Denotemos por unidade perplexa o nmero p = (0, 1).
Sejam a e b, nmeros reais, ento a + b = (a + b, 0) = (a, 0) + (b, 0).
Fazendo ento a b = (ab, 0) = (a, 0).(b, 0).
p2 = (0, 1).(0, 1) = (1, 0) = 1, logo no perplexos p2 = 1.
c.(a, b) = (c, 0).(a, b) = (ca, cb) = c(a, b)

Assim como os nmeros complexos cada nmeros perplexo u pode ser representado no
plano cartesiano, onde no eixo das abcissas representaremos a primeira coordenada que
ser chamada parte real de u, e no eixo das ordenadas representaremos a segunda coordenada de u que ser chamada de parte perplexa. Temos assim o plano perplexo

Figura 4.1: Plano Perplexo.

Proposio 4.2. Todo u = (a, b) P pode ser escrito na forma u = a + bp.


26

Demonstrao. Seja u = (a, b) P, segue das observaes acima, as quais mostram que
as denies da adio e multiplicao em P para nmeros reais coincidem com a adio e
multiplicao denidas em R, desde modo, o nmero perplexo escrito como par ordenado
u = (a, b), pode ser escrito como u = (a, b) = (a, 0) + (0, b) = a + b(0, 1) = a + bp
De posse desta forma no precisamos memorizar as denies da adio e multiplicao.
De fato, basta usar algumas propriedades da adio e da multiplicao em P j apresentadas:
Se u = a + bp e v = c + dp so nmeros perplexos, ento
u + v = (a + bp) + (c + dp) = a + c + bp + cd = (a + c) + (b + d)p
u.v = (a + bp).(c + dp) = ac + bpc + adp + bdp2 = (ac + bd) + (bc + ad)p

Exemplo 1. Podemos observar que pn = 1 para n par ou pn = p, quando n mpar.

De fato, temos que p2 = 1, se n = 2k ento pn = p2k = (p2 )k = 1. Caso n = 2k + 1, temos

pn = p2k+1 = p2k .p = 1.p = p

Exemplo 2. Dados dois nmeros perplexos, u = 3 + 5p e v = 5 + 7p. Vamos efetuar


as seguintes operaes

(a) u + v = (3 + 5p) + (5 + 7p) = (3 5) + (5 + 7)p = 2 + 12p


(b) u v = (3 + 5p) (5 + 7p) = (3 + 5) + (5 7)p = 8 2p
(c) uv = (3 + 5p)(5 + 7p) = 15 + 21p 25p + 35p2 = 15 + 35 + (21 25)p = 20 4p
(d)

u
v

3.(5)5.7
(5)2 72

5.(5)3.7
p
(5)2 72

1535
2549

2521
p
2549

50
24

46
p
24

25
12

23
p
12

(e) A soma 1 + p2 + p3 + p4 + p5 = 1 + 1 + p + 1 + p = 3 + 2p

4.2 Conjugado de um Nmero Perplexo e o Simtrico


em relao Bissetriz dos quadrantes mpares.
Dado um nmero perplexo u = (a, b) = a+bp, denimos a parte real e a parte perplexa
de z por Re(u) = a e P er(z) = b, respectivamente. Quando Re(z) = 0, dizemos que z
perplexo puro.
Como um nmero perplexo z = (a, b) = a+bp o par ordenado (a, b), podemos representlo gracamente como o ponto do plano cartesiano de abscissa a e ordenada b, ou como o
vetor que liga a origem a este ponto Figura 4.1.
Denimos conjugado de um nmero perplexo z como sendo o nmero perplexo o
z = (a, b) = abp, gracamente o conjugado obtido por uma reexo sobre o eixo real.
Denimos o perplexo simtrico de z e denotemos por u = (b, a) = b + ap, gracamente
27

Figura 4.2: Imagem de u

Figura 4.3: Imagem de u

o perplexo simtrico obtido pela reexo de z em torno da bissetriz dos quadrantes


mpares.

Proposio 4.3. As seguintes propriedades se vericam para quaisquer u, v P.


a) u = u, a0 u = a0 u, u v = u v e u v = u v
b) ( uv ) = uv , desde que v admita inverso.
c) u + u = 2Re(u) e u u = 2pP er(u)
d) u R u = u
e) u um perplexo puro se,e somente se u = u
f) u u = a2 b2
Demonstrao.
a. Seja u = a + bp ento u = a bp, ento u = a bp = a + bp = u;
a0 u = a0 a + a0 bp = a0 a a0 bp = a0 (a bp) = a0 u;
uv
u v
u v
u v
u v

= (a c) (b d)p = (a bp) (c dp) = u v


= ac + bd (ad + bc)p
= ac + bdp2 (ad + bc)p
= a(c d) + (c dp)bp
= ((a bp)(c dp) = u v
b) Vamos primeiro mostrar que u1 = (u)1 , para u invertvel e posteriormente a propri-

edade segue imediatamente de a.


a
b
a
b
1 =
u1 = a2 b
+ a2 b
2 a2 b2 p ento u
2 p, por outro lado, u = a bp e assim
a2 b2
a
b
1
1
1
(u) = a2 b2 + a2 b2 p, ou seja, u = (u) . Como ( uv ) = uv 1 = uv 1 = u.(v)1 = uv .
c) u + u = a + bp + a bp = 2a = 2Re(u) e u u = a + bp a + bp = 2bp = 2pP er(u)
28

d) Se u R ento u = a + 0p, logo u = a 0p = a = u. Caso u = u ento a + bp = a bp


ento b = b b = 0, logo u = a e assim u R.
e) u um perplexo puro ento u = bp logo u = bp = u. Caso u = u ento
a bp = a bp, logo a = a a = 0 portanto u um perplexo puro.
f) u u = (a + bp)(a bp) = a2 (bp)2 = a b2

Proposio 4.4. As seguintes propriedades se vericam para quaisquer u, v P


a. p.u = u
b. (u ) = u, (a0 u) = a0 u , (u v) = u v , (u.v) = u .v = u.v
c. u = u
Demonstrao.
a) Seja u = a + bp ento p(a + bp) = pa + bp2 = ap + b = b + ap = u .
b) pelo item a. pu = u , como p invertvel, faamos p(pu) = pu = (u ) logo u = (u ) .
Sabendo que (a0 u) = (a0 a + a0 bp) = a0 ap + a0 b = a0 (ap + b) = a0 u . Tomando (u v) =
((a c) + (b dp)) = (a c)p + (b d) = (ap + b) (cp + d) = u v ; Por m,
(u.v) = [(ac + bd) + (ad + bc)p] = (ac + bd)p + (ad + bc), por outro lado, u .v = (b +
ap).(c+dp) = (bc+ad)+(ac+bd)p e tambm u.v = (a+bp)(d+cp) = (ad+bc)+(ac+bd)p,
portanto (u.v) = u .v = u.v .
c)u = (b + ap) = b ap, por outro lado, u = (a bp) = (ap b) = b ap, logo
u = u .

Proposio 4.5. Para quaisquer nmeros perplexos u e v as representaes so equivalentes:

a) u.v = (ac + bd) + (ad + bc)p


b) u.v = av + bv
Demonstrao. De fato, faamos u.v = ac + bd + (ad + bc)p u.v = ac + adp + bd + bcp
u.v = a(c + dp) + b(d + cp) = av + bv .

Exemplos 1. Vamos encontrar o simtrico do ponto (3, 4) em relao bissetriz dos


quadrantes mpares.

Soluo. O ponto (3, 4) = 3 + 4p, logo o simtrico (3, 4)p = 3p + 4 = 4 + 3p = (4, 3)

Exemplos 2. Dados dois nmeros perplexos, u = 3 + 5p e v = 5 + 7p, Temos:


(a) u = 3 5p e v = 5 7p
(b) u + u = (3 5p) + (3 + 5p) = 6
29

(c) u.v = (3 5p)(5 7p) = 15 21p + 25p + 35 = 20 + 4p


(d) u.u = (3 + 5p)(3 5p) = 32 52 = 9 25 = 16
(e) (u.v) = u .v = (5 + 3p)(5 + 7p) = 25 + 21 + (35 15)p = 4 + 20p

4.3 Divisores de zero em P.


Vimos que u.u = a2 b2 , ento se |a| = |b| ento u.u = 0, com u 6= 0 isso mostra que
existem nmeros perplexos no nulos cujo produto igual a zero, esses nmeros sero
chamados divisores de zero.
Sejam B1 = {(x, y); y = x} e B2 = {(x, y); y = x} as bissetrizes do plano perplexo.

Teorema 4.1. Dados u e v nmeros perplexos no nulos, ento u.v = 0 se, e somente

se, (u, v) B1 B2 ou (u, v) B2 B1

Demonstrao. A demonstrao ser feita em duas etapas:


T: Sejam u e v nmeros perplexos no nulos, tal que u.v = 0
H: (u, v) B1 B2 ou (u, v) B2 B1 . (

ac + bd = 0
, onde {(a, b), a 6= 0 ou b 6= 0} e
ad + bc = 0
,
{(c, d), c 6= 0 ou d 6= 0}, sem perda de generalidade tomemos a, c 6= 0, segue que a = bd
c
bd2
bc2
2
2
susbtituindo na segunda equao do sistema temos: c + c = 0 b(c d ) = 0
b = 0 ou c2 d2 = 0, Se b = 0 ento a = 0, absurdo. Portanto c2 d2 = 0 c = d,
Assim v B1 ou B2 , e a = b assim u B2 ou B1 , portanto (u, v) B1 B2 ou
(u, v) B2 B1 .
u.v = (ac + bd) + (ad + bc)p = 0 + 0p

T: Sejam u e v perplexos no nulos tais que (u, v) B1 B2 ou (u, v) B2 B1 .


H: u.v = 0 Tomemos (u, v) B1 B2 , ento a = b e c = d, segue da denio de
multiplicao que u.v = (ad + ad) + (ad ad)p = 0 + 0p) = 0, de maneira anloga
mostrasse para (u, v) B2 B1 .

Proposio 4.6. Dado um nmero u perplexo qualquer, ento u B1 B2 se, e somente

se, u.u = 0

A partir deste momento quando u B1 B2 diremos que u singular.

Exemplos 1. Vamos calcular o prduto dos nmeros perplexos u = 5 + 5p e v = 1 p.


Soluo. O ponto u.v = (5 + 5p).(1 p) = (5 5) + (5 5)p = 0.

Exemplos 2. Dados o nmeros perplexos, u = 3 + 3p. Temos


(a) u.u = (3 3p)(3 + 3p) = 32 32 = 0, logo u singular.
30

4.4 Forma Polar


4.4.1 A "norma"de um Nmero Perplexo
A m de escrevermos a forma polar de um nmero perplexo examinemos o que acontece
nos numros complexos.
No caso complexo, para a forma polar necessitamos da denio de norma de um nmero
complexo, que denida do seguinte modo:
kzk2 = z.z = x2 +y 2 , onde z complexo, e denomina-se de argumento do nmero complexo
z , onde z no nulo, ao ngulo argz = que o vetor OP faz com o semi-eixo positivo
dos reais.
De posse destes dois conceitos descreve-se o nmero complexo atravs de sua forma polar.
Faamos ento a denio de norma de um nmero perplexo. Primeiramente, tomemos
o produto u.u = a2 b2 , seguindo a denio dos complexos faamos:
(4.3)

(u) = u.u = a2 b2 .

5. Observao. (p) = 02 12 = 1.
6. Observao. Ao conjunto {u P; (u) = 1} damos o nome de Esfera de raio 1.
7. Observao. Ao conjunto {u P; (u) = 1} damos o nome de Esfera de raio 1.
8. Observao. Ao conjunto {u P; (u) = sgn(r)r2 } damos o nome de Esfera de
raio r.
(

9. Observao Denimos sgn(r) =

1, se r 0,
1, se r < 0.

4.4.2 Funo Radial


Seja a aplicao : P R, tal que a cada u P associa (u) =

p
|u.u|.

Denio 4.1. Seja u P a norma de u o nmero real kuk = sgn(u.u)(u)


Exemplos
Exemplos
Exemplos
Exemplos

1.
2.
3.
4.

Seja u = 5 + 2p ento kuk = sgn(52 22 ) |52 22 | =

21.
p
p
Seja v = 3 + 5p ento kvk = sgn(32 52 ) |32 52 | = |16| = 4
p

Seja w = 3 + 2p ento kwk = sgn((3)2 22 ) |(3)2 22 | = 5


p
p
Seja h = 3 5p ento kuk = sgn(32 (5)2 ) |32 (5)2 | = |16| =
p

31

Proposio 4.7. As seguintes propriedades se vericam para quaisquer u e v P.


i. (u) 0.
ii. (u) = 0 u B1 B2 .
iii. kuk = 0 (u) = 0.
iv. (uv) = (u)(v).
v. u possui inverso multiplicativo se, e somente se, (u) > 0.
vi. Se u possui inverso multiplicativo ento u1 =

u
u u

vii. Se u possui inverso multiplicativo ento (u1 ) = [(u)]1 .


Demonstrao.
p
i. Temos que |u.u| 0, logo |u.u| 0 assim (u) 0
ii. Se (u) = 0 ento |u.u| = 0 u.u = 0 a2 = b2 a = b, u B1 ou u B2 ,
ou seja u B1 B2 . Se u B1 segue que u.u = a2 a2 = 0. Caso u B2 segue que
u.u = a2 (a)2 = 0, portanto u B1 B2 u.u = 0 (u) = 0
iii. kuk = 0 sgn(u.u)(u) = 0 (u) = 0.
p
p
p
p
p
p
iv. (uv) = |(uv).uv| = |uv.uv| = |(uu)(vv)| = |(uu)||(vv)| = |(uu)| |(vv)| =
(u)(v)

v. Vamos supor que u possua inverso multiplicativo, sem que (u) > 0, deste modo
(u) = 0, assim u B1 B2 , ora Tomemos u P no nulo, tal que u B1 , logo
u B2 e assim u.u = 0, como u admite inverso multiplicativo, ento existe v P tal que
u.v = 1, multipliquemos u em ambos os membros, u.(u.v) = u, pela associatividade da
multiplicao. (u.u).v = u e assim 0 = u, absurdo pois u no nulo.
Admitindo
que (u) > 0, tomemos v P tal que u.v = 1, ou seja, ac + bd + (ad + bc)p = 1
(

ac + bd = 1
, sabendo que a2 b2 > 0, temos que o sistema admite uma nica
ad + bc = 0
a
b
soluo, onde v = c + dp o inverso de u, dado por, u1 = a2 b
2 + a2 b2 p
b
a
vi. Dado que u tm inverso multiplicavo, ele da forma v = u1 = a2 b
2 + a2 b2 p, assim
1
u
u
u1 = a2 b
2 (a bp) = a2 b2 = u.u
q
p
1
vii. Dado que u possui inverso multiplicativo ento (u ) = |u1 .u1 | = |u1 .(u)1 |,
p
logo (u1 ) = ( |u.u|)1 = [(u)]1 .

Proposio 4.8. As seguintes propriedades se vericam para quaisquer u e v P.


i. kuk = kuk e ku.vk = kuk.kvk.
ii. kv 1 k = (kvk)1 , se v admite inverso multiplicativo.
32

iii. k uv k =

kuk
kvk

, se v admite inverso multiplicativo.

Demonstrao.
i. kuk = sgn(u.u)(u) = sgn(u.u)(u) = kuk, Consideremos ku.vk = sgn(uv.uv)(uv)
assim ku.vk = sgn(u.u)(u).sgn(vv)(v) = kuk.kvk.
ii. kv 1 k = sgn(u1 .u1 )(u1 ) = (sgn(u.u))1 ((u))1 = (kvk)1
iii. imediato de i e ii.

Exemplos 1. Seja u = 2 + p e v = 3 + 2p vamos calcular ku.vk.


Soluo. Vamos primeiro resolver o produto u.v = (2+p).(3+2p) = (6+2)+(4+3)p, logo

ku.vk = sgn(82 72 ) 82 72 = 64 49 = 15. Poderiamos ter usado a propriedade,

i. visto que, kuk = sgn(22 12 ) 22 12 = 3 e kvk = sgn(32 22 ) 32 22 = 5,


portanto ku.vk = kuk.kvk = 3 5 = 15
Temos que no conjunto dos nmeros perplexos a "norma" denida no satisfaz a desigualde triangular.
Para melhor exemplicar tomemos u = 3 + 2p e v = 1 + p, segue que u + v = 4 + 3p,

ento kuk = 5; kvk = 0 e ku + vk = 16 9 = 7, assim ku + vk > kuk + kvk.


A desiguadade ku + vk kkuk kvkk tambm falsa quando tomanda a denio da
"norma" nos perplexos.

4.5 Geometria do Plano Perplexo


Se u = a + bp e (u) = c 6= 0 temos
a2 b 2

=1
c
c

(4.4)

Ou seja u est em uma hiprbole equiltera.


Seja U = {u P, (u) = 1}, consideremos o conjunto H1 = {(a, b) U, com a > 0 e a > |b|}.
Deste modo (u) = 1 ou (u) = 1. Se (u) = 1, com a > 0 e a > |b| temos a2 b2 = 1,
portanto u H1 , da trigonometria hiperblica temos cosh2 tsinh2 t = 1, como cosht > 0
e cosh t > |sinh t|, para todo t, segue que a = cosh t e b = sinh t, para todo t R, e assim
u = cosh t + p sinh t.

Se (u) = a2 b2 > 0 e (u) 6= 1, com a > 0 e a > |b|, temos (u) = a2 b2 , e


deste modo ( a2ab2 , a2bb2 ) H1 , novamente recorrendo a trigonometria hiperblica
a = (u) cosh t e b = (u) sinh t, para todo t R e assim
u = (u)(cosh t + p sinh t)

33

q
. onde tanh t = , ou seja t = ln a+b
, ou de modo equivalente
ab
b
a

t = ln

a+b
(u)

. Desta Forma denimos a forma polar para os nmeros perplexos u tal que a > |b|.
Para a < |b| denimos a formar polar de u como sendo (1) vezes a forma polar de u.
Para b > |a| denimos a forma polar de u como sendo a forma polar de pu multiplicado
por p
Para b < |a| denimos a forma polar de u como sendo p vezes a forma polar de pu.

Exemplo 4.1. Escrever os nmeros perplexos abaixo na sua forma polar.

a) u = 3 + 2 2p

Soluo. Ora (u) = 9 8 = 1, sabendo que 3 > 0 e 3 > 2 2, logo u H1 .

Assim temos que t = ln(3 + 2 2) portanto a forma polar u = cosh ln(3 + 2 2) +

p sinh ln(3 + 2 2)

b) u = 5 + 4p

u
H1 . segue
Soluo. Ora (u) = 25 16 = 3, sabendo que 5 > 0 e 5 > 4, logo (u)
5+4
do exposto acima que t = ln 3 = ln3, portanto a forma polar u = 3(cosh ln3 +
p sinh ln3).

c) u = 5 4p

Soluo. Ora (u) = 25 16 = 3, sabendo que 5 > 0 e 5 > 4, concluimos que


u
H1 . segue do exposto acima que t = ln 54
= ln 13 , portanto a forma polar
(u)
3
u = 3(cosh ln 13 + p sinh ln 13 ).

Consideremos os seguintes conjuntos:


H1 = {u U ; a > 0 e a > |b|}

(4.5)

H1 = {u U ; a < 0 e a > |b|}

(4.6)

Hp = {u U ; b > 0 e b > |a|}

(4.7)

Hp = {u U ; b < 0 e b > |a|}

(4.8)

U = H1 H1 Hp Hp

(4.9)

Proposio 4.9. Hp = pH1 = {ph; h H1 }; H1 = 1H1 = {h; h H1 } e Hp =


pH1 = {ph; h H1 }.

34

Demonstrao.
Hp = pH1 = {ph; h H1 }.
i. Hp pH1 , seja u = a + bp Hp , ou seja, b > 0 e b > |a|, sabendo p2 = 1, temos
u = ap2 + bp = p(b + ap), assim h = b + ap H1 logo u pH1 .
ii. Hp pH1 , seja u pH1 , u = p(a + bp), a > 0 e a > |b|, logo u = b + ap, assim u Hp .

De i e ii temos a igualdade.
2. H1 = H1 = {h; h H1 }.
i. H1 (1)H1 , seja u = a+bp, com a < 0 e a > |b|, sabendo que u = [(a)+(b)p],
assim h = a + (b)p H1 assim u (1)H1 .
ii. H1 (1)H1 , seja u (1)H1 , u = (a + (b)p), a < 0 e (a) > |b|, logo
u = b + ap H1 . De i e ii temos a igualdade.
3. Hp = pH1 = ph; h H1 . i. Hp pH1 , seja u = a + bp, com b < 0 e
b > |a|, sabendo p2 = 1, temos u = ap2 + bp = p(b + ap) = p(b + (a)p), assim
h = b + (a)p H1 assim u pH1 .
ii. Hp pH1 , seja u pH1 , u = p(a + bp), a > 0 e a > |b|, logo u = b + (a)p,
assim u Hp . De i e ii temos a igualdade.

Exemplo 4.2.
Vamos localizar os nmeros perplexos
H1 , Hp e Hp , B1 ou B2 ,

u
(u)

, com (u) 6= 0 em relao aos conjuntos H1 ,

1. u = 3 2p, (u) = 32 (2)2 = 9 4 = 5 > 0, logo (u) =


u
concluimos que (u)
H1 .

5, como 3 > |2|,

2. u = 4 + 7p, (u) = (4)2 (7)2 = 16 49 = 33 < 0, logo (u) =


u
Hp
7 > |4|, concluimos que (u)

33, como

3. u = 2 2p, (u) = 22 (2)2 = 4 4 = 0, logo u B2


4. u = 3 3p, (u) = (3)2 (3)2 = 9 9 = 0, logo u B1

Exemplo 4.3. Escrever os nmeros perplexos abaixo na sua forma polar.


a. z = 1 + 2p
p

z
Temos que (z) = |1 4| = 3, como 2 > 0 e 2 > 1; concluimos que (z)
Hp .

Ento faamos z = p(1p + 2), onde h = 2 + p, e (h) = 4 1 = 3, 2 > 0 e 2 > 1,

h
assim (h)
H1 . Logo h = 3(cosh ln 33 + p sinh ln 33 ), deste modo z = p 3(cosh ln 33 +

p sinh ln 33 ). Portanto, z = 3(sinh ln 33 + p cosh ln 33 ).


b. z = 2 + p
p

Temos que (z) = |4 1| = 3, como 2 < 0 e (2) > 1; concluimos que

z
H1 . Ento faamos z = (1)(2 p), onde h = 2 p, e (h) = 4 1 = 3,
(z)

h
2 > 0 e 2 > 1, assim (h)
H1 . Logo h = 3(cosh ln 13 + p sinh ln 13 ), deste modo

z = (1) 3(cosh ln 13 + p sinh ln 13 ). Portanto, z = 3( cosh ln 33 p sinh ln 33 )


35

c. z = 1 2p

Demonstrao. Temos que (z) = |1 4| = 3, como 2 < 0 e (2) > 1; concluimos

z
que (z)
Hp . Ento faamos z = (p)(2 p), onde h = 2 p, e (h) = 4 1 = 3,

h
2 > 0 e 2 > 1, assim (h)
H1 . Logo h = 3(cosh ln 13 + p sinh ln 13 ), deste modo

z = (p) 3(cosh ln 13 + p sinh ln 13 ). Portanto, z = 3( sinh ln 33 p cosh ln 33 )


p

Figura 4.4: Representao dos possivis sinais da "norma" no plano perplexo

Exemplo 4.4. Conjunto Q = {u P, kuk = r} ilimitado, visto que sua representao


geometrica uma hiprbole equiltera

4.6 A Multiplicao na Forma Polar de Nmeros Perplexos


Assim como nos nmeros complexos denimos a multiplicao atravs da forma polar,
nos nmeros perplexos tambm possivel fazer a multiplicao atravs da forma polar,
no entanto, devemos fazer uma anlise cuidadosa quanto os possivis resultados do produto e suas localizao entre os ramos hiperblicos e as Bissetrizes dos quadrantes pares
e mpares.
Consideremos os conjuntos H1 , H1 , Hp e Hp , B1 ou B2 . Seja u U , ento u =
k(cosh + p sinh ), onde k {1, 1, p, p} de acordo com sua localizao entre os conjuntos H1 , H1 , Hp e Hp . Caso u P; (u) = 0 ento u B1 ou B2
Sejam u e v elementos de U , escrevemos u = k(cosh +p sinh ) e v = k 0 (cosh 0 +p sinh 0 ),
onde k, k 0 {1, 1, p, p}, ento:
u.v = k(cosh +p sinh ).k 0 (cosh 0 +p sinh 0 ) = kk 0 (cosh ( + 0 )+p sinh ( + 0 )) (4.10)

A expresso mostra que se tomarmos u e v pertencentes a Hk ; k = {1, 1, p, p}, o produto uv H1 . De modo particular u2n H1 .
36

Para situarmos o produto de dois perplexos em U basta obtermos o resultado do produto


k = kk 0 , visto que k {1, 1, p, 1}.
Consideremos agora 0 < (u) 6= 1 e 0 < (v) 6= 1, pelo que foi visto anteriormente
u
, v U , com argumentos e 0 respectivamente, portanto:
(u) (v)
u.v = (u)

u
v
(v)
= k(u)(v)(cosh ( + 0 ) + p sinh ( + 0 ))
(u)
(v)

(4.11)

4.6.1 Diviso de dois Nmeros Perplexos


Para a diviso entre dois nmeros perplexos em sua forma polar, faamos algumas
consideraes acerca de , dados u e v , perplexos tomando (u) e (v) > 0, com e 0 os
u
v
argumentos de (u)
e (v)
armamos que:
(u)
u
= k
(cosh ( 0 ) + p sinh ( 0 ))
v
(v)

(4.12)

Soluo. Seja z U , e o argumento de z , do corolrio 4.3, segue que z 1 = k(cosh


p sinh ), assim dado u U , com 0 o argumento de u, temos que uz = u.z 1 = k 0 (cosh (0 )+
p sinh (0 ))k(cosh p sinh ), logo
u
= k cosh 0 + p sinh 0 , onde k {1, 1, p, p}. Para completar a demonsz
u1
trao, tomemos u tal que 0 < (u) 6= 1 e v tal que 0 < (v) 6= 1, como (u
1 ) U ,
u
1
1
consideremos o argumento de (u) , concluimos que v = k(v )(cosh () p sinh ()),
ento
u
v

= u.v 1 = k (u)
(cosh ( 0 ) + p sinh ( 0 ))
(v)

4.6.2 Potenciao e Radiciao nos Perplexos


Do mesmo modo que a formula de Moivre utilizada nos nmeros complexos, utilizaremos uma verso hiperblica da frmula de Moivre para denimos a potncia de um
nmero perplexo.

Teorema 4.2 (Teorema de Moivre verso perplexa). Dado u P, com (u) > 0 e o

argumento de

u
(u)

, consideremos n Z, e k {1, 1, p, p} ento:


un = k n [(u)]n (cosh n + p sinh (n)

(4.13)

Demonstrao. Vamos demonstrar por induo sobre n. Para n = 1 evidente o teorema.


Para n = 2 utilizando 4.11, temos que u2 = u.u = k 2 [(u)]2 (cosh(2) + p sinh(2)), deste
modo o teorema verdadeiro para n = 2. Vamos supor que o teorema seja verdadeiro
para um certo n natural, ou seja, un = k n [(u)]n (cosh n + p sinh n), tomemos ento
un+1 = un .u = {k n [(u)]n (cosh n + p sinh (n))}.(k(u)(cosh + p sinh )), desenvolvendo
37

o produto perplexo dado em 4.11 e usando as igualdades hiperblicas dadas em 3.1.1,


temos un+1 = k n k([(u)]n (u))(cosh (n + ) + p sinh (n + )), deste modo concluimos
que, un+1 = k n+1 [(u)]n+1 (cosh ((n + 1)) + p sinh ((n + 1))), deste modo o teorema
vlido para todo n natural
Faamos agora n = m, onde m um inteiro positivo, ento
[k(u)(cosh () + p sinh ()]n = (k(u)(cosh () + p sinh ())m
1
=
(k(u)(cosh () + p sinh ())m
cosh 0 + p sinh 0
= m
m
(k [(u)] (cosh (m) + p sinh (m))
= k m [(u)]m (cosh (m) + p sinh (m)
= k n [(u)]n (cosh (n) + p sinh (n))

(4.14)

Exemplo 4.5. Clculo de(3 + p)9

Como (u) =

9 1 = 2 2 escrevemos o nmero perplexos na sua forma polar 3 + p =

27
2 2(cosh (ln 2) + p sinh (ln 2), ento (3 + p)9 = 2 2 (cosh (9ln 2) + p sinh (9ln 2))

Exemplo 4.6. Clculo de(2 + p)9


Como (u) =

4 1 = 3 escrevemos o nmero perplexos na sua forma polar2 +

9
p = (1) 3(cosh (ln 13 ) + p sinh (ln 13 ), ento (2 + p)9 = (1)9 3 2 (cosh (9ln 13 ) +
p sinh (9ln 13 ))

4.6.3 Razes de Nmeros Perplexos


Calcular

p
n
k(u)[cosh () + p sinh ()] determinar o perplexos z , tal que:
z n = k(u)[cosh () + p sinh ()]

(4.15)

Vamos utilizar verso da frmula de Moivre para nmeros perplexos para responder esta
pergunta.
Seja z = k 0 (z)[cosh + p sinh ], pelo teorema 4.4, temos que:
z n = k(u)[cosh () + p sinh ()]
n

k 0 [(z)]n [cosh n + p sinh n] = k(u)[cosh + p sinh ]

(4.16)

Pela igualdade dos nmeros perplexos, temos:


k 0n = k e [(z)]n = (u) e tanh (n) = tanh . Para determinamos z devemos separar
dois casos.
38

u
1. Se n par ento k = 1, assim s possivel responder a raiz se (u)
H1 . Neste caso
p
n
n
0
z = u ter 4 razes, visto que k {1, 1, p, p}, (z) = (u) e = n .

2. Se n mpar ento k 0 = k , e deste modo z n = u tem uma nica raiz, onde (z) =
p
n
(u) e = n .

3
Exemplo 4.7. Clculo de
2 + p

Como (u) =

4 1 = 3 escrevemos o nmero perplexos na sua forma polar2 + p =

(1) 3(cosh (ln 13 )+p sinh (ln 13 ), ento 3 2 + p = 3 1 6 3[cosh ( 13 ln 13 )+p sinh ( 11 ln 13 ))

4.7 Equaes do 1 e 2 grau em P


4.7.1 Equao do 1 grau em P
Admitindo coecientes no conjunto P, as equaes passam a ter comportamento distintos quanto a suas solues nos conjuntos dos nmeros reais ou complexos.
De fato h equaes do 1 grau, que tm innitas solues.

Exemplo 4.8. (1 + p)z (1 + p) = 0


( Soluo: Sendo z = a + bp, a equao ca, (a + b 1) + p(a + b 1) = 0 + 0p, logo
a+b=1
, a = 1 b, e portanto z tm innitas solues.
a+b=1

possvel encontrar equaes na qual no existe soluo.

Exemplo 4.9. (1 + p)z 1 = 0


( Soluo: Sendo z = a + bp, a equao ca, (a + b 1) + p(a + b) = 0 + 0p, logo
a+b=1
, 1 = 0, absurdo, e portanto (1 + p)z 1 = 0 no possui soluo.
a+b=0

possvel encontrar equaes na qual existe uma nica soluo.

Exemplo 4.10. (2 + p)z 1 = 0


( Soluo: Sendo z = a + bp, a equao ca, (2a + b 1) + p(a + 2b) = 0 + 0p, logo
2a + b = 1
, portanto z = 23 13 p.
, a = 32 e b = 1
3
a + 2b = 0

Proposio 4.10. A equao uz = v tm uma nica soluo em P se, e somente se, u


possui inverso multiplicativo.

39

Demonstrao.
Seja u(= a + bp, z = x + yp e v = c + dp, como uz = v ax + by + (ay + bx)p = c + dp

ax + by = c
, possui uma nica soluo a2 b2 6= 0 u invertvel.
bx + ay = d

Corolrio 4.1. Seja s um nmero real diferente de zero, ento a equao sz = v possui
uma nica soluo.

4.7.2 Equao polinomial do 2 grau em P.


Decorre do teorema fundamental da lgebra que uma equao do segundo grau com
coecientes complexos tm exatamente duas razes complexas, se considerermos apenas
solues reais, ento a equao do segundo grau ter no mximo duas raizes reais.
J para a equao polinomial do 2 grau nos perplexos, h um fato marcante: a equao
z 2 = 1 possui quatro solues perplexas, a saber, 1, 1 , p e p, visto que, 12 = 1,
(1)2 = 1, p2 = 1 e (p)2 = 1. A fatorao de z 2 1 = (z 1)(z + 1) = (z p)(z + p).
Entretanto a equao z 2 = 1, no possui soluo em P, pois z 2 = (x + yp).(x + yp) =
(x2 + y 2 ) + 2xyp, ou seja, Re(z 2 ) 0.
2
2
Dada a equao z 2 + z + = 0, com, , R e fazendo z 2 + z + 4 = 4
2
2
(z + 2 )2 = 4 = 4
. Faamos = 2 4 , deste modo (z + 2 )2 = 4 . Segue que:
4
Se > 0, a equao possui quatro solues distintas.
4(z+ )2
2(z+ )
De fato, (z + 2 )2 = 4 22 = 1 ( 2 )2 = 1, que possui como soluo 1, p.
2(z+ )

2(z+ )

Segue que 2 = 1 z =
2 ou 2 = p z =
p
, todas distintas
2
2
2

Se = 0 possui como nica soluo z = 2 . Caso < 0 no possui soluo.

Proposio 4.11. z 2 = u Tem soluo em P se, e somente se, a |b|


Demonstrao.
H: z 2 = u Tem soluo em P.
T: a |b|, sendo u = (a, b).
Seja z = x+yp a soluo(da equao z 2 = u, ento (x2 +y 2 )+2xyp = a+bp, pela igualdade

x2 + y 2 = a
logo, x2 +2xy +y 2 = a+b ou x2 2xy +y 2 = ab.
2xy = b

Segue que x2 + 2xy + y 2 = a + b (x + y)2 = a + b x + y = a + b, como z = x + py

soluo ento a b. Para x2 2xy + y 2 = a b (x y)2 = a b x y = a b;


como z = x + yp soluo ento a b. deste modo a max{b, b} = |b|

dos nmeros perplexos,

H: a |b|, sendo u = a + bp
T: z 2 = u tm soluo em P.
Seja (x, y) uma pretensa soluo da equao z 2 = u, ento (x2 + y 2 , 2xy) = (a, b)
40

x2 + y 2 = a
Logo,
2xy = b

x2 + y 2 = a
(x2 , y 2 ), so solues da equao do segundo
2
x2 y 2 = b4

grau w2 aw + b4 = 0, que possui soluo a2 b2 0, ou seja, a |b|.


2

Nota 1. Admitindo que z 2 = u possui soluo em P. Resolvendo a equao w2 aw+ b4 = 0


e posteriormente retornando ao sistema inicial mostrasse que as solues so.
2

1
z0 = [( a + b + a b) + ( a + b a b)p]; z0 ; pz0 ; pz0 .
(4.17)
2
Nota 2. Caso z0 6= 0 tal que z0 B1 B2 , temos pz0 = z0 e pz0 = z0 , ou seja, temos

duas raizes perplexas distintas.


Nota 3. z0 6= 0 tal que z0 B1 B2 , se, e somente se, u B1 B2 ; a = |b|.
Nota 4. Se u = (0, 0) a nica soluo da equao z 2 = u z = (0, 0)

Figura 4.5: Regio do plano que adimite raiz quadrada

Exemplos 1. Vamos determinar todas as razes perplexas dos polinmios abaixo:


(a) x2 4x = 0

Soluo.
= (4)2 4.1.0 = 16, portanto temos
quatro raizes perplexas, dadas por

4 16p
4 16
x = 2 , ou seja x1 = 4, x2 = 0, ou x = 2 , assim x3 = 2 + 2p ou x3 = 2 2p.
Logo V = {0, 4, 2 + 2p, 2 2p}
(b) x2 = x

Soluo. x2 x = 0, assim = (1)2 4.1.0 = 1, portanto temos


quatro raizes

1 1p
1 1
perplexas, dadas por x = 2 , ou seja x1 = 1, x2 = 0, ou x = 2 , assim x3 = 1+p
2
1p 1+p
ou x3 = 1p
.
Logo
V
=
{0,
1,
,
}
2
2
2
(c) z 2 + (p)z + (1 + p) = 0

41

Soluo. = (p)2 4.1.(1 + p) = 1 + 4 4p = 5 4p, como


5 > |4|, temos

p 54p
2
p(2p1)
2

quatro raizes perplexas, dadas


por x =

ou x2 = 1, ou x =
V = {1, 1 p,

(2p)2 p

, ou seja x =

assim x3 =

1+p
2

(2p)2
2

ou x4 =

, x1 = 1 p ,
13p
2

. Logo

1+p 13p
, 2 }
2

(d) z 2 + (2 + p)z + (1 + 5p) = 0

Soluo. = (2 + p)2 4.1.(1 + 5p) = 4 + 4p + p2 + 4 20p = 9 16p, como


9 < |16|, no possui raiz.
(e) z 2 (5 + p)z + 6 + 3p = 0

Soluo. = ((5 + p))2 4.1.(6 + 3p) = 25 + 10p + p2 24 12p


= 2 2p,

5+p 22p
como 2 =|2|, possui duas razes perplexas, dadas por
x =
, ou seja
2

5+p

(1p)2

x =
, x1 = 3, ou x2 = 2 + p, ou x =
2
x3 = 2 + p ou x4 = 3. Logo V = {3, 2 + 2p}

5+p

(1p)2 p
2

5+p(p1)
2

assim

(f) z 2 (2 + 2p)z + 2 + 2p = 0

Soluo. = ((2 + 2p))2 4.1.(2 + 2p) = 4 + 8p + 4p2 8 8p = 0, possui uma


0
nica raiz perplexa, dada por x = 2+2p
, ou seja x = 2+2p
, x1 = 1 + p, Logo
2
2
V = {1 + p}

Exemplos 2. Sejam = a + bp e = c + dp em P e considere a equao


(4.18)

z 2 + z + = 0

Vamos mostrar que se 4.18 tem soluo ento a2 + b2 4c |2ab 4d|.

Soluo.
+ 2ab4d
p, admitindo
4
2
que 4.18 tem soluo e usando a proposio 4.12, conclumos que a +b 4c |2ab 4d|.
Caso = 0 + 0p, 4.18 apresentar um nica soluo
Caso 6= 0 entretanto B1 B2 e 4.18 admite soluo concluimos pela nota 2 e nota
z 2 + z + = 0 (z + 2 )2 =

2
4

, seja =

2
4

a2 +b2 4c
4
2

3, que 4.18 possui 2 solues distintas.


Caso no pertena a B1 B2 e 4.18 admita soluo conclumos que 4.18 tem 4 razes
distintas.

42

4.7.3 Equaes polinmiais em P


Do exposto acima possivel observar que um polinmio em P pode no ter razes, pode
ter um nmero nito de razes ou pode ter innita razes, alm do que o nmero de razes
do polinmio no controlado pelo grau do polinmio. Como exemplo citamos a equao:
(1 + p)z 2 = 4 + 4p, onde z = a + (2 a)p ou z = a (2 + a)p a R

(4.19)

A discursso sobre as razes de polinmios do 2 grau quando existem feitas em 4.16,


tambm nos indicam que podemos ter 4 raizes perplexas, os problemas a seguir trataram
de razes perplexas de polinomios de 3o e 4 grau, e indicaram um resultado acerca da
quantidade de razes desses polinmios.

Exemplo 4.11. Determinaremos todas as razes perplexas de z 3 2z = 0


Soluo. z 3 9z = z(z 2 9) = z(z 3)(z + 3) = 0, com solues reais, z = 0 ou z = 3.
No entanto, z , z + 3 e z 3, podem ser tomados como divisores de 0.
Seja z = a + bp, onde z(z 3) = 0 so divisores prprios de 0, pelo teorema 4.2, temos
que a = b e a 3 = b ou a = b e a 3 = b.
Se a = b e a 3 = b, ento 2a = 3, logo a = 32 .
Deste modo z = 32 + 23 p
Se a = b e a 3 = b, ento a = 32 , e a soluo z = 32 23 p.
Seja z(z + 3) = 0 divisores de 0, assim resolvendo do mesmo modo, conclui-se que z =
32 32 p ou z = 32 + 32 p
Seja (z 3)(z + 3) = 0 divisores prprios de 0, ento z = 3p ou z = 3p. Portanto, o
conjunto soluo S = {0, 3, 3, 3p, 3p, 23 + 23 p, 32 32 p, 32 23 p, 23 + 32 p,}

Exemplo 4.12. Vamos determinar todas as razes perplexas de z 4 5z 2 + 4 = 0


Soluo. z 4 5z 2 + 4 = (z 1)(z + 1)(z 2)(z + 2) = 0, as razes reais, z = 1 ou z = 2.
No entanto, (z 1), (z + 1) e z 2, z + 2, podem ser tomados como divisores de 0.
Ao procedemos como no problema 4.5, e relembrado os conceitos de contagem, devemos
fazer 4 3, operaes onde 2 a 2 tomamos os fatores como divisores de 0. logo teremos
4 3 + 4 raizes perplexas, ou seja, 16 raizes compe o conjunto soluo dado abaixo.
S = {1, 2, p, 2p, 23 p2 , 32 p2 , 12

3p
, 12
2

3p
}
2

Exemplo 4.13. Determinaremos todas as razes perplexas de (z p)(z 2 + p) = 0


Soluo. z = p, z = 1 soluo, visto que (1 p)(1 + p) = 0. Vamos vericar se existe
outras solues. seja z = a + bp, ento z p = a + (b 1)p e z 2 = a2 + b2 + 2abp, logo
2
2
z 2 +p = a2 +b2 +(2ab+1)p, devemos
( ter (zp, z +p) B1 (B2 ou (zp, z +p) B2 B1 .

a=b1
a b = 1

Impos2
a + b = 2ab 1
a + 2ab + b2 = 1
(
(
a
=
b
+
1
a+b=1
sivel. Se (z p, z 2 + p) B2 B1

2
2
2
a + b = 2ab + 1
a 2ab + b2 = 1

Se (z p, z 2 + p) B1 B2

43

a+b=1
, onde a = 1 e b = 0 e a = 0 e b = 1 so as nicas solues, portanto
(a b)2 = 1
z = 1 ou z = p.

Uma Base Idempotente


Na discursso sobre as diferenas entre os conjuntos complexos e perplexos, citamos os
nmeros perplexos = { 1+p
, 1p
}. Tomemos 1 = 1p
e 2 = 1+p
e observemos que:
2
2
2
2
1. 1 .2 = 0, De fato, sabendo que 1 B2 e 2 B1 decorre do teorema 4.1, 1 .2 = 0
2. 1n = 1 . Vamos demonstrar por induo sobre n. Para n = 1 imediato o resultado.
faamos n = 2, ento 12 = ( 1p
)2 , onde 12 = 12p+1
= 22p
, portanto 12 = 1p
= 1 .
2
4
4
2
Vamos supor a igualdade verdadeira para n > 2, ou seja, 1n = 1 . Tomemos, 1n+1 ,
h.I

segue que
natural.

1n+1

1n .1

z}|{
= 1 1 = 12 = 1 . Logo a igualdade vale para todo n

3. 2n = 2 . A demonstrao feita de modo anlogo.

Proposio 4.12. Seja u = a + bp um nmero perplexo ento existem nicos e reais

tais que u = 1 + 2 .

Demonstrao.
Existncia: observe que a + pb = (a b) (1p)
+ (a + b) (1+p)
, assim = a( b e = a + b.
2
2
Unicidade: Observe que (1p)
+ (1+p)
=0
2
2
+ (1+p)
=
= 0 e = 0 ento (1p)
2
2
0
0
= e=

(1p)
2

(+)
+ ()
p
2
2

(1+p)
2

= 0+0p
0

+ =0

=0
0

( ) (1p)
+ ( ) (1+p)
=0
2
2

Denominaremos como sendo a base idempotente de P

Proposio 4.13. Sejam u = 1 1 + 2 2 e v = 1 1 + 2 2 , ento u.v = (1 1 )1 +


(2 2 )2

A demonstrao segui direto da observao de que 1 .2 = 0.

Potncia de u = a + bp na base
Vamos calcular a potncia un =!(1 + 2 )n , n N, utilizando da frmula Binmio.
n

(1 + 2 ) = (1 ) +

n1
X
i=1

n
i

ni i 1ni 2i + (2 )n , pelas observaes 2 e 3 feitas.


un = n 1 + n 2

44

(4.20)

Sabendo que = a b e = a + b, reescrevendo na base {1, p}, temos as coordenadas


un = (a b)n 1 + (a + b)n 2 =

(ab)n +(a+b)n
2

(a+b)n (ab)n
p
2

Exemplo 4.14. Vamos mostrar que un = 0 u = 0. Se (


u = 0 imediato
( a armao.
Por outro lado, tomemos un = 0, logo n 1 + n 2 = 0

n = 0

n = 0

=0
=0

Exemplo 4.15. Vamos mostrar que u R = .

Seja u = a + bp, ento u = (a b)1 + (a + b)2 = 1 + 2 , sabendo que u R, b = 0,


e como = a b e = a + b, logo = = a.

Exemplo 4.16. Na base temos que u B1 = 0 e u B2 = 0


Exemplo 4.17. Utilizando a Base vamos calcular:
(1 + p)n = (1 1)n 1 + (1 + 1)n 2 = 2n 2 = 2n1 (1 + p)
(a + ap)n = an (1 + p)n = 2n1 an (1 + p)
(1 p)n = (1 + 1)n 1 + (1 1)n 2 = 2n 1 = 2n1 (1 p).

Exemplo 4.18. Vamos usar a base para encontrar u (


P tal que un = 1.

n = 1
. Se n par, teremos
n = 1
que = 1 e = 1, logo as respostas so os pares (1, 1); (1, 1), (1, 1) e (1, 1)
que so respectivamente {1, p, p, 1}. Caso n mpar, ento = = 1 portanto u = 1.

Sabemos que un = n 1 + n 2 = 1 = 11 + 12 , assim

Exemplo 4.19. Vamos resolver agora equaes usando a base


a) u2 4u = 0. Sabemos que u = 1 + 2 , e 4 = 41 + 42 , logo u2 = 2 1 + 2 2
e 4u = 41 + 42 , logo u2 4u = (2 4)1 + ( 2 4)2 = 0 2 4 = 0 e
2 4 = 0, assim = 0 ou = 4 e = 0 ou = 4 assim as solus em {1 , 2 }, so
(0, 0); (0, 4); (4, 0) e (4, 4) que na base {1, p} so os nmeros {0, 2 + 2p, 2 2p, 4}.
b) u2 + (p)u + (1 + p) = 0. Para simplicar a escrita vamos usar pares ordenados,
mas sempre lembrando que a base . u = (, ); p = (1, 1) e 1 + p = (2, 0),
logo u2 + (p)u + (1 + p) = (2 , 2 ) + (, ) + (2, 0) = (0, 0) (2 2, 2 +
+ 0) = (0, 0), portanto = 2 ou = 1 e = 0 e = 1, assim as solus
em {1 , 2 }, so (2, 0); (2, 1); (1, 0) e (1, 1) que na base {1, p} so os nmeros
+ 12 p, 1}.
{1 p, 21 32 p, 1
2
c) z 2 + (2 + p)z + (1 + 5p) = 0. fazendo u = (, ), 2 + p = (1, 3), 1 + 5p = (6, 4), logo
z 2 +(2+p)z +(1+5p) = (2 , 2 )+(, 3)+(6, 4) = (0, 0) (2 +6, 2 +3 +4) =
(0, 0). Ora 2 + 3 + 4 = 0 2 = 32 4.4. como 9 < |16|, no possui raiz.

45

Equao do 2 grau na base


Vamos retornar a equaes do segundo grau u2 u + = 0, onde , P, no entanto
tomemos todos na base {1 , 2 }, assim u = (, ) e = (1 , 1 ) e = (2 , 2 ), logo
u2 u+
= (2 , 2 )+(1 , 1 )+(2 , 2 ) = (0, 0) (2 +1 +2 , 2 +1 +2 ) = (0, 0)
(
2 + 1 + 2 = 0

, onde 1 = 12 42 e 2 = 12 42 . Vamos separar os casos.


2 + 1 + 2 = 0

1 > 0 e 2 > 0,
existe 4 raizes perplexas distintas,

< 0 ou < 0,
nao existe raiz perplexa,
1
2

1 = 0 ou 2 = 0,
2 raizes perplexas distintas,

1 = 2 = 0,
existe uma raiz perplexa.
P
Teorema 4.3. Se h(u) = ni=0 ai ui e an invertvel ento o nmero de razes de h(u)
menor ou igual a n2

Demonstrao. Seja an = a1n 1 + a2n 2 = (a1n , a2n ) e u = r1 + s2 = (r, s). TePn


i
mos que a1n .a2n 6= 0, pois an invertvel, ui = (ri , si ), logo h(u) =
i=0 ai u =
P
P
P
Pn
n
n
n
i
i
i
i
i
i=0 a1i r e
i=0 a2i s ), sejam f (r) =
i=0 a1i r ,
i=0 (a1i r , a2i s ), portanto h(u) = (
Pn
g(s) = i=0 a2i si , como o total de raizes de h(u) dado por card(Rh ) = card(Rf Rg ) =
card(Rf ).card(Rg ), como a1n e a2n so no nulos os polinmios f e g tem grau n portanto no so identicamente nulos . O total de razes de h(u) dado por card(Rh ) =
card(Rf ).card(Rg ) como card(Rf ) n e card(Rg ) n, conclumos que card(Rh )
n2 .

Teorema 4.4. Se h(u) = (u 1 )...(u q ) um polinmio com q fatores perplexos onde


i j invertvel, para i, j = {1, ..., q}, ento h(u) possui q 2 raizes perplexas.

Demonstrao. A demonstrao ser inspirada na resoluo de equaes do 2 grau na


base {1 , 2 }. Primeiramente vamos mostrar que no possivel ter dois fatores iguais,
caso contrrio teriamos u i = u j i j = 0, logo i j singular e portanto
no invertvel. Faamos i = (1i , 2i ) , para i = 1, ..., q e u = (, ), onde , R, seja
Q
Q
ui = (1i , 2i ), logo h(u) = (u1 )...(uq ) = ( qi=1 ( 1i ), qi=1 ( 2i ),
Q
Q
onde podemos considerar f () = qi=1 ( 1i ) e g() = qi=1 ( 2i ), onde o nmero
total de razes card(R(h)) = card(Rf Rg ) = q.q = q 2 .

Corolrio 4.2. Se h(u) = (u 1 )...(u q ) um polinmio com q fatores perplexos onde


1 < 2 < ... < q so nmeros reais ento h(u) possui q 2 raizes perplexas.

Demonstrao. Basta ver que i j 6= 0 so invertivis.

4.7.4 Forma Exponencial


Na seo 2.6, assumimos a forma z = rei para um nmero complexo, faamos de
maneira anloga a exponencial perplexa, sabendo que as funes sinh e cosh denidas no
46

captulo 3, possuem a propriedade descritas em 3.1.1, faremos


(4.21)

ep = cosh + p sinh

Dada a exponencial perplexa, conclumos que (u) = cosh2 sinh2 = 1 , e da denio


das funes hiperblicas cosh > senh, para todo real, concluimos que a exponencial
perplexa uma bijeo de R em H1 .

Lema 4.1. e( +)p = e p ep


0

Demonstrao. e( +)p = cosh ( + ) + p sinh ( + )


0

e( +)p
0
e( +)p
0
e( +)p
0
e( +)p
0
e( +)p

= cosh cosh + sinh sinh + (sinh cosh + sinh cosh )p


0
0
0
0
= cosh [cosh + sinh p] + sinh sinh p2 + sinh cosh p
0
0
0
0
= cosh [cosh + sinh p] + [sinh p + cosh ]sinhp
0
0
= [cosh + sinh p][cosh + sinh p]
0
= e p ep

Corolrio 4.3. (ep )n = enp


Demonstrao. A prova ser feita por induo sobre n.
Para n=1 trivialmente verdadeira. vamos supor vlido para um natural n>1.
n+1
n
1
Ento (ep )
= (ep ) (ep ) = enp .ep = e(n+1)p

Corolrio 4.4. (ep )1 = ep


Demonstrao. Sabendo que ep = cosh () + p sinh () = cosh p sinh . Assim
faamos (cosh p sinh ).(cosh + p sinh ) = cosh2 p2 sinh2 = 1 Logo, o inverso
1
multiplicativo de ep = cosh + p sinh (ep ) = cosh p sinh = ep

Corolrio 4.5. (e n p )n = ep

Para Sobczyk, a escrita de um nmero perplexo na forma exponencial, segue a mesma


estrutura algbrica da forma polar, desde modo, para (z) = 1, temos que, z U , ou
seja, z H1 Hp H1 Hp , assim.
z H1 H1 z = ep

(4.22)

z Hp Hp z = pep

(4.23)

Deixamos as demonstraes sobre a forma exponencial dos nmeros perplexos, com


kzk =
6 0, para o captulo 6.

47

Figura 4.6: Os quatros ramos das hiprboles unitrias conjugadas, nomeadas por kep ,
onde k K = {1, 1, p, p}, R com a variao de a +

48

Captulo 5
Estruturas Algbricas
Estes captulo necessrio para caracterizarmos os nmeros perplexos como uma estrutura algbrica, diferente dos nmeros complexos. Para isso discutiremos os conceitos de
Grupo, Anel e Corpo, os resulados importantes para a caractrizaao dos nmeros sero
destacados. As proposies relativas as estruturas algebricas contidadas neste captulo
so partes de um curso de graduao de lgebra, portanto indicamos o livro de GONALVES, Adilson, Introduao lgebra, Instituto de matemtica pura e aplicada, 1979.
Rio de janeiro

5.1 Grupo
Denio 5.1. Um grupo um conjunto no vazio G munido de uma operao satis-

fazendo as seguintes propriedades:


(i) a (b c) = (a b) c a, b, c G.
(ii) Existe um nico elemento neutro e G tal que e a = a e = a a G.
(iii) Para cada a G existe um nico inverso em relao a onde a1 = b G tal que
a b = b a = e.

Se n Z, deni-se an , como a a a ... a(n vezes), para n 0. Caso contrrio


denimos (a1 )n = an

Denio 5.2. Um grupo G = (G, ) comutativo ou abeliano se a b = b a a, b G.


Exemplo 5.1. Grupo Aditivo dos complexos: O conjunto C um grupo abeliano em
relao adio denida em 2.2 e denotado por (C, +).

Exemplo 5.2. Grupo multiplicativo dos complexos: O conjunto C um grupo abeliano


em relao multiplicao denida em 2.3 e denotado por (C, .).

Exemplo 5.3. Seja


! A = A22 (R)
! ento A um grupo!abeliano em relao adio de
matrizes

a b
c d

a1 b 1
c1 d1

a + a1 b + b 1
c + c1 d + d 1

49

Exemplo 5.4. Seja G22 (R) o conjunto das matrizes invertveis ento G22 (R) um
grupo no abeliano em relao multiplicao:
a b
c d

!
.

a1 b 1
c1 d 1

!
=

a.a1 + bc1 a1 b1 + bd1


ca1 + dc1 cb1 + dd1

Exemplo 5.5. Grupo Aditivo dos perplexos: O conjunto P um grupo abeliano em relao
adio proposio 4.1 e denotado por (P, +).

Proposio 5.1. (U, ) um grupo.


Demonstrao.
U no vzio, pois 1 U . Vamos mostrar que a operao fechada em U . De fato
dados u e v em U , temos que (u v) = (u).(v) = 1.1 = 1 e deste modo u.v U .
i) Dados u,v e w U , ento (u.v).w |{z}
= u.(v.w)
M1

ii) 1 U , pois (1) = 1, logo existe elemento neutro em U .


iii) Seja u U , logo (u) = 1, assim u invertvel, como (u1 ) = ((u))1 = 1, temos
que u1 U , tal que u.u1 = 1.
Portanto (U, ) um grupo.

5.1.1 Subgrupo
Agora dada um grupo G = (G, ), consideremos um subconjunto H no-vazio de G, e
passemos a seguinte denio.

Denio 5.3. Seja (G, >) um grupo. Diz-se que um subconjunto no vazio H G
um subgrupo de G se:
i) Se a , b de H ento a > b est em H
ii) (H, >) um grupo.

Proposio 5.2. Para que uma parte no vazia H de G seja um subgrupo do grupo

(G, >), necessrio e suciente que a > b0 seja um elemento de H sempre que a e b H .

Proposio 5.3. O conjunto H1 um subgrupo de (U, )


0

Demonstrao. H1 no vazio, pois 1 H1 , Sejam u = ep e v = e p , ento u.v =


0
0
0
e(+ )p H1 . Sabendo que v 1 = e p , temos que u.v 1 = e( )p H1 , logo H1 um
subgrupo.
Consideremos o subconjunto no vazio K de U , onde k K ento k 2 = 1, logo
K = {1, 1, p, p}.
50

-1

p p

Tabela 5.1: Tabela de em K

Proposio 5.4. (K, ) um subgrupo de U.


Demonstrao. A demonstrao ser feita atravs da tabela 5.1 de em K .
Ela mostra que a operao fechada em K , e que todo elemento de K possui inverso
em K , assim K um subgrupo de (U, ).
Seja (R, +) o grupo aditivo denotado por R. Consideremos o conjunto produto cartesiano R K = {(, k); R e k K} e tomemos a operao de adio da seguinte
forma: Seja k R K e k0 0 R K ento
(5.1)

k + k0 0 = ( + 0 , kk 0 )

Proposio 5.5. (R K, +) um grupo.


Demonstrao.
0
00
0
00
0
00
Sejam k , k0 e k00 elementos de R K ento (k + k0 ) + k00 = ( + , kk 0 ) + ( , k 00 ) =
0

00

00

00

00

(( + ) + , (kk 0 )k 00 ) = ( + ( + ), k(k 0 k 00 )) = (, k) + ( + , k 0 k 00 ) = k + ( k0 + k00 )


Dado 01 R K , o elemento neutro, pois temos que k + 01 = ( + 0, k.1) = (, k) = k
()k = (, k) o inverso aditivo em R K , pois k + (k ) = ( + (), kk) = (0, 1),
portanto R K um grupo aditivo.
!
a
0
Exemplo 5.6. Seja A0 = {
; a, b R a.b 6= 0} um subconjunto de A22 (R) ento
0 b
(A0 , .) um subgrupo de (G, .).

5.1.2 Homomorsmo de grupos


Denio 5.4. Uma aplicao de f : G J , onde (G, >) e (J, .) so grupos, e para

quaisquer x, y de G temos f (x > y) = f (x).f (y) recebe o nome de homomorsmo do grupo


(G, >) no grupo (J, .)
.

Exemplo 5.7. Seja : C A22 , onde a+bi


entre os grupos aditivos C e A
51

a b
b a

, ento um homomorsmo,

De fato, sejam z, w C, ento z != x + yi e w =!r + si, logo z +


! w = (x + r) + (y + s)i,
logo (z + w) =

x+r y+s
y s x + r

x y
y x

r s
s r

Exemplo 5.8. Seja : C {0} G22 , onde a + bi

= (z) + (w)
a b
b a

, ento um

homomorsmo, entre os grupos multiplicativos C {0} e G22


De fato, sejam z, w C, ento z = !
x+yi e w = r +si
! , logo z.w =
! (xr ys)+(xs+yr)i,
logo (z.w) =

xr ys xs + yr
xs yr xr ys

x y
y x

r s
s r

= (z).(w)

5.1.3 Ncleo de Homomorsmo


Seja f : G J um homomorsmo de grupos. Se u indica o elemento neutro de J , o
seguinte subconjunto de G ser chamado de ncleo de f e denotado por N (f ).
N (f ) = {x G; f (x) = u}

(5.2)

Exemplo 5.9. Seja f : Z C, dado por f (m) = im um homomorsmo entre so grupos


multiplicativos, o ncleo do homomorsmo N (f ) = {x G; im = 1} = {0, 4, 8, ...}

Proposio 5.6. f injetora se, e somente se, N (f ) = {eG }.

5.1.4 Isomorsmo de Grupos


Denio 5.5. Um homomorsmo de grupos f : G H chamado de um isomorsmo

(de grupos) se for, tambm, uma bijeo. Nesse caso, dizemos que os grupos G e H so
isomorfos e denotamos G H .

Proposio 5.7. Se f : G J um isomorsmo de grupos, ento f 1 : J G tambm


um isomorsmo de grupos.

5.2 Anel
Denio 5.6. Um anel A um conjunto no vazio com duas operaes (+, .) tal que

(A, +) um grupo abeliano e para qualquer a, b, c A,


(i) (a.b).c = a.(b.c);
(ii) (a + b).c = a.c + b.c e c.(a + b) = c.a + c.b.

Um anel commutativo se a.b = b.a para qualqer a, b A e com identidade se existe


uma identidade multiplicativa 1A A tal que 1A .a = a.1A = a a A.

Proposio 5.8. O conjunto P um Anel comutativo e com unidade.


52

Demonstrao. Seja (P, +, ), pela proposio 4.1, temos que (P, +) um grupo abeliano,
denio 5.1 e 5.2. Pela proposio 4.2, e denio 5.8, (P, +, ) um anel comutativo
com unidade.

5.2.1 Subanis
Denio 5.7. Sejam (A, +, .) um anel e S um subconjunto no vazio de A. Diz-se que
S um subanel de A se:

i. L fechado para ambas operaes de A.


ii. (S, +, .) tambm um anel.

Proposio 5.9. Seja S um subconjunto no-vazio de um anel (A, +, .). Ento S um


subanel de A se, e somente se, para todo a, b S , temos:
S1. a b S ; e
S2. a.b S .

Exemplo 5.10. Veriquemos que S =

a b
b a

De fato, S 6= sejam z, w S , ento z =

, um subanel de de A22 (R)

x y
y x

!
!
x y
r s
xr
i.) z w =

=
y x
s r
(y s)
!
!
xr ys
x y
r s
ii.) z.w =
.
=
y x
s r
(xs + yr)

Exemplo 5.11. Veriquemos que L =

a b
b a

De fato, L 6= sejam z, w S , ento z =


!
x y
i.) z w =

y x
!
x y
r
ii.) z.w =
.
y x
s

ew=
ys
xr

r s
s r

faamos:

xs + yr
xr ys

S
!
S

, um subanel de de A22 (R)


x y
y x

ew=

r s
s r

faamos:

!
!
r s
xr ys
=
L
s r
(y s) x r
!
!
s
xr + ys xs + yr
=
S
r
xs + yr xr + ys

Denio 5.8. Seja A um anel comutativo com unidade. Se para esse anel vale: Para

a,b A a.b = 0A s possivel para a = 0A ou b = 0A ento dizemos que A um anel de


integridade.
Caso a.b = 0A para algum par de elementos a, b 6= 0A diz-se que a e b so divisors
prprios de zero do anel.
53

5.2.2 Corpo
Denio 5.9. Um corpo um anel comutativo com identidade no qual cada elemento

a diferente do elemento neutro da adio tem um inverso multiplicativo a1 , tal que


a.a1 = a1 .a = 1.

Exemplo 5.12. Os anis Q, R e C so corpos


Proposio 5.10. Todo corpo um anel de integridade
Exemplo 5.13. Do teorema 4.1 o anel comutativo com unidade P munidos das operaes

(+, .) no um anel de integridade, logo no corpo.

Denio 5.10. Seja (A, +, .) um anel. Um subconjunto no-vazio I , I A, chamado

de um ideal de A se satisfaz as seguintes propriedades:


I1. Se a, b I , ento a + b I ;
I2. Se a A e b I , ento a.b I .

Exemplo 5.14. Seja (P, +, .) um anel comutativo com unidade. Ento B1 P, e B2 P


so ideais de P.

Vamos mostrar que B1 um ideal, ou seja, dados u, v B1 , ento u + v B1 e a P


e u b1 , ento a.u B1 . Tomemos u = 2 = (0, ) e v = 2 = (0, ), deste modo:
i.) (u + v) = (0, ) + (0, ) = (0, + ) B1
ii.) Seja a = x1 + y2 = (x, y), ento a.u = (x0, y.) = (0, y) B1
Para mostrar que B2 um ideal procede-se analogamente.

5.2.3 Operaes com Ideais


Interseo
Se I e J so Ideais em A, ento I

J tabm um ideal em A.

Adio
Sejam I e J ideais em um anel A. A soma desses ideais osubconjunto de A, indicado
por I+J, e assim denido:
I + J = {x + y/x I e y J}

mostrasse que I + J tambm um ideal.

54

(5.3)

5.2.4 Ideais Maximais


Denio 5.11 (Ideal Maximal). Um ideal M de A chamado maximal se ideal prprio

de A(isto , M $ A e M no est contido propriamente em nenhum outro ideal prprio


de A, ou seja, os nicos ideais de A contendo M so M e A. Em outras palavras, um
ideal M de A maximal se
i. M $ A (ideal prprio)
ii. Se I um ideal de A, M I A, ento I = M ou I = A.

Proposio 5.11. Seja (P, +, .) um anel comutativo com unidade B1 e B2 so os nicos


ideais maximais de P

Demonstrao. Vamos tomar J um ideal de P tal que B1 J P e J 6= B1 . Temos assim


duas possibilidades. Em J existe um elemento invertvel w, logo w1 P e w.w1 = 1 J ,
ou seja J = P. Caso contrrio, existe w0 J B2 e w0 6= 0, w0 = a1 J , sabendo que
2 J , tomemos z P, logo, z = 1 + 2 , assim z J ento P = J . portanto B1
|{z}
J

|{z}
J

um ideal maximal. Para B2 anlogo. Faamos agora a unicidade, para tanto, tomemos
I um ideal maximal diferente de B1 e B2 , logo existe u0 I , tal que u0
/ B1 B2 , ou
1
1
seja, u0 invertivel e e deste modo u0 P e portanto u0 .u0 = 1 I assim I = P.
absurdo, pois I um ideal maximal. Logo os nicos ideias maximais so B1 e B2 .

5.2.5 Anis Quocientes


Seja I um ideal em um anel comutativo A, segue que I um subanel de A e, portanto
um subgrupo do grupo aditivo A, logo tem sentido considerearmos o grupo A/I cujos
elementos so as classes laterais a + I = {a + x, x I} e cuja adio denida por
(a + I) + (b + I) = (a + b) + I (a, b A), sabendo que o elemento neutro de A/I a
classe 0 + I e que o elemento oposto de uma classe a + I a classe a + I . Denindo-se
a multplicao em A/I , 5.2.5 o grupo quociente A/I tornasse um anel.
(a + I)(b + I) = (ab) + I

(5.4)

Segue que (A/I, +, .) um anel, chamado de anel quociente, ou anel das classes residuais
mdulo I , cujo zero dado por 0 = {0 + I} e cuja unidade dada por 1 = {1 + I}.

Exemplo 5.15. Consideremos o anel quociente P/B1 e seja u P ento, v u + B1

se, e somente se, v = u + t(1 + p) onde t R, ou seja, os elementos de P/B1 so retas


paralelas a B1

Proposio 5.12. Sejam A um anel comutativo com unidade e J um ideal em A. ento

J um ideal maximal se, e somente se, A/J um corpo.

55

Teorema 5.1. P/B1 e P/B2 so corpos


Demonstrao. Sabendo que B1 maximal ento P/B1 um corpo, como B2 um ideal
maximal ento P/B2 um corpo.

5.2.6 Homomorsmo de Anis


Denio 5.12. Dados dois anis A e B, uma funo f : A B chamada de um
homomorsmo (de anis) se para todo a, b A, vale:
H1. f (a + b) = f (a) + f (b);
H2. f (a.b) = f (a).f (b);

Denio 5.13. Um homomorsmo f : A B chamado de um isomorsmo se for,

tambm, uma bijeo. Nesse caso, dizemos que A e B so isomorfos e denotamos A B .

Lembre que dois conjuntos A e B nitos tm o mesmo nmero de elementos, ou seja,


eles tm a mesma cardinalidade, se existe uma bijeo entre A e B. Assim, se A e B
so isomorfos, ento eles tm exatamente o mesmo nmero de elementos. Isso acontece
porque se f : A B um isomorsmo, ento, em particular, f uma bijeo entre A e
B.

Exemplo 5.16. A funo T : C M22 (R), onde a + bi

a b
b a

, um iso-

morsmo, entre C e M22 (R) o conjunto das matrizes anti-simtricas e portanto o


conjunto M22 (R) um corpo.
Para [22], os nmeros perplexos assim como no caso complexo admite a forma matricial. Faamos ento a analogia para obtermos uma representao matricial de um nmero
perplexo qualquer, faamos
! primeiramente uma anlise sobre o determinate de T (u).
det(T (u)) = det

a b
b a

= a2 + b2 = |u|2 .

Seja R : P M22 (R), onde a+bp

a b
b a

, vamos mostrar que R um isomorsmo

entre P e M22 (R) o conjunto das matrizes 2x2 simetricas.

Teorema 5.2. R : P M22 (R), onde a + bp


Demonstrao.
i) R um homomorsmo.
Seja u e v em P, segue que:
56

a b
b a

um isomorsmo.

a+c b+d
b+d a+c

a) R(u + v) =
b) R(u.v) =

ac + bd ad + bc
ad + bc ac + bd

a b
b a

=
!
=

a b
b a

+
!
.

c d
d c

Portanto R um homomorsmo de anis.


ii) R uma bijeo
a) Seja u e v em P tal que R(u) = R(v)

c d
d c

a b
b a

= R(u) + R(v)
!

!
=

= R(u).R(v)

c d
d c

!
a = c e b = d

Consequentemente u = v e assim R injetora.


b) R(P) = M[2], e assim R sobrejetora.
Do exposto, R um isomorsmo.
Um resultado imediato do teorema 5.2 a caracterizao de M[2], como um anel
comutativo com unidade.
!
Da forma como foi denida R, temos que det(R(u)) = det

a b
b a

= a2 b2 = (u)

Denio 5.14. O ncleo de um homomorsmo de anis f : A B o conjunto


N (f ) = {x A| f (x) = 0B }, onde 0B o elemento neutro do anel B.

Teorema 5.3 (Homomorsmo de Anis). Sejam A e A0 anis e f : A A0 um homo-

morsmo Ento,

(1) Im(f ) = {f (a); a A} um subanel de A .


0

(2) N (f ) = {a A; f (a) = 0} um ideal de A, e f injetiva N (f ) = {0}.


(3) Os anis A/N (f ) e Im(f ) so isormorfos.

Teorema 5.4 (Isomomorsmo com R). P/B1 e P/B2 so isomorfos a R


Demonstrao. Primeiramente vamos mostrar que f denida por f : P R, tal que
f (a+bp) = a+b um homomorsmo sobrejetor de anis, para isso tomemos u, v elementos
de P, ento faamos f (u + v) = a + c + (b + d) = (a + b) + (c + d) = f (u) + f (v)
do mesmo modo faamos f (uv) = ac + bd + (ad + bc) = ac + ad + bd = bc = a(c + d) + b(c +
d) = (a + b)(c + d) = f (u)f (v), portanto f um homomorsmo de anis. Como f (P) = R,
visto que para todo y R, existe u P tal que f (u) = y , basta fazer u = (b + y, b).
Como o ncleo desse homomorsmo B2 , segue que P/B2 isomorfo a R.
Seja g : P R, dada por g(u) = a b, observe que g = f oh, onde h(u) = (a, b) um
homomorsmo, como a cosmposta de um homomorsmo um homomorsmo segue que
g um homomorsmo, observe que g um homomorsmo sobrejetor e que o ncleo de g
B1 , portanto P/B1 isomorfo a R.

57

Exemplo 5.17. Consideremos P = (R2 , +, ), onde, dados u = (a, b) e v = (c, d) temos

que u + v = (a + c, b + d) e u v = (ac, bd). fcil ver que P um anel comutativo com


unidade (1,1).

Consideremos f : P P , tal que f (u) = (, ), para u = 1 + 2 em P, onde


{(1 , 2 )} a Base Idempotente . Armamos que f um isomorsmo entre P e P .
De fato, sejam u = 1 1 +1 2 , v = 2 1 +2 2 em P, assim u+v = (1 +2 )1 +(1 +2 )2 e
u.v = (1 .2 )1 +(1 .2 )2 , logo f (u+v) = (1 +2 , 1 +2 ) = (1 , 1 )+(2 , 2 ) = f (u)+
f (v) e f (u.v) = (1 .2 , 1 .2 ) = (1 , 1 ).(2 , 2 ) = f (u).f (v). f um homomorsmo.
i) f injetora. De fato, se f (u) = f (v) ento (1 , 1 ) = (2 , 2 ), logo 1 = 2 e 1 = 2
e portanto u = v .
ii) f sobrejetora. Dado (, ) P tomemos u = 1 + 2 em P, e deste modo
f (u) = (, ), logo Im(f ) = P .
Deste modo conclumos que P
= P , assim poderiamos ter denido P como o conjunto
dos nmeros perplexos, no entanto denindo-os deste modo perderiamos a anlogia dos
nmeros perplexos com os nmeros complexos.

58

Captulo 6
Forma Polar dos Nmeros Perplexos
Seja U = {u P, (u) = 1}, a curva da unidade, que gracamente representado
pelas hiprboles |a2 b2 | = 1. Relembremos abaixo os conjuntos denidos em 4.5:
H1 = {u U ; a > 0 e a > |b|}
H1 = {u U ; a < 0 e a > |b|}
Hp = {u U ; b > 0 e b > |a|}
Hp = {u U ; b < 0 e b > |a|}
U = H1 H1 Hp Hp

6.1 Funo ngulo em U


Denamos : R K U , onde k = (, k) e(k ) = kep

Teorema 6.1. um isomorsmo de grupos


Demonstrao. i) um homomorsmo de grupo.
0
0
0
0
De fato, sejam k R K e k0 0 R K e(k +k0 ) = kk 0 (e(+ )p ) = kep (k 0 e( p) ) = ek ek0 .
ii) uma bijeo.
De fato. ek = 1 se, e somente se, kep = 1e0p se, e somente se, k = (0, 1) Logo,
N () = (0, 1), portanto injetora.
Seja w U , logo w da forma w = kep , assim w = (, k) logo uma sobrejeo e
portanto um isomorsmo.
Seja (1) : U RK o isomorsmo inverso de , onde (1) (uv) = (1) (u)+ (1) (v)
(1)
e alm disso u = ( (1) (u)) = e (u) , para todo u em U .
w
w
Tomemos um elemento invertvel w de P, assim w = (w) (w)
, com (w)
U . Fazendo
ek = e

1 (

w
)
(w)

, segue que

w
(w)

= e

(1) (

w
)
(w)

= ek , assim w = (w)ek , ou seja:

w = (w)[kep ], onde k = 1, 1, p, p.

59

(6.1)

6.2 Clculo da Forma Polar de u


Seja u = a + bp, e (u) =

p
|a2 b2 | ento:

1, se
p, se
k=

1, se

p, se

e deste modo

u
(u)

a
(u)

bp
(u)

a > 0 e a > |b|,


b > 0 e b > |a|,
a < 0 e a > |b|,
b < 0 e b > |a|.

(6.2)

= k cosh + kp sinh e assim:

(
cosh ,
a
=
(u)
sinh ,
(
sinh ,
b
=
(u)
cosh (),

se k = 1,
se k = p
se k = 1,
se k = p

(6.3)
(6.4)

Deste modo podemos concluir que:


(

b
,
a
a
,
b

se k = 1,
se k = p.

1
ln a+b
,
2
ab
1
a+b
ln ba ,
2

se k = 1,
se k = p.

tanh =
(

Deste modo concluimos que: =

(6.5)

6.2.1 Potenciao e Radiciao


Vamos retornar a discursso da potenciao e radiciao no anel dos nmeros perplexos, no entanto, trataremos agora sob a forma exponencial:
Considere u um nmero perplexo, tal que (u) > 0, de 6.1, segue que a forma exponencial
de u u = k(u)ep , portanto un = (k(u)ep )n = k n [(u)]n enp .
Para a radiciao tomemos z n = u, onde z e u admitem a forma exponencial, ento tomemos z = k 0 (z)ep e u = k(u)ep , segue que:
[k 0 (z)ep ]n = k(u)ep
n

k 0 [(z)]n enp = k(u)ep .

(6.6)

Devemos separar os dois casos:


Para n par, temos que k = 1 e assim s para este caso teremos soluo, num total de 4,
p
p
visto que k 0 = 1, 1, p, p atendem as exigncias. logo a soluo z = k 0 n (u)e n .
p
p
Se n mpar, teremos k 0 = k , teremos uma nica soluo que z = k n (u)e n

60

Captulo 7
Consideraes Finais
O captulo 4 tratou os Nmeros Perplexos de maneira anloga aos Complexos, faamos
ento uma tabela comparativa entre as duas estruturas nmericas, elencando os principais
resultados e propriedades apresentadas ao longo do trabalho. Vamos tomar u = (a, b) e
v = (c, d) em R2 e r > 0.

unidades especiais
i, tal que i2 = 1
p, tal que p2 = 1
Potncias de i e p
1, 1, i, i
1, p
Forma Algbrica u = a + bi e v = c + di u = a + bp e v = c + dp
u+v

(a + c) + (b + d)i

u.v

ac bd + (ad + bc)i

u
v

ac+bd
c2 +d2

Estrutura
kuk = r

Forma Polar

bcad
c2 +d2 p;

v 6= 0

Corpo
Crculo

(a + c) + (b + d)p
ac + bd + (ad + bc)p
acbd
c2 d2

bcad
c2 d2 p;

c 6= d

Anel comutativo com unidade


Hiprbole equiltera

|u|(cos() + i sin())

k(u)(cosh() + p sinh())

Tabela 7.1: Nmeros Complexos Nmeros Perplexos


Ao tratarmos da "norma"perplexa como feito em 4.4.1, vericamos kuk no pode ser tratada como uma norma, no que se diz respeito s propriedades, visto existe u 6= 0 com
kuk = 0, alm de no satisfazer a desigualdade triangular, por outro lado introduzimos
a noo relativa a "norma", pois dependendo das coordenadas de um nmero perplexo
teremos: kuk > 0, kuk = 0 ou kuk < 0, aplicaes fsicas para este fato encontramos em
[22] , [9] , [7].
A multiplicao destes nmeros tambm deve ser prestigiada, j que, existe um aspecto
relativo para o resultado da operao: sempre possivl prever a posio do produto entre
61

os ramos hiperblicos, ou entre as bissetrizes, algo muito semelhante a regra dos sinais
em Z.
Em se tratando de equaes polinmiais, mostramos que no vale o Teorema Fundamental
da lgebra, procuramos controlar a soluo das equaes apresentando algumas condies
de existncia para as razes.
Por m, o captulo 4 cumpre o papel de apresentar este conjunto intrigante chamado de
nmeros perplexos, sabendo que h muito a ser pesquisado neste conjunto, entretanto
uma semente foi plantada em um campo frtil, e que futuramente o conjunto ter mais
adeptos e pesquisadores.

62

Referncias Bibliogrcas
[1] ASSIS, A. K. T., Perplex numbers an quartenions. International Journal of Mathematical Education in Science an Techonology, volume 22, n 4, pp. 555-562, 1991.
[2] ASSIS, A. K. T., Nmeros Perplexos. The Gleb Times- Jornal do Centro Acadmico
do Instituto de Fsica da UNICAMP, ano 1, n 2; pp. 11, 1994.
[3] VILA, G. S. de S., Anlise matemtica para licenciatura, 2 Ed; Edgar Blucher, So
Paulo 2005.

de Eudoxo de Cnido
a teoria das propores e o mtodo da Exausto. UNIN: Revista Iberoamericana de Educao matemtica, n 2, pp. 91-110, 2005.

[4] BONGIOVANNI,

V.,

As

duas

Contribuies

[5] BOROTA, N.A., FLORES, E., OSLER, T.J., Spacetime Numbers The Easy Way,
Mathematics and Computer Education, vol. 34, n . 2, pp. 159-168, 2000.
[6] DOMINGUEZ, H.H.,IEZZI, G., lgebra Moderna, 4 ed. volume nico, Atual, So
Paulo, 2003.
[7] ERSOY, S., TOSUN, M., The Euler-Savary Formula for One-Parameter Planar Hyperbolic Motion. Department of Mathematics, Faculty of Arts and Sciences Sakarya
University, arXiv:1001.0138v1[math. DG], 2009.
[8] FERNADEZ, C.S., Jr BERNADES, N.C., Introduo s funes de uma varivel
complexa. 2 ed., Instituto de Matemtica Pura e Aplica, CNPq, Rio de Janeiro,
2008.
[9] FJELSTAD, P., Extending relativity via the perplex numbers. American Journal of
Physics, 54:5, pp. 416-422, 1986.
[10] GONALVES, A., FIGUEIREDO, L. M., lgebra 1. vol. 3, FAPERJ, Rio de Janeiro,
2005.
[11] GONALVES, A., Introduo lgebra. Intituto de Matemtica Pura e Aplicada,
Rio de Janeiro, 1979.
63

[12] GOULART, M. C., Matemtica no ensino mdio. 1a srie, 3 Ed. Editora Scipione,
So Paulo, 2009.
[13] HEFEZ, A., Curso de lgebra, vol. 1, 2 ed., Instituto de Matemtica Pura e Aplica,
CNPq, Rio de Janeiro, 1993.
[14] IEZZI, G., Fundamentos de Matemtica Elementar 6: Complexos, Polinmios Equaes, vol. 6, 6 Ed., Atual, So Paulo, 1993.
[15] KARIM, M.R., Solutions of the Higher-Dregree Reduced Polynomial Equations by
Using Unipodal Number, vol. 2, n 1, 2012, p. 13 a 21.
[16] LIMA, E. L., CARVALHO, P. C. P., WAGNER, E., MORGADO, A. C., A matemtica do Ensino Mdo, vol. 1, 9 ed., IMPA, Rio de janeiro, 2006.
[17] LIMA, E. L., Anlise Real: Funo de uma varivel. vol. 1, 10 ed., IMPA, Rio de
janeiro, 2010.
[18] LIMA, E. L., CARVALHO, P. C. P., WAGNER, E., MORGADO, A. C., A matemtica do Ensino Mdo. vol. 3, 6 ed., IMPA, Rio de janeiro, 2010.
[19] LIMA, E. L., Geometria Analtica e lgebra Linear, 2 ed. IMPA, Rio de janeiro,
2012.
LEITHOLD, L., O Clculo com Geometria Analtica, 3 ed. HARBRA ltda, So
Paulo, 1994.
[20] ROQUE, T. M., PITOMBEIRA, J. B., Tpicos de Histria da Matemtica, 1 ed.
IMPA, Rio de janeiro, 2012.
[21] SMOLE, K. S., DINIZ, M. I., Matemtica Ensino Mdio. vol. 1, 6 ed., Editora
Saraiva, So Paulo, 2010.
[22] SOBCZYK, G., The Hyperbolic Number Plane. The College Mathathematics Journal,
n 26, pp.268-280, 1995.

64