1

AULA
Uma introduo histrica
Meta da aula
Apresentar alguns problemas clssicos que
motivaram as estruturas algbricas modernas
que formam o contedo do curso de lgebra II.
objetivos

Ao final desta aula, voc dever ser capaz de:

Identificar as razes histricas de problemas que propiciaram
grande desenvolvimento no campo da lgebra.
Descrever problemas da Geometria que so traduzidos para
problemas da lgebra.
lgebra II | Uma introduo histrica

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, definies, 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 definio, 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 justificados, 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 afirma 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 definio. Na geometria euclidiana, por exemplo, duas
retas so definidas 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 justificativa 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 afirma 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 CEDERJ
 Um dos grandes interesses dos matemticos gregos foi o problema

1
da construo de figuras geomtricas utilizando rgua e compasso. Por

AULA
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 suficiente
para que os matemticos pudessem, finalmente, 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.

CEDERJ 9
lgebra II | Uma introduo histrica

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 x3 = 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

cos a partir de um ngulo dado
o ngulo cos3 . Agora, a construo do
cos equivalente construo de cos , como sugere a Figura 1.1,
ngulo
cos no
considerando a reta perpendicular a um dos lados do ngulo
crculo unitrio.

1 Figura 1.1: A construo de cos cos .

a partir do ngulo

cos
Assim, a triseco do ngulo equivalente construo de
cos a partir de cos 3 .
cos

ATIVIDADES

1. Exercite sua trigonometria demonstrando a identidade: cos 3 = 4 cos3 3 cos.

Portanto, considerando x = cos e c = cos3 , a identidade anterior equivalente

equao polinomial:
4x3 3x = c.

Para o caso particular da triseco do ngulo de 60, temos c = cos 60 = 1 / 2 ,

o

o que nos d 4x3 3x = 1 ,

2
ou, multiplicando a equao por 2, obtemos: 8x 6 x = 1.
3

10 CEDERJ
 1
O problema da triseco do ngulo de 60 , ento, equivalente a mostrar

AULA
que a equao polinomial 8x3 6 x = 1 tem raiz positiva construtvel. Que
isto no pode acontecer, assim como o nmero 3 2 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 2 2 construtvel. Denotando por
cos , sen
n n
2 2
+ isen , esse nmero soluo da equao z = 1.
n
Z = cos
n n

2. Prove a identidade:

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

Portanto, de z n = 1, obtemos a equao

z n 1 = 0,

e, pela identidade da Atividade 1, queremos resolver a equao

( z 1) ( z n 1 + z n 2 + ... + z + 1) = 0.
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:

z n 1 + z n 2 + ... + z + 1 = 0.

CONCLUSO

Como voc pode ver, muitos problemas geomtricos so

traduzidos naturalmente para problemas envolvendo solues de
equaes polinomiais, o que j justifica 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.

CEDERJ 11
lgebra II | Uma introduo histrica

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 coeficientes
inteiros e que, conseqentemente, no construtvel.

RESUMO

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.

ATIVIDADES FINAIS
1 1
1. Mostre que a equao z 4 + z 3 + z 2 + z + 1 = 0 equivalente a z 2 + z + 1 + + = 0.
z z2

1 1
2. Mostre que a equao z2 + z + 1 + + = 0 equivalente equao
z z2
1
quadrtica t 2 + t 1 = 0 na varivel t = z + .
z

12 CEDERJ
 RESPOSTAS

1
AULA
Atividade 1

Utilizando as frmulas bem conhecidas:

cos ( a + b ) = cos a cos b sena senb,

cos 2 = cos2 sen2 ie
sen2 = 2sen cos ,

obtemos
cos ( 3 ) = cos ( 2 + )
iiiiiiiiiii = cos 2 cos sen2 sen2
iiiiiiiiiii = ( cos2 sen2 ) cos 2sen cos sen

( )
iiiiiiiiiii = cos2 (1 cos2 ) cos 2 cos (1 cos2 )
iiiiiiiiiii = 4 cos 3 cos.
3

Atividade 2

Voc pode aplicar induo e o passo indutivo dado por:

z n +1 1 = ( z n +1 z ) + ( z 1)
iiiiiiiiiii = z ( z n 1) + ( z 1)
iiiiiiiiiii = z ( z 1) + ( z n 1 + z n 2 + ... + z + 1) + ( z 1)

iiiiiiiiiii = ( z 1) z ( z n 1 + z n 2 + ... + z + 1) + 1

iiiiiiiiiii = ( z 1) ( z n + z n 1 + ... + z + 1) .

Atividade Final 1

s dividir por z2.

Atividade Final 2

1 1 2 1 1
Observe as transformaes: z 2 z + 1 + + = z 2 + z + +1
z z2 z z
1
2
1
iiiiiiiiiii = z + 2 + z + + 1
z z

2
1 1
iiiiiiiiiii = z + + z + 1
z z
iiiiiiiiiii = t + t 1.
2

CEDERJ 13
lgebra II | Uma introduo histrica

1 1
Portanto, a equao: z2 + z + 1 + + =0
z z2

se transforma em: t 2 + t 1 = 0.

14 CEDERJ