Академический Документы
Профессиональный Документы
Культура Документы
MANAUS
2013
Dissertao apresentada ao Programa de Mestrado Prossional em Matemtica da Universidade Federal do Amazonas, como requisito para
obteno do ttulo de Mestre em Matemtica
MANAUS
2013
Dissertao apresentada ao Programa de Mestrado Prossional em Matemtica da Universidade Federal do Amazonas, como requisito para
obteno do ttulo de Mestre em Matemtica.
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
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.
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.
Sumrio
Introduo
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 . .
3 Funes Hiperblicas
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
3
3
4
6
7
9
10
12
15
15
16
18
18
19
20
20
21
21
21
24
. . . . . . 26
Bissetriz
. . . . . . 27
. . . . . . 30
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
59
7 Consideraes Finais
61
Referncias Bibliogrcas
63
LISTA DE SMBOLOS
N
Z
R
P
B1
B2
Rf
R2
(u)
kukp
B1 B2
P/B1 e P/B2
card(Rf )
Arg(z)
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)
m.1 = m
m(n + 1) = m.n + m
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.2)
(1.3)
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)
(2.1)
(2.3)
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
(2.5)
(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)
(2.8)
(2.9)
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.
OP = OP1 + OP2 onde OP , OP1 , OP2 so vetores. J w = z2 z1 , tem
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.
|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.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.
p
Arg(w) + 2k
Arg(w) + 2k
n
+ i sin
] k = 1, 2, ...n
|w|[cos
n
n
(2.13)
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.
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
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
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
et +et
2
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
18
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[.
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.
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.
(cosh x + sinh x)m = cosh (mx) + sinh (mx) e (cosh x sinh x)m = cosh (mx) sinh (mx)
20
cosh : R R
[1, +[
sinh : R R
Expresso Domnio
x
e e
2
Imagem
] , +[
tanh : R R
] 1, 1[
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
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
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
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)
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
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
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
Teorema 4.1. Dados u e v nmeros perplexos no nulos, ento u.v = 0 se, e somente
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
se, u.u = 0
(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.
(
1, se r 0,
1, se r < 0.
p
|u.u|.
1.
2.
3.
4.
21.
p
p
Seja v = 3 + 5p ento kvk = sgn(32 52 ) |32 52 | = |16| = 4
p
31
u
uu
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 .
iii. k uv k =
kuk
kvk
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.
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,
=1
c
c
(4.4)
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.
a) u = 3 + 2 2p
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
(4.5)
(4.6)
(4.7)
(4.8)
U = H1 H1 Hp Hp
(4.9)
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)
33, como
z
Temos que (z) = |1 4| = 3, como 2 > 0 e 2 > 1; concluimos que (z)
Hp .
h
assim (h)
H1 . Logo h = 3(cosh ln 33 + p sinh ln 33 ), deste modo z = p 3(cosh ln 33 +
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
c. z = 1 2p
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
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
u
v
(v)
= k(u)(v)(cosh ( + 0 ) + p sinh ( + 0 ))
(u)
(v)
(4.11)
(4.12)
= u.v 1 = k (u)
(cosh ( 0 ) + p sinh ( 0 ))
(v)
Teorema 4.2 (Teorema de Moivre verso perplexa). Dado u P, com (u) > 0 e o
argumento de
u
(u)
(4.13)
(4.14)
Como (u) =
27
2 2(cosh (ln 2) + p sinh (ln 2), ento (3 + p)9 = 2 2 (cosh (9ln 2) + p sinh (9ln 2))
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 ))
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
(4.16)
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) =
(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 ))
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.
2(z+ )
Segue que 2 = 1 z =
2 ou 2 = p z =
p
, todas distintas
2
2
2
x2 + y 2 = a
logo, x2 +2xy +y 2 = a+b ou x2 2xy +y 2 = ab.
2xy = b
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
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
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
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
p 54p
2
p(2p1)
2
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
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
z 2 + z + = 0
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
42
(4.19)
3p
, 12
2
3p
}
2
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.
segue que
natural.
1n+1
1n .1
z}|{
= 1 1 = 12 = 1 . Logo a igualdade vale para todo n
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
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
44
(4.20)
(ab)n +(a+b)n
2
(a+b)n (ab)n
p
2
n = 0
n = 0
=0
=0
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.
45
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
ep = cosh + p sinh
e( +)p
0
e( +)p
0
e( +)p
0
e( +)p
0
e( +)p
Corolrio 4.5. (e n p )n = ep
(4.22)
z Hp Hp z = pep
(4.23)
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-
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
!
=
Exemplo 5.5. Grupo Aditivo dos perplexos: O conjunto P um grupo abeliano em relao
adio proposio 4.1 e denotado por (P, +).
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 .
-1
p p
k + k0 0 = ( + 0 , kk 0 )
00
00
00
00
a b
b a
, ento um homomorsmo,
x+r y+s
y s x + r
x y
y x
r s
s r
= (z) + (w)
a b
b a
, ento um
xr ys xs + yr
xs yr xr ys
x y
y x
r s
s r
= (z).(w)
(5.2)
(de grupos) se for, tambm, uma bijeo. Nesse caso, dizemos que os grupos G e H so
isomorfos e denotamos G H .
5.2 Anel
Denio 5.6. Um anel A um conjunto no vazio com duas operaes (+, .) tal que
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:
a b
b a
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)
a b
b a
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
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
5.2.2 Corpo
Denio 5.9. Um corpo um anel comutativo com identidade no qual cada elemento
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}
54
(5.3)
|{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.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}.
55
a b
b a
, um iso-
a b
b a
= a2 + b2 = |u|2 .
a b
b a
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
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
a b
b a
= a2 b2 = (u)
morsmo Ento,
57
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
1 (
w
)
(w)
, segue que
w
(w)
= e
(1) (
w
)
(w)
w = (w)[kep ], onde k = 1, 1, p, p.
59
(6.1)
p
|a2 b2 | ento:
1, se
p, se
k=
1, se
p, se
e deste modo
u
(u)
a
(u)
bp
(u)
(6.2)
(
cosh ,
a
=
(u)
sinh ,
(
sinh ,
b
=
(u)
cosh (),
se k = 1,
se k = p
se k = 1,
se k = p
(6.3)
(6.4)
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 =
(
(6.5)
(6.6)
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
|u|(cos() + i sin())
k(u)(cosh() + p sinh())
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