Professional Documents
Culture Documents
+
i
+
j
,
s
e
0
2
;
l
n
+
i
,
s
e
0
.
c
o
s
_
2
,
4
,
6
_
=
1 4
_
i
(
e
e
4
)
3
+
j
(
e
4
4
)
Y
Z
i
R
Plano C
j
R
Y
Z
P
l
a
n
o
H
2
D
_
x + y = 10
x y = 40
e
iy+jz
= cos y cos z +i seny cos z +j senz
X
Y
Z
x
y
5
X
Y
Z
5
P
l
a
n
o
H
2
D
Plano C
Gentil Lopes da Silva
www.dmat.ufrr.br/ gentil
2
0
0
7
N umeros Hipercomplexos 3D
( Uma Nova Generaliza cao dos N umeros Complexos )
Gentil Lopes da Silva
18 de maio de 2007
-
6
0
t
h(t)
D
D
D+
h(t) D
. Por exemplo:
N umeros Complexos:
_
(a, b) + (c, d) = (a +b, c +d)
(a, b) (c, d) = (ac bd, ad +bc)
pronto! est ao criados os n umeros complexos. Portanto, o que Hamilton procu-
rou foi denir uma soma e uma multiplica c ao de ternos ordenados.
A soma nunca apresentou problemas, e facil, veja
N umeros 3 D :
_
(a, b, c) + (d, e, f) = (a + d, b +e, c +f)
(a, b, c) (d, e, f) = ( ?, ?, ?)
O que Hamilton desejou foi preencher as tres interroga c oes acima.
Posteriormente cou provada a impossibilidade de uma tal multiplica c ao.
No apendice (p ag. 140) reproduzimos esta prova tal como comparece em [3].
Acontece que, para a prova de uma tal impossibilidade, assume-se a hipotese
de que a multiplica c ao deve ser associativa e distributiva.
Podemos ignorar uma prova matematica. Isto mesmo, um teorema n ao
encerra uma verdade absoluta no momento em que, n ao aceitando sua hipotese,
estamos desobrigados de aceitar sua tese.
Em resumo: para n os que n ao exigimos, da multiplica c ao, as propriedades
citadas anteriormente, os n umeros tridimensionais s ao uma realidade.
De outro modo: Hamilton tentou preservar propriedades algebricas (da
multiplica c ao) e malogrou. N os, a priori, preservamos uma unica propriedade;
n ao algebrica, mas sim geometrica: a rota c ao, e tivemos mais sorte.
Ademais justicaremos, com raz oes geometricas (ou ainda, razoes
intrnsecas), porque o natural e que em tres dimensoes (isto e, no R
3
) a
multiplica c ao n ao seja nem associativa e nem distributiva. Por exemplo, o -
classico - problema:
Existem condi c oes adicionais sobre estas opera c oes. Condi c oes intrnsecas e extrnsecas,
diriamos. A mais importante, dentre estas ultimas, - assim cremos - e que resultem de utilidade
nas ciencias.
6
separar o n umero 10 em duas partes tais que o produto destas seja 40.,
o qual se traduz na resolu c ao do sistema,
_
x +y = 10
x y = 40
como se sabe, em R n ao possui solu c ao, em C possui uma unica solu c ao; nos
hipercomplexos ( H 3D), como mostraremos, este problema possui innitas
solu c oes; isto se deve a raz oes intrnsecas ao espa co R
3
(quero dizer: por dis-
pormos de uma dimensao a mais que no R
2
), isto n ao poderia acontecer se a
multiplica c ao fosse associativa e distributiva.
H a de se assinalar, todavia, a existencia de problemas insol uveis no corpo
complexo C e com solu c ao em H, por exemplo o (simples) sistema a seguir
x +y = 0
(1 x y) y = 2
Acontece que, como diz o velho ad agio popular, onde passa um boi, passa
uma boiada , quero dizer: se existe um problema insol uvel em C - e com solu c ao
em H - ent ao pode existir uma innidade de tais problemas.
Em nosso contexto, generalizamos a equa c ao de Euler: e
iy
= cos y+i seny,
para o R
3
, assim:
e
iy+jz
= cos y cos z +i sen y cos z +j senz
onde, i = (0, 1, 0) e j = (0, 0, 1). Por exemplo, e
(i+j)
= e
(ij)
= 1.
Conseguimos tambem colocar argumentos hipercomplexos nas fun c oes tri-
gonometricas, por exemplo,
sen
_
2
,
4
,
6
_
=
1
4
_
(e
4
+e
4
)
3 j (e
4
e
4
)
_
Onde,
r
1
=
_
a
2
1
+b
2
1
, r
2
=
_
a
2
2
+b
2
2
e = 1
c
1
c
2
r
1
r
2
Observe que,
r =
_
a
2
+b
2
= 0 a
2
+b
2
= 0 a
2
= b
2
a = b = 0; porquanto, a, b R.
Nota: J a neste momento observe que se tomarmos c
1
= c
2
= 0 estamos de volta
aos complexos C.
Nota: Na p ag. 141 mostramos um programa para multiplicar dois hipercom-
plexos.
Deni cao 2 (N umeros hipercomplexos). Chama-se sistema dos n umeros hiper-
complexos, e representamos por H, ao sistema dos ternos ordenados de n umeros
reais para os quais est ao denidas a igualdade, a adic ao e a multiplica c ao con-
forme o tem acima.
Gentil 9
Representaremos cada elemento generico (x, y, z) H com o smbolo w,
portanto:
w H w = (x, y, z) ( R
3
, +, )
Exemplos:
1
o
) Dados w
1
= (1, 2, 3) e w
2
= (2, 0, 0), calcule: w
1
+w
2
, w
1
w
2
e w
2
1
.
Solu cao: Temos,
( i ) w
1
+w
2
= (1, 2, 3) + (2, 0, 0) = (1 + 2, 2 + 0, 3 + 0) = (3, 2, 3).
( ii ) w
1
w
2
= (1, 2, 3) (2, 0, 0). Ent ao,
r
1
=
_
1
2
+ 2
2
=
5, r
2
=
_
2
2
+ 0
2
= 2, = 1
3 0
5 2
= 1,
como r
1
,= 0 e r
2
,= 0, calculamos o produto em (D
4
), assim:
w
1
w
2
=
_
(1 2 2 0) 1, (1 0 + 2 2) 1, 3 2 + 0
5
_
= (2, 4, 6).
( iii ) w
2
1
= w
1
w
1
= (1, 2, 3) (1, 2, 3). Ent ao,
r
1
= r
2
=
_
1
2
+ 2
2
=
5, = 1
3 3
5
=
4
5
,
como r
1
= r
2
,= 0, calculamos o produto em (D
4
), assim:
w
2
1
=
_
(1122)(4/5), (12+21)(4/5), 3
5+3
5
_
=
_
12
5
,
16
5
, 6
5
_
2
o
) Dados w
1
= (1, 0, 0) e w
2
= (0, 0, 1), calcule: w
1
+w
2
, w
1
w
2
e w
2
2
.
Solu cao: Temos,
( i ) w
1
+w
2
= (1, 0, 0) + (0, 0, 1) = (1 + 0, 0 + 0, 0 + 1) = (1, 0, 1).
( ii ) w
1
w
2
= (1, 0, 0) (0, 0, 1). Ent ao,
r
1
=
_
(1)
2
+ 0
2
= 1, r
2
=
_
0
2
+ 0
2
= 0,
como r
1
,= 0 e r
2
= 0, calculamos o produto em (D
3
), assim:
(1, 0, 0) (0, 0, 1) =
_
0 1 0
1
,
0 1 0
1
, 1 1
_
= (0, 0, 1).
( iii ) w
2
2
= w
2
w
2
= (0, 0, 1) (0, 0, 1). Ent ao,
r
1
= r
2
=
_
0
2
+ 0
2
= 0,
como r
1
= r
2
= 0, calculamos o produto em (D
1
), assim:
(0, 0, 1) (0, 0, 1) = (1 1, 0, 0) = (1, 0, 0).
3
o
) Dados w
1
= (4, 3, 2) e w
2
= (6, 7, 8), calcule w de modo que w
1
+w = w
2
.
Solu cao: Tomemos w = (x, y, z), ent ao,
10
w
1
+w = w
2
(4, 3, 2)+(x, y, z) = (6, 7, 8)
_
_
4 +x = 6,
3 +y = 7,
2 +z = 8.
_
x = 2,
y = 4,
z = 6.
Portanto, w = (2, 4, 6).
4
o
) Dados w
1
= (1, 1, 2) e w
2
= (1, 0, 3), calcule w de modo que w
1
w = w
2
.
Solu cao: Tomemos w = (x, y, z), ent ao,
w
1
w = w
2
(1, 1, 2) (x, y, z) = (1, 0, 3),
temos,
r
1
=
_
1
2
+ (1)
2
=
2, r
2
=
_
x
2
+y
2
,
temos dois casos a considerar,
( i ) r
2
=
_
x
2
+y
2
= 0, isto e, x = y = 0. Neste caso calculamos o produto
em (D
3
), assim:
(1, 1, 2) (0, 0, z) =
_
2 z 0
2
,
2 z (1)
2
, z
2
_
Ent ao,
(0, z
2, z
2) = (1, 0, 3)
_
_
0 = 1,
z
2 = 0,
z
2 = 3.
Isto signica que n ao existe um n umero hipercomplexo w = (x, y, z), com
x = y = 0, satisfazendo a condi c ao dada; logo este primeiro caso pode ser
ignorado.
( ii ) r
2
=
_
x
2
+y
2
,= 0. Neste caso calculamos o produto em (D
4
), assim:
(1, 1, 2) (x, y, z) =
_
(1 x (1) y) , (1 y x (1)) , 2 r
2
+z
2
_
onde, = 1
2z
2 r
2
= 1
2 z
r
2
. Igualando este produto a (1, 0, 3), obtemos
_
_
(x +y)
_
1
2 z
r
2
_
= 1 (1.1)
(x +y)
_
1
2 z
r
2
_
= 0 (1.2)
2 r
2
+
2 z = 3 (1.3)
De (1.3), temos: 1
2 z
r
2
= 3
_
1
1
r
2
_
, substituindo em (1.1) e (1.2),
Gentil 11
obtemos
(x +y) 3
_
1
1
r
2
_
= 1 (1.4)
(x +y) 3
_
1
1
r
2
_
= 0 (1.5)
De (1.4) concluimos que
_
1
1
r
2
_
,= 0, ent ao dividindo (1.5) por 3
_
1
1
r
2
_
,
obtemos: x + y = 0, ou ainda, x = y. Substituindo este resultado em (1.4),
resulta:
(x +x) 3
_
1
1
x
2
+x
2
_
= 1 x
_
1
1
2 [x[
_
=
1
6
Temos dois casos a considerar:
a) x > 0 ([x[ = x). Sendo assim, resulta,
x
_
1
1
2 x
_
=
1
6
x =
1 + 3
2
6
= y
b) x < 0 ([x[ = x). Sendo assim, resulta,
x
_
1
1
2 (x)
_
=
1
6
x =
1 3
2
6
= y
Da equa c ao (1.3) tiramos,
z =
3 2 r
2
2
=
3
2
2 [x[
portanto,
z =
3
2
2
1 + 3
2
6
=
2 + 3
2
6
e
z
=
3
2
2
1 3
2
6
=
2 + 3
2
6
Sendo assim temos dois n umeros que satisfazem a equa c ao w
1
w = w
2
, quais
sejam:
w =
_
1 + 3
2
6
,
1 + 3
2
6
,
2 + 3
2
6
_
e
w
=
_
1 3
2
6
,
1 3
2
6
,
2 + 3
2
6
_
Observe que a equa c ao w
1
w = w
2
poderia, alternativamente, ter sido
escrita como, a x = b, com a = (1, 1, 2) e b = (1, 0, 3). Conclus ao: em H,
diferentemente do que ocorre em R ou C, uma equa c ao do 1
o
grau pode ter
duas solu c oes.
12
1.2 Propriedades das operacoes
Proposi cao 1. A opera c ao de adic ao dene em H uma estrutura de grupo co-
mutativo, isto e, verica as seguintes propriedades:
A1) Propriedade associativa;
A2) propriedade comutativa;
A3) existencia do elemento neutro;
A4) existencia do elemento simetrico (ou oposto).
Prova: Deixamos como exerccio.
Apenas observamos que, 0 = (0, 0, 0) e o elemento neutro para a adi c ao.
Dado w = (x, y, z) temos que w = (x, y, z) e o seu oposto aditivo, isto
e,
w + (w) = 0.
Subtra cao
Decorre da proposi c ao anterior que, dados os hipercomplexos w
1
= (a
1
, b
1
, c
1
)
e w
2
= (a
2
, b
2
, c
2
) existe um unico w H tal que w
1
+ w = w
2
. Esse n umero
w e chamado diferen ca entre w
2
e w
1
e indicado por w
2
w
1
.
Proposi cao 2. A opera c ao de multiplica c ao em H verica as seguintes propri-
edades:
M1) Propriedade comutativa;
M2) n ao associativa;
M3) existencia do elemento neutro;
M4) existencia do elemento inverso;
M5) n ao distributiva em rela c ao ` a adic ao.
Prova: M1) Propriedade comutativa.
Dados w
1
= (a
1
, b
1
, c
1
) e w
2
= (a
2
, b
2
, c
2
) em H, devemos mostrar que
w
1
w
2
= w
2
w
1
. De acordo com a deni c ao de multiplica c ao temos quatro
casos a considerar:
( 1 ) r
1
= 0 e r
2
= 0 (D
1
). Nesta situa c ao, temos:
w
1
w
2
= (0, 0, c
1
) (0, 0, c
2
) = (c
1
c
2
, 0, 0)
= (c
2
c
1
, 0, 0) = (0, 0, c
2
) (0, 0, c
1
) = w
2
w
1
.
( 2 ) r
1
= 0 e r
2
,= 0 (D
2
). Nesta situa c ao, temos:
w
1
w
2
= (0, 0, c
1
) (a
2
, b
2
, c
2
) =
_
c
1
c
2
a
2
r
2
,
c
1
c
2
b
2
r
2
, c
1
r
2
_
=
_
c
2
c
1
a
2
_
a
2
2
+b
2
2
,
c
2
c
1
b
2
_
a
2
2
+b
2
2
, c
1
_
a
2
2
+b
2
2
_
= (a
2
, b
2
, c
2
) (0, 0, c
1
) = w
2
w
1
.
(D
3
)
Gentil 13
( 3 ) r
1
,= 0 e r
2
= 0. An alogo ao caso ( 2 ).
( 4 ) r
1
,= 0 e r
2
,= 0 (D
4
). Nesta situa c ao, temos:
w
1
w
2
=
_
(a
1
a
2
b
1
b
2
), (a
1
b
2
+a
2
b
1
), c
1
r
2
+c
2
r
1
_
=
_
(a
2
a
1
b
2
b
1
), (a
2
b
1
+a
1
b
2
), c
2
r
1
+c
1
r
2
_
= w
2
w
1
.
M2) N ao associativa. Tomando, por exemplo,
w
1
= (0, 1, 0), w
2
= (0, 0, 1), w
3
= (0, 0, 1).
Resulta (conra),
(w
1
w
2
) w
3
= (1, 0, 0)
w
1
(w
2
w
3
) = (0, 1, 0)
M3) Existencia do elemento neutro. Existe 1 = (1, 0, 0) H com a seguinte
propriedade: w 1 = w, w H. De fato, considerando w = (a, b, c) temos
dois casos a considerar:
( i ) r =
a
2
+b
2
= 0 (D
2
), ent ao,
w 1 = (0, 0, c) (1, 0, 0) =
_
c 0 1
1
,
c 0 0
1
, c 1
_
= (0, 0, c) = w
( ii ) r =
a
2
+b
2
,= 0 (D
4
), ent ao,
w1 = (a, b, c)(1, 0, 0) =
_
(a1b0)1, (a0+1b)1, c1+0r
1
_
= (a, b, c) = w.
Da comutatividade da multiplica c ao decorre a unicidade do elemento neu-
tro, assim: sejam u e u dois elementos neutros para a multiplica c ao. Sendo
assim, ter-se-` a, por um lado, w u = w, para todo w H; em particular u u = u
(). Por outro lado tambem temos w u = w, para todo w H; em particular
u u = u. Esta ultima igualdade pode ser reescrita como u u = u. Daqui e de
() concluimos que u = u.
M4) Existencia do elemento inverso. Desejamos mostrar que,
w H
, w
1
H/ w w
1
= 1.
De fato, tomando w = (a, b, c), procuramos w
= (x, y, z) satisfazendo
ww
a
2
+b
2
,= 0. A possibilidade
r
2
=
_
x
2
+y
2
= 0 (isto e, w
= (a, b, c) (x, y, z) =
_
(a xb y), (a y+x b), c r
2
+z r
1
_
= (1, 0, 0).
Sendo assim, obtemos
_
_
(ax by)
_
1
c z
r
1
r
2
_
= 1 (1.6)
(ay +bx)
_
1
c z
r
1
r
2
_
= 0 (1.7)
c r
2
+z r
1
= 0 (1.8)
14
De (1.8), temos: 1
c z
r
1
r
2
=
r
2
1
+c
2
r
2
1
, substituindo em (1.6) e (1.7), obtemos
(ax by)
r
2
1
+c
2
r
2
1
= 1 (1.9)
(ay +bx)
r
2
1
+c
2
r
2
1
= 0 (1.10)
De (1.9) e (1.10) concluimos que ay +bx = 0, (de r
1
,= 0 a ,= 0 ou b ,= 0)
supondo a ,= 0, resulta y =
bx
a
. Substituindo este resultado em (1.9), resulta:
_
a x b (
b x
a
)
_
=
r
2
1
r
2
1
+c
2
x =
a
r
2
1
r
2
1
r
2
1
+c
2
=
a
a
2
+b
2
+c
2
.
Logo,
y =
b
a
x =
b
a
a
a
2
+b
2
+c
2
=
b
a
2
+ b
2
+c
2
e,
z = c
r
2
r
1
=
c
a
2
+b
2
+c
2
portanto,
w
=
_
a
a
2
+b
2
+c
2
,
b
a
2
+b
2
+c
2
,
c
a
2
+b
2
+c
2
_
- Vamos agora supor r
1
=
a
2
+b
2
= 0, ent ao,
w
=
_
0
0
2
+ 0
2
+c
2
,
0
0
2
+ 0
2
+c
2
,
c
0
2
+ 0
2
+c
2
_
=
_
0, 0,
1
c
_
Temos,
w w
= (0, 0, c)
_
0, 0,
1
c
_
=
_
c
1
c
, 0, 0
_
= (1, 0, 0)
Portanto, qualquer que seja w = (a, b, c) ,= (0, 0, 0), temos que:
w w
= (a, b, c)
_
a
a
2
+b
2
+c
2
,
b
a
2
+b
2
+c
2
,
c
a
2
+b
2
+c
2
_
= (1, 0, 0).
2
=
w
1
w
1
2
, onde mudamos de nota c ao: w
2
= w
1
2
.
Gentil 15
Exemplo:
(0, 1, 0)
(0, 0, 1)
= (0, 1, 0) (0, 0, 1)
1
= (0, 1, 0)
_
0
0
2
+ 0
2
+ 1
2
,
0
0
2
+ 0
2
+ 1
2
,
1
0
2
+ 0
2
+ 1
2
_
= (0, 1, 0) (0, 0, 1)
Em (D
3
), temos:
(0, 1, 0) (0, 0, 1) =
_
0 (1) 0
1
,
0 (1) 1
1
, 1 1
_
= (0, 0, 1),
portanto,
(0, 1, 0)
(0, 0, 1)
= (0, 0, 1).
Uma observa c ao importante e que para resolvermos, por exemplo, a equa c ao
a x = b em H, n ao e lcito procedermos assim:
a x = b a
1
(a x) = a
1
b (a
1
a) x = a
1
b x = a
1
b,
uma vez que a multiplica c ao em H e n ao associativa. Para resolver a equa c ao
em quest ao devemos proceder como no exemplo 4
o
), p ag. 10.
Uma outra observa c ao e a de que, como o produto e comutativo, podemos
denir a multiplica c ao em H com apenas tres senten cas, ao inves de quatro. A
opera c ao de multiplica c ao pode ser vista (e) uma aplica c ao: f : R
3
R
3
R
3
,
denida por tres senten cas.
M5) A multiplica c ao e n ao distributiva em rela c ao `a adi c ao.
Tome, por exemplo, a = (1, 2, 1), b = (0, 1, 1) e c = (3, 2, 1) e mostre
que a (b +c) ,= a b +a c.
16
1.4 Imersao de C em H
Consideremos agora a subestrutura
C de H na qual
C e formado pelos
ternos ordenados cujo terceiro termo e zero:
C =
_
(a, b, c) R
3
: c = 0
_
Consideremos agora a aplica c ao f, de C em
C, que leva cada (x, y) C ao terno
(x, y, 0)
C, tipo assim:
C
C
H
f
(a
1
, b
1
) (a
1
, b
1
, 0)
(a
2
, b
2
) (a
2
, b
2
, 0)
(a
1
+a
2
, b
1
+b
2
) (a
1
+a
2
, b
1
+b
2
, 0)
(a
1
a
2
b
1
b
2
, a
1
b
2
+a
2
b
1
) (a
1
a
2
b
1
b
2
, a
1
b
2
+a
2
b
1
, 0)
f : C
C
(x, y) (x, y, 0)
Primeiramente notemos que f e bijetora, porquanto:
( i ) todo terno (x, y, 0)
C e o correspondente, segundo f, de (x, y) C (isto
quer dizer que f e sobrejetora);
( ii ) Dados (x, y) C e (x
, y
) C, com (x, y) ,= (x
, y
) os seus correspon-
dentes (x, y, 0)
C e (x
, y
, 0)
C s ao distintos, de acordo com a deni c ao de
igualdade de ternos ordenados (isto quer dizer que f e injetora).
Em segundo lugar, notemos que f preserva as opera c oes de adi c ao e mul-
tiplica c ao pois,
f
_
(a
1
, b
1
) + (a
2
, b
2
)
_
= f
_
(a
1
+a
2
, b
1
+b
2
)
_
= (a
1
+a
2
, b
1
+b
2
, 0)
= (a
1
, b
1
, 0) + (a
2
, b
2
, 0) = f
_
(a
1
, b
1
))
_
+f
_
(a
2
, b
2
)
_
No que concerne `a multiplica c ao, temos
f
_
(a
1
, b
1
) (a
2
, b
2
)
_
= f
_
(a
1
a
2
b
1
b
2
, a
1
b
2
+a
2
b
1
)
_
= (a
1
a
2
b
1
b
2
, a
1
b
2
+a
2
b
1
, 0)
Observe que (a
1
, b
1
) (a
2
, b
2
) est a em C e como tal verica a regra de
multiplica c ao de C, isto e:
(a
1
, b
1
) (a
2
, b
2
) = (a
1
a
2
b
1
b
2
, a
1
b
2
+a
2
b
1
)
Gentil 17
Por outro lado, (a
1
a
2
b
1
b
2
, a
1
b
2
+ a
2
b
1
, 0) est a em H, obedecendo,
portanto, as regras operacionais deste sistema. Devemos mostrar que,
(a
1
a
2
b
1
b
2
, a
1
b
2
+a
2
b
1
, 0) = (a
1
, b
1
, 0)(a
2
, b
2
, 0) = f
_
(a
1
, b
1
)
_
f
_
(a
2
, b
2
)
_
Para efetuar o produto (a
1
, b
1
, 0) (a
2
, b
2
, 0) temos que analisar quatro
alternativas, em cada uma delas devemos ter: f
_
(a
1
, b
1
)(a
2
, b
2
)
_
= f
_
(a
1
, b
1
)
_
f
_
(a
2
, b
2
)
_
. Vamos provar para a alternativa (D
4
) (r
1
,= 0 e r
2
,= 0), pois para
as demais se prova de modo an alogo. Temos,
(a
1
, b
1
, 0) (a
2
, b
2
, 0) =
_
(a
1
a
2
b
1
b
2
) 1, (a
1
b
2
+a
2
b
1
) 1, 0 r
2
+ 0 r
1
_
= (a
1
a
2
b
1
b
2
, a
1
b
2
+a
2
b
1
, 0)
Sendo assim,
(a
1
a
2
b
1
b
2
, a
1
b
2
+a
2
b
1
, 0) = (a
1
, b
1
, 0)(a
2
, b
2
, 0) = f
_
(a
1
, b
1
)
_
f
_
(a
2
, b
2
)
_
.
Devido ao fato de existir uma aplica c ao f : C
C que preserva as opera c oes
de adi c ao e multiplica c ao, dizemos que C e
C s ao isomorfos.
Devido ao isomorsmo, operar com (x, y, 0) leva a resultados an alogos aos
obtidos operando com (x, y); em raz ao disto, de agora em diante, faremos a
identica c ao que se segue:
(x, y) = (x, y, 0), (x, y) C
Em particular, pela teoria dos n umeros complexos, podemos escrever ainda,
x = (x, 0) = (x, 0, 0), x R
Aceita estas igualdades, temos em particular que,
0 = (0, 0) = (0, 0, 0), 1 = (1, 0) = (1, 0, 0), a = (a, 0) = (a, 0, 0).
Assim o corpo C dos n umeros complexos passa a ser considerado uma
subestrutura do sistema H dos n umeros hipercomplexos.
Nota: Para o nosso proximo tem veja [5].
18
1.5 Imersao de H2D em H3D
Consideremos agora a subestrutura
H de H na qual
H e formado pelos
ternos ordenados cujo segundo termo e zero:
H =
_
(a, b, c) R
3
: b = 0
_
Vamos mostrar que
He fechado para as opera c oes de soma e multiplica c ao.
De fato, sejam (a
1
, 0, c
1
) e (a
2
, 0, c
2
) dois pontos em
H, ent ao,
(a
1
, 0, c
1
) + (a
2
, 0, c
2
) = (a
1
+a
2
, 0, c
1
+c
2
)
H
Por outro lado (ver p ag. 8),
_
a
1
, 0, c
1
) (a
2
, 0, c
2
_
=
_
c
1
c
2
, 0, 0
_
, se r
1
= 0 e r
2
= 0
_
c
1
c
2
a
2
r
2
, 0, c
1
r
2
_
,
se r
1
= 0 e r
2
,= 0
_
c
1
c
2
a
1
r
1
, 0, c
2
r
1
_
,
se r
1
,= 0 e r
2
= 0
_
(a
1
a
2
), 0, c
1
r
2
+c
2
r
1
_
, se r
1
,= 0 e r
2
,= 0
_
_
Onde,
r
1
= [a
1
[ , r
2
= [a
2
[ e = 1
c
1
c
2
[a
1
[ [a
2
[
De outro modo,
(a
1
, 0, c
1
) (a
2
, 0, c
2
) =
_
c
1
c
2
, 0, 0
_
, se a
1
= 0 e a
2
= 0
_
c
1
c
2
a
2
[a
2
[
, 0, c
1
[a
2
[
_
,
se a
1
= 0 e a
2
,= 0
_
c
1
c
2
a
1
[a
1
[
, 0, c
2
[a
1
[
_
,
se a
1
,= 0 e a
2
= 0
_
a
1
a
2
c
1
c
2
a
1
a
2
[a
1
[ [a
2
[
, 0, c
1
[a
2
[ +c
2
[a
1
[
_
, se a
1
,= 0 e a
2
,= 0
_
_
Portanto,
(a
1
, 0, c
1
) (a
2
, 0, c
2
)
H
Gentil 19
Consideremos agora a aplica c ao f, de H 2D em
H, que leva cada
(x, y) H2D ao terno (x, 0, y)
H, tipo assim:
H2D
H
H
f
(a
1
, b
1
) (a
1
, 0, b
1
)
(a
2
, b
2
) (a
2
, 0, b
2
)
(a
1
+a
2
, b
1
+b
2
) (a
1
+a
2
, 0, b
1
+b
2
)
(a
1
a
2
b
1
b
2
, a
1
b
2
+a
2
b
1
) (a
1
a
2
b
1
b
2
, 0, a
1
b
2
+a
2
b
1
)
f : H2D
H
(x, y) (x, 0, y)
Podemos mostrar que f e um isomorsmo. Devido ao fato de existir
uma aplica c ao f : H 2D
H que preserva as opera c oes de adi c ao e multi-
plica c ao, dizemos que H2D e
H s ao isomorfos.
Devido ao isomorsmo, operar com (x, 0, y) leva a resultados an alogos aos
obtidos operando com (x, y); em raz ao disto, de agora em diante, faremos a
identica c ao que se segue:
(x, y) = (x, 0, y), (x, y) H2D
Em particular, pela teoria dos n umeros hipercomplexos2D, podemos es-
crever ainda,
x = (x, 0) = (x, 0, 0), x R
Aceita estas igualdades, temos em particular que,
0 = (0, 0) = (0, 0, 0), 1 = (1, 0) = (1, 0, 0), (0, 1) = (0, 0, 1) = j.
Assim o sistema H 2D, dos n umeros hipercomplexos bidimensionais,
passa a ser considerado uma subestrutura do sistema H dos n umeros hipercom-
plexos tridimensionais.
Em resumo, os n umeros H3D generalizam, a um s o tempo, os n umeros
complexos e os hipercomplexos2D.
Podemos ilustrar a imersao de estruturas atraves de diagramas de Venn,
assim:
C
R
H2D
H3D
20
Proposi cao 3. Para todo k R, a seguinte identidade
k (a, b, c) = (k a, k b, [k[ c) =
_
(k a, k b, k c), se k 0;
(k a, k b, k c), se k < 0.
se verica.
Prova: Temos algumas alternativas a considerar:
( i ) k = 0, trivial.
( ii ) k ,= 0 e r
2
=
a
2
+b
2
= 0. Temos (D
3
):
k (0, 0, c) = (k, 0, 0) (0, 0, c) =
_
0 c k
[k[
,
0 c 0
[k[
, c [k[
_
= (k 0, k 0, [k[ c)
( iii ) k ,= 0 e r
2
=
a
2
+b
2
,= 0. Temos (D
4
):
k (a, b, c) = (k, 0, 0) (a, b, c) =
_
(k a 0 b) 1, (k b + 0 a) 1, 0 r
2
+c [k[
_
= (k a, k b, [k[ c
_
.
_
a =
w
j
, se a 0;
a =
w
j
, se a < 0.
(1.11)
Nota: Esta proposi c ao nos alerta quando formos dividir por j.
Gentil 21
1.6 Forma algebrica
1.6.1 Unidade imaginaria/Unidade hiperimaginaria
Chamamos unidade imaginaria e indicamos por i o n umero hipercomplexo
(0, 1, 0). Notemos que
i
2
= (0, 1, 0) (0, 1, 0) =
_
(0 0 1 1) 1, (0 1 + 0 1) 1, 0 1 + 0 1
_
= (1, 0, 0) = 1,
isto e, a propriedade b asica da unidade imaginaria e,
i
2
= 1
Chamamos unidade hiperimaginaria e indicamos por j o n umero hiper-
complexo (0, 0, 1). Notemos que
j
2
= (0, 0, 1) (0, 0, 1) = (1 1, 0, 0) = 1,
isto e, a propriedade b asica da unidade hiperimaginaria e,
j
2
= 1
Digamos que a unidade hiperimaginaria tem duas propriedades b asicas, sendo
a outra dada por,
1 j = j (1.12)
propriedade esta que n ao e partilhada pela unidade imaginaria.
A bem da verdade esta e apenas um caso especial da seguinte:
Vamos multiplicar j pelo n umero complexo z = (x, y, 0). Temos
(0, 0, 1) (x, y, 0) =
_
10x
r
2
,
10y
r
2
, 1 r
2
_
= (0, 0,
_
x
2
+y
2
)
Portanto,
j z = ( 0, 0, [z[ )
Observe que se [z[ = 1 (crculo unit ario) ent ao z j = j.
Forma algebrica
Dado um n umero hipercomplexo qualquer w = (x, y, z), temos:
w = (x, y, z) = (x, 0, 0) + (0, y, 0) + (0, 0, z)
Temos,
( i ) (x, 0, 0) = x.
( ii ) Temos,
y (0, 1, 0) = (y 0, y 1, [y[ 0) = (0, y, 0) y i = (0, y, 0)
( iii ) Se z 0, ent ao (0, 0, z) = z (0, 0, 1) = z j.
Se z 0 ( [z[ = z ), ent ao
j z = z(j) = z(0, 0, 1) = (z0, z0, [z[(1)) = (0, 0, (z)(1)) = (0, 0, z)
22
Tendo em conta estes resultados podemos escrever,
w = (x, y, z) =
_
x +i y +j z, se z 0;
x +i y j z, se z 0.
(1.13)
Assim, todo n umero hipercomplexo w = (x, y, z) pode ser escrito sob a
forma acima, chamada forma algebrica. O n umero real x e chamado parte real
de w, o n umero real y e chamado parte imaginaria de w e o n umero real z e
chamado parte hiperimaginaria de w.
Neste momento precisamos fazer um esclarecimento assaz importante: A
estas alturas o leitor ja percebeu que a algebra hipercomplexa e ligeiramente
distinta da algebra real ou complexa. Isto nos obriga a estar (bastante) atento
quanto `as nota c oes. Por exemplo, consideremos as quatro express oes seguintes
x +i y j z
x +i y z j
x +i y +j(z)
x +i y +z(j)
Vejamos o signicado da terceira parcela em cada uma delas:
jz, signica: o oposto de j que multiplica z
zj, signica: o oposto de z que multiplica j
j(z), signica: o oposto de z que multiplica j
z(j), signica: o oposto de j que multiplica z
O leitor pode mostrar, a partir da proposi c ao 3, que
jz ,= zj = j(z)
Podemos dar as seguintes denomina c oes a alguns hipercomplexos:
w = (0, 0, c), c ,= 0, hiperimaginario puro;
w = (0, b, 0), b ,= 0, imaginario puro;
w = (a, 0, 0), real puro;
w = (a, b, 0), a ,= 0, b ,= 0, complexo puro;
w = (a, b, c), c ,= 0, hipercomplexo puro;
w = (a, b, c), a ,= 0 ou b ,= 0; c ,= 0, hipercomplexo n ao-singular.
Nota: Um hipercomplexo n ao-singular e um hipercomplexo puro com a ,= 0 ou
b ,= 0.
Gentil 23
Um milagre aos olhos dos habitantes Complexos
Se, algum dia, um matematico do Universo complexo se defrontar com a se-
guinte equa c ao elementar: (1x + x)x = 1, ele teria duas sadas: abandonar
o jogo, ou consultar um matematico do universo Hipercomplexo
. De fato,
esta e uma equa c ao impossvel de se resolver dentro dos universos numericos
conhecidos dos matematicos (hodiernos), em raz ao de que vale:
(1 x +x) x = 1 0 x = 1
Pois bem, vamos assumir o desao.
Proposi cao 5 (Gentil/04.12.2008). A seguinte equac ao,
(1 x +x) x = 1 (1.14)
possui solu c ao em H.
Prova: Tomando x = (c, d, e), temos 1 x = 1 (c, d, e) = (c, d, e),
pela prop. 3, p ag. 20. Portanto,
1 x +x = (c, d, e) + (c, d, e) = (0, 0, 2e)
Substituindo este resultado em (1.14), obtemos
(0, 0, 2e) (c, d, e) = 1
O produto acima ca,
(0, 0, 2e) (c, d, e) =
_
_
_
(2e
2
, 0, 0), se c = d = 0;
(2e
2
c/r
2
, 2e
2
d/r
2
, 2e r
2
), se c ,= 0 ou d ,= 0.
Onde: r
2
=
c
2
+d
2
. Para c = d = 0 concluimos que e =
2/2. Portanto,
x =
_
0, 0,
2
2
_
x =
2/2 j ou x =
_
2/2 j
_
.
Observe que o n umero j foi o respons avel por este milagre!
No caso eu, que por enquanto, sou o unico habitante deste Universo.
24
Considere a equa c ao,
0 x = b, b ,= 0 (1.15)
nos reais, ou complexos; como, nestes universos, vale
0 = 1 x +x
0 = 1 (x) + (x)
Segue-se que,
0 x = b
_
_
_
(1 x +x) x = b
(1 (x) + (x)) x = b
(1.16)
Em H, embora n ao possamos resolver diretamente a equa c ao (1.15), pode-
mos resolver suas equivalentes, dadas acima.
Se b > 0, resolvemos a segunda das equa c oes em (1.16), caso contrario
resolvemos a primeira. Por exemplo, seja a equa c ao 0 x = 1, ent ao,
0 x = 1 (1 (x) + (x)) x = 1
Tomando x = (c, d, e), temos, x = (c, d, e), logo,
1 (x) + (x) = 1 (c, d, e) + (c, d, e) = (c, d, e) + (c, d, e) = (0, 0, 2e)
Ent ao,
(1 (x) + (x)) x = 1 (0, 0, 2e) (c, d, e) = 1
O produto acima ca,
(0, 0, 2e) (c, d, e) =
_
_
_
(2e
2
, 0, 0), se c = d = 0;
(2e
2
c/r
2
, 2e
2
d/r
2
, 2e r
2
), se c ,= 0 ou d ,= 0.
Onde: r
2
=
c
2
+d
2
. Para c = d = 0 concluimos que e =
2/2. Portanto,
x =
_
0, 0,
2
2
_
x =
2/2 j ou x =
_
2/2 j
_
.
, sen cos =
y
, e sen =
z
.
Observe que, existe ao menos um par (, ) satisfazendo a deni c ao,
pois
_
cos cos
_
2
+
_
sen cos
_
2
+
_
sen
_
2
=
_
x
_
2
+
_
y
_
2
+
_
z
_
2
=
x
2
+y
2
+z
2
2
= 1.
Fixado o hipercomplexo w ,= 0, est ao xados cos cos , sen cos e
sen , mas os angulos e podem assumir innitos valores, congruentes dois
a dois (congruencia modulo 2).
Assim o hipercomplexo w ,= 0 tem argumento,
(, ) = (
0
+ 2k,
0
+ 2k
); k, k
Z (1.18)
onde (
0
,
0
) e chamado argumento principal de w, e tal que
cos
0
cos
0
=
x
, sen
0
cos
0
=
y
, e sen
0
=
z
.
26
e
0
0
< 2,
2
0
2
(1.19)
Por vezes trabalharemos com (
0
,
0
) chamando-o simplesmente argu-
mento de w.
Exemplos:
1
o
) Para w =
3 +i, temos =
_
(
3)
2
+ 1
2
+ 0
2
= 2, ent ao
_
_
cos
0
cos
0
=
x
3
2
sen
0
cos
0
=
y
=
1
2
sen
0
=
z
=
0
2
= 0
Tendo em conta (1.19), resulta
0
=
6
=
6
+ 2k
0
= 0 = 0 + 2k
2
o
) Para w = (0, 1, 1), temos =
0
2
+ 1
2
+ 1
2
=
2, ent ao
_
_
cos
0
cos
0
=
x
=
0
2
= 0
sen
0
cos
0
=
y
=
1
2
sen
0
=
z
=
1
2
Tendo em conta (1.19), desta utima equa c ao concluimos que
0
=
4
, sendo
assim resulta
cos
0
cos
4
= 0 cos
0
= 0
0
=
2
sen
0
cos
4
=
2
2
sen
0
= 1
Sendo assim, temos
=
2
+ 2k, =
4
+ 2k
3
o
) Para w =
3 + 3i 2j, temos =
_
(
3)
2
+ 3
2
+ (2)
2
= 4, ent ao
_
_
cos
0
cos
0
=
x
3
4
sen
0
cos
0
=
y
=
3
4
sen
0
=
z
=
2
4
=
1
2
Gentil 27
Tendo em conta (1.19), desta utima equa c ao concluimos que
0
=
6
, sendo
assim resulta
cos
0
cos(
6
) =
3
4
cos
0
=
1
2
0
=
2
3
sen
0
cos(
6
) =
3
4
sen
0
=
3
2
Sendo assim, temos
=
2
3
+ 2k, =
6
+ 2k
_
cos
0
cos
0
+i sen
0
cos
0
+j sen
0
_
, se sen
0
0;
_
cos
0
cos
0
+i sen
0
cos
0
j sen
0
_
, se sen
0
< 0.
(1.20)
Observe que se
0
= 0, resulta w =
_
cos
0
+ i sen
0
).
28
1.7.1 Representacao graca
As no c oes de modulo e argumento tornam-se mais concretas quando repre-
sentamos os n umeros hipercomplexos w = (x, y, z) pelos pontos do espa co R
3
,
com a conven c ao de marcamos sobre os eixos 0X, 0Y e 0Z, respectivamente, a
parte real, a parte imaginaria e a parte hiperimaginaria de w.
Assim a cada n umero hipercomplexo w = (x, y, z) corresponde um unico
ponto P do espa co X0Y Z, assim:
0
z
X
x
Y
y
Z
P(x, y, z)
r
x
2
+y
2
+z
2
r =
x
2
+y
2
0
0
0 0 <2
2
0
2
Note que a distancia entre w = (x, y, z) e 0 = (0, 0, 0) e o modulo de w:
[w[ =
_
x
2
+y
2
+z
2
=
Nomenclatura:
X0Y Z = espa co R
3
;
0X = eixo real;
0Y = eixo imaginario;
0Z = eixo hiperimaginario;
X0Y = plano complexo C;
X0Z = plano hipercomplexo 2D;
P = axo de w.
Observa c ao: Gr acamente a condi c ao r =
a
2
+b
2
= 0 para w = (a, b, c)
signica que este n umero est a localizado sobre o eixo 0Z.
Desta forma as senten cas que denem o produto podem ser interpretadas
como:
1
a
) r
1
= r
2
= 0. Neste caso w
1
e w
2
est ao situados sobre o eixo 0Z. Isto e,
dois hiperimaginarios puro s ao multiplicados segundo D
1
.
2
a
) r
1
= 0 e r
2
,= 0. Neste caso w
1
est a situado sobre o eixo 0Z e w
2
est a
situado fora deste eixo. Observe que as condi c oes (D
2
) e (D
3
), para o produto,
podem ser unicadas em uma unica, onde fazemos r
1
(ou r
2
) corresponder ao
ponto que situa-se fora do eixo 0Z.
3
a
) r
1
,= 0 e r
2
,= 0. Neste caso w
1
e w
2
est ao situados, ambos, fora do eixo 0Z.
Desta forma dois n umeros que n ao s ao hiperimaginarios puro s ao multiplicados
em D
4
.
Gentil 29
Considere, novamente, o diagrama de Venn:
C
R
H2D
H3D
A seguir colocamos em destaque uma vers ao geometrica,
Y
Z
i
R
Plano C
j
R
Y
Z
P
l
a
n
o
H
2
D
Vimos que em H temos w ,= 1 w. Sendo,
w = (x, y, z)
w = (x, y, z)
1 w = (x, y, z)
Geometricamente w e uma rota c ao de 180
o
(em torno da origem) em w; en-
quanto 1 w pode ser visto como a rota c ao anterior seguida de uma reex ao,
com respeito ao plano complexo. Por exemplo, assim,
30
Y
Z
X
w
w
1w
Um problema classico no contexto dos hipercomplexos
O fato de os hipercomplexos residirem em dimensao 3, enquanto os com-
plexos em dimensao 2 isto, naturalmente, se reete na (re) solu c ao de um mesmo
problema trabalhado em um ou outro destes espa cos. Vejamos um exemplo do
que estamos falando. Vamos resolver o classico,
Problema: Separar o n umero 10 em duas partes x e y tais que o produto destas
seja 40.
Solu c ao: Devemos resolver o seguinte sistema,
_
x +y = 10 (1.21)
x y = 40 (1.22)
1
o
) Resolu c ao no universo C.
Tirando y na primeira equa c ao e substituindo na segunda, obtemos:
x
_
10 + (x)
_
= 40
Aplicando a propriedade distributiva e associativa temos 10 x x
2
= 40, ou
ainda,
x
2
10x + 40 = 0. Sendo assim, temos
x =
(10)
_
(10)
2
4 1 40
2
= 5
15
Sendo assim, em C, temos uma unica solu c ao para este problema:
X
Y
x=5+i
15
y=5i
15
5
x = 5 +i
15
y = 5 i
15
Gentil 31
2
o
) Resolu c ao no universo H.
Aqui vamos fazer uma mudan ca de nota c ao,
_
x
+y
= 10 (1.23)
x
= 40 (1.24)
Tirando y
_
10 + (x
)
_
= 40 (1.25)
Observe que em H n ao podemos aplicar, na equa c ao acima, a propriedade distri-
butiva da multiplica c ao em rela c ao ` a adi c ao. Devemos proceder assim: fa camos
x
_
(10x x
2
+y
2
)
_
1 +
z
2
r
1
r
2
_
= 40 (1.26)
(2xy + 10y)
_
1 +
z
2
r
1
r
2
_
= 0 (1.27)
z (r
2
r
1
) = 0 (1.28)
De (1.26) e (1.27) concluimos que 2xy +10y = 0, ou ainda (x+5) y = 0.
Desta equa c ao tiramos y = 0 ou x = 5. Ent ao:
I ) x = 5
_
_
_
r
1
= r
2
=
_
y
2
+ 25
= 1 +
z
2
y
2
+25
As equa c oes (1.27) e (1.28) est ao satisfeitas, resta satisfazer (1.26):
(10 5 5
2
+y
2
)
_
1 +
z
2
25 +y
2
_
= 40
Donde,
y
2
+z
2
= 15 (cilindro)
Logo,
( x = 5 )
. .
plano
( y
2
+z
2
= 15 )
. .
cilindro
= crculo (1.29)
32
II ) y = 0
_
_
_
r
1
= [x[, r
2
= [x 10[
= 1 +
z
2
|x||x10|
A equa c ao (1.27) est a satisfeita, resta satisfazer (1.26) e (1.28):
(10x x
2
+ 0
2
)
_
1 +
z
2
[x[ [x 10[
_
= 40
z
_
[x[ [x 10[
_
= 0
Desta ultima equa c ao concluimos que z = 0 ou [x[ [x10[ = 0. Se z = 0, na
primeira equa c ao obtemos 10x x
2
= 40, a qual n ao tem solu c ao (porquanto x
deve ser real). Se [x[ [x 10[ = 0, resulta x = 5; volta ao primeiro caso.
Deste modo existem innitas solu c oes para o nosso problema, todas da
forma,
x
= (5, y, z), y
= ( 5,
15, 0 ), y
= ( 5,
15, 0 )
que e a solu c ao complexa.
Tomando, por exemplo, y = 0, obtemos z =
= ( 5, 0,
15 ), y
= ( 5, 0,
15 )
que e a solu c ao hipercomplexa (2 D) (ver [5]).
A equa c ao y
2
+ z
2
= 15 representa um cilindro em R
3
, a interse c ao deste
cilindro com o plano x = 5 nos d a um crculo (eq. (1.29)), onde moram as
innitas solu c oes do nosso problema. Geometricamente temos,
X
Y
Z
x
5
X
Y
Z
5
No graco da direita temos, na cor azul, os axos da solu c ao complexa
e, na cor vermelha, os axos da solu c ao hipercomplexa (2 D).
Gentil 33
Multiplica cao na forma trigonometrica
Veremos a seguir que a multiplica c ao na forma trigonometrica se apre-
senta de forma mais simples (e mais estetica) que na forma retangular e, o que
e melhor, nos possibilita dar uma interpreta c ao geometrica ao produto hiper-
complexo, o que aumentar a, substancialmente, o espectro de aplica c oes destes
n umeros.
Proposi cao 6. Dois n umeros na forma trigonometrica,
w
1
=
1
(cos
1
cos
1
, sen
1
cos
1
, sen
1
)
w
2
=
2
(cos
2
cos
2
, sen
2
cos
2
, sen
2
)
onde cos
1
0 e cos
2
0, s ao multiplicados da seguinte forma:
w
1
w
2
=
1
2
_
cos(
1
+
2
)cos(
1
+
2
), sen (
1
+
2
)cos(
1
+
2
), sen (
1
+
2
)
_
Prova: Apendice, p ag. 142
Notas:
1
a
) Uma observa c ao importante a respeito desta proposi c ao e que, para qual-
quer n umero do eixo 0Z ( =
2
+ k , k Z) devemos tomar = 0 e =
2
ou = 0 e =
2
, antes de fazer a multiplica c ao.
Uma vez que pontos do eixo OZ tem indeterminado, estamos levan-
tando esta indetermina c ao convencionando que = 0, n ao h a nenhum mal
nisto, desde que estejamos todos de acordo.
2
a
) Para deduzir esta formula para a multiplica c ao supomos cos
1
0 e
cos
2
0; esta n ao e uma restri c ao seria tendo em conta que qualquer hi-
percomplexo w pode ser escrito com cos 0 (ver (1.18), p ag. 25).
3
a
) Observe outrossim que, enquanto a multiplica c ao em coordenadas retangu-
lares (deni c ao) e dada em quatro senten cas, na forma trigonometrica e dada
em apenas uma. Isto se deve `a restri c ao referida na nota anterior.
Corolario 2. O m odulo do produto de dois n umeros hipercomplexos e igual ao
produto dos m odulos dos fatores. Isto e,
[w
1
w
2
[ = [w
1
[ [w
2
[
Prova: Basta ter em conta que, para quaisquer angulos e , temos:
_
(cos cos )
2
+ ( sen cos )
2
+ ( sen )
2
= 1
2
_
cos(
1
2
) cos(
1
2
), sen (
1
2
) cos(
1
2
), sen (
1
2
)
_
34
Prova: Provamos esta proposi c ao utilizando a anterior. Pois bem, tendo
em conta (1.17) (p ag. 25) escrevemos
w
1
2
=
1
2
_
cos
2
cos
2
, sen
2
cos
2
, sen
2
_
=
1
2
_
cos(
2
) cos(
2
), sen (
2
) cos(
2
), sen(
2
)
_
Realizando o produto w
1
w
1
2
de acordo com a proposi c ao 6, temos o resultado
desejado.
Corolario 3. O m odulo do quociente de dois n umeros hipercomplexos e igual
ao quociente dos m odulos dos hipercomplexos. Isto e,
w
1
w
2
=
[w
1
[
[w
2
[
Prova: Basta ter em conta que, para quaisquer angulos e , temos:
_
(cos cos )
2
+ ( sen cos )
2
+ ( sen )
2
= 1
1.8 Potenciacao
Deni cao 7. Sejam w um n umero hipercomplexo e n um n umero natural.
Potencia de base w e expoente n e o n umero w
n
tal que:
_
w
0
= 1;
w
n
= w
n1
w, n, n 1.
Desta deni c ao decorre que:
w
1
= w
0
w = 1 w
w
2
= w
1
w = w w
w
3
= w
2
w = (w w) w
w
4
= w
3
w =
_
(w w) w
w
Proposi cao 8. A seguinte identidade e v alida
j
n
=
_
1, se n e par;
j, se n e mpar.
Prova: Indu c ao sobre n.
1
o
) n par.
Para n = 2 ja mostramos que a proposi c ao e verdadeira. Suponhamos a
Gentil 35
validade da mesma para n = k, isto e, j
k
= 1. Mostremos que a proposi c ao
continua valida para o proximo par n = k + 2:
j
k+2
= (j
k
j) j = (1 j) j = j j = j
2
= 1
2
o
) n mpar. An alogo.
Lema 1. Se w = (x, y, z) ent ao,
w
2
=
_
_
(z
2
, 0, 0), se x = y = 0;
_
(x
2
y
2
)
_
1
z
2
x
2
+y
2
_
, 2 xy
_
1
z
2
x
2
+y
2
_
, 2z
_
x
2
+y
2
_
, se x ,= 0 ou y ,= 0.
Prova: Seja w = (x, y, z). Para calcular w w, temos duas alternativas,
1
a
) r =
_
x
2
+y
2
= 0 (x = y = 0). Deste modo calculamos o produto em (D
1
)
(p ag. 8), w w = (z z, 0, 0).
2
a
) r =
_
x
2
+y
2
,= 0. Deste modo calcule o produto em (D
4
).
Como exemplo, calculemos (i +j)
2
. Temos
i +j = (0, 1, 0) + (0, 0, 1) = (0, 1, 1) x = 0, y = 1, z = 1.
Sendo assim, temos
(i +j)
2
=
_
(x
2
y
2
)
_
1
z
2
x
2
+y
2
_
, 2 xy
_
1
z
2
x
2
+y
2
_
, 2z
_
x
2
+y
2
_
=
_
(0
2
1
2
)
_
1
1
2
0
2
+ 1
2
_
, 2 0 1
_
1
1
2
0
2
+ 1
2
_
, 2 1
_
0
2
+ 1
2
_
= (0, 0, 2) = 2j
Exerccio: Seja w H, mostre que w (w) C.
Dado w = (x, y, z) H observamos que a cota de w
2
tem o mesmo sinal
de z. Isto signica que ao multiplicarmos um hipercomplexo por ele mesmo o
resultado permanece no mesmo semi-espa co (z > 0 ou z < 0) de w. Vamos
mostrar que isto vale para qualquer potencia de w.
Proposi cao 9. Seja w = (x, y, z) H. Temos,
Se w
n
= (x
, y
, z
), ent ao sign (z
) = sign (z), n 2.
Prova: Indu c ao sobre n. Para n = 2 a proposi c ao decorre do lema (1).
Suponhamos a proposi c ao verdadeira para n = k. Isto e,
w
k
= (a, b, c), onde sign (c) = sign(z) (hip otese de indu c ao)
E mostremos que vale para n = k + 1. Isto e,
w
k+1
= (x
, y
, z
) sign(z
= c r
2
+ z r
1
, donde decorre a tese, tendo em conta a hipotese de
indu c ao.
Deni cao 8 (Reexo). Dado o hipercomplexo w = (x, y, z) denimos como o
reexo de w o hipercomplexo (x, y, z). Notac ao: w = (x, y, z).
Temos a seguinte,
Proposi cao 10. Seja o hipercomplexo w = (a, b, c); se w
n
= (d, e, f), ent ao
w
n
= (d, e, f).
Prova: Indu c ao sobre n. Sendo, w = (a, b, c); para n = 2, temos
w
2
=
_
(a
2
b
2
)
_
1
c
2
a
2
+b
2
_
, 2 a b
_
1
c
2
a
2
+b
2
_
, 2c
_
a
2
+b
2
_
w
2
=
_
(a
2
b
2
)
_
1
(c)
2
a
2
+b
2
_
, 2 a b
_
1
(c)
2
a
2
+b
2
_
, 2(c)
_
a
2
+b
2
_
Sendo assim a proposi c ao resulta verdadeira para n = 2. Suponhamos verda-
deira para n = k, isto e,
Se w
k
= (d, e, f), ent ao w
k
= (d, e, f) (H.I.)
Mostremos que vale para n = k + 1, isto e,
Se w
k+1
= (g, h, i), ent ao w
k+1
= (g, h, i) (T.I.)
Vamos calcular os n umeros w
k+1
e w
k+1
para efeito de compara c ao,
w
k+1
= w
k
w = (d, e, f) (a, b, c) = (a, b, c) (d, e, f)
=
_
(a d b e), (a e +d b), c r
2
+f r
1
_
(1.30)
Onde,
r
1
=
_
a
2
+b
2
, r
2
=
_
d
2
+ e
2
e = 1
c f
r
1
r
2
Por outro lado, temos
w
k+1
= w
k
w = (d, e, f) (a, b, c) = (a, b, c) (d, e, f)
=
_
(a d b e)
, (a e +d b)
, (c) r
2
+ (f) r
1
_
=
_
(a d b e)
, (a e +d b)
, (c r
2
+f r
1
)
_
(1.31)
Onde,
r
1
=
_
a
2
+b
2
, r
2
=
_
d
2
+e
2
e
= 1
(c) (f)
r
1
r
2
Comparando (1.30) e (1.31), e tendo em conta que =
, a proposi c ao resulta
verdadeira!
Gentil 37
Observe que,
w + w C, w w C
Com o auxlio do lema 1 vamos deduzir uma formula para o c alculo de
w
2
w
2
, assim: Fa camos
w
2
=
_
(x
2
y
2
), 2xy, 2zr
_
onde,
= 1
z
2
x
2
+y
2
, r =
_
x
2
+y
2
Para o c alculo de w
2
w
2
, fa camos,
r =
_
(x
2
y
2
)
2
2
+ 4x
2
y
2
2
= [[r
2
= 1
(2zr)
2
_
(x
2
y
2
))
2
+ (2xy)
2
= 1
4z
2
r
2
2
(x
2
+y
2
)
2
= 1
4z
2
r
2
2
r
4
= 1
4z
2
2
r
2
= 1
4z
2
2
(x
2
+y
2
)
Deste modo, sendo w
2
w
2
= (X, Y, Z), devemos ter
X =
_
(x
2
y
2
)
2
2
4x
2
y
2
2
_
Y = 2
_
(x
2
y
2
)
_
(2xy)
Z = 2 (2zr) r
Simplicando,
X =
_
(x
2
y
2
)
2
4x
2
y
2
_
Y = 4xy(x
2
y
2
)
2
(1.32)
Z = 4zr[[r
2
= 4z(x
2
+y
2
)
3
2
[[
38
Potencia cao na forma trigonometrica
Para os n umeros hipercomplexos vale uma vers ao (mais fraca) da lei de De
Moivre,
Proposi cao 11 (De Moivre). Dados o hipercomplexo w = (cos cos , sen
cos , sen ), n ao nulo, e o natural n 2, temos:
w
n
=
n
(cos n cos n, sen n cos n, sen n) (1.33)
desde que: cos 0, cos 2 0, . . . , cos(n 1) 0.
Prova: Princpio da Indu c ao Finita. Para n = 2, a proposi c ao e verdadeira
(devido `a prop. 6).
Admitamos a validade da proposi c ao para n = k 1:
w
k1
=
k1
_
cos(k1) cos(k1) , sen(k1) cos(k1) , sen (k1)
_
onde, cos 0, cos 2 0, . . . , cos
_
(k 1) 1
_
0.
E provemos que vale para n = k:
w
k
= w
k1
w =
k1
_
cos(k 1) cos(k 1) , sen(k 1) cos(k 1) , sen (k 1)
2
(n 1)
2
2(n 1)
2(n 1)
(1.34)
Gentil 39
1.9 Forma polar
As proposi c oes 6 (p ag. 33) e 7 nos permitem adotar uma outra nota c ao
para os n umeros hipercomplexos: a forma polar, assim designada,
w =
Exemplos: Exprimir os seguintes n umeros na forma polar:
a) i b) j c) 1 d) 1 e) 1 +
3 i f) (1, 1,
2).
Solu cao: Lembramos que,
=
_
x
2
+y
2
+z
2
, cos cos =
x
, sen cos =
y
, sen =
z
.
Temos,
a) i = (0, 1, 0), =
0
2
+ 1
2
+ 0
2
= 1, temos
sen =
z
=
0
1
= 0 = 0
o
(90
o
90
o
)
cos cos 0
o
=
0
1
= 0 cos = 0
= 90
o
(0
o
< 360
o
)
sen cos 0
o
=
1
1
= 1 sen = 1
Sendo assim, temos: i = 1
90
o
0
o
b) j = (0, 0, 1), =
0
2
+ 0
2
+ 1
2
= 1, temos
sen =
z
=
0
1
= 0 = 0
o
cos cos 90
o
=
0
1
= 0 = indeterminado.
sen cos 90
o
=
0
1
= 0 =indeterminado.
Escolhendo = 0
o
, obtemos: j = 1
0
o
90
o
c) 1 = (1, 0, 0), =
_
(1)
2
+ 0
2
+ 0
2
= 1, temos
sen =
z
=
0
1
= 0 = 0
o
cos cos 0
o
=
1
1
= 1 cos = 1
= 180
o
sen cos 0
o
=
0
1
= 0 sen = 0
Sendo assim, temos: 1 = 1
180
o
0
o
40
d) 1 = (1, 0, 0), =
1
2
+ 0
2
+ 0
2
= 1, temos
sen =
z
=
0
1
= 0 = 0
o
cos cos 0
o
=
1
1
= 1 cos = 1
= 0
o
sen cos 0
o
=
0
1
= 0 sen = 0
Sendo assim, temos: 1 = 1
0
o
0
o
e) 1 +
3 i = (1,
3, 0), = 2, temos
sen =
z
=
0
2
= 0 = 0
o
cos cos 0
o
=
1
2
cos =
1
2
= 60
o
sen cos 0
o
=
3
2
sen =
3
2
Sendo assim, temos: 1 +
3 i = 2
60
o
0
o
f) (1, 1,
2), = 2, temos
sen =
z
2
2
= 45
o
cos cos(45
o
) =
x
=
1
2
cos =
1
2
= 45
o
sen cos(45
o
) =
y
=
1
2
sen =
1
2
Sendo assim, temos: (1, 1,
2) = 2
45
o
45
o
Multiplica cao e divisao na forma polar
Para multiplicar ou dividir dois hipercomplexos na forma polar nos valemos
das proposi c oes 6 (p ag. 33) e 7, assim:
Dados, w
1
=
1
1 1
e w
2
=
2
2 2
, temos:
M) Multiplica c ao
w
1
w
2
=
1
2
1+2 1+2 (1.35)
D) Divis ao
w
1
w
2
=
1
2
12 12 (1.36)
Exemplos: Realizar na forma polar as seguintes opera c oes:
a) (1) i b) (j + 1)
2
c) (j 1)
2
d)
( i+1 )
2
( j+1 )
2
e)
_
j+1
j1
_
2
f) (i +j)
2
g) (i j)
2
h) (j i)
2
Gentil 41
Solu cao:
a) Temos,
1 = (1, 0, 0) = 1
180
o
0
o
i = (0, 1, 0) = 1
90
o
0
o
Ent ao,
1 i =
_
1
180
o
0
o
_
_
1
90
o
0
o
_
= 1
270
o
0
o
b) Temos,
j + 1 = (0, 0, 1) + (1, 0, 0) = (1, 0, 1) =
2
0
o
45
o
Ent ao,
(j + 1)
2
= (j + 1) (j + 1) =
_
2
0
o
45
o
_
_
2
0
o
45
o
_
Portanto,
(j + 1)
2
= 2
0
o
90
o
= 2 j
Observe que,
(j + 1)
2
= j
2
+ 2j + 1
c) Temos,
j 1 = (0, 0, 1) (1, 0, 0) = (1, 0, 1) =
2
180
o
45
o
Ent ao,
(j 1)
2
= (j 1) (j 1) =
_
2
180
o
45
o
_
_
2
180
o
45
o
_
Portanto,
(j 1)
2
= 2
360
o
90
o
= 2 j
Observe que,
(j 1)
2
= j
2
2j + 1
Ou ainda,
(j + 1)
2
= (j 1)
2
d) i + 1 =
2
45
o
0
o
, j + 1 =
2
0
o
45
o
. Temos
(i + 1)
2
(j + 1)
2
=
2
90
o
0
o
2
0
o
90
o
=
2
2
90
o
0
o
0
o
90
o
= 1
90
o
90
o
= j
e) j + 1 =
2
0
o
45
o
, j 1 =
2
180
o
45
o
. Ent ao,
j + 1
j 1
=
2
0
o
45
o
2
180
o
45
o
= 1
180
o
0
o
= 1
42
Sendo assim, temos
_
j + 1
j 1
_
2
=
_
1
180
o
0
o
_
_
1
180
o
0
o
_
= 1
360
o
0
o
= 1
f) (i +j)
2
= (i +j) (i +j), temos
i +j = (0, 1, 0) + (0, 0, 1) = (0, 1, 1) =
2
90
o
45
o
Ent ao,
(i +j)
2
= (
2
90
o
45
o
) (
2
90
o
45
o
) = 2
180
o
90
o
= 2
0
o
90
o
= 2j
Observe que, (i +j)
2
,= i
2
+ 2 i j +j
2
. De fato,
i
2
+ 2 i j +j
2
= 1 + 2 i j 1 = 2 + 2j
Este fen omeno tambem ocorre na algebra de matrizes. L a o produto e
distributivo, mas n ao comutativo; aqui e comutativo, mas n ao distributivo.
g) (i j)
2
= (i j) (i j), temos
i j = (0, 1, 0) + (0, 0, 1) = (0, 1, 1) =
2
90
o
45
o
Ent ao,
(i j)
2
= (
2
90
o
45
o
) (
2
90
o
45
o
)
= 2
180
o
90
o
= 2
0
o
90
o
= 2j
Observe que, (i j)
2
,= i
2
2 i j +j
2
. De fato,
i
2
2 i j +j
2
= 1 2 i j 1 = 2 2j
h) (j i)
2
= (j i) (j i), temos
j i = (0, 0, 1) (0, 1, 0) = (0, 1, 1) =
2
90
o
45
o
Ent ao,
(j i)
2
= (
2
90
o
45
o
) (
2
90
o
45
o
)
= 2
180
o
90
o
= 2
0
o
90
o
= 2j
Observe que (i j)
2
,= (j i)
2
.
Gentil 43
Transforma cao de coordenadas
As calculadoras cientcas trazem as transforma c oes de coordenadas re-
tangular para polar (e vice-versa). Estas transforma c oes podem ser aplicadas
ao plano complexo:
0
x
y (x, y)
r
)
8
>
<
>
:
x = r cos
y = r sen
(r, ) (x, y)
8
>
>
<
>
>
:
= tg
1
(y/x)
r =
_
x
2
+y
2
(x, y) (r, )
Para o caso dos n umeros hipercomplexos, o angulo e o mesmo for-
necido pelas calculadoras; o modulo ( ) e angulo s ao obtidos da seguinte
forma:
0
z
X
x
Y
y
Z
(x, y, z)
8
>
>
<
>
>
:
= tg
1
(z/r)
=
_
x
2
+y
2
+z
2
Dado um n umero na forma polar, a transforma c ao para a forma retan-
gular e obtida da seguinte forma:
w =
_
x = cos cos
y = sen cos
z = sen
(1.37)
Na verdade existem calculadoras (HP por exemplo) que ja trazem estas
transforma c oes no espa co (coordenadas esfericas).
No apendice (p ag. 147) damos um programa para a transforma c ao de
coordenadas retangulares para polares.
Importante!
Dado um hipercomplexo w =
com argumento (, ) podemos
(para efeito de c alculos, quando necess ario) usar o programa citado acima para
escreve-lo como w =
0 0
em fun c ao do argumento principal (
0
,
0
).
Por exemplo, seja o hipercomplexo w = 1
45
o
120
o
para escreve-lo em
fun c ao do argumento principal vamos, antes, transforma-lo para coordenadas
44
retangulares, assim:
w = 1
45
o
120
o
_
x = 1 cos 45
o
cos 120
o
y = 1 sen 45
o
cos 120
o
z = 1 sen120
o
Levando os valores,
x =
2
4
, y =
2
4
, z =
3
2
no programa, obtemos w = 1
225
o
60
o
, portanto, podemos escrever
1
45
o
120
o
= 1
225
o
60
o
Observe a localiza c ao de w:
Y
Z
X
w
Nota:
Obviamente que podemos escrever w em fun c ao do argumento prin-
cipal, diretamente (isto e, sem passar pelas coordenadas retangulares), assim:
1
45
o
120
o
= 1
180
o
+45
o
180
o
120
o
= 1
225
o
60
o
A vers ao da lei de De Moivre em coordenadas polares ca assim,
Proposi cao 12 (De Moivre). Dados o hipercomplexo w =
, n ao nulo,
e o natural n 2, temos:
w
n
=
n
n n
(1.38)
desde que: cos 0, cos 2 0, . . . , cos(n 1) 0.
Exemplo: Seja o n umero w =
_
6
2
,
6
2
, 1
_
, calcule w
5
.
Solu c ao: Escrevendo este n umero em coordenadas polares temos w = 2
4
6 .
Substituindo =
6
na desigualdade (1.34), temos
2(n1)
6
2(n1)
n 4.
Isto signica que pela formula de De Moivre podemos calcular s o ate a quarta
potencia. Ent ao,
w
4
= 2
4 4
4
4
6 = 16
2
3
Gentil 45
Observe que cos
2
3
= cos 120
o
< 0, raz ao porque n ao pudemos calcular w
5
diretamente por (1.38). Mas, isto n ao constitui nenhum empecilho uma vez que
podemos reescrever w
4
em fun c ao do argumento principal, assim:
w
4
= 16
2
3 = 16
+
2
3 = 16
0
3
Observe que, = 2 0. Pois bem,
w
5
= w
4
w = 16
0
3
2
4
6
= 16 2
0+
3
+
6
= 32
4
2
Voltando para a forma retangular, obtemos (ver (4.3), p ag. 139)
w
5
= 32
4
_
x = 32 cos
4
cos
2
= 0
y = 32 sen
4
cos
2
= 0
z = 32 sen
2
= 32
Portanto,
_
6
2
,
6
2
, 1
_
5
= (0, 0, 32)
Ou ainda,
_
6
2
+i
6
2
+j
_
5
= 32j
1.9.1 Interpretacao geometrica da multiplicacao hipercom-
plexa
Agora iremos dar uma interpreta c ao geometrica ao produto hipercomplexo.
No caso particular dos complexos ( plano - C) e dos hipercomplexos bidimen-
sionais ( plano H2D) ja sabemos o que acontece ( ver [5] ).
Adotaremos a seguinte nota c ao:
j
( 2 )
w = j j w j
( 2 )
w = j ( j w)
j
( 3 )
w = j j j w j
( 3 )
w = j
_
j ( j w)
_
Antes de mais nada observamos, pela multiplica c ao na forma polar, que a
interpreta c ao geometrica desta opera c ao e a de uma rota c ao
,
jw = (0, 0, 1) (x, y, z)
=
_
1zx
r
2
,
1zy
r
2
, r
2
_
=
_
xz
r
2
,
yz
r
2
, r
2
_
onde, r
2
=
_
x
2
+y
2
. Observe que a aplica c ao,
(x, y, z)
_
xz
x
2
+y
2
,
yz
x
2
+y
2
,
_
x
2
+y
2
_
e uma rota c ao de 90
o
no plano que passa pelo eixo Oz e o ponto w. Continuando,
j
( 2 )
w = (0, 0, 1)
_
xz
r
2
,
yz
r
2
, r
2
_
=
_
1r
2
xz
r
2
r
2
,
1r
2
yz
r
2
r
2
, 1 r
2
_
onde,
r
2
=
_
_
xz
r
2
_
2
+
_
yz
r
2
_
2
= [z[
Sendo assim, resulta,
j
( 2 )
w =
_
xz
[z[
,
y z
[z[
, [z[
_
Ou ainda,
j
( 2 )
w =
_
xz
[z[
,
y z
[z[
, [z[
_
=
_
w, se z > 0;
w, se z < 0.
III ) Multiplica c ao de um complexo z por um hipercomplexo w. Temos
z = (cos
1
cos 0, sen
1
cos 0, sen0)
w
2
=
2
(cos
2
cos
2
, sen
2
cos
2
, sen
2
)
Ent ao,
zw =
2
_
cos
_
1
+
2
_
cos
2
, sen
_
1
+
2
_
cos
2
, sen
2
_
Conclus ao: multiplicar um n umero complexo z por um hipercomplexo w sig-
nica rotacionar w de
1
graus para a direita; n ao h a rota c ao para cima,
assim:
Para nossa an alise vamos considerar o complexo de m odulo unit ario, n ao faz mal.
48
Y
Z
X
w
z
Y
Z
X
w
zw
1
Vejamos esta multiplica c ao em coordenadas retangulares. Sejam, z =
(cos , sen , 0) e w = (x, y, z). Temos,
zw = (cos , sen, 0) (x, y, z)
=
_
(xcos y sen ) , (y cos +x sen) , 0 r
2
+z r
1
_
onde, r
1
=
cos
2
+ sen
2
= 1, r
2
=
_
x
2
+y
2
e = 1. Ent ao,
zw =
_
xcos y sen, y cos +x sen, z
_
O que conrma o resultado anterior.
IV ) Multiplica c ao e divisao de dois hipercomplexos.
Para interpretar o produto w
1
w
2
, convencionaremos chamar o fator `a
direita (isto e, w
2
) de indutor e o fator `a esquerda de induzido.
Quando, na forma trigonometrica (ou polar) do produto (ou quociente)
comparece a soma
1
+
2
dizemos que houve uma rota c ao positiva na pri-
meira vari avel (vari avel ); em
1
2
dizemos que houve uma rota c ao negativa;
an alogamente com respeito `a segunda vari avel ( ).
A partir das proposi c oes 6 e 7, p ag. 33, (ou suas similares p ag. 40)
n ao e difcil inferir o signicado geometrico destas opera c oes. Por exemplo, a
multiplica c ao,
w
1
w
2
=
1
2
_
cos(
1
+
2
) cos(
1
+
2
), sen (
1
+
2
) cos(
1
+
2
), sen(
1
+
2
)
_
pode ser interpretada da seguinte forma: o n umero w
1
sofreu uma rota c ao
( +, +) de argumento (
2
,
2
). A divisao,
w
1
w
2
=
1
2
12
12
pode ser interpretada da seguinte forma: o n umero w
1
sofreu uma rota c ao
( , ) de argumento (
2
,
2
).
Exemplos: Vejamos um exemplo concreto: multiplicar os n umeros,
w
1
= 1
30
o
45
o
, w
2
= 1
225
o
60
o
Gentil 49
Temos,
w
1
w
2
= 1 1
30
o
+225
o
45
o
+60
o
= 1
255
o
105
o
Podemos interpretar este produto dizendo que w
1
sofre uma rota c ao ( +, +)
de argumento ( 225
o
, 60
o
). Gracamente, temos
Y
Z
X
w
2
Y
Z
X
w
2
w
1
w
2
Temos,
w
1
w
2
= 1
255
o
105
o
= 1
75
o
75
o
Vejamos um exemplo envolvendo divisao: No hipercomplexo
_
2
2
,
6
2
,
2
_
dar uma rota c ao (, ) de argumento (90
o
, 60
o
).
Solu cao: Por (1.36) (p ag. 40), devemos realizar a seguinte divisao:
w
1
w
2
=
_
2
2
,
6
2
,
2
_
1
90
o
60
o
Temos duas alternativas para esta divisao: em coordenadas polares ou
em coordenadas retangulares. Fa camos das duas formas:
a) Forma Polar. Temos
w
1
w
2
=
2
60
o
45
o
1
90
o
60
o
= 2
60
o
90
o
45
o
60
o
= 2
30
o
15
o
b) Forma retangular. Temos
w
1
w
2
=
_
2
2
,
6
2
,
2
_
_
0,
1
2
,
3
2
_
=
_
2
2
,
6
2
,
2
_
_
0,
1
2
,
3
2
_
Realizando este produto encontramos,
w
1
w
2
=
_
(1+
3 )
6
4
,
(1+
3 )
2
4
,
2
2
_
Podemos usar o programa dado no apendice para transformar este n umero
para a forma polar, ent ao
_
(1+
3 )
6
4
,
(1+
3 )
2
4
,
2
2
_
= 2
30
o
15
o
Geometricamente, temos
50
Y
Z
X
w
1
w
2
Y
Z
w
1
w
2
w
1
w
2
Temos,
_
(1+
3 )
6
4
,
(1+
3 )
2
4
,
2
2
_
(1, 673; 0, 966; 0, 518)
Rota cao em torno da origem
Segundo a proposi c ao 6 (p ag. 33) se multiplicarmos o n umero
w
1
= 1 (cos cos , sen cos , sen) pelo ponto (n umero) w = (x, y, z)
obteremos uma rota c ao, deste ultimo, de um angulo (, ). Para atender a
referida proposi c ao basta escolher
2
2
(isto e, cos 0).
Para obter a rota c ao - de argumento (, ) - de um ponto w = (x, y, z),
em torno da origem, devemos realizar o produto:
(cos cos , sen cos , sen ) (x, y, z)
Vamos calcular este produto para o caso especial em que,
r
1
=
_
(cos cos )
2
+ ( sen cos )
2
= [ cos [ = cos ,= 0 ,=
2
.
e w fora do eixo Oz. Sendo assim, multiplicamos em (D
4
):
_
(xcos cos y sencos ), (ycos cos +x sen cos ), senr
2
+zcos
_
Onde, r
2
=
_
x
2
+y
2
e = 1
z sen
cos
x
2
+y
2
, isto e, = 1
z
x
2
+y
2
tg .
Fa camos,
x
=
_
x
2
+y
2
sen +z cos
Exemplos:
a) Rotacione w = ( 1, 0, 0 ) de um angulo (45
o
, 45
o
).
Gentil 51
Temos,
x
=(1 cos 45
o
cos 45
o
0 sen45
o
cos 45
o
) 1 =
1
2
y
=(0 cos 45
o
cos 45
o
+ 1 sen45
o
cos 45
o
) 1 =
1
2
z
=
_
1
2
+ 0
2
sen 45
o
+ 0 cos 45
o
=
2
2
Observe que,
[w
[ =
_
_
1
2
_
2
+
_
1
2
_
2
+
_
2
2
_
2
= 1 = [w[
b) Rotacione w = ( 1, 1, 2 ) de um angulo (135
o
, 30
o
).
Temos,
x
6
3
_
y
6
3
_
z
=
_
1
2
+ (1)
2
sen 30
o
+ 2 cos 30
o
Ent ao,
x
=
_
1
_
2
2
_
3
2
+ 1
2
2
3
2
_
_
1 +
6
3
_
= 0
y
=
_
1
_
2
2
_
3
2
+ 1
2
2
3
2
_
_
1 +
6
3
_
= 1 +
6
2
z
2
_
1
2
_
+ 2
3
2
=
2
2
Observe que,
[w
[ =
_
0
2
+
_
1 +
6
2
_
2
+
_
3
2
2
_
2
=
6 = [w[
Geometricamente, os exemplos anteriores cam
w
X
Y
Z
w
w
X
Y
Z
w
52
c ) Na gura a seguir, rotacionamos o tri angulo de vertices,
( 1 ):
_
1
2
, 0, 0
_
, ( 2 ):
_
1, 0, 0
_
, ( 3 ):
_
1, 0, 1
_
X
Y
Z
( 1 )
( 2 )
( 3 )
( 1 ) ( 2 )
( 3 )
X
Y
Z
( 1 )
( 2 )
( 3 )
( 1 )
( 2 )
( 3 )
X
Y
Z
de um angulo (90
o
, 45
o
).
Na gura do centro temos o tri angulo original rotacionado de = 90
o
e
= 0
o
(triangulo intermedi ario).
Calculemos as coordenadas de cada um dos vertices do tri angulo rotacio-
nado.
Vertice: ( 1 )
. Temos ( 1 ) :
_
1
2
, 0, 0
_
. Ent ao,
x
=
_
1
2
cos 90
o
cos 45
o
0 sen 90
o
cos 45
o
_
1 = 0
y
=
_
0 cos 90
o
cos 45
o
+
1
2
sen 90
o
cos 45
o
_
1 =
2
4
z
=
_
(
1
2
)
2
+ 0
2
sen 45
o
+ 0 cos 45
o
=
2
4
Ent ao, ( 1 )
:
_
0,
2
4
,
2
4
_
.
Vertice: ( 2 )
. Temos ( 2 ) :
_
1, 0, 0
_
. Ent ao,
x
=
_
1 cos 90
o
cos 45
o
0 sen 90
o
cos 45
o
_
1 = 0
y
=
_
0 cos 90
o
cos 45
o
+ 1 sen90
o
cos 45
o
_
1 =
2
2
z
1
2
+ 0
2
sen 45
o
+ 0 cos 45
o
=
2
2
Ent ao, ( 2 )
:
_
0,
2
2
,
2
2
_
.
Vertice: ( 3 )
. Temos ( 3 ) :
_
1, 0, 1
_
. Ent ao,
x
=
_
1 cos 90
o
cos 45
o
0 sen90
o
cos 45
o
_
0 = 0
y
=
_
0 cos 90
o
cos 45
o
+ 1 sen90
o
cos 45
o
_
0 = 0
z
1
2
+ 0
2
sen 45
o
+ 1 cos 45
o
=
2
Ent ao, ( 2 )
:
_
0, 0,
2
_
.
Gentil 53
Porque a multiplica cao em R
3
nao poderia ser associativa
Daremos agora uma justicativa - geometrica - pela qual n ao se deve-
ria esperar uma multiplica c ao em R
3
associativa. Assumiremos, unicamente,
que uma tal multiplica c ao, como ocorre em R
2
, resulta em uma rota c ao. Va-
mos retomar o exemplo 4
o
), p ag. 10. Neste exemplo resolvemos a equa c ao:
(1, 1, 2) w = (1, 0, 3) e mostramos que a mesma tem duas solu c oes,
w
=
_
1 + 3
2
6
,
1 + 3
2
6
,
2 + 3
2
6
_
= 1, 29
45, 00
o
16, 83
o
e
w
=
_
1 3
2
6
,
1 3
2
6
,
2 + 3
2
6
_
= 1, 29
225, 00
o
53, 70
o
Isto signica que podemos ir do ponto a = (1, 1, 2) ao ponto b = (1, 0, 3) (ou
ainda: superpor o ponto a ao ponto b) por dois caminhos distintos; caminhos
estes dados por w
e w
+x
(x
) = 40
Temos,
x
(x
) = (x, y, z) (x, y, z)
=
_
(x
2
+y
2
), (xy xy), zr
2
+ (z)r
1
_
onde, r
1
=
_
x
2
+y
2
, r
2
=
_
(x)
2
+ (y)
2
, = 1
z(z)
r
1
r
2
= 1 +
z
2
x
2
+y
2
.
Portanto,
x
(x
) =
_
(x
2
+y
2
), 2xy, 0
_
10x
+x
(x
) =
_
10x + (x
2
+y
2
), 10y 2xy, 10z
_
= (40, 0, 0)
Portanto,
_
_
10x + (x
2
+y
2
) = 40
10y 2xy = 0
10z = 0
Temos, z = 0 = 1. Prosseguindo, encontramos uma unica solu c ao:
x
= (5,
15, 0) e y
= (5,
w, a um n umero hipercomplexo w
k
tal que w
n
k
= w. Ent ao,
n
w = w
k
w
n
k
= w
Exemplos: Calcular,
a)
1 b)
1 c)
j d)
1 +i +j e)
1 j f)
4
1 +i +j
Solu cao: a) Pela deni c ao, temos
1 = (x, y, z) = w (x, y, z)
2
= 1.
Para resolver esta equa c ao temos duas alternativas:
1
a
) r =
_
x
2
+y
2
= 0 (x = y = 0), sendo assim, pelo lema 1 (p ag. 35), resulta,
w
2
= (z
2
, 0, 0) = (1, 0, 0) z
2
= 1 z
2
= 1.
Esta possibilidade est a descartada, porquanto z e real.
2
a
) r =
_
x
2
+y
2
,= 0. Pelo lema 1 devemos ter,
w
2
=
_
(x
2
y
2
)
_
1
z
2
x
2
+y
2
_
, 2 xy
_
1
z
2
x
2
+y
2
_
, 2z
_
x
2
+y
2
_
= (1, 0, 0)
De imediato concluimos que z = 0, no que resulta:
_
x
2
y
2
= 1
xy = 0
Da segunda equa c ao concluimos que x = 0 ou y = 0, da primeira equa c ao
concluimos que x ,= 0; portanto y = 0. Resultando, x = 1. Portanto, s ao em
n umero de duas as razes quadradas de 1:
1 = (1, 0, 0)
1 = 1.
1 = (1, 0, 0)
1 = 1.
b) Por deni c ao de raiz quadrada, temos
1 = (x, y, z) = w (x, y, z)
2
= 1.
Para resolver esta equa c ao temos duas alternativas:
1
a
) r =
_
x
2
+y
2
= 0 (x = y = 0), sendo assim, pelo lema 1, resulta,
w
2
= (z
2
, 0, 0) = (1, 0, 0) z
2
= 1 z
2
= 1 z = 1.
Neste caso, temos duas razes quadradas de -1: (0, 0, 1) = j e (0, 0, 1) = j.
2
a
) r =
_
x
2
+y
2
,= 0. Pelo lema 1 devemos ter,
w
2
=
_
(x
2
y
2
)
_
1
z
2
x
2
+y
2
_
, 2 xy
_
1
z
2
x
2
+y
2
_
, 2z
_
x
2
+y
2
_
= (1, 0, 0)
56
De imediato concluimos que z = 0, no que resulta:
_
x
2
y
2
= 1
xy = 0
Da segunda equa c ao concluimos que x = 0 ou y = 0, da primeira equa c ao
concluimos que y ,= 0; portanto x = 0. Resultando, y = 1. Portanto, temos
mais duas razes quadradas de -1:
1 = (0, 1, 0)
1 = i.
1 = (0, 1, 0)
1 = i.
Resumindo, temos quatro valores para
1, quais sejam:
1 = i,
1 = j.
c) Por deni c ao de raiz quadrada, temos
_
j = (x, y, z) = w (x, y, z)
2
= j.
Para resolver esta equa c ao temos duas alternativas:
1
a
) r =
_
x
2
+y
2
= 0 (x = y = 0), sendo assim, pelo lema 1, resulta,
w
2
= (z
2
, 0, 0) = (0, 0, 1)
Est a possibilidade est a excluida.
2
a
) r =
_
x
2
+y
2
,= 0 (x ,= 0 ou y ,= 0). Pelo lema 1 devemos ter,
w
2
=
_
(x
2
y
2
)
_
1
z
2
x
2
+y
2
_
, 2 xy
_
1
z
2
x
2
+y
2
_
, 2z
_
x
2
+ y
2
_
= (0, 0, 1)
Sendo assim, temos:
(x
2
y
2
)
_
1
z
2
x
2
+y
2
_
= 0
2xy
_
1
z
2
x
2
+y
2
_
= 0 (1.39)
2z
_
x
2
+y
2
= 1
_
_
Desta ultima equa c ao concluimos que z > 0 (nenhum n umero complexo pode
ser raiz de j; obviamente porquanto o produto de dois complexos sempre d a um
outro complexo).
Analisando este sistema concluimos que devemos ter
_
1
z
2
x
2
+y
2
_
= 0. De
fato, se isto n ao fosse verdade a primeira e segunda equa c oes se transformariam
em [x[ = [y[ e x y = 0; donde x = y = 0, o que contradiz a ultima equa c ao do
sistema. Portanto, x
2
+y
2
= z
2
. Este resultado na terceira equa c ao nos fornece
z =
2
2
. Ent ao, x
2
+y
2
=
1
2
.
Gentil 57
Observe que podemos reescrever as duas primeiras equa c oes do sistema
como:
(x
2
y
2
) 0 = 0
2xy 0 = 0 (1.40)
_
_
O que nos diz que x e y s ao indeterminados.
Conclus ao: as razes quadradas de j s ao em n umero innito.
Observe que os axos de
2
2
e a uma
altura z =
2
2
.
j
x
y
z
)=45
o
j
x
y
z
Nota: Como teremos oportunidade de ver, somente para pontos sobre o eixo
z (isto e, pontos da forma (0, 0, z)) e que teremos innitas razes quadradas,
nos demais casos teremos no maximo quatro razes (quadradas).
d) Para calcular as razes quadradas de 1 +i +j = (1, 1, 1), consideremos,
_
1 +i +j = (x, y, z) = w (x, y, z)
2
= 1 +i +j.
Para resolver esta equa c ao temos duas alternativas (lema 1, p ag. 35):
1
a
) r =
_
x
2
+y
2
= 0 (x = y = 0), sendo assim, pelo lema, resulta,
w
2
= (z
2
, 0, 0) = (1, 1, 1)
Est a possibilidade est a excluida.
2
a
) r =
_
x
2
+y
2
,= 0 (x ,= 0 ou y ,= 0). Pelo lema devemos ter,
w
2
=
_
(x
2
y
2
)
_
1
z
2
x
2
+y
2
_
, 2 xy
_
1
z
2
x
2
+y
2
_
, 2z
_
x
2
+y
2
_
= (1, 1, 1)
Sendo assim, temos:
(x
2
y
2
)
_
1
z
2
x
2
+y
2
_
= 1
2xy
_
1
z
2
x
2
+y
2
_
= 1 (1.41)
2z
_
x
2
+y
2
= 1
_
_
Resolver este sistema diretamente n ao nos parece a sada mais acertada.
Vamos resolve-lo indiretamente: escrevamos w na forma trigometrica, isto e:
58
w = (cos cos , sen cos , sen ), com
2
< <
2
. Para neste
intervalo temos
w
2
=
2
(cos 2 cos 2, sen 2 cos 2, sen 2)
Igualando w
2
a (1, 1, 1), resulta no seguinte sistema:
2
cos 2 cos 2 = 1 (1.42)
2
sen2 cos 2 = 1 (1.43)
2
sen 2 = 1 (1.44)
_
_
Inicialmente observamos que, nesta ultima equa c ao devemos ter sen 2 > 0.
Como assumimos
2
< <
2
segue que, < 2 < ; logo, para satisfazer
(1.44), devemos ter 0 < 2 < . Ou ainda,
0 < <
2
(1.45)
Uma primeira conclusao e que todas as razes procuradas encontram-se no semi-
espa co z > 0.
Pois bem, dividindo (1.43) por (1.42), obtemos: tg 2 = 1. Da trigonome-
tria temos,
tg = tg = +k, k Z
Sendo assim, temos
tg 2 = tg
4
2 =
4
+k, k Z
Vamos impor a restri c ao 0 < 2, ou ainda, 0 2 < 4, para obter,
0
4
+k < 4 k = 0, 1, 2, 3.
Portanto,
2 =
4
+k
_
_
k = 0: 2 =
4
k = 1: 2 =
5
4
k = 2: 2 =
9
4
k = 3: 2 =
13
4
Temos as seguintes possibilidades:
P
0
: Substituindo 2 =
4
nas equa c oes (1.42) e (1.43), obtemos
_
2
cos
4
cos 2 = 1
2
sen
4
cos 2 = 1
2
cos 2 =
2
cos 2 =
2
Juntamos uma destas equa c oes com (1.44) para obter,
_
2
cos 2 =
2
sen2 = 1
tg 2 =
1
2
Gentil 59
Temos,
) 2
2
1
) 2
2
1
3
Deste ultimo tri angulo tiramos,
cos 2 =
6
3
(1.46)
Voltando com este resultado no ultimo sistema obtemos =
4
3.
Observe que para obtermos a raiz w
0
= (cos cos , sen cos , sen ),
precisamos dos senos e cossenos dos arcos e . Para isto vamos utilizar as
seguintes identidades trigonometricas:
sen
x
2
=
_
1 cos x
2
; cos
x
2
=
_
1 + cos x
2
As quais, para os nossos prop ositos se transformam em,
sen =
_
1 cos 2
2
; cos =
_
1 + cos 2
2
(1.47)
Substituindo (1.46) em (1.47), obtemos
sen =
6
6
; cos =
3 +
6
6
Como escolher os sinais? Usando (1.45), optamos pelos sinais positivos.
Temos ainda,
2 =
4
cos 2 =
2
2
Utilizando (1.47), temos
sen =
2
2
2
; cos =
1 +
2
2
2
Finalmente podemos escrever a primeira raiz como,
w
0
= (cos cos , sen cos , sen )
=
4
3
_
_
_
2 +
2
2
3 +
6
6
,
_
2
2
2
3 +
6
6
,
6
6
_
_
P
1
: Substituindo 2 =
5
4
nas equa c oes (1.42) e (1.43), obtemos
_
3 cos
5
4
cos 2 = 1
3 sen
5
4
cos 2 = 1
cos 2 =
6
3
60
Procedendo como no caso anterior, obtemos
sen =
3 +
6
6
; cos =
6
6
Temos ainda,
2 =
5
4
cos 2 =
2
2
Utilizando (1.47), temos
sen =
1 +
2
2
2
; cos =
2
2
2
Finalmente podemos escrever a segunda raiz como,
w
1
= (cos cos , sen cos , sen )
=
4
3
_
_
_
2
2
2
6
6
,
_
2 +
2
2
6
6
,
3 +
6
6
_
_
P
2
: Substituindo 2 =
9
4
nas equa c oes (1.42) e (1.43), obtemos
_
3 cos
9
4
cos 2 = 1
3 sen
9
4
cos 2 = 1
cos 2 =
6
3
Procedendo como no caso anterior, obtemos
sen =
6
6
; cos =
3 +
6
6
Temos ainda,
2 =
9
4
_
sen2 =
2
2
cos 2 =
2
2
Utilizando (1.47), temos
sen =
2
2
2
; cos =
1 +
2
2
2
Finalmente podemos escrever a terceira raiz como,
w
2
= (cos cos , sen cos , sen )
=
4
3
_
_
_
2 +
2
2
3 +
6
6
,
_
2
2
2
3 +
6
6
,
6
6
_
_
P
3
: Substituindo 2 =
13
4
nas equa c oes (1.42) e (1.43), obtemos
_
3 cos
13
4
cos 2 = 1
3 sen
13
4
cos 2 = 1
cos 2 =
6
3
Gentil 61
Procedendo como no caso anterior, obtemos
sen =
3 +
6
6
; cos =
6
6
Temos ainda,
2 =
5
4
cos 2 =
2
2
Utilizando (1.47), temos
sen =
1 +
2
2
2
; cos =
2
2
2
Finalmente podemos escrever a quarta raiz como,
w
3
= (cos cos , sen cos , sen)
=
4
3
_
_
_
2
2
2
6
6
,
_
2 +
2
2
6
6
,
3 +
6
6
_
_
Conclus ao: s ao em n umero de quatro as razes quadradas de (1, 1, 1), quais
sejam:
w
0
=
4
3
_
2+
2
2
18+6
6
6
,
2
2
18+6
6
6
,
186
6
6
_
w
1
=
4
3
_
2
2
186
6
6
,
2+
2
2
186
6
6
,
18+6
6
6
_
w
2
=
4
3
_
2+
2
2
18+6
6
6
,
2
2
18+6
6
6
,
186
6
6
_
w
3
=
4
3
_
2
2
2
186
6
6
,
2+
2
2
186
6
6
,
18+6
6
6
_
Enfatizamos que estas s ao as solu c oes do sistema 1.41 (pag. 57)
A seguir escrevemos estas razes em coordenadas polares (com duas deci-
mais) e as plotamos no espa co:
w
0
= 1, 32
22,50
o
17,63
o
w
1
= 1, 32
112,50
o
72,37
o
w
2
= 1, 32
202,50
o
17,63
o
w
3
= 1, 32
292,50
o
72,37
o
Y
Z
X
Observamos que todas as razes nesimas de um hipercomplexo w = (x, y, z)
est ao, sempre, no mesmo semi-espa co de z (z > 0 ou z < 0), devido `a proposi c ao
9, p ag. 35.
62
e) Vamos calcular as razes quadradas de 1 j = (1, 0, 1) por dois modos
distintos:
- Coordenadas retangulares:
Neste caso devemos resolver o sistema,
(x
2
y
2
)
_
1
z
2
x
2
+y
2
_
= 1
2xy
_
1
z
2
x
2
+y
2
_
= 0
2z
_
x
2
+y
2
= 1
_
_
Da ultima equa c ao observe que todas as razes devem estar no semi-espa co z < 0.
Da primeira equa c ao concluimos que
_
1
z
2
x
2
+y
2
_
,= 0. Da ultima equa c ao
concluimos que z ,= 0 e que x e y n ao s ao simult aneamente nulos. Da segunda
equa c ao concluimos que x = 0 ou y = 0 (nota: ou exclusivo).
Temos dois casos a considerar:
1
o
) y = 0 (portanto x ,= 0). Neste caso o sistema se reduz a,
x
2
_
1
z
2
x
2
_
= 1 (1.48)
2 z [x[ = 1 (1.49)
_
_
Tirando z na segunda equa c ao e substituindo na primeira obtemos,
x
2
_
1
1
4 x
4
_
= 1 x
4
x
2
1
4
= 0
Resolvendo esta equa c ao obtemos x =
2+2
2
. Substituindo em (1.49) ob-
temos, z =
22
2
.
2
o
) x = 0 (portanto y ,= 0). Neste caso o sistema se reduz a,
y
2
_
1
z
2
y
2
_
= 1 (1.50)
2 z [y[ = 1 (1.51)
_
_
Tirando z na segunda equa c ao e substituindo na primeira obtemos,
y
2
_
1
1
4 y
4
_
= 1 y
4
+y
2
1
4
= 0
Resolvendo esta equa c ao obtemos y =
22
2
. Substituindo em (1.51) ob-
temos, z =
2+2
2
.
Gentil 63
Conclus ao: Temos quatro valores para
1 j, quais sejam:
w
0
=
_
2
2+2
2
, 0,
22
2
_
w
1
=
_
0,
22
2
,
2+2
2
_
w
2
=
_
2+2
2
, 0,
22
2
_
w
3
=
_
0,
22
2
,
2+2
2
_
A seguir escrevemos estas razes em coordenadas polares (com duas deci-
mais) e as plotamos no espa co.
w
0
= 1, 19
00,00
o
22,50
o
w
1
= 1, 19
90,00
o
67,50
o
w
2
= 1, 19
180,00
o
22,50
o
w
3
= 1, 19
270,00
o
67,50
o
Y
Z
X
- Coordenadas Esfericas:
Neste caso consideremos,
w
2
=
2
(cos 2 cos 2, sen2 cos 2, sen2)
Igualando w
2
a (1, 0, 1), resulta no seguinte sistema:
2
cos 2 cos 2 = 1 (1.52)
2
sen 2 cos 2 = 0 (1.53)
2
sen 2 = 1 (1.54)
_
_
Inicialmente observamos que, nesta ultima equa c ao devemos ter sen2 < 0.
Como assumimos
2
< <
2
segue que, < 2 < ; logo, para satisfazer
(1.54), devemos ter < 2 < 0. Ou ainda,
2
< < 0 (1.55)
Uma primeira conclusao e que todas as razes procuradas encontram-se no semi-
espa co z < 0.
Pois bem, dividindo (1.53) por (1.52), obtemos: tg 2 = 0. Da trigonome-
tria temos,
tg = tg = +k, k Z
Sendo assim, temos
tg 2 = tg 0 2 = 0 +k, k Z
64
Vamos impor a restri c ao 0 < 2, ou ainda, 0 2 < 4, para obter,
0 k < 4 k = 0, 1, 2, 3.
Portanto,
2 = k
_
_
k = 0: 2 = 0
k = 1: 2 =
k = 2: 2 = 2
k = 3: 2 = 3
Temos as seguintes possibilidades:
P
0
: Substituindo 2 = 0 nas equa c oes (1.52) e (1.53), obtemos
_
2
cos 0 cos 2 = 1
2
sen0 cos 2 = 0
2
cos 2 = 1
Juntamos esta equa c ao com (1.54) para obter,
_
2
cos 2 = 1
2
sen 2 = 1
tg 2 = 1 2 =
4
Sendo assim, temos
cos 2 =
2
2
(1.56)
Voltando com este resultado no ultimo sistema obtemos =
4
2.
Observe que para obtermos a raiz w
0
= (cos cos , sen cos , sen),
precisamos dos senos e cossenos dos arcos e . Substituindo (1.63) em (1.47),
obtemos
sen =
_
2
2
2
; cos =
_
2 +
2
2
Os sinais foram escolhidos usando (1.55). Temos ainda,
2 = 0 cos 2 = 1
Temos,
sen = 0; cos = 1
Finalmente podemos escrever a primeira raiz como,
w
0
= (cos cos , sen cos , sen)
=
4
2
_ _
2 +
2
2
, 0,
_
2
2
2
_
P
1
: Substituindo 2 = nas equa c oes (1.52) e (1.53), obtemos
_
2 cos cos 2 = 1
3 sen cos 2 = 0
cos 2 =
2
2
Gentil 65
Procedendo como no caso anterior, obtemos
sen =
_
2 +
2
2
; cos =
_
2
2
2
Temos ainda,
2 = cos 2 = 1
Temos
sen = 1; cos = 0
Finalmente podemos escrever a segunda raiz como,
w
1
= (cos cos , sen cos , sen )
=
4
2
_
0,
_
2
2
2
,
_
2 +
2
2
_
P
2
: Substituindo 2 = 2 nas equa c oes (1.52) e (1.53), obtemos
_
2 cos 2 cos 2 = 1
2 sen2 cos 2 = 0
cos 2 =
2
2
Procedendo como no caso anterior, obtemos
sen =
_
2
2
2
; cos =
_
2 +
2
2
Temos ainda,
2 = 2
_
sen 2 = 0
cos 2 = 1
Ainda,
sen = 0; cos = 1
Finalmente podemos escrever a terceira raiz como,
w
2
= (cos cos , sen cos , sen)
=
4
2
_
_
2 +
2
2
, 0,
_
2
2
2
_
P
3
: Substituindo 2 = 3 nas equa c oes (1.52) e (1.53), obtemos
_
2 cos 3 cos 2 = 1
2 sen3 cos 2 = 0
cos 2 =
2
2
Procedendo como no caso anterior, obtemos
sen =
_
2 +
2
2
; cos =
_
2
2
2
66
Temos ainda,
2 = 3
_
sen2 = 0
cos 2 = 1
Ainda,
sen = 1; cos = 0
Finalmente podemos escrever a quarta raiz como,
w
3
= (cos cos , sen cos , sen )
=
4
2
_
0,
_
2
2
2
,
_
2 +
2
2
_
Conclus ao: Temos quatro valores para
1 j, quais sejam:
w
0
=
4
2
_
2+
2
2
, 0,
2
2
_
w
1
=
4
2
_
0,
2
2
,
2+
2
2
_
w
2
=
4
2
_
2+
2
2
, 0,
2
2
_
w
3
=
4
2
_
0,
2
2
,
2+
2
2
_
Na forma retangular ca assim:
1 j =
4
2
2
_
2 +
2 j
4
2
2
_
2
1 j =
4
2
2
_
2
2 i j
4
2
2
_
2 +
1 j =
4
2
2
_
2 +
2 j
4
2
2
_
2
1 j =
4
2
2
_
2
2 i j
4
2
2
_
2 +
2
f) Para calcular as razes quartas de 1 +i +j = (1, 1, 1), consideremos,
4
_
1 +i +j = (x, y, z) = w (x, y, z)
4
= (1, 1, 1).
Vamos resolver a equa c ao acima indiretamente, por coordenadas esfericas
(forma trigonometrica). Vamos considerar w na forma polar w =
, ou
ainda, na forma trigonometrica,
w = (cos cos , sen cos , sen)
Pela proposi c ao 12 (p ag. 44), temos
w
4
=
4
4 4
Nota: A proposi c ao exige que: ( H1 ) cos 0 cos 2 0 cos 3 0.
Gentil 67
Pois bem, precisamos resolver o seguinte sistema:
4
cos 4 cos 4 = 1 (1.57)
4
sen 4 cos 4 = 1 (1.58)
4
sen 4 = 1 (1.59)
_
_
- Inicialmente vamos resolver este sistema sem considerar as restri c oes im-
postas pela proposi c ao 12, o que ser a feito num segundo momento.
Pois bem, da ultima equa c ao concluimos que
sen 4 > 0
_
_
4 IQ cos 4 > 0 =
ou
4 IIQ cos 4 < 0 =
_
cos 4 > 0
sen4 > 0
4 IQ
_
cos 4 < 0
sen4 < 0
4 IIIQ
(1.57),(1.58)
Conclus ao,
4 IQ 4 IQ (1.60)
ou
4 IIQ 4 IIIQ (1.61)
_
_
Pois bem, dividindo (1.58) por (1.57): tg 4 = 1. Da trigonometria, temos
tg = tg = +k, k Z
Sendo assim, temos
tg 4 = tg
4
4 =
4
+k, k Z
Vamos inicialmente considerar a condi c ao (1.60). Temos,
(1.60) : 4 IQ 4 IQ. Temos,
4 =
4
+k IQ k = 0, 2, 4, . . . k e par. (1.62)
Sendo assim, temos
cos 4 = cos
_
4
+k
_
= cos
4
=
2
2
Este resultado no sistema original nos fornece,
_
4
cos 4 =
4
sen 4 = 1
tg 4 =
2
2
68
Da identidade trigonometrica, cos
2
x =
1
1+tg
2
x
, obtemos
cos 4 =
6
3
(1.63)
Voltando com este resultado no ultimo sistema obtemos
4
=
3.
Observe que para obtermos a raiz w
0
= (cos cos , sen cos , sen),
precisamos dos senos e cossenos dos arcos e . Para isto vamos utilizar as
seguintes identidades trigonometricas:
sen
x
2
=
_
1 cos x
2
; cos
x
2
=
_
1 + cos x
2
As quais, para os nossos prop ositos se transformam em,
sen =
_
1 cos 2
2
; cos =
_
1 + cos 2
2
(1.64)
tambem,
sen 2 =
_
1 cos 4
2
; cos 2 =
_
1 + cos 4
2
(1.65)
Substituindo (1.63) em (1.65), obtemos
cos 2 =
3 +
6
6
=
_
18 + 6
6
6
Substituindo este resultado em (1.64), obtemos
sen =
_
72 12
_
18 + 6
6
12
; cos =
_
72 + 12
_
18 + 6
6
12
(1.66)
De (1.62) obtemos,
4 =
4
+k cos 4 =
2
2
. (1.67)
Temos, 4 =
4
+k =
16
+
k
4
. Plotando k, k par, obtemos
k
k=0, 8,...
k=2, 10,...
k=4, 12,...
k=6, 14,...
k
=
16
=11, 25
o
=
9
16
=101, 25
o
=
17
16
=191, 25
o
=
25
16
=281, 25
o
Observamos que quatro valores de k nos fornecem solu c oes distintas: k =
0, 2, 4, 6. Temos,
Gentil 69
4 =
4
+k
_
_
k = 0: 4 =
4
k = 2: 4 =
9
4
k = 4: 4 =
17
4
k = 6: 4 =
25
4
Temos,
( i ) 4 =
4
. Ent ao, cos 4 =
2
2
de (1.65) obtemos
cos 2 =
_
2 +
2
2
Este resultado em (1.64) nos d a,
sen =
q
2
2+
2
2
; cos =
q
2+
2+
2
2
Estes resultados, juntamente com (1.66), nos fornecem a solu c ao
w
0
= (cos cos , sen cos , sen ):
w
0
=
8
3
_
q
2+
2+
2
2
q
72+12
18+6
6
12
,
q
2
2+
2
2
q
72+12
18+6
6
12
,
q
7212
18+6
6
12
_
( ii ) Temos, 4 =
9
4
. Ent ao, cos 4 =
2
2
de (1.65) obtemos
cos 2 =
_
2 +
2
2
Observe que,
4 =
9
4
2 =
9
8
2 =
8 +
8
2 = +
8
cos 2 < 0.
Este resultado em (1.64) nos d a,
sen =
q
2+
2+
2
2
; cos =
q
2
2+
2
2
Estes resultados, juntamente com (1.66), nos fornecem a solu c ao w
2
= (cos
cos , sen cos , sen ) como,
w
2
=
8
3
_
q
2
2+
2
2
q
72+12
18+6
6
12
,
q
2+
2+
2
2
q
72+12
18+6
6
12
,
q
7212
18+6
6
12
_
( iii ) Temos, 4 =
17
4
. Ent ao, cos 4 =
2
2
de (1.65) obtemos
cos 2 =
_
2 +
2
2
Observe que,
4 =
17
4
2 =
17
8
2 =
16 +
8
2 = 2 +
8
cos 2 > 0.
70
Este resultado em (1.64) nos d a,
sen =
q
2
2+
2
2
; cos =
q
2+
2+
2
2
Estes resultados, juntamente com (1.66), nos fornecem a solu c ao w
4
= (cos
cos , sen cos , sen) como,
w
4
=
8
3
_
q
2+
2+
2
2
q
72+12
18+6
6
12
,
q
2
2+
2
2
q
72+12
18+6
6
12
,
q
7212
18+6
6
12
_
( iv ) Temos, 4 =
25
4
. Ent ao, cos 4 =
2
2
de (1.65) obtemos
cos 2 =
_
2 +
2
2
Observe que,
4 =
25
4
2 =
25
8
2 =
24 +
8
2 = 3 +
8
cos 2 < 0.
Este resultado em (1.64) nos d a,
sen =
q
2+
2+
2
2
; cos =
q
2
2+
2
2
Estes resultados, juntamente com (1.66), nos fornecem a solu c ao w
6
=
(cos cos , sen cos , sen) como,
w
6
=
8
3
_
q
2
2+
2
2
q
72+12
18+6
6
12
,
q
2+
2+
2
2
q
72+12
18+6
6
12
,
q
7212
18+6
6
12
_
Vamos agora considerar a condi c ao (1.61) (p ag. 67). Temos,
(1.61) : 4 IIQ 4 IIIQ. Temos,
4 =
4
+k IIIQ k = 1, 3, 5, . . . k e mpar. (1.68)
Sendo assim, temos
cos 4 = cos
_
4
+k
_
= cos
4
=
2
2
Este resultado no sistema original nos fornece,
_
4
cos 4 =
4
sen 4 = 1
tg 4 =
2
2
Da identidade trigonometrica, cos
2
x =
1
1+tg
2
x
, obtemos
cos 4 =
6
3
(1.69)
Substituindo (1.69) em (1.65), obtemos
cos 2 =
6
6
=
_
18 6
6
6
Gentil 71
Substituindo este resultado em (1.64), obtemos
sen =
_
72 12
_
18 6
6
12
; cos =
_
72 + 12
_
18 6
6
12
(1.70)
De (1.68) temos, 4 =
4
+ k =
16
+
k
4
. Plotando k, k mpar,
obtemos
k
k=1, 9,...
k=3, 11,...
k=5, 13,...
k=7, 15,...
k
=
5
16
=56, 25
o
=
13
16
=146, 25
o
=
21
16
=236, 25
o
=
29
16
=326, 25
o
Observamos que quatro valores de k nos fornecem solu c oes distintas: k =
1, 3, 5, 7. Temos,
4 =
4
+k
_
_
k = 1: 4 =
5
4
k = 3: 4 =
13
4
k = 5: 4 =
21
4
k = 7: 4 =
29
4
( i ) 4 =
5
4
. Ent ao, cos 4 =
2
2
de (1.65) resulta
cos 2 =
_
2
2
2
Observe que,
4 =
5
4
2 =
5
8
2 =
4 +
8
2 =
2
+
8
cos 2 < 0.
Este resultado em (1.64) nos d a,
sen =
q
2+
2
2
; cos =
q
2
2
2
Estes resultados, juntamente com (1.78), nos fornecem a solu c ao
w
1
= (cos cos , sen cos , sen ):
w
1
=
8
3
_
q
2
2
2
q
72+12
186
6
12
,
q
2+
2
2
q
72+12
186
6
12
,
q
7212
186
6
12
_
( ii ) 4 =
13
4
. Ent ao, cos 4 =
2
2
de (1.65) resulta
cos 2 =
_
2
2
2
72
Observe que,
4 =
13
4
2 =
13
8
2 =
8 + 4 +
8
2 = +
2
+
8
cos 2 > 0.
Este resultado em (1.64) nos d a,
sen =
q
2
2
2
; cos =
q
2+
2
2
Estes resultados, juntamente com (1.78), nos fornecem a solu c ao
w
3
= (cos cos , sen cos , sen):
w
3
=
8
3
_
q
2+
2
2
q
72+12
186
6
12
,
q
2
2
2
q
72+12
186
6
12
,
q
7212
186
6
12
_
( iii ) 4 =
21
4
. Ent ao, cos 4 =
2
2
, de (1.65) obtemos
cos 2 =
_
2
2
2
Observe que,
4 =
21
4
2 =
21
8
2 =
16 + 4 +
8
2 = 2+
2
+
8
cos 2 < 0.
Este resultado em (1.64) nos d a,
sen =
q
2+
2
2
; cos =
q
2
2
2
Estes resultados, juntamente com (1.78), nos fornecem a solu c ao
w
5
= (cos cos , sen cos , sen):
w
5
=
8
3
_
q
2
2
2
q
72+12
186
6
12
,
q
2+
2
2
q
72+12
186
6
12
,
q
7212
186
6
12
_
( iv ) 4 =
29
4
. 4 =
29
4
. Ent ao, cos 4 =
2
2
de (1.65) obtemos
cos 2 =
_
2
2
2
Observe que,
4 =
29
4
2 =
29
8
2 =
24 + 4 +
8
2 = 3+
2
+
8
cos 2 > 0.
Este resultado em (1.64) nos d a,
sen =
q
2
2
2
; cos =
q
2+
2
2
Estes resultados, juntamente com (1.78), nos fornecem a solu c ao
w
7
= (cos cos , sen cos , sen):
w
7
=
8
3
_
q
2+
2
2
q
72+12
186
6
12
,
q
2
2
2
q
72+12
186
6
12
,
q
7212
186
6
12
_
Gentil 73
Escrevendo as oito solu c oes (do sistema original), juntas, temos,
w
0
=
8
3
_
q
2+
2+
2
2
q
72+12
18+6
6
12
,
q
2
2+
2
2
q
72+12
18+6
6
12
,
q
7212
18+6
6
12
_
w
1
=
8
3
_
q
2
2
2
q
72+12
186
6
12
,
q
2+
2
2
q
72+12
186
6
12
,
q
7212
186
6
12
_
w
2
=
8
3
_
q
2
2+
2
2
q
72+12
18+6
6
12
,
q
2+
2+
2
2
q
72+12
18+6
6
12
,
q
7212
18+6
6
12
_
w
3
=
8
3
_
q
2+
2
2
q
72+12
186
6
12
,
q
2
2
2
q
72+12
186
6
12
,
q
7212
186
6
12
_
w
4
=
8
3
_
q
2+
2+
2
2
q
72+12
18+6
6
12
,
q
2
2+
2
2
q
72+12
18+6
6
12
,
q
7212
18+6
6
12
_
w
5
=
8
3
_
q
2
2
2
q
72+12
186
6
12
,
q
2+
2
2
q
72+12
186
6
12
,
q
7212
186
6
12
_
w
6
=
8
3
_
q
2
2+
2
2
q
72+12
18+6
6
12
,
q
2+
2+
2
2
q
72+12
18+6
6
12
,
q
7212
18+6
6
12
_
w
7
=
8
3
_
q
2+
2
2
q
72+12
186
6
12
,
q
2
2
2
q
72+12
186
6
12
,
q
7212
186
6
12
_
Analise das solu c oes
Para uma an alise das solu c oes do nosso sistema, vamos escreve-las na forma
polar (com duas decimais), assim:
w
0
= 1, 15
11, 25
o
8, 82
o
w
2
= 1, 15
101, 25
o
8, 82
o
w
4
= 1, 15
191, 25
o
8, 82
o
w
6
= 1, 15
281, 25
o
8, 82
o
Y
Z
X
w
1
= 1, 15
56, 25
o
36, 18
o
w
3
= 1, 15
146, 25
o
36, 18
o
w
5
= 1, 15
236, 25
o
36, 18
o
w
7
= 1, 15
326, 25
o
36, 18
o
No graco, em azul temos as solu c oes de ndices pares: w
0
, w
2
, w
4
, e w
6
; e,
em vermelho temos as solu c oes de ndices mpares: w
1
, w
3
, w
5
, e w
7
.
Inicialmente observamos que apenas as solu c oes de ndices pares s ao razes
(quartas) do hipercomplexo (1, 1, 1), isto e, satisfazem a equa c ao (x, y, z)
4
=
(1, 1, 1). Com efeito, basta observar que apenas estas satisfazem as exigencias
da proposi c ao 12 (p ag. 44), isto e, cos 0, cos 2 0, e cos 3 0.
Para as solu c oes de ndices mpares, temos w
2
=
2
2 2
, com cos 2
0, o que signica que, pela proposi c ao 6 (p ag. 33), temos
w
2
w
2
=
_
2
2 2
_
2
2 2
_
=
4
4 4
Acontece que,
w
4
= w
3
w ,= w
2
w
2
74
devido a n ao associatividade da multiplica c ao. Ve-se da que apenas as solu c oes
de ndices pares satisfazem w
4
= w
3
w = (1, 1, 1). Para as de ndices mpares
temos w
4
= w
3
w ,= (1, 1, 1).
Nota: Podemos usar o programa para o c alculo de potencias, dado no
apendice (p ag. 141) para conrmar estas armativas.
A prop osito deixamos ao leitor o seguinte
:
Desao: Resolva, em R, o seguinte sistema:
_
(x
2
y
2
)
2
4x
2
y
2
_
2
= 1
4xy(x
2
y
2
)
2
= 1
4z(x
2
+y
2
)
3
2
[[ = 1
_
_
onde,
= 1
z
2
x
2
+y
2
,
= 1
4z
2
2
(x
2
+ y
2
)
Nota: Ver sistema (1.32), p ag. 37.
No proximo captulo mostraremos que s ao em n umero de quatro as razes
quadradas de um hipercomplexo (n ao-singular), deste modo conjecturamos que
deve ser em n umero de oito as razes quartas. Se esta conjectura e verdadeira,
onde estariam as outras quatro razes quartas de (1, 1, 1) ?
0
(
M
P
1
)
c
o
s
3
<
0
(
M
P
3
)
4 4 4
4 4 2
3 3 3
c
o
s
2
0
(
M
P
1
)
c
o
s
0
(
M
P
1
)
c
o
s
<
0
(
M
P
3
)
4 4 2
4 4 0
3 3
c
o
s
2
<
0
(
M
P
3
)
2 2 2
cos 0
(MP1)
w
( H1 )
( H2 )
( H3 )
( H4 )
mostra que existem quatro possibilidades para o c alculo de w
4
. Este diagrama
foi construido a partir da regra geral para a multiplica c ao de dois hipercomplexos
na forma polar; regra esta dada ap os a prova da proposi c ao 6, p ag. 146.
Este desao foi divulgado a nvel nacional e em nossa home-page. Demos um prazo de tres
meses (a partir de 20.12.06) para sua resolu c ao, ofertamos um premio acima de R$1.000, 00;
n ao houve vencedor.
Gentil 75
Do diagrama acima tiramos as seguintes hipoteses (possibilidades):
( H1 )
cos 0 cos 2 0 cos 3 0 w
4
=
4
4 4
( H2 )
cos 0 cos 2 0 cos 3 < 0 w
4
=
4
4 2
( H3 )
cos 0 cos 2 < 0 cos 0 w
4
=
4
4 2
( H4 )
cos 0 cos 2 < 0 cos < 0 w
4
=
4
4 0
Observemos que ( H4 ) e uma inconsistencia, desta forma camos com tres pos-
sibilidades. A primeira hipotese, ( H1 ), ja foi considerada e nos forneceu quatro
razes. Quanto `a hipotese ( H2 ), deixamos como exerccio ao leitor, mostrar que
a mesma n ao conduz a nenhuma raiz, de sorte que nos ocuparemos de ( H3 ):
cos 0 cos 2 < 0 w
4
=
4
4 2
.
Nestas condi c oes devemos resolver o seguinte sistema:
4
cos 4 cos 2 = 1 (1.71)
4
sen 4 cos 2 = 1 (1.72)
4
sen 2 = 1 (1.73)
_
_
Pois bem, da ultima equa c ao concluimos que
sen 2 > 0
_
_
2 IQ cos 2 > 0 =
ou
2 IIQ cos 2 < 0 =
_
cos 4 > 0
sen4 > 0
4 IQ
_
cos 4 < 0
sen4 < 0
4 IIIQ
(1.71),(1.72)
Conclus ao,
2 IQ 4 IQ (1.74)
ou
2 IIQ 4 IIIQ (1.75)
_
_
A restri c ao (1.74) e incompatvel com ( H3 ), deve ser abandonada. Resta (1.75).
Pois bem, dividindo (1.72) por (1.71): tg 4 = 1. Da trigonometria, temos
tg = tg = +k, k Z
Sendo assim, temos
tg 4 = tg
4
4 =
4
+k, k Z
Vamos considerar a condi c ao (1.75). Temos,
76
(1.74) : 2 IIQ 4 IIIQ. Temos,
4 =
4
+k IIIQ k = 1, 3, 5, . . . k e mpar. (1.76)
Sendo assim, temos
cos 4 = cos
_
4
+k
_
= cos
4
=
1
2
Este resultado no sistema original nos fornece,
_
4
cos 2 =
4
sen 2 = 1
tg 2 =
2
2
Da identidade trigonometrica, cos
2
x =
1
1+tg
2
x
, obtemos
cos 2 =
6
3
(1.77)
Voltando com este resultado no ultimo sistema obtemos
4
=
3.
Substituindo (1.77) em (1.64), obtemos
sen =
_
18 + 6
6
6
; cos =
_
18 6
6
6
(1.78)
De (1.76) temos, 4 =
4
+ k =
16
+
k
4
. Plotando k, k mpar,
obtemos
k
k=1, 9,...
k=3, 11,...
k=5, 13,...
k=7, 15,...
k
=
5
16
=56, 25
o
=
13
16
=146, 25
o
=
21
16
=236, 25
o
=
29
16
=326, 25
o
Observamos que quatro valores de k nos fornecem solu c oes distintas: k =
1, 3, 5, 7.
4 =
4
+k
_
_
k = 1: 4 =
5
4
k = 3: 4 =
13
4
k = 5: 4 =
21
4
k = 7: 4 =
29
4
( i ) 4 =
5
4
. Ent ao, cos 4 =
2
2
de (1.65) resulta
cos 2 =
_
2
2
2
Gentil 77
Observe que,
4 =
5
4
2 =
5
8
2 =
4 +
8
2 =
2
+
8
cos 2 < 0.
Este resultado em (1.64) nos d a,
sen =
q
2+
2
2
; cos =
q
2
2
2
Estes resultados, juntamente com (1.78), nos fornecem a solu c ao
w
1
= (cos cos , sen cos , sen ):
w
1
=
8
3
_
q
2
2
2
186
6
6
,
q
2+
2
2
186
6
6
,
18+6
6
6
_
( ii ) 4 =
13
4
. Ent ao, cos 4 =
2
2
de (1.65) resulta
cos 2 =
_
2
2
2
Observe que,
4 =
13
4
2 =
13
8
2 =
8 + 4 +
8
2 = +
2
+
8
cos 2 > 0.
Este resultado em (1.64) nos d a,
sen =
q
2
2
2
; cos =
q
2+
2
2
Estes resultados, juntamente com (1.78), nos fornecem a solu c ao
w
3
= (cos cos , sen cos , sen ):
w
3
=
8
3
_
q
2+
2
2
186
6
6
,
q
2
2
2
186
6
6
,
18+6
6
6
_
( iii ) 4 =
21
4
. Ent ao, cos 4 =
2
2
, de (1.65) obtemos
cos 2 =
_
2
2
2
Observe que,
4 =
21
4
2 =
21
8
2 =
16 + 4 +
8
2 = 2+
2
+
8
cos 2 < 0.
Este resultado em (1.64) nos d a,
sen =
q
2+
2
2
; cos =
q
2
2
2
Estes resultados, juntamente com (1.78), nos fornecem a solu c ao
w
5
= (cos cos , sen cos , sen ):
w
5
=
8
3
_
q
2
2
2
186
6
6
,
q
2+
2
2
186
6
6
,
18+6
6
6
_
78
( iv ) 4 =
29
4
. 4 =
29
4
. Ent ao, cos 4 =
2
2
de (1.65) obtemos
cos 2 =
_
2
2
2
Observe que,
4 =
29
4
2 =
29
8
2 =
24 + 4 +
8
2 = 3+
2
+
8
cos 2 > 0.
Este resultado em (1.64) nos d a,
sen =
q
2
2
2
; cos =
q
2+
2
2
Estes resultados, juntamente com (1.78), nos fornecem a solu c ao
w
7
= (cos cos , sen cos , sen):
w
7
=
8
3
_
q
2+
2
2
186
6
6
,
q
2
2
2
186
6
6
,
18+6
6
6
_
Reunindo estas quatro solu c oes, temos:
w
1
=
8
3
_
q
2
2
2
186
6
6
,
q
2+
2
2
186
6
6
,
18+6
6
6
_
w
3
=
8
3
_
q
2+
2
2
186
6
6
,
q
2
2
2
186
6
6
,
18+6
6
6
_
w
5
=
8
3
_
q
2
2
2
186
6
6
,
q
2+
2
2
186
6
6
,
18+6
6
6
_
w
7
=
8
3
_
q
2+
2
2
186
6
6
,
q
2
2
2
186
6
6
,
18+6
6
6
_
Temos, w
4
i
= (1, 1, 1) para i = 1, 3, 5, 7. A seguir plotamos as oito razes
quartas de (1, 1, 1):
w
0
= 1, 15
11, 25
o
8, 82
o
w
2
= 1, 15
101, 25
o
8, 82
o
w
4
= 1, 15
191, 25
o
8, 82
o
w
6
= 1, 15
281, 25
o
8, 82
o
Y
Z
X
w
1
= 1, 15
56, 25
o
72, 37
o
w
3
= 1, 15
146, 25
o
72, 37
o
w
5
= 1, 15
236, 25
o
72, 37
o
w
7
= 1, 15
326, 25
o
72, 37
o
No graco, em azul temos as razes de ndices pares: w
0
, w
2
, w
4
, e w
6
; e,
em vermelho temos as razes de ndices mpares: w
1
, w
3
, w
5
, e w
7
.
Gentil 79
Uma conseq uencia da proposi c ao 10 (p ag. 36) e o seguinte
Corolario 4. Se
n
w = w
k
, ent ao
n
w = w
k
.
Prova: Com efeito, seja w = (x, y, z) e w
k
= (a, b, c) uma raiz nesima
de w. Temos, w = (x, y, z) e w
k
= (a, b, c). Por deni c ao de raiz nesima,
temos w
n
k
= (x, y, z); pela proposi c ao 10 resulta w
n
k
= (x, y, z), o que prova
que w
k
e raiz nesima de w.
Como uma conseq uencia imediata deste corol ario, as oito razes quartas de
(1, 1, 1) s ao: w
0
, w
1
, w
2
, w
3
, w
4
, w
5
, w
6
, w
7
. Gr acamente, temos
w
0
= 1, 15
11, 25
o
8, 82
o
w
2
= 1, 15
101, 25
o
8, 82
o
w
4
= 1, 15
191, 25
o
8, 82
o
w
6
= 1, 15
281, 25
o
8, 82
o
Y
Z
X
w
1
= 1, 15
56, 25
o
72, 37
o
w
3
= 1, 15
146, 25
o
72, 37
o
w
5
= 1, 15
236, 25
o
72, 37
o
w
7
= 1, 15
326, 25
o
72, 37
o
Um Desao
A equa c ao de Pit agoras:
x
2
+y
2
= z
2
(1.79)
possui innitas solu c oes em R
3
.
O prop osito deste desao e mostrarmos um algoritmo para encontrarmos
um grande n umero de solu c oes para esta equa c ao. Por exemplo, vamos agora
encontrar 4 4 2 = 32 solu c oes.
Pois bem, tomamos
x w
0
, w
1
, w
2
, w
3
y w
0
, w
1
, w
2
, w
3
onde, x = w
k
e qualquer uma das razes quadradas de (1, 1, 1); e tomamos
y = w
k
, qualquer uma das razes quadradas de (1, 1, 1). Ent ao,
_
_
_
x
2
= w
2
k
= (1, 1, 1)
y
2
= w
2
k
= (1, 1, 1)
x
2
+y
2
= (2, 2, 0)
Tomando z
2
= (2, 2, 0), basta encontrarmos as razes quadradas de (2, 2, 0) em
C.
E o que faremos agora. Temos,
(2, 2, 0) = 2(1, 1) = 2
2
4
Vamos relembrar a 2
a
formula de Moivre: Dados o n umero complexo z =
e o n umero natural n ( n 2 ), ent ao existem n razes enezimas de z que s ao da
forma,
z
k
=
n
_
cos
_
n
+k
2
n
_
+i sen
_
n
+k
2
n
_
80
Sendo assim, resulta:
z
k
=
2
_
2
2
_
cos
_
/4
2
+k
2
2
_
+i sen
_
/4
2
+k
2
2
_
Tomando k = 0, 1 obtemos,
z
0
=
4
8
_
2+
2
2
+i
2
2
_
z
1
=
4
8
_
2+
2
2
i
2
2
_
Podemos escrever,
z
0
=
4
8
_
2+
2
2
,
2
2
, 0
_
z
1
=
4
8
_
2+
2
2
,
2
2
, 0
_
Portanto, tomando,
x w
0
, w
1
, w
2
, w
3
, w
4
y w
0
, w
1
, w
2
, w
3
z z
0
, z
1
y w
0
, w
1
, w
2
, w
3
, w
4
, w
5
, w
6
, w
7
onde, x = w
k
e qualquer uma das razes quartas de (1, 1, 1); e tomamos y = w
k
,
qualquer uma das razes quartas de (1, 1, 1). Ent ao,
_
_
_
x
4
= w
4
k
= (1, 1, 1)
y
4
= w
4
k
= (1, 1, 1)
x
4
+y
4
= (2, 2, 0)
Tomando z
4
= (2, 2, 0), basta encontrarmos as razes quartas de (2, 2, 0) em
C.
E o que faremos agora. Temos,
(2, 2, 0) = 2(1, 1) = 2
2
4
Aplicando a formula de Moivre, resulta:
z
k
=
4
_
2
2
_
cos
_
/4
4
+k
2
4
_
+i sen
_
/4
4
+k
2
4
_
Tomando k = 0, 1, 2, 3 obtemos,
z
0
=
8
8
_
q
2+
2+
2
2
+i
q
2
2+
2
2
_
z
1
=
8
8
_
q
2
2+
2
2
+i
q
2+
2+
2
2
_
z
2
=
8
8
_
q
2+
2+
2
2
i
q
2
2+
2
2
_
z
3
=
8
8
_
q
2
2+
2
2
i
q
2+
2+
2
2
_
Podemos escrever,
z
0
=
8
8
_
q
2+
2+
2
2
,
q
2
2+
2
2
, 0
_
z
1
=
8
8
_
q
2
2+
2
2
,
q
2+
2+
2
2
, 0
_
z
2
=
8
8
_
q
2+
2+
2
2
,
q
2
2+
2
2
, 0
_
z
3
=
8
8
_
q
2
2+
2
2
,
q
2+
2+
2
2
, 0
_
82
Portanto, tomando,
x w
0
, w
1
, w
2
, w
3
, w
4
, w
5
, w
6
, w
7
y w
0
, w
1
, w
2
, w
3
, w
4
, w
5
, w
6
, w
7
z z
0
, z
1
, z
2
, z
3
obtemos 256 solu c oes para a equa c ao proposta. Plotando as solu c oes, temos
Y
Z
X
Ou ainda,
As bolinhas em azul representam as razes quartas de (1, 1, 1), as bolinhas
em vermelho representam as razes quartas de (1, 1, 1) e as bolinhas em verde
representam as razes quartas de (2, 2, 0); de sorte que, combinando uma boli-
nha de cada cor temos as solu c oes da equa c ao x
4
+y
4
= z
4
.
Captulo 2
Equacoes
2.1 Resolucao da equacao a w = b
Vamos resolver a equa c ao, a w = b , onde a = (a
1
, b
1
, c
1
) e b = (a
2
, b
2
, c
2
)
s ao dados e w = (x, y, z) e a inc ognita.
Vamos assumir que (isto e, vamos resolver esta equa c ao para o caso em
que) a e b situam-se fora do eixo 0z (hipercomplexos n ao-singulares).
Pois bem, calculando o produto a w em (D
4
), obtemos
_
(a
1
x b
1
y) , (a
1
y +x b
1
) , c
1
r
2
+z r
1
_
= (a
2
, b
2
, c
2
)
Onde,
r
1
=
_
a
2
1
+b
2
1
, r
2
=
_
x
2
+y
2
e = 1
c
1
z
r
1
r
2
Devemos resolver o seguinte sistema,
_
_
(a
1
x b
1
y) = a
2
(2.1)
(a
1
y +b
1
x) = b
2
(2.2)
c
1
r
2
+z r
1
= c
2
(2.3)
Como, por hipotese, r
2
=
_
a
2
2
+b
2
2
,= 0, vamos considerar dois casos,
1
o
) b
2
,= 0. Dividindo (2.1) por (2.2) e resolvendo em rela c ao a y, obtemos,
y =
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
x = x (2.4)
Temos,
r
2
=
_
x
2
+y
2
=
_
x
2
+ ( x)
2
= [x[ , onde, =
_
1 +
2
> 0
Ainda,
= 1
c
1
z
r
1
r
2
= 1
c
1
z
r
1
[x[
83
84
Tirando z em (2.3) e substituindo nesta equa c ao, obtemos
= 1
c
1
r
1
[x[
z = 1
c
1
r
1
[x[
c
2
c
1
[x[
r
1
= 1
c
1
c
2
c
2
1
[x[
r
2
1
[x[
(2.5)
Este resultado em (2.2) nos d a,
(a
1
x +b
1
x)
_
1
c
1
c
2
c
2
1
[x[
r
2
1
[x[
_
= b
2
Devemos considerar duas possibilidades:
1
a
) x > 0, ( [x[ = x). Neste caso camos com,
x(a
1
+b
1
)
_
1
c
1
c
2
c
2
1
x
r
2
1
x
_
= b
2
Resolvendo esta equa c ao para x encontramos,
x =
1
2
1
_
b
2
a
1
+b
1
r
2
1
+
c
1
c
2
_
Ou ainda (eliminando o par ametro ),
x =
1
2
1
_
b
2
a
1
+b
1
r
2
1
+
c
1
c
2
_
1 +
2
_
Este resultado em (2.4) nos d a y e em z =
c
2
c
1
|x|
r
1
nos d a z.
2
a
) x < 0, ( [x[ = x). Neste caso camos com,
x(a
1
+b
1
)
_
1 +
c
1
c
2
+c
2
1
x
r
2
1
x
_
= b
2
Resolvendo esta equa c ao para x encontramos,
x =
1
2
1
_
b
2
a
1
+b
1
r
2
1
c
1
c
2
_
Ou ainda (eliminando o par ametro ),
x =
1
2
1
_
b
2
a
1
+b
1
r
2
1
c
1
c
2
_
1 +
2
_
Este resultado em (2.4) nos d a y e em z =
c
2
c
1
|x|
r
1
nos d a z.
2
o
) a
2
,= 0. Dividindo (2.2) por (2.1) e resolvendo em rela c ao a y, obtemos, o
mesmo resultado que em (2.4). Substituindo de (2.5) em (2.1), obtemos
(a
1
x b
1
x)
_
1
c
1
c
2
c
2
1
[x[
r
2
1
[x[
_
= a
2
Gentil 85
Devemos considerar duas possibilidades:
1
a
) x > 0, ( [x[ = x). Neste caso camos com,
x(a
1
b
1
)
_
1
c
1
c
2
c
2
1
x
r
2
1
x
_
= a
2
Resolvendo esta equa c ao para x encontramos,
x =
1
2
1
_
a
2
a
1
b
1
r
2
1
+
c
1
c
2
_
Ou ainda (eliminando o par ametro ),
x =
1
2
1
_
a
2
a
1
b
1
r
2
1
+
c
1
c
2
_
1 +
2
_
2
a
) x < 0, ( [x[ = x). Neste caso camos com,
x(a
1
b
1
)
_
1 +
c
1
c
2
+c
2
1
x
r
2
1
x
_
= a
2
Resolvendo esta equa c ao para x encontramos,
x =
1
2
1
_
a
2
a
1
b
1
r
2
1
c
1
c
2
_
Ou ainda (eliminando o par ametro ),
x =
1
2
1
_
a
2
a
1
b
1
r
2
1
c
1
c
2
_
1 +
2
_
Resumindo, a equa c ao (a
1
, b
1
, c
1
) w = (a
2
, b
2
, c
2
), do primeiro grau,
possui duas solu c oes, dadas assim,
a
2
,= 0
_
_
x =
1
2
1
_
a
2
a
1
b
1
r
2
1
+
c
1
c
2
1+
2
_
y = x
z =
c
2
c
1
1+
2
x
r
1
ou
_
_
x =
1
2
1
_
a
2
a
1
b
1
r
2
1
c
1
c
2
1+
2
_
y = x
z =
c
2
+c
1
1+
2
x
r
1
(2.6)
Ou ainda,
b
2
,= 0
_
_
x =
1
2
1
_
b
2
a
1
+b
1
r
2
1
+
c
1
c
2
1+
2
_
y = x
z =
c
2
c
1
1+
2
x
r
1
ou
_
_
x =
1
2
1
_
b
2
a
1
+b
1
r
2
1
c
1
c
2
1+
2
_
y = x
z =
c
2
+c
1
1+
2
x
r
1
(2.7)
Nota: se a
2
,= 0 e b
2
,= 0 o leitor pode constatar que os dois casos acima
nos fornecem a mesma solu c ao.
Exemplo: Resolva a equa c ao:
(1, 1, 2) w = (1, 0, 3) (2.8)
86
Solu cao: Temos, (a
1
, b
1
, c
1
) = (1, 1, 2) e (a
2
, b
2
, c
2
) = (1, 0, 3); ent ao
r
2
1
= 1
2
+ (1)
2
= 2,
2
1
= 1
2
+ (1)
2
+ 2
2
= 6
e,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
=
1 0 1 (1)
1 1 + (1) 0
= 1
Sendo assim temos,
a
2
,= 0
_
_
x =
1
6
_
1
11(1)
2 +
23
1+1
2
_
y = 1 x
z =
32
1+1
2
x
2
ou
_
_
x =
1
6
_
1
11(1)
2
23
1+1
2
_
y = 1 x
z =
3+2
1+1
2
x
2
Ou ainda,
_
_
x =
1
6
(1 + 3
2 )
y =
1
6
(1 + 3
2 )
z =
1
6
(2 + 3
2 )
ou
_
_
x =
1
6
(1 3
2 )
y =
1
6
(1 3
2 )
z =
1
6
(2 + 3
2 )
Nota: Conra este resultado com o exemplo 4
o
), p ag. 10.
a
X
Y
Z
b
w =
_
1 + 3
2
6
,
1 + 3
2
6
,
2 + 3
2
6
_
= 1, 29
45, 00
o
16, 83
o
e
w
=
_
1 3
2
6
,
1 3
2
6
,
2 + 3
2
6
_
= 1, 29
225, 00
o
53, 70
o
Vamos conferir, temos,
a = (1, 1, 2) = 2, 45
45, 00
o
54, 74
o
b = (1, 0, 3) = 3, 16
00, 00
o
71, 57
o
Temos,
a w = 2, 45
45, 00
o
54, 74
o
1, 29
45, 00
o
16, 83
o
= 3, 16
00, 00
o
71, 57
o
= b
Gentil 87
Tambem,
a w
= 2, 45
45, 00
o
54, 74
o
1, 29
225, 00
o
53, 70
o
= 3, 16
180, 00
o
108, 44
o
b
2.1.1 Resolucao da equacao b w = a
Nos reais (ou complexos) temos,
a x = b (a x) x
1
= b x
1
b x
1
= a
Isto e, para ir de a ate b multiplicamos por x. Para voltar de b para a, multi-
plicamos ( b ) por x
1
(inverso de x).
Perguntamos: e nos hipercomplexos, como fazemos para voltar? (sera que
voltamos pelo mesmo caminho?). Temos,
a w = b (2.9)
Vamos de a para b por dois caminhos (as duas solu c oes de (2.9)). Para voltar
de b para a basta permut a-los em (2.9), assim
b w = a (2.10)
Ou ainda,
(a
2
, b
2
, c
2
) w = (a
1
, b
1
, c
1
) (2.11)
Para resolver esta equa c ao (isto e, para encontrar w) basta, na solu c ao de (2.9)
fazer a seguinte permuta,
a = (a
1
, b
1
, c
1
)
b = (a
2
, b
2
, c
2
)
Isto e, basta trocarmos os ndices: 1 2. Ent ao, a solu c ao de (2.10) ca,
b
1
,= 0
_
_
x =
1
2
2
_
b
1
a
2
()+b
2
r
2
2
+
c
2
c
1
1+()
2
_
y = () x
z =
c
1
c
2
1+()
2
x
r
2
ou
_
_
x =
1
2
2
_
b
1
a
2
()+b
2
r
2
2
c
2
c
1
1+()
2
_
y = () x
z =
c
1
+c
2
1+()
2
x
r
2
Ou ainda,
a
1
,= 0
_
_
x =
1
2
2
_
a
1
a
2
()b
2
r
2
2
+
c
2
c
1
1+()
2
_
y = () x
z =
c
1
c
2
1+()
2
x
r
2
ou
_
_
x =
1
2
2
_
a
1
a
2
()b
2
r
2
2
c
2
c
1
1+()
2
_
y = () x
z =
c
1
+c
2
1+()
2
x
r
2
Observe que,
=
a
2
b
1
a
1
b
2
a
2
a
1
+b
2
b
1
=
88
onde diz respeito `a solu c ao de (2.10).
Resumindo, a solu c ao da equa c ao (2.11) e dada por
a
1
,= 0
_
_
x =
1
2
2
_
a
1
a
2
+b
2
r
2
2
+
c
2
c
1
1+
2
_
y = x
z =
c
1
c
2
1+
2
x
r
2
ou
_
_
x =
1
2
2
_
a
1
a
2
+b
2
r
2
2
c
2
c
1
1+
2
_
y = x
z =
c
1
+c
2
1+
2
x
r
2
Ou ainda,
b
1
,= 0
_
_
x =
1
2
2
_
b
1
a
2
+b
2
r
2
2
+
c
2
c
1
1+
2
_
y = x
z =
c
1
c
2
1+
2
x
r
2
ou
_
_
x =
1
2
2
_
b
1
a
2
+b
2
r
2
2
c
2
c
1
1+
2
_
y = x
z =
c
1
+c
2
1+
2
x
r
2
Perguntamos: que rela c oes devem existir entre as (duas) solu c oes w e as (duas)
solu c oes w? Ser a que w w = 1?
Vamos responder esta pergunta para o caso particular do exemplo anterior.
Vamos resolver a equa c ao,
(1, 0, 3) w = (1, 1, 2)
inversa de (2.8).
Solu cao: Temos,
r
2
2
= 1
1
+ 0
2
= 1,
2
2
= 1
1
+ 0
2
+ 3
2
= 10
e,
=
a
2
b
1
a
1
b
2
a
2
a
1
+b
2
b
1
= = 1
Vamos tomar para solu c ao,
b
1
,= 0
_
_
x =
1
2
2
_
b
1
a
2
+b
2
r
2
2
+
c
2
c
1
1+
2
_
y = x
z =
c
1
c
2
1+
2
x
r
2
ou
_
_
x =
1
2
2
_
b
1
a
2
+b
2
r
2
2
c
2
c
1
1+
2
_
y = x
z =
c
1
+c
2
1+
2
x
r
2
Nota: poderiamos ter tomado, igualmente, a solu c ao para o outro caso ( a
1
,= 0 ).
Temos,
_
_
x =
1
10
_
1
1 1+0
1 +
32
1+1
2
_
y = 1 x
z =
23
1+1
2
x
1
ou
_
_
x =
1
10
_
1
1 1+0
1
32
1+1
2
_
y = 1 x
z =
2+3
1+1
2
x
1
Sendo assim, temos
w =
_
_
x =
1
10
(1 + 3
2)
y =
1
10
(1 3
2)
z =
1
10
(2 3
2)
ou
_
_
x =
1
10
(1 3
2)
y =
1
10
(1 + 3
2)
z =
1
10
(2 + 3
2)
Gentil 89
Vamos repetir aqui, para efeito de compara c ao, a solu c ao do problema inverso:
w =
_
_
x =
1
6
(1 + 3
2 )
y =
1
6
(1 + 3
2 )
z =
1
6
(2 + 3
2 )
ou
_
_
x =
1
6
(1 3
2 )
y =
1
6
(1 3
2 )
z =
1
6
(2 + 3
2 )
Quem e inverso de quem? Isto e, w w = 1?
Nota: Usando o programa dado no apendice (para multiplicar dois hipercom-
plexos) constatamos que apenas a primeira solu c ao de w e inversa da primeira
solu c ao de w.
Da rela c ao,
w
1
w
2
=
1
2
12 12
Tomando w
1
= 1 = 1
0
o
0
o
, temos que o inverso de w
2
e,
1
w
2
=
1
2
2 2
Vamos escrever as solu c oes anteriores na forma polar para ver quem e inverso
de quem:
(b a) w = 0, 77
45, 00
o
16, 83
o
ou w = 0, 77
135, 00
o
53, 70
o
Vamos repetir, para efeito de compara c ao, as solu c oes w,
(a b) w = 1, 29
45, 00
o
16, 83
o
ou w
= 1, 29
225, 00
o
53, 70
o
O que conrma a assertiva anterior. Logo, para irmos de a para b (a b)
vamos por dois caminhos, para retornar (b a) tambem retornamos por dois
caminhos. Apenas um destes e inverso de um dos caminhos da ida (por sinal
o menor caminho tem inverso). Portanto, retornamos por um caminho dife-
rente da ida (embora o outro seja o mesmo da ida).
De outro modo: a solu c ao da equa c ao b a nos d a duas op c oes: ou vol-
tamos pelo mesmo caminho (inverso) ou voltamos por um caminho diferente
dos dois da ida.
90
2.1.2 Resolucao da equacao a w
1
= b
Vamos resolver a equa c ao,
a
w
= b (ou ainda a w
1
= b) , onde a =
(a
1
, b
1
, c
1
) e b = (a
2
, b
2
, c
2
) s ao dados e w = (x, y, z) e a inc ognita.
Vamos assumir que (isto e, vamos resolver esta equa c ao para o caso em
que) a e b situam-se fora do eixo 0z.
Inicialmente escrevemos w
1
, assim,
w
1
=
1
2
( x, y, z ), onde
2
= x
2
+y
2
+z
2
.
Devemos resolver a seguinte equa c ao,
(a
1
, b
1
, c
1
)
_
x
2
,
y
2
,
z
2
,
_
= (a
2
, b
2
, c
2
)
A resolu c ao direta deste sistema torna-se extremamente difcil (se e que e
possvel). Vamos resolve-lo indiretamente, aproveitando a solu c ao da equa c ao
do primeiro grau a w = b. Resolvemos esta equa c ao para as vari aveis
x
2
,
y
2
e
z
2
, assim (ver equa c ao (2.7), p ag. 85),
b
2
,= 0
_
_
x
2
=
1
2
1
_
b
2
a
1
+b
1
r
2
1
+
c
1
c
2
1+
2
_
y
2
=
x
2
z
2
=
c
2
c
1
1+
2
2
r
1
ou
_
_
x
2
=
1
2
1
_
b
2
a
1
+b
1
r
2
1
c
1
c
2
1+
2
_
y
2
=
x
2
z
2
=
c
2
+c
1
1+
2
2
r
1
Ou ainda,
b
2
,= 0
_
_
x =
1
2
1
_
b
2
a
1
+b
1
r
2
1
+
c
1
c
2
1+
2
_
2
y = x
z =
c
2
r
1
2
+
c
1
r
1
_
1 +
2
x
ou
_
_
x =
1
2
1
_
b
2
a
1
+b
1
r
2
1
c
1
c
2
1+
2
_
2
y = x
z =
c
2
r
1
c
1
r
1
_
1 +
2
x
Neste instante o leitor poderia argumentar: a equa c ao a w
1
= b ainda
n ao encontra-se resolvida devido a que
2
= x
2
+y
2
+ z
2
.
Isto e verdade. Para contornar este obst aculo usaremos de um artifcio.
Pelo corol ario 2 (p ag. 33), temos
a w
1
= b [a w
1
[ = [b[ [a[
w
1
= [b[
[a[
1
= [b[ =
[a[
[b[
Sendo assim, vamos considerar como uma constante. Tendo em conta
que =
|a|
|b|
=
1
2
, resulta
b
2
,= 0
_
_
x =
1
2
2
_
b
2
a
1
+b
1
r
2
1
+
c
1
c
2
1+
2
_
y = x
z =
c
2
r
1
_
2
_
2
+
c
1
r
1
_
1 +
2
x
ou
_
_
x =
1
2
2
_
b
2
a
1
+b
1
r
2
1
c
1
c
2
1+
2
_
y = x
z =
c
2
r
1
_
2
_
2
c
1
r
1
_
1 +
2
x
Gentil 91
A outra solu c ao ca assim (ver equa c ao (2.6), p ag. 85),
a
2
,= 0
_
_
x
2
=
1
2
1
_
a
2
a
1
b
1
r
2
1
+
c
1
c
2
1+
2
_
y
2
=
x
2
z
2
=
c
2
c
1
1+
2
2
r
1
ou
_
_
x
2
=
1
2
1
_
a
2
a
1
b
1
r
2
1
c
1
c
2
1+
2
_
y
2
=
x
2
z
2
=
c
2
+c
1
1+
2
2
r
1
Ou ainda,
a
2
,= 0
_
_
x =
1
2
2
_
a
2
a
1
b
1
r
2
1
+
c
1
c
2
1+
2
_
y = x
z =
c
2
r
1
_
2
_
2
+
c
1
r
1
_
1 +
2
x
ou
_
_
x =
1
2
2
_
a
2
a
1
b
1
r
2
1
c
1
c
2
1+
2
_
y = x
z =
c
2
r
1
_
2
_
2
c
1
r
1
_
1 +
2
x
Exemplo: Resolva a equa c ao: (1, 1, 2) w
1
= (1, 0, 3). Ou ainda,
(1, 1, 2) (x, y, z)
1
= (1, 0, 3)
Solu cao: Temos, (a
1
, b
1
, c
1
) = (1, 1, 2) e (a
2
, b
2
, c
2
) = (1, 0, 3); ent ao
r
2
1
= 1
2
+ (1)
2
= 2,
2
1
= 1
2
+ (1)
2
+ 2
2
= 6,
2
2
= 1
2
+ 0
2
+ 3
2
= 10
e,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
=
1 0 1 (1)
1 1 + (1) 0
= 1
Temos,
a
2
,= 0
_
_
x =
1
10
_
1
11(1)
2 +
23
1+1
2
_
y = 1 x
z =
3
2
6
10
+
2
1 + 1
2
x
ou
_
_
x =
1
10
_
1
11(1)
2
23
1+1
2
_
y = 1 x
z =
3
2
6
10
2
1 + 1
2
x
Simplicando, obtemos
_
_
x =
1
10
(1 + 3
2)
y =
1
10
(1 + 3
2)
z =
1
10
(2 3
2)
ou
_
_
x =
1
10
(1 3
2)
y =
1
10
(1 3
2)
z =
1
10
(2 + 3
2)
92
2.1.3 Resolucao da equacao b w
1
= a
Vamos resolver a equa c ao,
b
w
= a (ou ainda b w
1
= a) , onde a =
(a
1
, b
1
, c
1
) e b = (a
2
, b
2
, c
2
) s ao dados e w = (x, y, z) e a inc ognita.
Vamos assumir que (isto e, vamos resolver esta equa c ao para o caso em
que) a e b situam-se fora do eixo 0z.
Inicialmente escrevemos w
1
, assim,
w
1
=
1
2
( x, y, z ), onde
2
= x
2
+y
2
+z
2
.
Devemos resolver a seguinte equa c ao,
(a
2
, b
2
, c
2
)
_
x
2
,
y
2
,
z
2
,
_
= (a
1
, b
1
, c
1
) (2.12)
A resolu c ao direta deste sistema torna-se extremamente difcil (se e que e
possvel). Vamos resolve-lo indiretamente, aproveitando a solu c ao da equa c ao
do primeiro grau a w = b.
Inicialmente fa camos uma mudan ca de vari aveis , assim,
X =
x
2
, Y =
y
2
, Z =
z
2
. (2.13)
O nosso sistema torna-se,
(a
2
, b
2
, c
2
) (X, Y, Z) = (a
1
, b
1
, c
1
) (2.14)
Para resolver esta equa c ao (isto e, para encontrar W = (X, Y, Z)) basta, na
solu c ao de a w = b fazer a seguinte permuta,
a = (a
1
, b
1
, c
1
)
b = (a
2
, b
2
, c
2
)
Isto e, basta trocarmos os ndices: 1 2. Ent ao, a solu c ao de (2.14) ca (ver
equa c ao (2.6), p ag. 85),
a
1
,= 0
_
_
X =
1
2
2
_
a
1
a
2
()b
2
r
2
2
+
c
2
c
1
1+()
2
_
Y = () X
Z =
c
1
c
2
1+()
2
X
r
2
ou
_
_
X =
1
2
2
_
a
1
a
2
()b
2
r
2
2
c
2
c
1
1+()
2
_
Y = () X
Z =
c
1
+c
2
1+()
2
X
r
2
Ou ainda (ver equa c ao (2.7), p ag. 85),
b
1
,= 0
_
_
X =
1
2
2
_
b
1
a
2
()+b
2
r
2
2
+
c
2
c
1
1+()
2
_
Y = () X
Z =
c
1
c
2
1+()
2
X
r
2
ou
_
_
X =
1
2
2
_
b
1
a
2
()+b
2
r
2
2
c
2
c
1
1+()
2
_
Y = () X
Z =
c
1
+c
2
1+()
2
X
r
2
Observe que,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
=
a
2
b
1
a
1
b
2
a
2
a
1
+b
2
b
1
=
12
Gentil 93
Vamos voltar com as vari aveis iniciais (dadas por (2.13)), ent ao,
a
1
,= 0
_
_
x
2
=
1
2
2
_
a
1
a
2
()b
2
r
2
2
+
c
2
c
1
1+()
2
_
y
2
= ()
x
2
z
2
=
c
1
c
2
1+()
2 x
2
r
2
ou
_
_
x
2
=
1
2
2
_
a
1
a
2
()b
2
r
2
2
c
2
c
1
1+()
2
_
y
2
= ()
x
2
z
2
=
c
1
+c
2
1+()
2 x
2
r
2
Ou ainda,
b
1
,= 0
_
_
x
2
=
1
2
2
_
b
1
a
2
()+b
2
r
2
2
+
c
2
c
1
1+()
2
_
y
2
= ()
x
2
z
2
=
c
1
c
2
1+()
2 x
2
r
2
ou
_
_
x
2
=
1
2
2
_
b
1
a
2
()+b
2
r
2
2
c
2
c
1
1+()
2
_
y
2
= ()
x
2
z
2
=
c
1
+c
2
1+()
2 x
2
r
2
De outro modo,
a
1
,= 0
_
_
x =
1
2
2
_
a
1
a
2
+b
2
r
2
2
+
c
2
c
1
1+
2
_
2
y = x
z =
c
1
c
2
1+
2 x
2
r
2
(
2
)
ou
_
_
x =
1
2
2
_
a
1
a
2
+b
2
r
2
2
c
2
c
1
1+
2
_
2
y = x
z =
c
1
+c
2
1+
2 x
2
r
2
(
2
)
Ou ainda,
b
1
,= 0
_
_
x =
1
2
2
_
b
1
a
2
+b
2
r
2
2
+
c
2
c
1
1+
2
_
2
y = x
z =
c
1
c
2
1+
2 x
2
r
2
(
2
)
ou
_
_
x =
1
2
2
_
b
1
a
2
+b
2
r
2
2
c
2
c
1
1+
2
_
2
y = x
z =
c
1
+c
2
1+
2 x
2
r
2
(
2
)
Neste instante o leitor poderia argumentar: a equa c ao (2.12) ainda n ao
encontra-se resolvida devido a que
2
= x
2
+y
2
+z
2
.
Isto e verdade. Para contornar este obst aculo usaremos de um artifcio.
Pelo corol ario 2 (p ag. 33), temos
b w
1
= a [b w
1
[ = [a[ [b[
w
1
= [a[
[b[
1
= [a[ =
[b[
[a[
Sendo assim, vamos considerar como uma constante. Tendo em conta
que =
|b|
|a|
=
2
1
, resulta
a
1
,= 0
_
_
x =
1
2
1
_
a
1
a
2
+b
2
r
2
2
+
c
2
c
1
1+
2
_
y = x
z =
c
1
r
2
_
1
_
2
+
c
2
r
2
_
1 +
2
x
ou
_
_
x =
1
2
1
_
a
1
a
2
+b
2
r
2
2
c
2
c
1
1+
2
_
y = x
z =
c
1
r
2
_
1
_
2
c
2
r
2
_
1 +
2
x
94
Ou ainda,
b
1
,= 0
_
_
x =
1
2
1
_
b
1
a
2
+b
2
r
2
2
+
c
2
c
1
1+
2
_
y = x
z =
c
1
r
2
_
1
_
2
+
c
2
r
2
_
1 +
2
x
ou
_
_
x =
1
2
1
_
b
1
a
2
+b
2
r
2
2
c
2
c
1
1+
2
_
y = x
z =
c
1
r
2
_
1
_
2
c
2
r
2
_
1 +
2
x
2.2 Resolucao da equacao a w
2
= b
Vamos resolver a equa c ao, a w
2
= b , onde a = (a
1
, b
1
, c
1
) e b = (a
2
, b
2
, c
2
)
s ao dados e w = (x, y, z) e a inc ognita.
Vamos assumir que (isto e, vamos resolver esta equa c ao para o caso em
que) a e b situam-se fora do eixo 0z.
Pelo lema 1 (p ag. 35) podemos escrever,
aw
2
= (a
1
, b
1
, c
1
)
_
(x
2
y
2
)
_
1
z
2
x
2
+y
2
_
, 2 xy
_
1
z
2
x
2
+y
2
_
, 2z
_
x
2
+y
2
_
= (a
2
, b
2
, c
2
)
Realizando este produto em (D
4
), temos o seguinte sistema a resolver,
_
a
1
(x
2
y
2
)
_
1
z
2
x
2
+y
2
_
b
1
2 xy
_
1
z
2
x
2
+y
2
_
_
= a
2
_
a
1
2 xy
_
1
z
2
x
2
+y
2
_
+ (x
2
y
2
)
_
1
z
2
x
2
+y
2
_
b
1
_
= b
2
c
1
r
2
+ 2z
_
x
2
+y
2
r
1
= c
2
Onde, r
1
=
_
a
2
1
+b
2
1
,
r
2
=
_
_
(x
2
y
2
)
_
1
z
2
x
2
+y
2
_
2
+
_
2 xy
_
1
z
2
x
2
+y
2
_
2
e,
= 1
c
1
2z
x
2
+y
2
r
1
r
2
Simplicando, temos
_
a
1
(x
2
y
2
) b
1
2 xy
_
_
_
1
z
2
x
2
+y
2
_
= a
2
(2.15)
_
a
1
2 xy + (x
2
y
2
) b
1
_
_
1
z
2
x
2
+y
2
_
= b
2
(2.16)
c
1
r
2
+ 2z
_
x
2
+y
2
r
1
= c
2
(2.17)
r
2
= (x
2
+y
2
)
_
1
z
2
x
2
+y
2
_
(2.18)
Como, por hipotese, r
2
=
_
a
2
2
+b
2
2
,= 0, vamos considerar dois casos,
Gentil 95
1
o
) b
2
,= 0. Dividindo (2.15) por (2.16) e simplicando, obtemos,
( x
2
y
2
) 2xy = 0, onde, =
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
(2.19)
Desta equa c ao obtemos, y
2
+
2x
yx
2
= 0. Resolvendo esta equa c ao, em rela c ao
a y, temos
y =
2x
_
4 x
2
_
1 +
1
2
_
2 1
(2.20)
Simplicando,
y =
x
[x[ , onde, =
_
1 + 1/
2
Para prosseguir devemos considerar duas possibilidades:
1 ) x > 0, ( [x[ = x). Neste caso camos com,
y =
x
x y =
x
+x, ou y =
x
x
Nota: N ao podemos ter x = 0, porquanto teriamos y = 0, o que n ao satisfaz o
sistema.
Consideremos, em separado, cada uma destas possibilidades para y:
1.1 ) y =
x
+x = (
1
+)x
2
= x
2
_
1 + (
1
+)
2
= x
2
(2.21)
x
2
y
2
= x
2
_
(
1
+)x
2
= x
2
_
1 (
1
+)
2
= x
2
(2.22)
onde, =
_
1 + (
1
+ )
2
e =
_
1 (
1
+ )
2
. Substituindo (2.21) em
(2.18), resulta,
r
2
= x
2
1
z
2
x
2
= [x
2
z
2
[
Este resultado em (2.17), fornece,
c
1
[x
2
z
2
[ + 2z x
r
1
= c
2
(2.23)
= 1
c
1
2z
x
2
+y
2
r
1
r
2
= 1
c
1
2z
x
2
+y
2
r
1
r
2
r
1
r
1
= 1
c
1
2z
x
2
+y
2
r
1
r
2
1
r
2
De (2.17), tiramos 2z
_
x
2
+y
2
r
1
= c
2
c
1
r
2
, substituindo nesta ultima
equa c ao, temos
= 1
c
1
(c
2
c
1
r
2
)
r
2
1
r
2
=
1
r
2
1
_
2
1
c
1
c
2
1
r
2
_
=
1
r
2
1
_
2
1
c
1
c
2
1
[x
2
z
2
[
_
(2.24)
96
Substituindo , (2.21) e (2.22) em (2.16), obtemos,
_
2a
1
x
_
1
+
_
x +x
2
b
1
_
_
1
z
2
x
2
1
r
2
1
_
2
1
c
1
c
2
1
[x
2
z
2
[
_
= b
2
Simplicando, temos
_
x
2
z
2
_
2
1
c
1
c
2
[x
2
z
2
[
_
=
r
2
1
2 a
1
_
+
_
+ b
1
b
2
Ainda,
_
x
2
z
2
_
2
1
( x
2
z
2
)
[x
2
z
2
[
c
1
c
2
=
r
2
1
2 a
1
_
+
_
+ b
1
b
2
Ou,
_
x
2
z
2
_
2
1
( 1 ) c
1
c
2
=
r
2
1
2 a
1
_
+
_
+ b
1
b
2
(2.25)
Sendo assim, temos
_
x
2
z
2
_
=
1
2
1
_
r
2
1
2 a
1
_
+
_
+ b
1
b
2
c
1
c
2
_
(2.26)
Chamando a constante do lado direito de , resulta
[x
2
z
2
[ = [[
Este resultado em (2.23) nos d a z em fun c ao de x, assim
c
1
[[ + 2z x
r
1
= c
2
z =
c
2
c
1
[[
2 xr
1
(2.27)
Logo,
z
2
=
(c
2
c
1
[[)
2
4 x
2
r
2
1
(2.28)
Agora vamos obter a seguinte rela c ao:
z
2
x
2
+y
2
=
1
x
2
(c
2
c
1
[[)
2
4 x
2
r
2
1
=
1
x
4
(c
2
c
1
[[)
2
4 r
2
1
2
Portanto,
z
2
x
2
+y
2
=
x
4
(2.29)
onde,
=
_
c
2
c
1
[[
2 r
1
_
2
Temos ainda,
=
1
r
2
1
_
2
1
c
1
c
2
1
[x
2
z
2
[
_
=
1
r
2
1
_
2
1
c
1
c
2
1
[[
_
=
Gentil 97
Onde = , agora e uma constante.
Vamos substituir todos estes resultados em (2.16),
_
a
1
2x
_
+
_
x +x
2
b
1
_
_
1
x
4
_
= b
2
Ent ao,
x
2
_
2 a
1
_
+
_
+ b
1
_
_
1
x
4
_
= b
2
Isto nos d a,
x
2
_
1
x
4
_
=
b
2
_
2 a
1
(
1
+ ) + b
1
_
Vamos chamar a constante do lado direito de , ent ao,
x
2
_
1
x
4
_
= x
4
x
2
= 0
Fa camos x
2
= X, ent ao, X
2
X = 0. Sendo assim, temos
X =
2
+ 4
2
A rela c ao x
2
= X nos diz que devemos escolher X > 0 ( veja que [[ 0 ),
portanto temos,
x
2
=
+
2
+ 4
2
Ou ainda,
x =
2
+ 4
2
Lembre-se que esta e a op c ao 1 ) x > 0; portanto, nalmente, temos
x =
_
2 + 2
2
+ 4
2
Fazendo um resumo (parcial), temos
x =
_
2 + 2
2
+ 4
2
y =
_
+
_
x
z =
c
2
c
1
[[
2 r
1
1
x
Onde,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
, =
_
1 + 1/
2
, = 1 + (
1
+ )
2
, = 1 (
1
+)
2
=
1
2
1
_
r
2
1
2 a
1
_
+
_
+ b
1
b
2
c
1
c
2
_
, =
_
c
2
c
1
||
2 r
1
_
2
, =
1
r
2
1
_
2
1
c
1
c
2
1
||
_
98
=
b
2
_
2 a
1
(
1
+ )+b
1
_
Continuemos,
1.2 ) y =
x
x = (
1
+)x
2
= x
2
_
1 + (
1
+)
2
= x
2
(2.30)
x
2
y
2
= x
2
_
(
1
+)x
2
= x
2
_
1 (
1
+)
2
= x
2
(2.31)
onde, =
_
1 + (
1
+ )
2
e =
_
1 (
1
+ )
2
2
1
c
1
c
2
1
[x
2
z
2
[
_
Substituindo , (2.30) e (2.31) em (2.16), obtemos,
_
2a
1
x
_
1
+
_
x +x
2
b
1
_
_
1
z
2
x
2
1
r
2
1
_
2
1
c
1
c
2
1
[x
2
z
2
[
_
= b
2
Simplicando, temos
_
x
2
z
2
_
2
1
c
1
c
2
[x
2
z
2
[
_
=
r
2
1
2 a
1
_
1
+
_
+ b
1
b
2
Procedendo como no caso anterior, obtemos
_
x
2
z
2
_
=
1
2
1
_
r
2
1
2 a
1
_
1
+
_
+ b
1
b
2
c
1
c
2
_
(2.32)
Chamando a constante do lado direito de , resulta
[x
2
z
2
[ = [[
As constantes e s ao como no caso anterior
.
Vamos substituir todos estes resultados em (2.16),
_
a
1
2x
_
1
+
_
x +x
2
b
1
_
_
1
x
4
_
= b
2
Ent ao,
x
2
_
2 a
1
_
1
+
_
+ b
1
_
_
1
x
4
_
= b
2
Isto nos d a,
x
2
_
1
x
4
_
=
b
2
_
2 a
1
(
1
+ ) + b
1
_
s o que agora em fun c ao dos novos valores das constantes que as precedem, evidentemente.
Gentil 99
Vamos chamar a constante do lado direito de , ent ao,
x
2
_
1
x
4
_
= x
4
x
2
= 0
No mais, tudo segue como no caso anterior.
Fazendo um resumo (parcial), temos
x =
_
2 + 2
2
+ 4
2
y =
_
1
+
_
x
z =
c
2
c
1
[[
2 r
1
1
x
Onde,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
, =
_
1 + 1/
2
, = 1 + (
1
+)
2
, = 1 (
1
+)
2
=
1
2
1
_
r
2
1
2 a
1
_
1
+
_
+ b
1
b
2
c
1
c
2
_
, =
_
c
2
c
1
||
2 r
1
_
2
, =
1
r
2
1
_
2
1
c
1
c
2
1
||
_
=
b
2
_
2 a
1
(
1
+ )+b
1
_
2 ) x < 0, ( [x[ = x). Neste caso camos com,
y =
x
(x) y =
x
+x, ou y =
x
x
Consideremos, em separado, cada uma destas possibilidades para y:
2.1 ) y =
x
+ x = (
1
r
1
= c
2
donde,
z =
c
2
c
1
[[
2 xr
1
(2.33)
Em,
x =
2
+ 4
2
optamos pelo sinal negativo, isto e,
x =
_
2 + 2
2
+ 4
2
100
Fazendo um resumo (parcial), temos
x =
_
2 + 2
2
+ 4
2
y =
_
+
_
x
z =
c
2
c
1
[[
2 r
1
1
x
Onde,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
, =
_
1 + 1/
2
, = 1 + (
1
+)
2
, = 1 (
1
+)
2
=
1
2
1
_
r
2
1
2 a
1
_
+
_
+ b
1
b
2
c
1
c
2
_
, =
_
c
2
c
1
||
2 r
1
_
2
, =
1
r
2
1
_
2
1
c
1
c
2
1
||
_
=
b
2
_
2 a
1
(
1
+ )+b
1
_
Continuemos,
2.2 ) y =
x
x = (
1
2
+ 4
2
y =
_
1
+
_
x
z =
c
2
c
1
[[
2 r
1
1
x
Onde,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
, =
_
1 + 1/
2
, = 1 + (
1
+)
2
, = 1 (
1
+)
2
=
1
2
1
_
r
2
1
2 a
1
_
1
+
_
+ b
1
b
2
c
1
c
2
_
, =
_
c
2
c
1
||
2 r
1
_
2
, =
1
r
2
1
_
2
1
c
1
c
2
1
||
_
=
b
2
_
2 a
1
(
1
+ )+b
1
_
Podemos unicar as solu c oes de 1.1 ) e 2.1 ); bem como as de 1.2 ) e 2.2 )
da seguinte forma:
Gentil 101
x =
_
2 + 2
2
+ 4
2
(2.34)
y =
_
+
_
x
z =
c
2
c
1
[[
2 r
1
1
x
Onde,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
, =
_
1 + 1/
2
, = 1 + (
1
+ )
2
, = 1 (
1
+)
2
=
1
2
1
_
r
2
1
2 a
1
_
+
_
+ b
1
b
2
c
1
c
2
_
, =
_
c
2
c
1
||
2 r
1
_
2
, =
1
r
2
1
_
2
1
c
1
c
2
1
||
_
=
b
2
_
2 a
1
(
1
+ )+b
1
_
e,
x =
_
2 + 2
2
+ 4
2
(2.35)
y =
_
1
+
_
x
z =
c
2
c
1
[[
2 r
1
1
x
Onde,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
, =
_
1 + 1/
2
, = 1 + (
1
+)
2
, = 1 (
1
+)
2
=
1
2
1
_
r
2
1
2 a
1
_
1
+
_
+ b
1
b
2
c
1
c
2
_
, =
_
c
2
c
1
||
2 r
1
_
2
, =
1
r
2
1
_
2
1
c
1
c
2
1
||
_
=
b
2
_
2 a
1
(
1
+ )+b
1
_
An alise do resultado:
i ) Qualquer que seja o sinal de , x sempre resulta real. De fato, devemos ter
2 + 2
2
+ 4 > 0. Ent ao,
+
2
+ 4 > 0 >
2
+ 4
Se > 0 (ok!). Se < 0:
>
2
+ 4
2
<
_
2
+ 4
_
2
2
< [
2
+ 4[
o que e sempre verdade uma vez que > 0.
ii ) Devido a presen ca do termo c
1
c
2
em , concluimos que podemos ter ate
102
oito solu c oes para a equa c ao aw
2
= b. Portanto, emH, uma equa c ao quadr atica
pode ter ate oito solu c oes.
iii ) Quando a = 1 = (1, 0, 0) ent ao as solu c oes de a w
2
= b s ao precisamente as
razes quadradas de b. Neste caso observe que, devido c
1
= 0, temos um unico
valor para , o que nos diz que s ao em n umero de quatro as razes quadradas
de um hiperimaginario (n ao singular).
Nossa tarefa ainda n ao encontra-se concluida. Falta resolver a equa c ao
para o caso a
2
,= 0.
2
o
) a
2
,= 0. Dividindo (2.16) por (2.15) e simplicando, obtemos,
( x
2
y
2
) + 2xy = 0, onde, =
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
Que e a mesma equa c ao obtida em (2.19) (p ag. 95), o que nos poupa algum
trabalho. Seguindo os mesmos passos da resolu c ao para o caso b
2
,= 0 chegamos
a seguinte solu c ao:
x =
_
2 + 2
2
+ 4
2
(2.36)
y =
_
+
_
x
z =
c
2
c
1
[[
2 r
1
1
x
Onde,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
, =
_
1 + 1/
2
, = 1 + (
1
+)
2
, = 1 (
1
+)
2
=
1
2
1
_
r
2
1
2 b
1
_
+
_
+ a
1
a
2
c
1
c
2
_
=
_
c
2
c
1
||
2 r
1
_
2
, =
1
r
2
1
_
2
1
c
1
c
2
1
||
_
=
a
2
_
2 b
1
(
1
+ )+ a
1
_
e,
x =
_
2 + 2
2
+ 4
2
(2.37)
y =
_
1
+
_
x
z =
c
2
c
1
[[
2 r
1
1
x
Onde,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
, =
_
1 + 1/
2
, = 1 + (
1
+)
2
, = 1 (
1
+)
2
Gentil 103
=
1
2
1
_
r
2
1
2 b
1
_
1
+
_
+ a
1
a
2
c
1
c
2
_
, =
_
c
2
c
1
||
2 r
1
_
2
, =
1
r
2
1
_
2
1
c
1
c
2
1
||
_
=
a
2
_
2 b
1
(
1
+ )+ a
1
_
O leitor pode mostrar que se a
2
,= 0 e b
2
,= 0, ent ao os dois casos nos
d ao a mesma solu c ao. Ou ainda: as solu c oes dadas por (2.34) e (2.36) s ao as
mesmas; bem como as dadas por (2.35) e (2.37).
(Contra)-Exemplo: Resolver a equa c ao: (1, 0, 1) w
2
= (1, 0, 1).
Solu cao: Temos,
a = (a
1
, b
1
, c
1
) = (1, 0, 1)
b = (a
2
, b
2
, c
2
) = (1, 0, 1)
Portanto,
a
1
= 1, b
1
= 0, c
1
= 1
a
2
= 1, b
2
= 0, c
2
= 1
Se tentarmos calcular :
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
=
1 0 (1) 0
1 (1) + 0 0
= 0,
e n ao podemos usar a formula para resolver esta equa c ao. A prop osito, observe
que, para utilizar a formula, n ao podemos ter, simult aneamente, b
1
= b
2
= 0 e
nem a
1
= a
2
= 0, isto e, a, b n ao podem pertencer ao plano x0z ou ao plano
y0z. Este caso deve ser tratado em separado. Embora n ao possamos utilizar a
formula, a tecnica de resolu c ao da equa c ao a w
2
= b ainda se aplica neste caso.
Devido a que, por hipotese, estamos considerando r
1
=
_
a
2
1
+b
2
1
,= 0 e
r
2
=
_
a
2
2
+b
2
2
,= 0, se
b
1
= b
2
= 0 (plano x0z) a
1
,= 0, a
2
,= 0;
a
1
= a
2
= 0 (plano y0z) b
1
,= 0, b
2
,= 0.
Pois bem, vamos resolver a equa c ao proposta. Substituindo os dados no sistema
original, temos
_
1 (x
2
y
2
) 0 2 xy
_
_
_
1
z
2
x
2
+y
2
_
= 1
_
1 2 xy + (x
2
y
2
) 0
_
_
1
z
2
x
2
+y
2
_
= 0
1 r
2
+ 2z
_
x
2
+y
2
1 = 1
onde,
r
2
= (x
2
+y
2
)
_
1
z
2
x
2
+y
2
_
, = 1
1 2z
_
x
2
+y
2
1 r
2
(2.38)
104
Simplicando o sistema, temos
(x
2
y
2
)
_
1
z
2
x
2
+y
2
_
= 1 (2.39)
xy
_
1
z
2
x
2
+y
2
_
= 0 (2.40)
r
2
+ 2z
_
x
2
+y
2
= 1 (2.41)
De (2.39) e (2.40) concluimos que
_
1
z
2
x
2
+y
2
_
,= 0, o que implica xy = 0.
Observe que n ao podemos ter, simult aneamente, x = 0 e y = 0. Vamos
considerar duas hipoteses,
1
a
) y = 0 (portanto x ,= 0). Com esta hipotese, obtemos
x
2
_
1
z
2
x
2
_
= 1 (2.42)
r
2
+ 2z
x
2
= 1 (2.43)
r
2
= x
2
_
1
z
2
x
2
_
= [x
2
z
2
[, = 1
2z
x
2
r
2
(2.44)
De (2.43), tiramos 2z
x
2
= 1 r
2
, em , obtemos = 2 1/r
2
. Estes
resultados em (2.42), nos d ao: x
2
z
2
= 0 ou x
2
z
2
= 1. De imediato,
jogamos fora a primeira destas possibilidades (implica r
2
= 0). Sendo assim,
nos resta, r
2
= [ 1[ = 1. Este resultado em (2.43) nos d a z = 0, mas isto
implica em x
2
= 1. Logo, devemos considerar a outra hipotese,
2
a
) x = 0 (portanto y ,= 0). Com esta hipotese, obtemos
y
2
_
1
z
2
y
2
_
= 1 (2.45)
r
2
+ 2z
_
y
2
= 1 (2.46)
onde,
r
2
= y
2
_
1
z
2
y
2
_
= [y
2
z
2
[, = 1
2z
_
y
2
r
2
(2.47)
De (2.46), tiramos 2z
_
y
2
= 1 r
2
, em , obtemos = 2 1/r
2
. Estes re-
sultados em (2.45), nos d ao: y
2
z
2
= 0 ou y
2
z
2
= 1. De imediato,
jogamos fora a primeira destas possibilidades (implica r
2
= 0). Sendo assim,
nos resta, r
2
= [1[ = 1. Este resultado em (2.46) nos d a z = 0; o que implica
y = 1. Sendo assim, temos duas razes para a nossa equa c ao: w = (0, 1, 0)
ou w = (0, 1, 0).
Nota: Um outro caso que deve ser resolvido em separado e o da equa c ao
(1, 1, 1) w
2
= (1, 1, 1), porquanto neste caso temos o denominador de anu-
lado.
Gentil 105
Exemplo: Resolver a equa c ao: (1, 1, 2) w
2
= (1, 0, 3).
Solu cao: Temos,
a = (a
1
, b
1
, c
1
) = (1, 1, 2)
b = (a
2
, b
2
, c
2
) = (1, 0, 3)
Portanto,
a
1
= 1, b
1
= 1, c
1
= 2
a
2
= 1, b
2
= 0, c
2
= 3
Como a
2
,= 0 vamos usar as formulas (2.36) (p ag. 102) e (2.37) (p ag. 102).
Temos,
r
2
1
= 1
2
+ (1)
2
= 2,
2
1
= 1
2
+ (1)
2
+ 2
2
= 6
e,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
=
1 0 1 (1)
1 1 + (1) 0
= 1
Temos,
=
_
1 + 1/
2
, = 1 + (
1
+)
2
, = 1 (
1
+)
2
=
_
1 + 1/1
2
, = 1 + (
1
1
+
2)
2
, = 1 (
1
1
+
2)
2
Temos,
=
2, = 2(2
2), = 2(1 +
2)
Ent ao,
=
1
2
1
_
r
2
1
2 b
1
_
+
_
+ a
1
a
2
c
1
c
2
_
=
1
6
_
2(2
2)2
2(1)
_
1
1
+
2
_
+2(1+
2)1
1 2 3
_
=
2
6
1
Temos,
1
o
) =
2
6
+ 1. Neste caso temos
=
_
c
2
c
1
[[
2 r
1
_
2
=
_
3 2
2
6
+ 1
2 2(2
2)
_
2
=
1
24
2
( 1 + 2
2 )
2
=
1
r
2
1
_
2
1
c
1
c
2
1
[[
_
=
1
2
_
6 2 3
1
2
6
+ 1
_
=
3
17
( 1 + 3
2 )
=
a
2
_
2 b
1
(
1
+ )+ a
1
_
=
1
_
2(1) (
1
1
+
2 )+2(1+
2)1
_
3
17
( 1+3
2 )
=
1
12
( 7 + 4
2 )
106
Substituindo estes valores em x =
2+2
2
+4
2
, obtemos
x =
s
2
1
12
( 7+4
2 )+2
r
_
1
12
( 7+4
2 )
_
2
+4
1
24
2
(1+2
2)
2
2
x =
6
12
_
( 7 + 4
2 ) +
_
( 7 + 4
2 )
2
+ (1 + 2
2)
2
Para estes valores de x, temos
y =
_
+
_
x =
_
1 +
2
_
x
z =
c
2
c
1
||
2 r
1
1
x
=
(3
22)
2+
2
24
1
x
2
o
) =
2
6
1. Neste caso temos
=
_
c
2
c
1
[[
2 r
1
_
2
=
_
3 2
2
6
1
2 2(2
2)
_
2
=
1
24
2
( 5 + 4
2 )
2
=
1
r
2
1
_
2
1
c
1
c
2
1
[[
_
=
1
2
_
6 2 3
1
2
6
1
_
=
3
17
( 1 + 3
2 )
=
a
2
_
2 b
1
(
1
+ )+ a
1
_
=
1
_
2(1) (
1
1
+
2 )+2(1+
2)1
_
3
17
( 1+3
2 )
=
1
12
( 5 + 2
2 )
Substituindo estes valores em x =
2+2
2
+4
2
, obtemos
x =
s
2
1
12
( 5+2
2 )+2
r
_
1
12
( 5+2
2 )
_
2
+4
1
24
2
(5+4
2)
2
2
x =
6
12
_
( 5 + 2
2 ) +
_
( 5 + 2
2 )
2
+ (5 + 4
2)
2
Para estes valores de x, temos
y =
_
+
_
x =
_
1 +
2
_
x
z =
c
2
c
1
||
2 r
1
1
x
=
(3
2+2)
2+
2
24
1
x
Gentil 107
As outras solu c oes s ao dadas por (2.37) (p ag. 102), onde, = 1 e
=
2. Temos,
= 1 + (
1
+)
2
, = 1 (
1
+)
2
= 1 + (
1
1
+
2)
2
= 2(2 +
2), = 1 (
1
1
+
2)
2
= 2(1 +
2)
Temos,
=
1
2
1
_
r
2
1
2 b
1
_
1
+
_
+ a
1
a
2
c
1
c
2
_
=
1
6
_
2(2+
2)2
2(1)
_
1
1
+
2
_
+(2)(1+
2)1
1 2 3
_
=
2
6
1.
Temos,
1
o
) =
2
6
+ 1. Neste caso temos
=
_
c
2
c
1
[[
2 r
1
_
2
=
_
3 2
2
6
+ 1
2 2(2 +
2)
_
2
=
1
24
2
(2
2 1)
2
=
1
r
2
1
_
2
1
c
1
c
2
1
[[
_
=
1
2
_
6 2 3
1
2
6
+ 1
_
=
3
17
(1 + 3
2)
=
a
2
_
2 b
1
(
1
+ )+ a
1
_
=
1
_
2(1) (
1
1
+
2 )+(2)(1+
2)1
_
3
17
(1+3
2)
=
1
12
(4
2 7)
Substituindo estes valores em x =
2+2
2
+4
2
, obtemos
x =
s
2
1
12
( 4
27 )+2
r
_
1
12
( 4
27 )
_
2
+4
1
24
2
(2
21)
2
2
x =
6
6
q
( 4
27 )+
( 4
27 )
2
+(2
21)
2
2
Para estes valores de x, temos
y =
_
1
+
_
x =
_
1 +
2
_
x
z =
c
2
c
1
||
2 r
1
1
x
=
(3
2+2)
2
24
1
x
Temos,
108
2
o
) =
2
6
1. Neste caso temos
=
_
c
2
c
1
[[
2 r
1
_
2
=
_
3 2
2
6
1
2 2(2 +
2)
_
2
=
1
24
2
(4
2 5)
2
=
1
r
2
1
_
2
1
c
1
c
2
1
[[
_
=
1
2
_
6 2 3
1
2
6
1
_
=
3
17
(1 3
2)
=
a
2
_
2 b
1
(
1
+ )+ a
1
_
=
1
_
2(1) (
1
1
+
2 )+(2)(1+
2)1
_
3
17
(13
2)
=
1
12
(2
2 5)
Substituindo estes valores em x =
2+2
2
+4
2
, obtemos
x =
s
2
1
12
( 2
25 )+2
r
_
1
12
( 2
25 )
_
2
+4
1
24
2
(4
25)
2
2
x =
6
6
q
( 2
25 )+
( 2
25 )
2
+(4
25)
2
2
Para estes valores de x, temos
y =
_
1
+
_
x =
_
1 +
2
_
x
z =
c
2
c
1
||
2 r
1
1
x
=
(3
22)
2
24
1
x
Gentil 109
Agrupando as razes temos,
x =
6
12
_
( 7 + 4
2 ) +
_
( 7 + 4
2 )
2
+ (1 + 2
2)
2
y =
_
1 +
2
_
x
z =
(3
22)
2+
2
24
1
x
x =
6
12
_
( 5 + 2
2 ) +
_
( 5 + 2
2 )
2
+ (5 + 4
2)
2
y =
_
1 +
2
_
x
z =
(3
2+2)
2+
2
24
1
x
x =
6
12
_
( 7 4
2 ) +
_
( 7 4
2 )
2
+ (1 2
2)
2
y =
_
1 +
2
_
x
z =
(3
2+2)
2
24
1
x
x =
6
12
_
( 5 + 2
2 ) +
_
( 5 + 2
2 )
2
+ (5 + 4
2)
2
y =
_
1 +
2
_
x
z =
(3
22)
2
24
1
x
110
Vamos agrupar estas razes (e seus respectivos quadrados) na forma
polar (com duas decimais exatas):
x > 0: w = 1, 14
22, 50
o
8, 41
o
; w
2
= 1, 29
45, 00
o
16, 83
o
x < 0: w = 1, 14
202, 50
o
8, 41
o
; w
2
= 1, 29
45, 00
o
16, 83
o
x > 0: w = 1, 14
22, 50
o
63, 15
o
; w
2
= 1, 29
225, 00
o
53, 70
o
x < 0: w = 1, 14
202, 50
o
63, 15
o
; w
2
= 1, 29
225, 00
o
53, 70
o
x > 0: w = 1, 14
67, 50
o
26, 85
o
; w
2
= 1, 29
225, 00
o
53, 70
o
x < 0: w = 1, 14
112, 50
o
26, 85
o
; w
2
= 1, 29
225, 00
o
53, 70
o
x > 0: w = 1, 14
67, 50
o
81, 59
o
; w
2
= 1, 29
45, 00
o
16, 83
o
x < 0: w = 1, 14
112, 50
o
81, 59
o
; w
2
= 1, 29
45, 00
o
16, 83
o
A seguir plotamos as oito solu c oes da equa c ao: (1, 1, 2) w
2
= (1, 0, 3),
Y
Z
X
A solu c ao da equa c ao a w
2
= b para o caso em que a e b s ao complexos
(isto e, c
1
= c
2
= 0), ca:
x =
2
2
_
+[[ =
_
0, se < 0;
, se > 0.
(2.48)
y =
_
+
_
x
z = 0
Onde,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
, =
_
1 + 1/
2
, = 1 + (
1
+)
2
, = 1 (
1
+)
2
=
2 a
1
_
+
_
+ b
1
b
2
, = 0, = 1
Gentil 111
=
b
2
2 a
1
(
1
+ )+b
1
e,
x =
2
2
_
+[[ =
_
0, se < 0;
, se > 0.
(2.49)
y =
_
1
+
_
x
z = 0
Onde,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
, =
_
1 + 1/
2
, = 1 + (
1
+)
2
, = 1 (
1
+)
2
=
2 a
1
_
1
+
_
+ b
1
b
2
, = 0, = 1
=
b
2
2 a
1
(
1
+ )+b
1
Para o caso em que a
2
,= 0, ca:
x =
2
2
_
+[[ =
_
0, se < 0;
, se > 0.
(2.50)
y =
_
+
_
x
z = 0
Onde,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
, =
_
1 + 1/
2
, = 1 + (
1
+ )
2
, = 1 (
1
+)
2
=
2 b
1
_
+
_
+ a
1
a
2
= 0, = 1
=
a
2
2 b
1
(
1
+ )+ a
1
e,
x =
2
2
_
+[[ =
_
0, se < 0;
, se > 0.
(2.51)
y =
_
1
+
_
x
z = 0
112
Onde,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
, =
_
1 + 1/
2
, = 1 + (
1
+)
2
, = 1 (
1
+)
2
=
2 b
1
_
1
+
_
+ a
1
a
2
, = 0, = 1
=
a
2
2 b
1
(
1
+ )+ a
1
Nota: Observe que n ao utilizaremos as constantes e .
Exemplo: Resolver a equa c ao: (2, 1, 0) w
2
= (1, 3, 0).
Solu cao: Temos,
a = (a
1
, b
1
, c
1
) = (2, 1, 0)
b = (a
2
, b
2
, c
2
) = (1, 3, 0)
Portanto,
a
1
= 2, b
1
= 1, c
1
= 0
a
2
= 1, b
2
= 3, c
2
= 0
Como a
2
,= 0 vamos usar as formulas (2.50) e (2.51). Temos,
=
a
1
b
2
a
2
b
1
a
1
a
2
+b
1
b
2
=
2 3 1 1
2 1 + 1 3
= 1
Temos,
=
_
1 + 1/
2
, = 1 (
1
+)
2
=
_
1 + 1/1
2
, = 1 (
1
1
+
2)
2
Temos,
=
2, = 2(1 +
2)
Ent ao,
=
a
2
2 b
1
(
1
+ )+ a
1
=
1
21 (
1
1
+
2 )+2(1+
2)2
=
1+
2
2
Sendo assim, temos
x =
2+2
2
2
; y = ( 1 +
2 ) x; z = 0.
Agora vejamos a solu c ao (2.51): Temos,
=
_
1 + 1/
2
, = 1 (
1
+)
2
=
_
1 + 1/1
2
, = 1 (
1
1
+
2)
2
Temos,
=
2, = 2(1 +
2)
Gentil 113
Ent ao,
=
a
2
2 b
1
(
1
+ )+ a
1
=
1
21 (
1
1
+
2 )+(2)(1+
2)2
=
1
2
2
Sendo assim, temos
x = 0; y = 0; z = 0.
2.2.1 Algoritimo para extracao de razes quadradas
A solu c ao da equa c ao aw
2
= b nos permite, tomando a = (1, 0, 0), extrair
as razes quadradas de b. Para este caso as equa c oes (2.34) (p ag. 101) e (2.35)
(p ag. 101) transformam-se em,
x =
_
2 + 2
2
+ 4
2
(2.52)
y =
_
+
_
x
z =
c
2
2
1
x
Onde,
=
b
2
a
2
, =
_
1 + 1/
2
, = 1 + (
1
+)
2
, = 1 (
1
+)
2
=
_
c
2
2
_
2
, =
b
2
2 (
1
+ )
e,
x =
_
2 + 2
2
+ 4
2
(2.53)
y =
_
1
+
_
x
z =
c
2
2
1
x
Onde,
=
b
2
a
2
, =
_
1 + 1/
2
, = 1 + (
1
+)
2
, = 1 (
1
+)
2
=
_
c
2
2
_
2
, =
b
2
2 (
1
+ )
114
As equa c oes (2.36) (p ag. 102) e (2.37) (p ag. 102) transformam-se em,
x =
_
2 + 2
2
+ 4
2
(2.54)
y =
_
+
_
x
z =
c
2
2
1
x
Onde,
=
b
2
a
2
, =
_
1 + 1/
2
, = 1 + (
1
+)
2
, = 1 (
1
+)
2
=
_
c
2
2
_
2
, =
a
2
a
1
e,
x =
_
2 + 2
2
+ 4
2
(2.55)
y =
_
1
+
_
x
z =
c
2
2
1
x
Onde,
=
b
2
a
2
, =
_
1 + 1/
2
, = 1 + (
1
+)
2
, = 1 (
1
+)
2
=
_
c
2
2
_
2
, =
a
2
a
1
Nota: O algoritmo acima aplica-se apenas quando em b = (a
2
, b
2
, c
2
) tivermos
a
2
,= 0 e b
2
,= 0.
Exemplo: Calcular
1 +i +j.
Solu cao: Temos, 1 + i + j = (1, 1, 1). Logo, a
2
= 1, b
2
= 1 e c
2
= 1. Vamos
inicialmente usar (2.54), ent ao
=
1
1
= 1, =
_
1 + 1/1
2
=
2,
= 1 + (
1
1
+
2 )
2
= 2 (2
2 ), = 1 (
1
1
+
2 )
2
= 2 (1 +
2 )
=
_
c
2
2
_
2
=
1
2
5
(3 + 2
2 ), =
a
2
=
1+
2
2
Gentil 115
Substituindo estes resultados em (2.54), obtemos
x =
r
(1+
2 )+
q
3(3+2
2 )
2
2
y = (
2 1 ) x
z =
2+
2
4
1
x
Agora consideremos (2.55),
=
1
1
= 1, =
_
1 + 1/1
2
=
2,
= 1 + (
1
1
+
2 )
2
= 2 (2 +
2 ), = 1 (
1
1
+
2 )
2
= 2 (1 +
2 )
=
_
c
2
2
_
2
=
1
2
5
(3 2
2 ), =
a
2
=
1
2
2
Substituindo estes resultados em (2.54), obtemos
x =
r
(1
2 )+
q
3(32
2 )
2
2
y = (
2 + 1 ) x
z =
2
4
1
x
Portanto, s ao em n umero de quatro as razes quadradas de 1 +i +j.
116
Captulo 3
Funcoes Hipercomplexas de
Argumentos
Hipercomplexos
Nosso objetivo neste captulo e modesto: generalizar algumas poucas fun c oes
das vari aveis complexas para o contexto dos hipercomplexos. N ao e nosso ob-
jetivo desenvolver um C alculo de tais fun c oes.
3.1 Generalizacao da formula de Euler (26.01.07 )
Consideremos a formula de Euler,
e
iy
= cos y +i seny
para n umeros complexos. Podemos generalizar esta formula, para o contexto
dos hipercomplexos, de duas formas distintas
e
iy+jz
= cos y cos z +i seny cos z +j sen z
e,
e
iyjz
= cos y cos z +i sen y cos z j sen z
Observe que estas exponenciais diferem apenas na terceira parcela, que
s ao simetricas; o que signica que calculando uma delas temos a outra, para o
mesmo par (y, z) de argumentos, evidentemente.
Observe tambem que s ao fun c oes pares, com respeito `a segunda vari avel,
isto e, elas n ao se alteram se trocarmos z por z.
117
118
Exemplos:
a)
y z
e
i+j
= cos cos +i sen cos +j sen = 1
e
i+j()
= cos cos() +i sen cos() +j sen () = 1
e
i()+j
= cos() cos +i sen() cos +j sen = 1
e
i()+j()
= cos() cos() +i sen() cos() +j sen () = 1
A outra exponencial nos fornece os mesmos valores. Resumindo, temos
e
(i+j)
= 1, e
(ij)
= 1
e
(i+j)
= 1, e
(ij)
= 1
Nota: Observe que aqui tudo se passa no R
3
. Por exemplo,
1 = (1, 0, 0), i = (0, 1, 0), j = (0, 0, 1)
com soma ( +) e produto ( ) n ao complexos, mas sim hipercomplexos.
b)
y z
2
2
2
2
e
i+j2
= cos cos 2 +i sen cos 2 +j sen2 = 1
e
i+j(2)
= cos cos(2) +i sen cos(2) + j sen (2) = 1
e
i()+j2
= cos() cos 2 +i sen () cos 2 +j sen 2 = 1
e
i()+j(2)
= cos() cos(2) +i sen () cos(2) +j sen (2) = 1
A outra exponencial nos fornece os mesmos valores. Resumindo, temos
e
(i+2j)
= 1, e
(i2j)
= 1
e
(i+2j)
= 1 , e
(i2j)
= 1
c )
y z
e
i
2
+j
2
= cos
2
cos
2
+i sen
2
cos
2
+j sen
2
= j
e
i
2
+j(
2
)
= cos
2
cos(
2
) +i sen
2
cos(
2
) +j sen (
2
) = j
e
i(
2
)+j
2
= cos(
2
) cos
2
+i sen(
2
) cos
2
+j sen
2
= j
e
i(
2
)+j(
2
)
= cos(
2
) cos(
2
) +i sen(
2
) cos(
2
) +j sen (
2
) = j
A outra exponencial nos fornece valores simetricos, em resumo temos
e
(i+j)
2
= j, e
(ij)
2
= j
e
(i+j)
2
= j, e
(ij)
2
= j
Gentil 119
d)
y z
2
2
2
2
2
2
2
2
e
i
2
+j2
= cos
2
cos 2 +i sen
2
cos 2 +j sen 2 = i
e
i
2
+j(2)
= cos
2
cos(2) +i sen
2
cos(2) +j sen(2) = i
e
i(
2
)+j2
= cos(
2
) cos 2 +i sen (
2
) cos 2 +j sen2 = i
e
i(
2
)+j(2)
= cos(
2
) cos(2) +i sen (
2
) cos(2) +j sen (2) = i
A outra exponencial nos fornece os mesmos valores, em resumo temos
e
(i
1
2
+2j)
= i, e
(i
1
2
2j)
= i
e
(i
1
2
+2j)
= i, e
(i
1
2
2j)
= i
O leitor pode mostrar que,
e
i
+ 1 = e
j
+ 1 = 0
3.2 Generalizacao de funcoes complexas elementares
Aqui procuraremos generalizar algumas das fun c oes complexas elementa-
res.
Deni cao 10 (Exponencial). Dado um hipercomplexo w = (x, y, z) a expo-
nencial de w e denida por
e
w
=
_
e
x
_
cos y cos z +i sen y cos z +j sen z
_
e
x
_
cos y cos z +i sen y cos z j sen z
_
(3.1)
Neste caso a exponencial e uma fun c ao bivalente. Isto e, a cada valor da
vari avel w, associa dois valores. Cada uma das express oes acima e denominado
um ramo da exponencial. Cada ramo e uma fun c ao univalente, isto e associa
um unico valor `a vari avel w. Observe que os dois ramos da exponencial diferem
apenas na terceira parcela que s ao simetricas, de sorte que tendo um deles,
temos tambem o outro. O primeiro dos ramos acima, chamaremos de ramo
principal da exponencial.
Observe que, [e
w
[ = e
x
.
3.2.1 Logaritmo
Para denir logaritmo de hipercomplexos consideraremos (, ) como ar-
gumento principal, isto e, 0 < 2 e
2
2
.
Pela deni c ao de exponencial temos
e
i+j
= (cos cos +i sen cos +j sen ),
e
ij
= (cos cos +i sen cos j sen ).
120
Da forma trigonometrica de um hipercomplexo (veja p ag. 27), temos
w =
_
_
_
_
cos cos +i sen cos +j sen
_
, se sen 0;
_
cos cos +i sen cos j sen
_
, se sen 0.
Portanto,
w =
_
_
_
e
i+j
, se 0
2
;
e
ij
, se
2
0.
- Logaritmo (Nos complexos)
Recordamos que o logaritmo complexo e denido como,
ln z = ln r +i, z = re
i
- Logaritmo (Nos hipercomplexos)
Para generalizar o logaritmo aos hipercomplexos, denimos
ln w =
_
_
_
ln +i +j, se 0
2
;
ln +i j, se
2
0.
Nota: Se deixarmos e livres a fun c ao logaritmo resultara multivalente.
Tal como foi denida acima, resultou numa fun c ao univalente; este e o ramo
principal do logaritmo.
Exemplos:
a) Seja w = 1 = 1
0
. Ent ao,
ln (1) = ln 1 +i +j 0 i = ln (1)
b) Seja w = i +j =
2
2
4
. Ent ao,
ln (i +j) = ln
2 + i
2
+j
4
Em outra nota c ao,
ln (0, 1, 1) =
_
ln
2,
2
,
4
_
A localiza c ao graca de ln (i +j), ca assim:
Y
Z
X
ln (i+j) ln (i +j) = 1, 79
77, 56
o
26, 02
o
Gentil 121
Deni cao de w
pela
equa c ao
w
= e
lnw
Exemplos:
a) Calcule i
j
. Aplicando a deni c ao, temos
i
j
= e
j lni
Temos,
i = 1
2 0
ln i = ln 1 +i
2
= i
2
Fazendo a multiplica c ao, j ln i, encontramos
(0, 0, 1)
_
0,
2
, 0
_
=
_
0, 0,
2
_
Sendo assim, temos (ramo principal da exponencial),
e
j lni
= e
0
_
cos 0 cos
2
+i sen 0 cos
2
+j sen
2
_
= j
Sendo assim, resulta
i
j
= j, ou (0, 1, 0)
(0, 0, 1)
= (0, 0, 1)
Pelo outro ramo da exponencial, obtemos
i
j
= j, ou (0, 1, 0)
(0, 0, 1)
= (0, 0, 1)
Exerccio: Mostre que j
i
= j.
b) Calcule
i
. Aplicando a deni c ao, temos
i
= e
i ln
Temos,
=
0 0
ln = ln +i 0 +j 0 = ln
Fazendo a multiplica c ao, i ln , encontramos
(0, 1, 0)
_
ln , 0, 0
_
=
_
0, ln , 0
_
Sendo assim, temos
e
i ln
= e
0
_
cos ln cos 0 +i sen ln cos 0 j sen 0
_
Simplicando, obtemos
i
= cos ln +i sen ln
Em outra nota c ao ca,
(0, 1, 0)
=
_
cos ln , sen ln , 0
_
c ) Calcule
j
. Aplicando a deni c ao, temos
j
= e
j ln
122
Temos,
=
0 0
ln = ln +i 0 +j 0 = ln
Fazendo a multiplica c ao, j ln , encontramos
(0, 0, 1)
_
ln , 0, 0
_
=
_
0, 0, ln
_
Sendo assim, temos (ramo principal)
e
j ln
= e
0
_
cos 0 cos ln +i sen 0 cos ln +j sen ln
_
Simplicando, obtemos
j
= cos ln +j sen ln
Em outra nota c ao ca,
(0, 0, 1)
=
_
cos ln , 0, sen ln
_
Para efeitos de compara c ao, escrevemos
(0, 1, 0)
=
_
cos ln , sen ln , 0
_
(0, 0, 1)
=
_
cos ln , 0, sen ln
_
Daqui, concluimos que
(0, 1, 0)
+
(0, 0, 1)
=
_
2 cos ln , sen ln , sen ln
_
(0, 1, 0)
(0, 0, 1)
=
_
cos ln , sen ln , tg ln
_
cos ln
(0, 1, 0)
(0, 0, 1)
=
_
cos ln , sen ln , tg ln
_
cos ln
A seguir localizamos
i
e
j
no espa co:
Y
Z
X
i
= 1, 00
65, 59
o
0, 00
o
j
= 1, 00
0, 00
o
65, 59
o
Observe que
i
e um n umero complexo e
j
e um H2D.
d) Calcule
i+j
. Aplicando a deni c ao, temos
i+j
= e
(i+j) ln
Temos,
=
0 0
ln = ln +i 0 +j 0 = ln
Fazendo a multiplica c ao, (i +j) ln , encontramos
(0, 1, 1)
_
ln , 0, 0
_
=
_
0, ln , ln
_
Gentil 123
Sendo assim, temos
e
(i+j) ln
= e
0
_
cos ln cos ln +i sen ln cos ln +j sen ln
_
Simplicando, obtemos
i+j
= cos ln cos ln + i sen ln cos ln +j sen ln
No graco temos,
Y
Z
X
i+j
i+j
= 1, 00
65, 59
o
65, 59
o
Em outra nota c ao ca,
(0, 1, 0)+(0, 0, 1)
=
_
cos ln , sen ln , tg ln
_
cos ln
Observe que resultou,
(0, 1, 0)+(0, 0, 1)
=
(0, 1, 0)
(0, 0, 1)
e ) Calcule (1 +i)
(1+j)
. Aplicando a deni c ao, temos
(1 +i)
(1+j)
= e
(1+j) ln (1+i)
Temos,
1 +i =
2
4 0
ln (1 +i) = ln
2 +i
4
Fazendo a multiplica c ao, (1 +j) ln (1 +i), encontramos
(1, 0, 1)
_
ln
2,
4
, 0
_
=
_
ln
2,
4
,
_
( ln
2)
2
+ (
4
)
2
_
Sendo assim, resulta
e
(1+j) ln (1+i)
= e
ln
2
_
cos
4
cos
_
( ln
2)
2
+ (
4
)
2
+i sen
4
cos
_
( ln
2)
2
+ (
4
)
2
+j sen
_
( ln
2)
2
+ (
4
)
2
_
Simplicando, obtemos
(1 +i)
(1+j)
= cos
_
( ln
2)
2
+ (
4
)
2
+i cos
_
( ln
2)
2
+ (
4
)
2
+j
2 sen
_
( ln
2)
2
+ (
4
)
2
Em outra nota c ao ca,
(1, 1, 0)
(1, 0, 1)
=
_
cos
_
( ln
2)
2
+ (
4
)
2
, cos
_
( ln
2)
2
+ (
4
)
2
,
2 sen
_
( ln
2)
2
+ (
4
)
2
_
124
A localiza c ao graca de (1 +i)
1+j
, ca assim:
Y
Z
X
(1+i)
1+j
(1 +i)
1+j
=
2
45, 00
o
0, 86
o
3.2.2 Funcoes trigonometricas com argumentos hipercomplexos
Queremos atribuir um signicado aos smbolos cos w e senw, onde w e um
hipercomplexo.
Inicialmente lembramos que na trigonometria do crculo unit ario, temos
X
Y
x
p
cos x
sen x
Onde o ponto p e a interse c ao da reta de inclina c ao x com o crculo unit ario.
Denimos cos x como sendo a abscissa de p e sen x como sendo sua ordenada.
Pois bem, nada obsta a que generalizemos a trigonometria do crculo
unit ario para a esfera unit aria, assim
0
X
Y
Z
p
x
z
sne (x, z)
cse (x, z)
cte (x, z)
Onde o ponto p e a interse c ao da reta de inclina c ao (x, z) com a esfera de
raio unit ario. Denimos cosseno esferico de (x, z), denotado cse (x, z), como
sendo a abscissa de p; denimos seno esferico de (x, z), denotado sne (x, z),
como sendo sua ordenada. Como estamos no espa co surge mais uma fun c ao
Gentil 125
trigonometrica (esferica) dada pela cota de p; `a falta de um nome melhor a
batizaremos de cota esferia: cte (x, z).
Podemos mostrar a seguinte rela c ao entre as fun c oes esfericas e circulares,
cse (x, z) = cos xcos z
sne (x, z) = sen xcos z
cte (x, z) = sen z
_
i w = (y, x, z) i w =
_
y +ix +jz, se z 0;
y +ix jz, se z 0.
(i w) = (y, x, z) (i w) =
_
y ix jz, se z 0;
y ix +jz, se z 0.
_
_
i w = (y, x, z) i w =
_
y ix +jz, se z 0;
y ix jz, se z 0.
(i w) = (y, x, z) (i w) =
_
y +ix jz, se z 0;
y +ix +jz, se z 0.
_
_
i (w) = (y, x, z) i (w) =
_
y ix jz, se z 0;
y ix +jz, se z 0.
(i (w)) = (y, x, z) (i (w)) =
_
y +ix +jz, se z 0;
y +ix jz, se z 0.
_
_
i (w) = (y, x, z) i (w) =
_
y +ix jz, se z 0;
y +ix +jz, se z 0.
(i (w)) = (y, x, z) (i (w)) =
_
y ix +jz, se z 0;
y ix jz, se z 0.
Nota: i(w) = (iw).
De posse destes resultados denimos,
cos w =
_
_
e
(iw)
+e
iw
2
, z 0;
e
iw
+e
(iw)
2
, z 0.
cos w =
_
_
e
iw
+e
(iw)
2
, z 0;
e
(iw)
+e
iw
2
, z 0.
sen w =
_
_
e
iw
e
iw
2i
, z 0;
e
(iw)
e
(iw)
2i
, z 0.
sen w =
_
_
e
(iw)
e
(iw)
2i
, z 0;
e
iw
e
iw
2i
, z 0.
128
cte w =
_
e
iw
e
(iw)
2j
, z 0;
e
(iw)
e
iw
2j
, z 0.
cte w =
_
e
(iw)
e
iw
2j
, z 0;
e
iw
e
(iw)
2j
, z 0.
As fun c oes trigonometricas, com argumentos hipercomplexos, resulta-
ram bivalentes, isto e, com dois ramos. Observe, em todas elas, que a parte de
um ramo para z 0 e igual a parte do outro ramo para z 0. A parte de
um ramo para z 0 e igual a parte do outro ramo para z 0; de sorte que,
conhecendo um dos ramos, conhecemos o outro.
Observe que quando w = (x, y, 0) = (x, y) estamos na algebra complexa
e assim, os dois ramos de cada fun c ao, unicam-se em apenas um ramo.
Chamaremos, para efeito de referencia, a primeira das deni c oes, de cada
uma das fun c oes, de ramo principal.
Exemplos
( a) Encontre (no ramo principal) os seguintes n umeros:
cos
_
2
,
4
, 0
_
; sen
_
2
,
4
, 0
_
; cte
_
2
,
4
, 0
_
.
Solu cao: Sendo w =
_
2
,
4
, 0
_
dado, temos
iw = (y, x, z) i w =
_
4
,
2
, 0
_
(iw) = (y, x, z) (iw) =
_
4
,
2
, 0
_
iw = (y, x, z) i w =
_
4
,
2
, 0
_
(iw) = (y, x, z) (iw) =
_
4
,
2
, 0
_
Vamos calcular,
cos w =
e
(iw)
+e
iw
2
Vamos inicialmente calcular a exponencial e
(iw)
. Neste momento surge
uma d uvida: ja que a exponencial tem dois ramos
4
,
2
, 0
_
. Pela equa c ao
(3.1), temos
e
w
= e
(iw)
= e
x
_
cos y cos z +i sen y cos z j senz
_
= e
4
_
cos
2
cos 0 +i sen
2
cos 0 j sen 0
_
= i e
4
,
2
, 0
_
, pela equa c ao (3.1), temos
e
w
= e
iw
= e
x
_
cos y cos z +i sen y cos z +j senz
_
= e
4
_
cos
2
cos 0 i sen
2
cos 0 +j sen0
_
= i e
4
Somando estas duas exponenciais e divindo o resultado por dois, obtemos
cos
_
2
,
4
, 0
_
=
i
2
_
e
4
e
4
_
A calculadora HP 48 trabalha com as fun c oes elementares, com argu-
mentos complexos, ela nos forneceu:
cos
_
2
,
4
_
= (0, 0.868670961487)
o que conrma nosso resultado.
Agora vamos calcular,
sen w =
e
iw
e
iw
2i
N ao necessitamos calcular, novamente, estas exponenciais. Com efeito, como ja
dissemos , devido a que w = (x, y, 0) estamos restritos `a algebra complexa e,
nesta, vale a identidade: iw = i(w). Do caso precedente, temos e
iw
= i e
4
e e
(i)w
= i e
4
. Fazendo a subtra c ao e dividindo por 2i obtemos,
sen
_
2
,
4
, 0
_
=
1
2
_
e
4
+e
4
_
A calculadora HP 48 nos forneceu:
sen
_
2
,
4
_
= (1.32460908925, 0)
o que conrma nosso resultado.
No graco,
Y
Z
cos(
2
,
4
, 0 )
sen (
2
,
4
, 0 )
cos(
2
,
4
, 0 )=0, 87
270, 00
o
0, 00
o
sen (
2
,
4
, 0 )=1, 32
0, 00
o
0, 00
o
Quanto `a fun c ao cota esferica uma simples inspe c ao em sua equa c ao
nos informa de que cte w = 0. De fato, isto se deve a que na algebra complexa,
vale: iw = i(w).
130
( b) Encontre (no ramo principal) os seguintes n umeros:
cos
_
2
,
4
,
6
_
; sen
_
2
,
4
,
6
_
; cte
_
2
,
4
,
6
_
.
Solu cao: Sendo w =
_
2
,
4
,
6
_
dado, temos
iw = (y, x, z) i w =
_
4
,
2
,
6
_
(iw) = (y, x, z) (iw) =
_
4
,
2
,
6
_
iw = (y, x, z) i w =
_
4
,
2
,
6
_
(iw) = (y, x, z) (iw) =
_
4
,
2
,
6
_
Vamos calcular,
cos w =
e
(iw)
+e
iw
2
Vamos inicialmente calcular a exponencial e
(iw)
. Como no exemplo
anterior, escolhemos o ramo de (3.1) com j.
Ent ao, (iw) =
_
4
,
2
,
6
_
, temos
e
w
= e
(iw)
= e
x
_
cos y cos z +i sen y cos z j senz
_
= e
4
_
cos
2
cos
6
+i sen
2
cos
6
j sen
6
_
=
1
2
e
4
(i
3 j)
Agora vamos calcular a exponencial e
iw
. Pela equa c ao (3.10), vemos que
esta exponencial se originou da exponencial e
ix+jz
portanto em (3.1) escolhe-
mos o ramo com +j. Ent ao, iw =
_
4
,
2
,
6
_
, pela equa c ao (3.1), temos
e
w
= e
iw
= e
x
_
cos y cos z +i sen y cos z +j senz
_
= e
4
_
cos
2
cos
6
+i sen
2
cos
6
+ j sen
6
_
=
1
2
e
4
(i
3 +j)
Somando estas duas exponenciais e divindo o resultado por dois, obtemos
cos
_
2
,
4
,
6
_
=
1
4
_
i (e
4
e
4
)
3 +j (e
4
e
4
)
4
,
2
,
6
_
. Esta exponencial foi originada de e
ix+jz
(ver equa c ao (3.11)), portanto em (3.1) escolhemos o ramo com +j, assim
e
w
= e
iw
= e
x
_
cos y cos z +i seny cos z +j sen z
_
= e
4
_
cos
2
cos
6
+i sen
2
cos
6
+j sen
6
_
=
1
2
e
4
(i
3 +j)
Gentil 131
Somando este resultado com o oposto da exponencial,
e
iw
=
1
2
e
4
(i
3 +j)
e dividindo o resultado por 2i, obtemos
sen
_
2
,
4
,
6
_
=
1
4
_
(e
4
+e
4
)
3 j (e
4
e
4
)
4
(i
3 +j)
e
(iw)
=
1
2
e
4
(i
3 j)
Tomando o oposto desta ultima equa c ao, somando com a primeira e dividindo
o resultado por 2j, obtemos
cte w =
1
2
e
4
No graco,
Y
Z
cos(
2
,
4
,
6
)
sen(
2
,
4
,
6
)
cte w
cos(
2
,
4
,
6
)=0, 87
270, 00
o
30, 00
o
sen (
2
,
4
,
6
)=1, 23
0, 00
o
20, 74
o
cte (
2
,
4
,
6
)=0, 23
0, 00
o
0, 00
o
132
Captulo 4
Aplicacoes
4.1 Computacao Graca
A multiplica c ao hipercomplexa pode ser vista como uma rota c ao no espa co.
Isto nos sugere aplic a-la nas transforma c oes geometricas.
Rota cao em torno da origem
Segundo a proposi c ao 6 (p ag. 33) se multiplicarmos o n umero
w
1
= 1 (cos cos , sen cos , sen ) pelo ponto (n umero) w = (x, y, z)
obteremos uma rota c ao, deste ultimo, de um angulo (, ). Para atender a
referida proposi c ao basta escolher
2
2
(isto e, cos 0).
Para obter a rota c ao - de argumento (, ) - de um ponto w = (x, y, z),
em torno da origem, devemos realizar o produto:
(cos cos , sen cos , sen) (x, y, z)
Vamos calcular este produto para o caso especial em que,
r
1
=
_
(cos cos )
2
+ ( sen cos )
2
= [ cos [ = cos ,= 0 ,=
2
.
e w fora do eixo Oz. Sendo assim, multiplicamos em (D
4
):
_
(xcos cos y sen cos ), (ycos cos +x sencos ), sen r
2
+zcos
_
Onde, r
2
=
_
x
2
+y
2
e = 1
z sen
cos
x
2
+y
2
, isto e, = 1
z
x
2
+y
2
tg .
Fa camos,
x
=
_
x
2
+y
2
sen +z cos
133
134
Para efeito de exemplica c ao vamos rotacionar um n umero complexo w =
(x, y, 0). Sendo assim temos = 1, logo,
x
=
_
x
2
+y
2
sen
Observe que cos funciona como um fator de contra c ao. Na gura a seguir
rotacionamos sucessivamente um quadrado de lado unit ario:
Em cada gura assume os valores: 0
o
, 5
o
, 10
o
, 15
o
, . . . , 60
o
; enquanto
= 30
o
permanece xo. O quadrado, que inicialmente encontra-se no plano
(complexo), ap os a opera c ao de rota c ao vai para o espaco (devido ao angulo ),
na gura temos a proje c ao no plano complexo, isto e, plotamos (x
, y
).
Mais algumas guras obtidas a partir da rota c ao hipercomplexa s ao exibidas
a seguir:
Para obter os quadrados acima existe uma rela c ao entre o fator de escalo-
namento (contra c ao) e o angulo desejado, assim:
= (cos + sen )
1
= cos
Gentil 135
No caso da gura aplicamos escalonamento sobre escalonamento. Inicial-
mente, = (cos 10
o
+ sen 10
o
)
1
= cos = 0, 8632.
O segundo escalonamento e: 0, 8632 0, 8632, ent ao: = cos
1
(0, 8632
0, 8632) = 41, 8284
o
, no terceiro escalonamento = cos
1
(0, 8632
3
) = 49, 9674
o
,
etc.
4.2 Robotica
Aqui queremos apenas deixar a sugest ao de que se estudem a viabilidade
de aplica c ao dos n umeros 3 D na rob otica, cremos que isto n ao ser a difcil.
4.3 Um Desao Dirigido aos Matematicos do Planeta Terra
Existem problemas sobre n umeros Reais que s o podem ser resolvidos com
o auxlio dos n umeros Complexos, por exemplo certas equa c oes c ubicas.
Motivados por este fato podemos elaborar problemas sobre n umeros Complexos
que s o podem ser resolvidos com o auxlio dos n umeros Hipercomplexos. Dentro
deste contexto foi que elaboramos o Desao a seguir.
Este Desao foi divulgado a nvel nacional e esteve disponvel em nossa home-page por
cerca de dois meses, n ao recebemos nenhuma proposta de resolu c ao.
136
Um Desafio Dirigido aos Matematicos do Planeta Terra
Pr^emio: R$ 1.000, 00. 24.08.07
Uma assembleia de avatares decidiu p or `a prova (conhecer) o nvel de de-
senvolvimento tecnol ogico do planeta terra. Para tanto, decidiram enviar um
desao aos mais ilustres dentre os matematicos do planeta terra. Seguiu-se a
esta decis ao um impasse: Este desao versaria sobre que t opico da matematica?
Ap os um dia inteiro de discuss oes concluiram: n ao deveriam enviar um desao
sobre um assunto de fronteira, porquanto s o os especialistas da respectiva
area estariam aptos a atacar o problema; os demais estariam excluidos! A m
de que o desao se estendesse, de fato, a todos os matematicos do planeta terra,
e que o assunto escolhido deveria ser comum a todos eles. Ap os algumas re-
ex oes deram o veredicto: N umeros Complexos!
Ah! ia esquecendo: como os terraqueos s ao consumidores - contumaz -
do cafezinho (ou do ch a), decidiram ofertar um premio de R$ 1.000, 00 para
custear estes estimulantes; talvez seja necess ario para as - possveis - noites em
claro.
O Desao: Desejamos construir, de modo iterativo, a seq uencia ( z
n
) de
n umeros Complexos dada em (4.1); onde, para isto, s ao dados um termo inicial
e dois par ametros, assim:
( i ) Semente da seq uencia: z
0
= (1, 0);
( ii ) primeiro par ametro: = 10
o
;
( iii ) segundo par ametro: = 8
o
.
z
n
= (cos n, sen n)
_
_
cos n, n = 1, 2, 3, . . . , 11, 12.
cos 12, n = 14, 16, 18, . . .
cos 11, n = 13, 15, 17, . . .
(4.1)
O Desao consiste em: Munido apenas dos dados listados acima, e atu-
ando - de modo iterativo - dentro da estrutura n umeros complexos, C, obter a
seq uencia dada em (4.1)!
Nota Importante: N ao esquecer que os termos da seq uencia s ao n umeros
Complexos. C = ( R
2
, +, ) e uma estrutura algebrica onde est ao denidas
duas opera c oes. Evite opera c oes esp urias. Opera c oes legtimas s ao: adi c ao e
multiplica c ao; e as que decorrem destas, tais como: subtra c ao, divisao, poten-
cia c ao e radicia c ao. Estamos chamando a aten c ao para este detalhe para que se
evite opera c oes que n ao se justiquem em uma estrutura algebrica como a que
estamos tratando.
Por exemplo, a opera c ao,
_
(cos 10
o
, sen 10
o
) (1, 0)
_
cos 8
o
z
0
z
1
e logicamente valida, uma vez que se justica na estrutura n umeros comple-
xos. O Desao consiste, precisamente, em: como sair do termo z
1
para o termo
z
2
, atraves de uma estrutura algebrica onde temos denida apenas uma adi c ao
Gentil 137
e uma multiplica c ao? Como sair do termo z
2
para o termo z
3
, atraves. . . Como
sair do termo z
3
para do termo z
4
, atraves. . . entenderam?
Este Desao ter a validade de um mes (se estender a ate 24.09.07)
Boa Vista-RR/24.08.07
Nota: O .pdf deste Desao est a disponvel em nossa p agina: www.dmat.ufrr.br/ gentil
138
Resolucao do Desao
Este e um problema do plano mas cuja resolu c ao s o pode dar-se no
espa co.
Na verdade este (segundo) Desao e uma variante de um que lan camos
anteriormente. O primeiro Desao e resolvido por sucessivas multiplica c oes
em H 3D, enquanto este segundo e resolvido por sucessivas divis oes em
H3D, assim:
Sejam w
2
= 1
10
o
8
o
e w
1
= (1, 0, 0). Denimos,
w
1
w
(1)
2
=
w
1
w
2
,
w
1
w
(2)
2
=
1
w
2
w
1
w
2
,
w
1
w
(3)
2
=
1
w
2
_
1
w
2
w
1
w
2
_
, . . .
Utilizaremos as divisoes (p ag. 146),
w
1
w
2
=
_
2
12 12 se cos
1
0, cos
2
0 ( DP1 )
2
12
1+2 se cos
1
< 0, cos
2
0 ( DP3 )
Sendo assim, temos
w
1
w
2
=
1
0
o
0
o
1
10
o
8
o
= 1
10
o
8
o
Itera c oes sucessivas nos d ao:
w
1
w
(2)
2
=
1
w
2
w
1
w
2
=
1
10
o
8
o
1
1
10
o
8
o
= 1
20
o
16
o
w
1
w
(3)
2
=
1
w
2
_
1
w
2
w
1
w
2
_
=
1
10
o
8
o
1
1
20
o
16
o
= 1
30
o
24
o
E assim sucessivamente. Note que, para efeitos das divisoes ( DP1 ) e ( DP3 )
temos que w
2
= 1
10
o
8
o
est a sempre xo, enquanto os resultados parciais das
divisoes e sempre colocado em w
1
. Utilizamos ( DP1 ), isto e, vamos subtraindo
2
= 8
o
, enquanto cos
1
0, ap os o que utilizamos ( DP2 ), isto e, somamos
2
= 8
o
e a o angulo
1
car a oscilando entre dois valores:
88
o
8
o
= 96
o
; Itera c oes: 12, 14, 16, . . . (4.2)
96
o
+ 8
o
= 88
o
; Itera c oes: 13, 15, 17, . . . (4.3)
Observamos que,
w
1
w
(n)
2
= 1
10
o
n 8
o
n
; n = 1, 2, . . .?
Gentil 139
Esta regra, para este quociente vale ate que valor de n? Para responder
a esta pergunta, recorremos `a condi c ao de Moivre. Inicialmente observe que
= 8
o
=
2
45
, ent ao
2(n1)
2
45
2(n1)
n 12.
Portanto,
w
1
w
(n)
2
= 1
n n
; n = 1, 2, . . . 12
onde = 10
o
e = 8
o
. Temos,
w = 1
n n
_
x = cos n cos n
y = sen n cos n
z = senn
Logo, a solu c ao (parcial) do nosso Desao e:
z
n
=
_
cos n cos n, sen n cos n
_
; n = 1, 2, . . . , 12.
onde = 10
o
e = 8
o
. De (4.2), concluimos que,
z
n
=
_
cos n cos 12, sen n cos 12
_
; n = 12, 14, 16, . . .
De (4.3), concluimos que,
z
n
=
_
cos n cos 11, sen n cos 11
_
; n = 13, 15, 17, . . .
Sendo assim, temos (para solu c ao do Desao):
z
n
=
_
_
(cos n cos n, sen n cos n), n = 1, 2, . . . , 9, 10, 11.
(cos n cos 12, sen n cos 12), n = 12, 14, 16, . . .
(cos n cos 11, sen n cos 11), n = 13, 15, 17, . . .
onde = 10
o
e = 8
o
.
Observe que tudo se passa no espa co, a solu c ao do nosso Desao e a
proje c ao no plano Complexo de uma seq uencia que encontra-se em 3 D
(ver gura da seq uencia complexa que consta no Desao).
Para o primeiro Desao que propomos (n ao para este) construimos uma
gura da seq uencia no espa co, assim:
0
1
2
140
Apendice
Da impossibilidade de uma multiplicacao no R
3
Existe uma prova (ver [3]) da impossibilidade dos n umeros tridimensionais.
Vamos repetir aqui esta prova:
A impossibilidade de um n umero complexo tri-dimensional.
Examinaremos aqui o problema de introduzir uma multiplica c ao no espa co
de tres dimensoes R
3
de maneira que resulte uma generaliza c ao natural dos
n umeros complexos como pontos do plano (, ) = + i, assim como estes
s ao uma generaliza c ao natural dos n umeros reais como pontos da reta sob a
identica c ao (, 0) = . Em outras palavras, considerando os ternos ordenados
de n umeros reais (, , ) com as identica c oes (, 0, 0) = e (, , 0) =
+ i, e com as opera c oes usuais de adi c ao e multiplica c ao por escalares, a
quest ao e: podemos denir uma multiplica c ao de vetores em R
3
de modo que
sejam validos todos os axiomas de um corpo?
N ao e difcil mostrar que isto e impossvel.
Com efeito, seja (, , ) = + i + j (onde, e claro, j = (0, 0, 1)) e
vamos supor que uma tal multiplica c ao est a denida. Ent ao podemos escrever
i j =
0
+
0
i +
0
j
onde
0
,
0
e
0
s ao reais. Multiplicando ambos os lados por i `a esquerda,
obtemos
j = i
2
j = i (i j) = i (
0
+
0
i +
0
j) =
0
i
0
+
0
i j.
Substituindo agora i j por
0
+
0
i +
0
j, segue que
(
0
0
0
) + (
0
+
0
0
) i + (
2
0
+ 1 ) j = 0,
contradizendo o fato de que
0
e real.
Note que para chegar a uma contradi c ao usamos apenas a associatividade
e distributividade da multiplica c ao.
Dizendo isso, gritou bem
forte: L azaro, saia para fora! O
morto saiu. Tinha os bracos e as
pernas amarrados. . . Jesus disse aos
presentes: Desamarrem e deixem
que ele ande. Jo. (43 44 )
Gentil 141
Programa para multiplicar hipercomplexos
O programa dado a seguir (calculadoras HP 48, 49, 50) multiplica dois
hipercomplexos: (a
1
, b
1
, c
1
) (a
2
, b
2
, c
2
).
a
1
b
1
c
1
a
2
b
2
c
2
_
(a
1
2 +b
1
2)
EV AL
r
1
STO
_
(a
2
2 +b
2
2)
EV AL
r
2
STO
IF
r
1
== 0 AND r
2
== 0
THEN
c
1
c
2
EV AL 0 0
ELSE
IF
r
1
== 0 AND r
2
,= 0
THEN
c
1
c
2
a
2
/r
2
EV AL
c
1
c
2
b
2
/r
2
EV AL
c
1
r
2
EV AL
ELSE
IF
r
1
,= 0 AND r
2
== 0
THEN
c
1
c
2
a
1
/r
1
EV AL
c
1
c
2
b
1
/r
1
EV AL
c
2
r
1
EV AL
ELSE
1 c
1
c
2
/(r
1
r
2
)
EV AL
STO
(a
1
a
2
b
1
b
2
)
EV AL
(a
1
b
2
+a
2
b
1
)
EV AL
c
1
r
2
+c
2
r
1
EV AL
END
END
END
2
, antes de fazer a multiplica c ao.
Prova: Consideremos algumas possibilidades:
1 ) r
1
= r
2
= 0. Suponhamos,
w
1
= (0, 0, c
1
) e w
2
= (0, 0, c
2
)
Na forma trigonometrica escrevemos,
w
1
=
_
_
_
[c
1
[
_
cos 0 cos
2
, sen0 cos
2
, sen
2
_
, c
1
> 0
[c
1
[
_
cos 0 cos
2
, sen0 cos
2
, sen
2
_
, c
1
< 0
w
2
=
_
_
_
[c
2
[
_
cos 0 cos
2
, sen0 cos
2
, sen
2
_
, c
2
> 0
[c
2
[
_
cos 0 cos
2
, sen0 cos
2
, sen
2
_
, c
2
< 0
Calculando (em D
1
) o produto w
1
w
2
, temos w
1
w
2
= (c
1
c
2
, 0, 0),
que na forma trigonometrica pode ser escrito:
1.1 ) c
1
> 0 e c
2
> 0 (c
1
c
2
< 0)
w
1
w
2
= [ c
1
c
2
[
_
cos cos 0, sen cos 0, sen 0
_
= [c
1
[ [c
2
[
_
cos(0 + 0) cos(
2
+
2
), sen (0 + 0) cos(
2
+
2
), sen(
2
+
2
)
_
1.2 ) c
1
> 0 e c
2
< 0 (c
1
c
2
> 0)
w
1
w
2
= [ c
1
c
2
[
_
cos 0 cos 0, sen 0 cos 0, sen0
_
= [c
1
[ [c
2
[
_
cos(0 + 0) cos(
2
2
), sen (0 + 0) cos(
2
2
), sen(
2
2
)
_
1.3 ) c
1
< 0 e c
2
> 0 (c
1
c
2
> 0)
w
1
w
2
= [ c
1
c
2
[
_
cos 0 cos 0, sen 0 cos 0, sen0
_
= [c
1
[ [c
2
[
_
cos(0 + 0) cos(
2
+
2
), sen(0 + 0) cos(
2
+
2
), sen (
2
+
2
)
_
1.4 ) c
1
< 0 e c
2
< 0 (c
1
c
2
< 0)
w
1
w
2
= [ c
1
c
2
[
_
cos cos 0, sen cos 0, sen 0
_
= [c
1
[ [c
2
[
_
cos(0 + 0) cos(
2
2
), sen(0 + 0) cos(
2
2
), sen (
2
2
)
_
2 ) r
1
= 0 e r
2
,= 0. Suponhamos,
w
1
= (0, 0, c
1
) e w
2
= (a
2
, b
2
, c
2
)
Gentil 143
Na forma trigonometrica escrevemos,
w
1
=
_
_
_
[c
1
[
_
cos 0 cos
2
, sen 0 cos
2
, sen
2
_
, c
1
> 0
[c
1
[
_
cos 0 cos
2
, sen 0 cos
2
, sen
2
_
, c
1
< 0
w
2
=
2
_
cos
2
cos
2
, sen
2
cos
2
, sen
2
_
Calculando (em D
2
) o produto w
1
w
2
, temos
w
1
w
2
=
_
c
1
c
2
a
2
r
2
,
c
1
c
2
b
2
r
2
, c
1
r
2
_
Vamos escrever este produto na forma trigonometrica, temos
r
2
=
_
a
2
2
+ b
2
2
=
_
(
2
cos
2
cos
2
)
2
+ (
2
sen
2
cos
2
)
2
=
2
[ cos
2
[
Observa c ao: r
2
,= 0 cos
2
,= 0. Ent ao,
w
1
w
2
=
_
c
1
2
sen
2
2
cos
2
cos
2
2
| cos
2
|
,
c
1
2
sen
2
2
sen
2
cos
2
2
| cos
2
|
, c
1
2
[ cos
2
[
_
Nota: Para prosseguir vamos supor cos
2
> 0; esta n ao e uma restri c ao seria
devido `a equa c ao (1.18), p ag. 25.
Sendo assim, temos
2.1) cos
2
> 0 ( [ cos
2
[ = cos
2
). Temos
w
1
w
2
=
_
c
1
2
sen
2
2
cos
2
cos
2
2
cos
2
,
c
1
2
sen
2
2
sen
2
cos
2
2
cos
2
, c
1
2
cos
2
_
Ent ao,
w
1
w
2
=
_
c
1
2
cos
2
sen
2
, c
1
2
sen
2
sen
2
, c
1
2
cos
2
_
2.1.1 ) c
1
> 0 ( [c
1
[ = c
1
)
w
1
w
2
= c
1
2
_
cos
2
sen
2
, sen
2
sen
2
, cos
2
_
= [c
1
[
2
_
cos(0 +
2
) cos(
2
+
2
), sen(0 +
2
) cos(
2
+
2
), sen(
2
+
2
)
_
2.1.2 ) c
1
< 0 ( [c
1
[ = c
1
)
w
1
w
2
= c
1
2
_
cos
2
sen
2
, sen
2
sen
2
, cos
2
_
= [c
1
[
2
_
cos(0 +
2
) cos(
2
+
2
), sen (0 +
2
) cos(
2
+
2
), sen (
2
+
2
)
_
3 ) r
1
,= 0 e r
2
= 0. Suponhamos,
w
1
= (a
1
, b
1
, c
1
) e w
2
= (0, 0, c
2
)
Na forma trigonometrica escrevemos,
w
1
=
1
_
cos
1
cos
1
, sen
1
cos
1
, sen
1
_
144
w
2
=
_
_
_
[c
2
[
_
cos 0 cos
2
, sen0 cos
2
, sen
2
_
, c
2
> 0
[c
2
[
_
cos 0 cos
2
, sen0 cos
2
, sen
2
_
, c
2
< 0
Calculando (em D
3
) o produto w
1
w
2
, temos
w
1
w
2
=
_
c
1
c
2
a
1
r
1
,
c
1
c
2
b
1
r
1
, c
2
r
1
_
Vamos escrever este produto na forma trigonometrica, temos
r
1
=
_
a
2
1
+b
2
1
=
_
(
1
cos
1
cos
1
)
2
+ (
1
sen
1
cos
1
)
2
=
1
[ cos
1
[
Observa c ao: r
1
,= 0 cos
1
,= 0. Ent ao,
w
1
w
2
=
_
1
sen
1
c
2
1
cos
1
cos
1
1
| cos
1
|
,
1
sen
1
c
2
1
sen
1
cos
1
1
| cos
1
|
, c
2
1
[ cos
1
[
_
3.1) cos
1
> 0 ( [ cos
1
[ = cos
1
). Temos
w
1
w
2
=
_
1
sen
1
c
2
1
cos
1
cos
1
1
cos
1
,
1
sen
1
c
2
1
sen
1
cos
1
1
cos
1
, c
2
1
cos
1
_
Ent ao,
w
1
w
2
=
_
c
2
1
cos
1
sen
1
, c
2
1
sen
1
sen
1
, c
2
1
cos
1
_
3.1.1 ) c
2
> 0 ( [c
2
[ = c
2
)
w
1
w
2
= c
2
1
_
cos
1
sen
1
, sen
1
sen
1
, cos
1
_
= [c
2
[
1
_
cos(
1
+ 0) cos(
1
+
2
), sen (
1
+ 0) cos(
1
+
2
), sen (
1
+
2
)
_
3.1.2 ) c
2
< 0 ( [c
2
[ = c
2
)
w
1
w
2
= c
2
1
_
cos
1
sen
1
, sen
1
sen
1
, cos
1
_
= [c
2
[
1
_
cos(
1
+ 0) cos(
1
2
), sen (
1
+ 0) cos(
1
2
), sen (
1
2
)
_
4 ) r
1
,= 0 e r
2
,= 0. Suponhamos,
w
1
= (a
1
, b
1
, c
1
) e w
2
= (a
2
, b
2
, c
2
)
Na forma trigonometrica escrevemos,
w
1
=
1
_
cos
1
cos
1
, sen
1
cos
1
, sen
1
_
w
2
=
2
_
cos
2
cos
2
, sen
2
cos
2
, sen
2
_
Calculando (em D
4
) o produto w
1
w
2
, temos
w
1
w
2
=
_
(a
1
a
2
b
1
b
2
)
_
1
c
1
c
2
r
1
r
2
_
, (a
1
b
2
+a
2
b
1
)
_
1
c
1
c
2
r
1
r
2
_
, c
1
r
2
+c
2
r
1
_
Escrevamos este produto na forma trigonometrica,
r
1
=
1
[ cos
1
[, r
2
=
2
[ cos
2
[
Gentil 145
Nota: Vamos considerar que cos
1
> 0 e cos
2
> 0.
Temos,
_
1
c
1
c
2
r
1
r
2
_
=
_
1
1
sen
1
2
sen
2
1
| cos
1
|
2
| cos
2
|
_
=
cos(
1
+
2
)
cos
1
cos
2
Tomando w
1
w
2
= (X, Y, Z), temos:
X = (
1
cos
1
cos
1
2
cos
2
cos
2
1
sen
1
cos
1
2
sen
2
cos
2
)
cos(
1
+
2
)
cos
1
cos
2
Y = (
1
cos
1
cos
1
2
sen
2
cos
2
+
2
cos
2
cos
2
1
sen
1
cos
1
)
cos(
1
+
2
)
cos
1
cos
2
Z =
1
sen
1
2
[ cos
2
[ +
2
sen
2
1
[ cos
1
[
Simplicando,
X =
1
2
cos
1
cos
2
cos(
1
+
2
)
cos(
1
+
2
)
cos
1
cos
2
Y =
1
2
cos
1
cos
2
sen (
1
+
2
)
cos(
1
+
2
)
cos
1
cos
2
Z =
1
2
( sen
1
[ cos
2
[ + sen
2
[ cos
1
[)
Mais ainda,
X =
1
2
cos(
1
+
2
) cos(
1
+
2
)
Y =
1
2
sen(
1
+
2
) cos(
1
+
2
)
Z =
1
2
sen(
1
+
2
)
Nota: Aqui podemos incluir os casos anteriores:
1) r
1
= r
2
= 0,
2) r
1
= 0, r
2
,= 0,
3) r
1
,= 0, r
2
= 0.
Juntando este ultimo caso (caso 4 ) com os anteriores (casos 1 ), 2 ) e 3 )) com-
pletamos a prova da proposi c ao.
146
Multiplica cao na forma trigonometrica sem restri c oes
Na prova anterior supomos cos
1
> 0 e cos
2
> 0, sem estas restri c oes,
isto e para uma formula geral vale (exerccio):
M) Multiplica c ao
2
1+2 1+2 se cos
1
0, cos
2
0 ( MP1 )
2
1+2
(12)
se cos
1
0, cos
2
< 0 ( MP2 )
2
1+2 12 se cos
1
< 0, cos
2
0 ( MP3 )
2
1+2
(1+2)
se cos
1
< 0, cos
2
< 0 ( MP4 )
w
1
w
2
=
_
_
D) Divis ao
w
1
w
2
=
_
2
12 12 se cos
1
0, cos
2
0 ( DP1 )
2
12
(1+2)
se cos
1
0, cos
2
< 0 ( DP2 )
2
12 1+2 se cos
1
< 0, cos
2
0 ( DP3 )
2
12
(12)
se cos
1
< 0, cos
2
< 0 ( DP4 )
Gentil 147
Programa para transformar coordenadas retangulares em polares
Vamos escrever um programa computacional para transformar um n umero
hipercomplexo das coordenadas retangulares para polares. Antes precisamos
rever um pouco das fun c oes trigonometricas inversas,
1 ) y = arc sen x = sen
1
x. O domnio e contra-domnio de f = sen
1
s ao
dados por,
f : [ 1, 1 ]
_
2
,
2
Temos,
sen =
z
= sen
1
_
z
2
2
.
2 ) y = arc cos x = cos
1
x. O domnio e contra-domnio de f = cos
1
s ao
dados por,
f : [ 1, 1 ] [ 0, ]
Nota: Observe que as fun c oes sen
1
e cos
1
n ao cobrem o terceiro quadrante.
Para calcular 0 2, temos as seguintes possibilidades:
i ) x > 0, y > 0 ( IQ). Neste caso podemos calcular por sen
1
ou cos
1
,
indistintamente.
cos =
x
cos
, sen =
y
cos
ii ) x < 0, y > 0 ( IIQ). Neste caso fazemos = cos
1
. Isto e,
= cos
1
_
x
cos
_
iii ) x > 0, y < 0 ( IV Q). Neste caso fazemos = sen
1
. Isto e,
= sen
1
_
y
cos
_
iv ) x < 0, y < 0 ( IIIQ). Neste caso, obtemos com o auxlio da gura a
seguir:
x x
y
Para obter : trocamos o sinal de x, calculamos o angulo e tomamos
= 180
o
+, assim:
= cos
1
_
x
cos
_
= 180
o
+.
O programa e dado a seguir:
148
- Retangular Polar: (x, y, z)
x y z
DEG
_
(x 2 +y 2 +z 2)
EV AL
STO
ASIN(z/)
EV AL
STO
IF
cos == 0
THEN
TAG 0
TAG
TAG
ELSE
IF
x 0 AND y 0
THEN
ACOS(x/( cos()))
EV AL
STO
ELSE
IF
x 0 AND y 0
THEN
ACOS(x/( cos()))
EV AL
STO
ELSE
IF
x 0 AND y 0
THEN
ASIN(y/( cos()))
EV AL
STO
ELSE
EV AL
STO
END
END
END
TAG
TAG
TAG
END
- Polar Retangular:
(x, y, z)
DEG
cos() cos()
EV AL
sen () cos()
EV AL
sen()
EV AL
Nota: entre com os angulos em graus. Para entrar com os angulos em radiano
troque, no programa, DEG por RAD.
Gentil 149
Resenha de trabalhos
A seguir listamos uma resenha de nossos trabalhos disponveis em nosso
endere co: www.dmat.ufrr.br/ gentil
I - O Mito das Ambiguidades nas Representac~oes Decimais
Resumo: Este trabalho p oe m `as interminaveis pendengas sobre as repre-
senta c oes decimais de reais do intervalo [ 0, 1 ]. Mostramos que as supostas am-
big uidades de algumas destas representa c oes, tipo: 0, 5 = 1/2 = 0, 4999 . . . s ao
um mito. Aqui esclarecemos, em denitivo, igualdades tais como 0, 999 . . . = 1.
II - Uma Curva de Peano Inedita ( No Quadrado [ 0, 1 [[ 0, 1 [ )
Resumo: N ao temos conhecimento de que alguem ja tenha construido uma
curva de Peano no quadrado [ 0, 1 [ [ 0, 1 [. Construimos uma e mostramos
que a mesma resulta com propriedades topologicas absurdamente distintas
da curva usual, isto e, da curva no quadrado [ 0, 1 ] [ 0, 1 ].
III - Uma Sugest~ao Para o Tratamento das Dimens~oes na Teoria das
Supercordas
Resumo: Neste trabalho mostramos uma tecnica para transitar entre dimensoes
arbitrarias: seja no sentido de reduzir, quanto elevar, uma dimensao `a outra.
Cremos que o mesmo possa ser util ao entendimento de algumas quest oes con-
cernentes `as dimensoes na Teoria das Supercordas. Em resumo: provamos a
possibilidade teorica (matem atica) da transposi c ao de dimensoes.
IV - Uma Modificac~ao na Equa c~ao de Schr oedinger
Resumo: Neste trabalho estamos sugerindo uma modica c ao na equa c ao de
Schroedinger (da Mecanica Qu antica) de modo a obtermos solu c oes reais para
a fun c ao de onda.
V -
Algebras em Dimens~ao pot^encia de Dois
Resumo: O objetivo deste trabalho e desenvolver os n umeros 2
N
dimensio-
nais, ou seja, n umeros que est ao em uma dimensao que e potencia de dois. Por
exemplo:
( i ) 2
0
= 1, na dimensao 1 (reta) n umeros reais;
( ii ) 2
1
= 2, na dimensao 2 (plano) n umeros complexos;
( iii ) 2
2
= 4, na dimensao 4 (hiperplano) n umeros quaternions.
A partir destes exemplos somos levados a conjecturar que s ao possveis os
n umeros que moram em uma dimensao que seja potencia de dois.
VI - A Metrica Divina
Resumo: Este artigo nasceu de um sentimento meu de solidariedade com os
menos favorecidos. No caso do - classico - paradoxo de Zenao, Aquiles, numa
atitude de puro esnobismo d a uma vantagem inicial `a tartaruga. Em nosso para-
doxo a situa c ao se inverte: a tartaruga dar a uma distancia inicial a Aquiles para
logo em seguida ultrapassa-lo e vencer a corrida. Mostraremos, com tecnicas
matematicas recentes, que n ao trata-se de um engodo - n ao tomariamos em vao
o precioso (e ja escasso) tempo do leitor!.
150
VII - MATRIZ DIGITAL
Resumo: Neste trabalho construimos - atraves do algoritmo da divisao - uma
matriz e mostramos aplica c oes da mesma em: convers ao de um inteiro positivo
para uma base numerica qualquer; c alculo de combina c oes; teoria dos n umeros.
VIII - Progress~oes Aritmeticas e Geom etricas de ordem m
Resumo: Neste trabalho estudamos, sob uma nova otica (isto e, a partir de
uma nova deni c ao) as progressoes aritmeticas e geometricas de ordem m.
IX - Sequ^encias Aritmeticas e Geom etricas Multidimensionais
Resumo: Neste trabalho desenvolvemos uma outra generaliza c ao das pro-
gress oes aritmeticas e geometricas: as progressoes aritmeticas e geometricas
multidimensionais (ou em dimensao N).
X - TRACADOS 3 D ( Um auxlio para o tra cado de guras no L
A
T
E
X)
Resumo: Neste pequeno trabalho mostramos (deduzimos) o menor algoritmo
do mundo para tra cados 3 D. Este algoritmo nos auxilia no tra cado de
algumas guras no L
A
T
E
X.
XI - Numeros Hipercomplexos2D ( Uma Nova Generalizac~ao dos Numeros
Reais)
Resumo: Neste trabalho construimos um novo sistema numerico sobre o R
2
.
Este sistema resulta numa nova generaliza c ao dos n umeros reais.
XII - Numeros Hipercomplexos3D ( Uma Nova Generalizac~ao dos Numeros
Complexos)
Resumo: Neste trabalho construimos (sobre o R
3
) os n umeros tridimensionais,
uma nova generaliza c ao dos n umeros complexos.
XIII - O Problema do Cavalo Pastando
Resumo: Neste trabalho resolvemos, apenas com matematica do ensino medio,
o famoso problema do cavalo pastando.
XIV - O Problema da regua de combustvel
Resumo: Neste trabalho resolvemos, apenas com matematica do ensino medio,
o problema da regua de combustvel.
Referencias Bibliogracas
[1] Fundamentos de matematica elementar (por) Gelson Iezzi (e outros). S ao
Paulo, Atual Ed., 1977- v.6
[2] Boyer, Carl Benjamin. Hist oria da Matem atica. S ao Paulo - Edgar Bl ucher,
1974.
[3] Bernardo Felzenszwalb.
Algebras de Dimens ao Finitas. 12
o
Coloquio Brasi-
leiro de Matem atica. IMPA, 1979.
[4] Newton C. A. da Costa. Ensaio sobre os fundamentos da l ogica. S ao Paulo:
HUCITEC: Ed. da Universidade de S ao Paulo, 1980.
[5] Silva, Gentil Lopes. N umeros Hipercomplexos2D (Uma nova generalizac ao
dos n umeros reais). www.dmat.ufrr.br/ gentil
[6] Ubaldi, Pietro. As No ures: Tecnica e recepc ao das correntes de pensamento.
Tradu c ao de Cl ovis Tavares. 4. ed. Rio de Janeiro: FUND
APU, 1988.
151