Uma introduo histrica

1
o
b
j
e
t
i
v
o
s
A
U
L
A
Meta da aula
Ao fnal desta aula, voc dever ser capaz de:
Identifcar as razes histricas de problemas que propiciaram
grande desenvolvimento no campo da lgebra.
Descrever problemas da Geometria que so traduzidos para
problemas da lgebra.
Apresentar alguns problemas clssicos que
motivaram as estruturas algbricas modernas
que formam o contedo do curso de lgebra II.
8 CE DE R J
lgebra II | Uma introduo histrica
CE DE R J 9
A
U
L
A

1

INTRODUO Bem-vindo ao curso de lgebra II. Aqui vamos estudar duas importantes e
belssimas estruturas algbricas: os anis e os grupos. Estas teorias tm razes
em problemas muito longnquos que relativamente h pouco tempo foram
resolvidos. Nesta e na prxima aula, vamos estudar alguns destes problemas.
BREVE HISTRICO
Sabemos que a maior contribuio dos matemticos gregos da
Antigidade foi o desenvolvimento do mtodo axiomtico, segundo
o qual toda teoria matemtica desenvolvida com base em objetos
primitivos, defnies, postulados, teoremas e deduo lgica. E claro
que o grande exemplo desenvolvido por eles de uma teoria matemtica,
segundo o mtodo axiomtico, foi a geometria euclidiana. O espao, os
pontos, as retas e os planos so exemplos de objetos primitivos, para
os quais no temos uma defnio, e, portanto, s contamos com nossa
intuio para dar um sentido a eles. Os postulados, ou axiomas, so as
propriedades fundamentais que os objetos primitivos devem satisfazer.
Os postulados no so justifcados, e, hoje, as principais restries feitas
sobre um sistema de postulados exigem que sejam independentes, isto
, nenhum deles deve ser deduzido a partir dos demais, e que sejam
consistentes, ou seja, que eles no levem a uma contradio matemtica.
Por exemplo, na geometria euclidiana, o postulado mais conhecido o
Postulado de Euclides, que afrma que dados uma reta e um ponto fora
dela, existe uma nica reta que passa por este ponto e paralela reta
dada. No desenvolvimento da teoria, cada novo conceito estabelecido
por meio de uma defnio. Na geometria euclidiana, por exemplo, duas
retas so defnidas como perpendiculares quando elas se cortam formando
um ngulo reto. Os teoremas so todas as propriedades que os objetos
da teoria venham a satisfazer. Cada teorema deve ser acompanhado por
uma demonstrao, que uma justifcativa da validade desta propriedade,
utilizando apenas os conhecimentos obtidos anteriormente e um mtodo
de deduo lgica. Na geometria euclidiana, o teorema mais conhecido
o Teorema de Pitgoras, que afrma que em todo tringulo retngulo,
o quadrado da hipotenusa igual soma dos quadrados dos catetos.
Tudo isto foi sistematizado nas obras Os Elementos de Euclides (cerca
de 300 a.C.).
8 CE DE R J
lgebra II | Uma introduo histrica
CE DE R J 9
A
U
L
A

1

Um dos grandes interesses dos matemticos gregos foi o problema
da construo de fguras geomtricas utilizando rgua e compasso. Por
rgua, entendemos um instrumento capaz apenas de traar uma reta
por dois pontos dados. As rguas dos gemetras gregos no tinham
um sistema de marcaes que possibilitasse medir o comprimento de um
segmento de reta. E, assim, eles foram capazes de realizar um grande
nmero de construes geomtricas, como a diviso de um segmento em
duas partes iguais, a construo da bissetriz de um ngulo, a construo
de uma reta perpendicular a uma reta dada e at a construo de um
pentgono regular. No entanto, eles no foram capazes de resolver
alguns problemas de construo aparentemente simples. Alguns destes
problemas, por incrvel que parea, s foram resolvidos dois mil anos
depois, no sculo XIX, e foram, em grande parte, responsveis pelo
surgimento das estruturas algbricas que so o objeto dos nossos estudos
neste curso. Vamos apresentar trs destes importantes problemas.
O primeiro o problema da duplicao do cubo, ou seja, construir um
cubo cujo volume seja o dobro do volume de um cubo dado. O segundo
o problema da triseco de um ngulo, que consiste em dividir um ngulo
dado em trs partes iguais. O terceiro o problema da quadratura do
crculo, que consiste em construir um quadrado cuja rea seja igual
rea de um crculo dado.
Somente no sculo XIX, a matemtica se desenvolveu o sufciente
para que os matemticos pudessem, fnalmente, concluir que estes trs
problemas clssicos so impossveis, ou seja, estas trs construes
no podem, em geral, ser realizadas utilizando-se apenas instrumentos
como a rgua e o compasso. Para que isto pudesse acontecer, foi preciso
desenvolver uma linguagem algbrica na qual estes problemas geomtricos
pudessem ser naturalmente traduzidos. Cada um deles foi transformado
num problema equivalente na teoria de equaes polinomiais, e foi a
questo da resoluo de equaes polinomiais que levou os matemticos a
desenvolver as estruturas algbricas de grupos e anis. interessante notar
que estes problemas geomtricos foram resolvidos usando-se os novos
mtodos da lgebra, desenvolvidos em grande parte pelas idias geniais de
matemticos como N. Abel (1802-1829) e E. Galois (1812-1832), e no
por mtodos geomtricos. Isto vem ressaltar o papel central que a lgebra
exerce dentro do conhecimento matemtico.
10 CE DE R J
lgebra II | Uma introduo histrica
CE DE R J 11
A
U
L
A

1

O PROBLEMA DA DUPLICAO DO CUBO
Vamos traduzir os dois primeiros problemas para a linguagem
algbrica das equaes polinomiais. Um nmero d construtvel quando
ele o comprimento de um segmento de reta construtvel por rgua e
compasso, a partir de um segmento de reta unitrio. Para o problema
da duplicao do cubo, dado um cubo de volume unitrio, queremos
construir a aresta x de um cubo de volume 2, isto , queremos resolver
a equao x
3
= 2. Em particular, queremos mostrar que a soluo desta
equao, x =
3
2, um nmero construtvel.
O PROBLEMA DA TRISECO DO NGULO
Para o problema da triseco do ngulo, queremos construir
o ngulo a partir de um ngulo dado 3 . Agora, a construo do
ngulo equivalente construo de , como sugere a Figura 1.1,
considerando a reta perpendicular a um dos lados do ngulo no
crculo unitrio.

o que nos d
ou, multiplicando a equao por 2, obtemos:
Figura 1.1: A construo de a partir do ngulo .
Assim, a triseco do ngulo equivalente construo de
a partir de cos 3 .
cos
cos cos cos 3 4 3 . =
3
x = cos c = cos3
4 3
3
x x c = .
c = = cos / 60 1 2
o
4 3
1
2
3
x x = ,
8 6 1
3
x x = .
cos
cos

cos
cos
cos
cos
cos
1
cos cos
ATIVIDADES
10 CE DE R J
lgebra II | Uma introduo histrica
CE DE R J 11
A
U
L
A

1

O problema da triseco do ngulo de 60 , ento, equivalente a mostrar
que a equao polinomial tem raiz positiva construtvel. Que
isto no pode acontecer, assim como o nmero no construtvel,
um dos fatos que foram provados somente em 1837, pelo matemtico P. L.
Wantzel.
Uma generalizao muito elegante do problema da triseco do ngulo
a diviso em n partes iguais do crculo unitrio ou, de forma equivalente, a
construo do polgono regular de n lados. Esse problema tambm pode ser
traduzido para a linguagem algbrica. Ele equivalente a provar que o ponto
de coordenadas construtvel. Denotando por


esse nmero soluo da equao
2. Prove a identidade:
Portanto, de , obtemos a equao
e, pela identidade da Atividade 1, queremos resolver a equao
Como z tem de ser diferente de 1, o problema da construo do polgono regular
de n lados equivalente a encontrar solues construtveis da equao:
CONCLUSO
Como voc pode ver, muitos problemas geomtricos so
traduzidos naturalmente para problemas envolvendo solues de
equaes polinomiais, o que j justifca plenamente a importncia
de uma teoria de equaes polinomiais. E uma compreenso profunda
dessa teoria que d origem s idias fundamentais da lgebra moderna,
como veremos na prxima aula.
8 6 1
3
x x
3
2
cos ,
2 2
n n
sen
j
(
,
\
,
(
z
n
1.
z
n
1
z
n
1 0,
z z z z
n n
( ) + + + +
( )


1 1 0
1 2
... .
z z z z z
n n n
( ) + + + +
( )

1 1 1
1 2
... .
z z z
n n
+ + + +
1 2
1 0 ... .
Z sen + cos ,
2 2
n
i
n
12 CE DE R J
lgebra II | Uma introduo histrica
CE DE R J 13
A
U
L
A

1

Faremos uma pequena observao sobre o problema da quadratura
do crculo. Esse problema equivalente a mostrar que o nmero
construtvel. Mas este no um problema da lgebra, e sim da Anlise.
Foi o matemtico F. Lindemann, no sculo XIX, que provou que o
nmero no soluo de nenhuma equao polinomial de coefcientes
inteiros e que, conseqentemente, no construtvel.
ATIVIDADES FINAIS
1. Mostre que a equao equivalente a
2. Mostre que a equao equivalente equao
quadrtica
t t
2
1 0 +
na varivel
z z z z
4 3 2
1 0 + + + + z z
z z
2
2
1
1 1
0 + + + + .
z z
z z
2
2
1
1 1
0 + + + +
t z
z
+
1
.
R E S UMO
Alguns problemas geomtricos surgidos na Antigidade se transformam
naturalmente em problemas sobre equaes polinomiais. Na prxima aula,
continuaremos a estudar problemas clssicos envolvendo equaes polinomiais.
12 CE DE R J
lgebra II | Uma introduo histrica
CE DE R J 13
A
U
L
A

1

Atividade Final 1
s dividir por z
2
.
Atividade Final 2
Observe as transformaes:

z z z z
z z 1 z
n n
n
+ +

( )
+ ( )

( )
+ ( )

1 1
1 1
1 iiiiiiiiiii
iiiiiiiiiii zz z 1 z z z 1 z
z 1 z z
n n
n
( ) + + + + +
( )
+ ( )
( ) +

1 2
1
1 ...
iiiiiiiiiii zz z 1
z 1 z z z 1
n
n n

+ + +
( )
+
,

]
]
( ) + + + +
(
2
1
1 ...
... iiiiiiiiiii
))
.
Atividade 1
Utilizando as frmulas bem conhecidas:
obtemos

cos cos cos ,
cos cos
a b a b a b + ( )

sen sen
sen e
sen sen
i 2
2 2
2 2

ccos ,
cos cos
cos cos
3 2
2 2 2


( ) + ( )
iiiiiiiiiii
iiiiiiii
sen sen
iiii
iiiiiiiiiii
sen sen sen
( )

cos cos cos
cos c
2 2
2
1

2
oos cos cos cos
cos cos
2 2
3
4
2 1
.
( ) ( ) ( )
iiiiiiiiiii 3
Atividade 2
Voc pode aplicar induo e o passo indutivo dado por:
z z
z z
z
z
z
z
z
z
2
2
2
2
1
1 1 1 1
1
1
+ + +
j
(
,
\
,
(
+ +
j
(
,
\
,
(
+
+
j
(
iiiiiiiiiii
,,
\
,
(

j
(
,
,
\
,
(
(
+ +
j
(
,
\
,
(
+
+
j
(
,
\
,
(
+ +
j
2
2
2
1
1
1 1
z
z
z
z
z
z
iiiiiiiiiii
((
,
\
,
(

+
1
1
2
iiiiiiiiiii t t .
RESPOSTAS
14 CE DE R J
lgebra II | Uma introduo histrica
Portanto, a equao:
se transforma em:

t t
2
1 0 + .
z z
z z
2
2
1
1 1
0 + + + +