Академический Документы
Профессиональный Документы
Культура Документы
B), interseo (A
B) e a relao de
incluso (A
B).
So feitas recomendaes sobre o vocabulrio, ao se falar sobre conjuntos em
sala de aula. Tambm so feitas consideraes a respeito do conjunto vazio (no
possui elementos) e do conjunto unitrio (com um s elemento).
Sobre a relao de incluso, para a qual se usa a notao A
B, que significa
que A est contido em B, fala-se das incluses extremas, ou seja, A
A e
A e
so mostradas as suas trs propriedades:
1- Reflexividade: A A;
2- Anti-simetria: se A B e B A ento A = B;
3- Transitividade: se A B e B C ento A C.
dito que a propriedade transitiva a base do raciocnio dedutivo, sob a forma
chamada de silogismo.
So feitas recomendaes a respeito de formas de se tratar a relao de incluso
e sobre a ligao dessa relao com a implicao lgica, utilizando-se o smbolo
,
que significa implica e no ento. Fala-se que, na Matemtica, todas as
proposies so do tipo se P ento Q, em que P e Q so propriedades que definem
conjuntos, e tambm que existem afirmaes que so vacuamente satisfeitas: por
exemplo, se um professor disser sua classe que todos os alunos que tiverem 5
metros de altura passaro com nota 10 sem precisar prestar exames, ele estar certo
j que o conjunto definido pela propriedade P vazio.
Sobre o complementar de um conjunto dito que dado um conjunto A e um
subconjunto de U (conjunto Universo), chama-se complementar de A ao conjunto A
c
formado pelos objetos de U que no pertencem a A. realado o princpio do terceiro
excludo, em Lgica, que se refere ao fato de que, para todo x
U, no existe outra
opo alm de x
A ou x
A e x
B ento B
c
A
c
, que pode ser escrita A
B
c
A
c
.
Essa ltima equivalncia, se olhada do princpio lgico, usando-se as propriedades
P e Q, que definem os conjuntos A (goza da propriedade P) e B (goza da propriedade
Q), as propriedades que definem B
c
e A
c
so respectivamente, a negao de Q (Q) e
a negao de P (P). Portanto se tem a relao:
3. P
P.
A implicao Q
P chamada de contrapositiva de P
B o
conjunto formado pelos elementos de A mais os elementos de B e a interseo A
B
o conjunto dos elementos que so ao mesmo tempo elementos de A e B. Essas
operaes constituem a contrapartida para os conectivos matemticos ou e e.
Assim, lembrando das propriedades P e Q, a propriedade que define o conjunto A
B
P ou Q e o conjunto A
B)
c
= A
c
B
c
e (A
B)
c
= A
c
B
c
.
feito um comentrio acerca da noo de igualdade. Se dissermos que a = b,
significa que estamos usando smbolos diferentes para o mesmo objeto. No confundir
igualdade com congruncia, em Geometria. A relao a igual a b reflexiva,
simetria e transitiva.
O captulo termina dizendo que a linguagem e a notao de conjuntos s se tornou
universal a partir da terceira ou quarta dcada do sculo XX, e os trabalhos pioneiros
foram de George Cantor no fim do sculo XIX. Traz tambm recomendaes gerais
para o professor, em sala de aula, quanto ao trabalho com conjuntos. recomendado
que os professores familiarizem seus alunos com os rudimentos da linguagem da
notao de conjuntos, evitem pedantismos e exageros, procurem ilustrar seus
conceitos com exemplos de conjuntos dentro da Matemtica, sejam cuidadosos para
evitar cometer erros, tenham cuidado com a linguagem usada.
2. Nmeros Naturais
O captulo comea explicando que nmeros so entes abstratos, desenvolvidos pelo
homem como modelos, que permitem contar e medir; portanto, avaliar as diferentes
quantidades de uma grandeza. Porm, dito que essa afirmao no representa uma
definio matemtica, pois faz uso de ideias e processos de significados no
estabelecidos.
Discorre sobre o mtodo axiomtico, que faz uso de axiomas ou postulados
(princpios ou regras que so tomados como verdade, sem demonstrao). As
proposies a serem demonstradas chamam-se teoremas e suas consequncias
imediatas so os corolrios. Uma proposio auxiliar, usada na demonstrao de um
teorema, chamada lema. Na apresentao de uma teoria matemtica, toda definio
faz uso de termos especficos, os quais foram definidos usando outros termos, e assim
sucessivamente.
Diz-se que, do ponto de vista do ensino mdio, no se deve expor a
Matemtica sob forma axiomtica. Recomenda-se que o professor nunca d
explicaes falsas, no insista em detalhes formais para justificar afirmaes
intuitivamente bvias. Porm, fatos importantes, cuja veracidade no evidente (como
o Teorema de Pitgoras), devem ser demonstrados.
Recomenda tambm que, embora a Matemtica possa ser cultivada por si
mesma, como um todo coerente, a importncia social desta cincia que ela oferece
modelos para analisar situaes da vida real, realando que para poder empregar
esses modelos necessrio verificar, em cada caso, que as hipteses que lhe servem
de base so satisfeitas.
Comenta-se sobre a evoluo da humanidade at esta apoderar de um modelo
abstrato de contagem, os nmeros naturais, que veio atravs das necessidades
provocadas por um sistema social cada vez mais complexo.
Hoje, o conjunto dos nmeros naturais descrito concisamente por meio
dos axiomas de Peano (limiar do sculo XX), que se seguem:
a) Todo nmero natural tem um nico sucessor;
b) Nmeros naturais diferentes tm sucessores diferentes;
c) Existe um nico nmero natural, chamado um e representado pelo smbolo 1,
que no sucessor de nenhum outro;
d) Seja X um conjunto de nmeros naturais (isto X ). Se 1 X e se, alm
disso, o sucessor de todo elemento de X ainda pertence a X, ento X = .
Podemos dizer que os nmeros naturais so ordinais: 1 o primeiro, 2 o
segundo etc. dito que no devemos dar muita importncia questo se o 0 est ou
no includo nos nmeros naturais. Diz-se que so aceitas as duas formas de
pensamento so aceitas hoje em dia, mas que no livro, adota-se a verso na qual
comea no 1.
O ltimo dos axiomas de Peano conhecido como axioma da induo, que
base do mtodo de demonstraes por induo, ou por recorrncia. Esse mtodo,
enunciado sob a forma de propriedades, se formula da seguinte maneira:
Seja P(n) uma propriedade relativa ao nmero natural n. Suponhamos que:
i) P(1) valida;
ii) Para todo n , a validez de P(n) implica a validez de P(n+1).
Ento P(n) vlida qualquer que seja o nmero natural n.
So definidas a adio e a multiplicao nos nmeros naturais, por induo. A
adio faz corresponder aos nmeros n, p a soma n + p e a multiplicao lhes
associa o produto np.
Mostra as propriedades da relao de ordem m < n no conjunto dos nmeros
naturais, que so transitividade, tricotomia, monotonicidade e boa ordenao, esta
ltima podendo substituir com vantagem a induo como mtodo de prova de
resultados referentes a nmeros naturais.
3. Nmeros Cardinais
O captulo comea dizendo que para contar os elementos de um conjunto,
necessrio usar a noo de correspondncia biunvoca, ou bijeo. Segue dando a
definio de funo:
Dados os conjuntos X, Y, uma funo f: X
Y uma regra que diz como
associar a cada elemento x X um elemento y = f(x) Y. O conjunto X chama-se
domnio e Y o contra-domnio da funo f. Para cada x X, o elemento f(x) Y,
chama-se imagem de x pela funo f.
Alerta-se que no h sentido em perguntar Qual o domnio da funo f(x) = 1/x ?,
e que a pergunta correta seria Qual o maior subconjunto X
?
dada a definio de funo injetiva (f injetiva quando x x em X
f(x) f(x))
e de funo sobrejetiva (f sobrejetiva quando, para qualquer elemento y Y, pode-
se encontrar pelo menos um elemento x X tal que f(x) = y). Uma funo chama-se
uma bijeo, ou uma correspondncia biunvoca entre X e Y quando ao mesmo
tempo injetiva e sobrejetiva. So mostrados exemplos de funes que satisfazem
essas condies.
Diz-se que dois conjuntos X e Y tm o mesmo nmero cardinal quando se pode
estabelecer uma correspondncia biunvoca f: X
X.
O nmero cardinal n(X) goza de algumas propriedades bsicas, dentre as quais
est uma conhecida como o princpio da casa dos pombos (ou princpio da gaveta): se
h mais pombos do que casas num pombal, qualquer modo de alojar os pombos
dever colocar pelo menos dois deles na mesma casa. Essa propriedade enunciada
da seguinte maneira: Sejam X, Y conjuntos finitos. Se n(X) > n(Y), nenhuma funo f:
X
X sobrejetiva.
Termina-se o captulo esclarecendo que a maior contribuio de Cantor no foi a
adoo da linguagem dos conjuntos, mas sim suas descobertas sobre os nmeros
cardinais de conjuntos infinitos. Ele descobriu que existem conjuntos infinitos com
diferentes cardinalidades. Mostrou tambm que a reta, o plano e o espao tri-
dimensional (ou mesmo com dimenses superior a trs) tm o mesmo nmero
cardinal. feita uma recomendao para no confundirmos conjunto infinito com
aquele que possui uma quantidade muito grande de elementos.
4. Nmeros Reais.
O captulo comea mostrando de que modo o processo de medio de grandezas -
ditas contnuas - conduz noo de nmero real. usada como prottipo a
determinao do comprimento de um segmento de reta.
Para medir um segmento de reta AB, necessrio fixar um segmento padro
u, chamado de segmento unitrio, com medida igual a 1. A medida do segmento AB
ser representada por
AB
. Pode ocorrer que u no caiba um nmero exato de vezes
em AB. Esta situao conduz ideia de frao. Quando encontramos uma medida
fracionria ou exata de um segmento, em relao a u, dizemos que ele
comensurvel.
At o quarto sculo antes de Cristo se pensava que dois segmentos quaisquer
AB e CD eram comensurveis, ou seja, existiria sempre um segmento EF que caberia
um nmero exato n de vezes em AB e um nmero m de vezes em CD. Porm entre os
discpulos de Pitgoras, algum observou que o lado e a diagonal de um quadrado
so incomensurveis.
A existncia de segmentos incomensurveis significa que os nmeros naturais
e as fraes no so suficientes para medir todos os segmentos de reta, introduzindo-
se assim os nmeros irracionais. No exemplo do quadrado, quando o lado do
quadrado mede 1, a medida da diagonal o nmero irracional
2
.
Incomensurabilidade, portanto, uma relao entre duas grandezas da mesma
espcie, no devendo ser confundida com a ideia de uma quantidade muito grande.
Mostra-se que podemos pensar nos nmeros irracionais numa reta, para
podermos situ-los em relao aos racionais. Essa reta conhecida como a reta real,
sendo definida por um ponto O (a origem) e um ponto A diferente de O.
Seja X um ponto qualquer da reta OA. Se OA couber um nmero exato n de
vezes em OX, dizemos que a abscissa de X um nmero natural n se estiver direita
de O ou um nmero negativo n se estiver esquerda. Assim, podemos definir o
conjunto
=
{0}
{-
}.
O conjunto Q, dos nmeros racionais, formado pelas abscissas dos pontos X
do eixo real tais que o segmento OX comensurvel com o segmento unitrio OA.
Esses nmeros so representados por fraes m/n, onde m
e n
.
Se tomarmos um ponto X no eixo real de tal modo que os segmentos OX e OA
sejam incomensurveis, teremos um nmero x, que chamaremos de nmero
irracional.
O conjunto , cujos elementos so os nmeros racionais e irracionais chama-
se o conjunto dos nmeros reais. Temos
. As letras
, Q e so
as iniciais das palavras natural, quociente e real. A letra
'
<
0 ,
0 ,
| |
x x
x x
x
|x| = max{x, -x}
|x| =
2
x
|x y|, sendo aqui a interpretao de valor absoluto sendo feita como distncia
entre as coordenadas x, y dos pontos X, Y num eixo real E.
A interpretao como distncia, no eixo real, permite enxergar intuitivamente o
significado de algumas questes envolvendo mdulo. Por exemplo, a igualdade
|x 2| = 3 significa que o nmero x est a uma distncia 3 do nmero 2. Logo, deve
ser x = 5 ou x = -1.
dito que uma sequncia de nmeros reais uma funo cujo domnio o
conjunto
e o contradomnio
.
O produto cartesiano X x Y de dois conjuntos X e Y o conjunto X x Y formado
por todos os pares ordenados (x, y) cuja primeira coordenada x pertence a X e a
segunda coordenada y pertence a Y, ou seja, X x Y = {(x, y); x
X, y
Y}.
O grfico de uma funo f: X
Y
necessrio e suficiente que para cada x
Y tal que
(x, y)
G.*
Uma relao binria R entre elementos do conjunto X e Y uma condio ou
um conjunto de condies que permitem determinar se x est ou no relacionado com
y segundo R. Em caso afirmativo escreve-se xRy. Um exemplo a relao menor do
que entre nmeros reais, que escrevemos x < y.
Um exemplo particularmente importante de relao a relao funcional, que
ocorre quando temos uma funo f: X
X est
relacionado com o elemento y
.
Uma funo afim crescente quando sua taxa de crescimento (o nmero a)
positiva, decrescente quando a negativo e constante quando a = 0.
O grfico G de uma funo afim f: x
'
+
+
2 2
1 1
y b ax
y b ax
Pode-se demonstrar que toda reta no vertical r o grfico de uma funo
afim. Podemos tambm verificar que a equao da reta que passa pelo ponto (x, y) e
tem inclinao a y = y0 + a(x x0).
feito um comentrio sobre a utilizao do nome coeficiente angular da funo
f, numa funo afim. dito que esse nome no adequado para ser utilizado e sim o
termo taxa de variao. Ou seja, temos a taxa de variao da funo e o coeficiente
angular de uma reta. Outro comentrio diz respeito ao nome funo do primeiro grau
para uma funo afim. Diz-se que somente polinmios possuem grau, e no funes.
Uma funo linear, dada pela frmula f(x) = ax, o modelo matemtico para os
problemas de proporcionalidade.
Uma proporcionalidade uma funo f: tal que, para quaisquer
nmeros reais c, x, tem-se f(cx) = cf(x) (proporcionalidade direta) ou f(cx) = f(x)/c, se
c 0 (proporcionalidade inversa). Essa definio equivale a dizer que a grandeza y
diretamente proporcional grandeza x quando existe um nmero a (chamado de
constante de proporcionalidade) tal que y = ax para todo valor de x. Quanto
proporcionalidade inversa, s tem sentido quando se trata de grandezas no nulas, o
que equivale a dizer que para todo x
*
, tem-se f(x) = a/x, onde a = f(1). A ateno
ser fixada na proporcionalidade direta, que ser chamada de proporcionalidade a
partir de agora.
Quando a correspondncia x
y, x
y uma proporcionalidade, a
igualdade y/x = y/x permite que se determine um desses quatro nmeros quando se
conhecem os outros trs, o que consiste a tradicional regra de trs.
Para se determinar se uma funo ou no linear, podemos usar o teorema a
seguir.
Teorema Fundamental da Proporcionalidade: Seja f: uma funo
crescente. As seguintes afirmaes so equivalentes:
1- f(nx) = nf(x), para todo n
e todo x
.
2- Pondo a = f(1), tem-se f(x) = ax para todo x
.
3- f(x + y) = f(x) + f(y), para quaisquer x, y .
Deve-se observar que a funo f no teorema sendo crescente, tem-se a > 0. No
caso de supor f decrescente, vale um resultado anlogo, com a < 0. Outra hiptese
possvel para formular o teorema seria a de que a funo contnua.
A importncia desse teorema reside em que, se queremos demonstrar que
uma funo linear, basta verificar duas coisas:
1) f deve ser crescente ou decrescente.
2) f(nx) = nf(x), para todo n
e todo x
.
Para saber se, numa determinada situao, o modelo a ser adotado uma
funo afim, usamos o seguinte teorema: Seja f: uma funo montona
injetiva. Se o acrscimo f(x + h) f(x) =
,
_
+
2
2 2
e
p
s s
x s
,
_
2
2 2
Embora os autores dos textos encontrados com tal regra no tenham registrado a
maneira como chegaram a tal resultado, o livro nos apresenta um possvel caminho.
A forma cannica do trinmio o assunto abordado na sequncia. O autor frisa
a relevncia da escrita de um trinmio sob sua forma cannica, uma vez que essa
forma permite, por exemplo, que se deduza a frmula para a resoluo da equao do
segundo grau. Alm dessa, a forma cannica nos traz outras facilidades, como
analisar os pontos de mnimo ou mximo da funo do segundo grau ou responder
questo: dada a funo quadrtica c bx ax x f + +
2
) ( , para quais valores ' x x tem-
se
) ' ( ) ( x f x f
? Outros pontos importantes sobre as funes do segundo grau como
a existncia de razes reais, razes duplas e razes distintas so esmiuados atravs
da frmula geral de resoluo de equaes do segundo grau. Ainda sobre esse
assunto, o livro nos traz um exemplo que julgamos ser importante destacar. Nele
mostrado que o conhecimento sobre o ponto onde uma funo quadrtica assume seu
valor mximo ou mnimo nos ajuda a responder questes como qual o valor mximo
que o produto de dois nmeros pode assumir sendo conhecida sua soma.
O grfico da funo quadrtica o assunto seguinte que introduzido atravs
de uma definio de parbola como o conjunto dos pontos plano equidistantes de uma
reta e de um ponto fora dela. Atravs de exemplos que vo gradativamente do
particular para o geral, o autor nos convence que o grfico de uma funo do segundo
grau , de fato, uma parbola. So trazidas algumas concluses que resultam do
exame desse grfico, como, por exemplo, o ponto mdio do segmento
] , [
, onde
, so abscissas dos pontos onde a parbola intercepta o eixo OX, ser a abscissa
do vrtice da parbola.
O exame que se segue do da determinao da congruncia entre os grficos
de duas funes quadrticas. Aps duas breves observaes sobre translao
horizontal e vertical de grficos, o livro nos mostra que, atravs dessas transformaes
e de reflexes possvel sobrepor parbolas de funes quadrticas distintas.
Entretanto, essas precisam ter certas caractersticas especiais. Se ' a a t , no
importado os coeficientes
c b b , ' ,
e ' c , ento as parbolas das funes
c bx ax x f + +
2
) ( e ' ' ' ) (
2
c x b x a x + + sero congruentes, isso , podem ser
sobrepostas por translao e reflexo. Finalmente, a sesso que trata do grfico de
funes do segundo grau finalizado com a apresentao da recproca desse
resultado, isso , se os grficos de duas funes quadrticas so congruentes, ento
' a a t .
O captulo segue com duas aplicaes das funes quadrticas. A primeira
delas diz respeito a propriedades das parbolas. Por que a reflexo de um raio de luz
que incide paralelamente o eixo de uma superfcie parablica passa pelo foco? O
autor, baseando-se no princpio fsico de que o ngulo de reflexo de um raio deve ser
igual ao ngulo de incidncia, nos mostra, matematicamente, que tal fato verdadeiro.
Essa afirmao sustentada pela seguinte afirmao, que demonstrada no livro: a
tangente parbola num ponto P faz ngulos iguais com a paralela ao eixo e com a
reta que une o foco F a esse ponto. Assim, uma vez demonstrado tal fato, um raio que
incide paralelamente ao eixo principal de uma superfcie parablica, dever ser
refletido de modo que passe pelo seu foco. A segunda aplicao diz respeito ao
movimento uniformemente variado. Conforme o prprio autor explica, a funo
quadrtica o modelo matemtico que descreve esse tipo de movimento, so
exemplos: queda de um objeto sujeito apenas a ao da gravidade e o movimento de
um projtil (desprezada a ao da resistncia do ar). Uma descrio razoavelmente
detalhada desses movimentos, baseada nas propriedades das funes quadrticas,
apresentada.
O captulo encerra-se com uma caracterizao das funes quadrticas, que
a seguinte: a fim de que a funo contnua
: f
seja quadrtica necessrio e
suficiente que toda progresso aritmtica no-constante
. . , , , ,
2 1 n
x x x
seja
transformada por f numa progresso aritmtica de segunda ordem no-degenerada
. . ), ( , ), ( ), (
2 2 1 1 n n
x f y x f y x f y .Por progresso aritmtica de segunda-ordem
entende-se aquela cujas diferenas de seus termos formam uma progresso
aritmtica usual, isso , uma progresso aritmtica de segunda ordem uma
sequncia . , ,
2 1
y y tal que as diferenas sucessivas
. , , ,
3 4 2 3 1 2
y y y y y y
formam uma progresso aritmtica usual. Essa caracterizao das funes
quadrticas semelhante a caracterizao de funo a fim feita no captulo anterior.
7. Funes Polinomiais
De uma maneira parecida com a que foram tratadas, no captulo anterior, as funes
quadrticas, neste o autor fala das funes polinomiais. Uma funo
: p
dita
polinomial se existirem coeficientes
n
a a a a , , , ,
2 1 0
. tais que
0 1
1
1
) ( a x a x a x a x p
n
n
n
n
+ + + +
.
para todo x . O autor segue observando que o produto e a soma de funes
polinomiais tambm uma funo polinomial. Disso, e do fato de ) ( ) ( p x p , para
um x qualquer e
uma raiz da
funo se, e somente se, p(x) divisvel por
x
. O autor generaliza esse resultado
para k razes de um polinmio de grau n, que aquele onde 0
n
a e conclui que uma
funo polinomial de grau n no pode ter mais que n razes. A definio de funo
polinomial identicamente nula feita observando-se que no contradiz esse ltimo
resultado. Isso , 0 ) ( x p para todo x , tendo, portanto, infinitas razes.
Entretanto, essa tal funo no tem grau algum, j que nenhum de seus coeficientes
diferente de zero. O que se segue, ainda nessa primeira parte do captulo, a
definio de igualdade entre funes polinomiais, duas funes polinomiais so iguais
se, e somente se, assumem os mesmos valores para todo x real, bem como uma
discusso, moda da feita no captulo anterior, sobre funes polinomiais e
polinmios, sendo que a concluso a mesma: pode-se tratar esses dois entes
matemticos de forma indistinta, j que existe uma bijeo (polinmios)
(funes
polinomiais).
Da mesma forma que no captulo anterior, esse segue com a determinao de
um polinmio a partir de seus coeficientes. Um polinmio de grau n determinado
pelos seus n+1 coeficientes, isso , dados n+1 nmeros reais distintos
n
x x x , , ,
1 0
.
e,
fixados arbitrariamente os valores
n
y y y , , ,
1 0
.
, existe um, e somente um, polinmio p,
de grau menor ou igual a n, tal que
n i y x p
i i
. , 1 , ) (
. A unicidade desse resultado
segue imediatamente do fato de dois polinmios com coeficientes iguais serem iguais.
J a existncia de um polinmio p de grau menor ou igual a n que assume valores pr-
fixados em n+1 pontos distintos provada pelo autor de duas formas distintas. Na
primeira delas ele usa argumento semelhante ao do captulo anterior, quando provou
resultado anlogo para funes quadrticas. A outra demonstrao usa a frmula de
interpolao de Lagrange.
O captulo finalizado com observaes sobre os grficos das funes
polinomiais. Se p(n) um polinmio de grau n, ento, para n par, p(n) assumir o
mesmo sinal do coeficiente
n
a
desde que se tome |x| suficientemente grande. Quando
n mpar, p(n) assumir mesmo sinal de
n
a
ou sinal contrrio dependendo do sinal de
x. Essa informao til para o traado aproximado dos grficos, assim como saber a
localizao de suas razes. Se 0 ) (
1
< x p e 0 ) (
2
> x p , ento existe uma raiz entre
1
x e
2
x . O mtodo apresentado para se determinar uma raiz de um polinmio p localizada
num intervalo [a,b], quando p(a) e p(b) tem sinais opostos, o mtodo de Newton.
8. Funes Exponenciais e Logartmicas
O captulo iniciado com uma motivao: as funes a fim e as anteriormente
estudadas no do conta de modelos como o do rendimento de um montante de
dinheiro aplicado a juros fixos ou o a desintegrao radioativa. Funes que
descrevem bem esses, e outros fenmenos, sero estudados nesse captulo. Dada a
motivao inicial, o que feito em seguida uma reviso das potncias de expoente
racional. Primeiramente so definidas as potncias de base real e expoente natural e
so mostradas suas propriedades. A definio indutiva para esse caso :
a a
1
e
n n
a a a
+1
. Dessa decorrem propriedades conhecidas como: para quaisquer
n m,
,
n m n m
a a a
+
e
mn n m
a a ) ( . Alm disso, quando 1 > a temos que
. . < < < <
n
a a a
2 1
, e, quando 1 0 < < a ,
. . > > > >
n
a a a
2 1
Pensando em
termos de uma funo, : f dada por
n
a n f ) ( deve ser crescente para a>1 e
decrescente para a<1. A extenso para : f deve satisfazer
) ( ) ( ) ( n f m f n m f + + , alm disso, f dever ser montona crescente ou decrescente
da base tomada. A fim de manter essas propriedades, coloca-se, em termos de base
real e expoente inteiro:
n
n
a
a a
1
, 1
0
. A generalizao dessa funo para Q f :
em termos de potncias, traz:
n m
n
m
a a
. Essa definio faz com que f satisfaa as
propriedades conhecidas e desejadas. Entretanto, a demonstrao apresentada no
livro Logaritmos da Coleo do Professor de Matemtica. Essa breve retomada rumo
a definio da funo exponencial termina com a demonstrao do seguinte lema:
fixado o nmero real positivo 1 a , em todo intervalo de
+
+
1
1 lim .
Para introduzir o conceito de funo exponencial de base
e
, o livro nos mostra
um caminho: atravs da ideia de juros simples possvel se chegar a ideia de juros
compostos. Imaginando-se um investimento com taxa anual
, investido um montante
inicial
0
c
nele, aps um ano o capital obtido ser
) 1 (
0
+ c C
. Supondo ser possvel
retirar o montante do investimento e que o banco pagar a taxa proporcional, ento, se
ao longo de um ano forem feitas n retiradas e n reinvestimentos, ao fim de um ano o
capital gerado ser
n
n
c C
,
_
+
1
0
. Supondo, ainda que n possa ser feito to grande
quanto se queira:
e C
n
C C
n
n
0 0
1 lim
,
_
+
. A importncia de se escrever funes
exponenciais na base
e
, sob a forma geral
x
e b x f
) ( reside no fato de que a
funo nessa forma exibe explicitamente no apenas o seu valor f(0)=b como tambm
o coeficiente
, usa-se a notao ) (x f
para indicar a
derivada da funo f. No caso particular de uma funo do tipo
x
e
mostra-se que
x x
e e ) ( , ou, mais geralmente,
x x
e e
o fator de proporcionalidade.
O captulo termina apresentando um mtodo para se determinar quando, dada
uma funo f, f(x+h)/f(x) depende exclusivamente de h. A implicao abaixo o tal
critrio:
) ( ) ( ) ( ) ( h x f n h x f x f n x f + +
Toda funo com essa caracterstica ser exponencial, nisso reside a importncia do
critrio. Trs exemplos do seu uso so colocados.
9. Funes Trigonomtricas
O captulo iniciado com uma apresentao da importncia das funes
trigonomtricas tanto para a matemtica em si quanto para outras reas. Aps uma
breve exposio da chamada trigonometria do tringulo retngulo, o autor passa a
definir a chamada funo de Euler. A funo de Euler C E : faz corresponder a
cada nmero real t o ponto E(t) = (x,y) da circunferncia unitria de modo que o ponto
0 caia sobre o ponto (1,0) da circunferncia. Essa funo imaginada como um
processo de enrolar a reta sobre a circunferncia C e traz algumas propriedades
interessantes, como: ) ( ) 2 ( t E k t E + , para todo k inteiro e t real. Para cada t real,
colocando B=E(t) define-se que o ngulo AB mede t radianos. O autor nos mostrar
algumas observaes sugeridas por essa definio, bem como far uma
correspondncia entre as duas formas mais comuns de se medir ngulos: radianos e
graus.
Finalmente, antes de definir as funes trigonomtricas de varivel real, por
meio da visualizao de figuras, so mostradas relaes que traduzem propriedades
das funes seno e cosseno: E(t + ) = (-x,-y), E(t + /2) = (-y,x), E(-t)=(x,-y), E(/2
t) = (y,z) e E( t) = (-x,y). As funes trigonomtricas : cos e : sen so
ento definidas pondo-se, para cada t real: E(t) = (cos t, sen t). Desse modo,
resultados convenientes das funes seno e cosseno so respeitados com essa
definio, dentre eles a relao fundamental
1 cos
2 2
+ t t sen
e, das quatro relaes
da funo de Euler, as seguintes:
sent t sen t t
t t sen sent t
t t sen sent t
sent t sen t t
,
_
,
_
,
_
,
_
+
+ +
) ( cos ) cos(
cos
2 2
cos
cos
2 2
cos
) ( cos ) cos(
A partir das funes seno e cosseno so definidas ainda as funes tangente,
secante, cossecante e cotangente.
As frmulas de adio de arcos
) cos( ) ( ) cos( ) cos( ) cos(
) cos( ) ( ) cos( ) ( ) (
b a sen b a b a
a b sen b a sen b a sen
t
t t
so demonstradas, bem como suas consequncias diretas, que so as frmulas de
arco duplo. So mostradas duas aplicaes dessas frmulas: a determinao das
coordenadas de um ponto A=(x,y) obtido de A=(x,y) por meio de rotao em torno da
origem e a demonstrao de que o cos(a) e sen(a) se exprimem como funes
racionais de tg(a/2).
O autor finaliza o captulo deduzindo as conhecidas lei dos senos e lei dos
cossenos e apresentando problemas de determinao dos lados e ngulos de um
tringulo em diferentes casos.
Volume 2
Elaborado por: Gisele Romano Paez
Apresentao
Os trs volumes da obra intitulada A Matemtica do Ensino Mdio
fazem parte da coleo de livros da Sociedade Brasileira de Matemtica
(SBM). Essa coleo est inserida nas obras destinadas ao professor de
Matemtica. Formado por doze captulos, o segundo volume da coleo traz
alguns contedos, os quais so ensinados no Ensino Mdio do Brasil. Dentre
eles esto: progresses, matemtica financeira, recorrncia, combinatria,
probabilidade, mdias e o princpio das gavetas, pontos, retas e planos,
perpendicularismo, medindo distncias e ngulos, poliedros, volumes e reas,
superfcies e slidos de revoluo.
O livro est dividido em dois temas centrais: o estudo da matemtica
discreta e a introduo geometria espacial. Os cinco primeiros captulos
englobam o primeiro tema, e foi escrito pelo professor Augusto Csar
Morgado, e os demais captulos correspondem ao segundo tema escritos por
Paulo Csar Pinto Carvalho e Eduardo Wagner, todos professores e
pesquisadores do Instituto de Matemtica Pura e Aplicada (IMPA) do Rio de
Janeiro e idealizadores deste trabalho juntamente com o professor Elon Lages
Lima. Este trabalho tambm se insere em um projeto do IMPA chamado
Programa de aperfeioamento para professores do Ensino Mdio, que em
sendo realizado pelo IMPA desde 1996, com apoio da CAPES e da FAPERJ
(LIMA et al., 1999, Prefcio).
Os autores buscam evitar o uso excessivo de frmulas e propem o uso
consciente das definies e princpios fundamentais em exerccios, os quais
trazem objetos do mundo real que ilustrem conceitos importantes.
Aqui se encontra um resumo dos doze captulos do segundo volume.
Apontando as principais definies necessrias para a compreenso dos
contedos de cada captulo. Dividiremos esse resumo com a numerao dos
captulos e das sees do livro. As definies so tiradas do livro na ntegra.
Captulo 1: Progresses
1. Progresses Aritmticas
A definio de progresso aritmtica aparece como: Uma progresso
aritmtica uma sequncia na qual a diferena entre cada termo e o termo
anterior constante. Essa diferena constante chamada de razo da
progresso e representada pela letra r. (p. 1)
Cada termo de uma progresso aritmtica pode ser representado por
( ) ,... , ,
3 2 1
a a a
,
onde
1
a o primeiro termo da sequncia,
2
a o segundo termo e
assim por diante. De modo geral ( ) r n a a
n
. 1
1
+ , pois ao passar de
1
a para
n
a , avanamos ( ) 1 n termos. (p. 2)
Em alguns exemplos o autor traz definies e caracterizaes de alguns
tipos de progresses. Em uma progresso aritmtica, o termo geral dado
por um polinmio em
n
, ) ( . ). 1 (
1 1
r a n r r n a a
n
+ + . Se 0 r , ou seja, se a
progresso no for estacionria (constante), esse polinmio de grau 1. Se
0 r , isto , se a progresso for estacionrio, esse polinmio de grau menor
que 1. (p. 4) E defini ainda que [...] progresses aritmticas de razo 0 r
so chamadas de progresses aritmticas de primeira ordem. (p. 4)
O autor considera que muitas vezes conveniente enumerar os termos
de uma progresso aritmtica a partir de zero [...]. (p. 3), para que assim
uma progresso aritmtica r n a a
n
.
0
+ possa representar uma funo afim
rx a x a + ) 0 ( ) ( [...] uma funo que associa a cada nmero natural
n
o valor
n
a , o grfico dessa funo formado por uma sequencia de pontos colineares
no plano. (p. 5)
Frmula da soma dos
n
primeiros termos de uma progresso
aritmtica
O autor traz a frmula da soma dos
n
primeiros termos de uma
progresso aritmtica ( ) ,... , ,
3 2 1
a a a e em seguida sua prova. Posteriormente
traz as variaes desta frmula conforme indicado a seguir:
( ) [ ]
n
r
a n
r n r n a a n a a
S
n
n
,
_
+
+ +
2 2 2
. ). 1 (
2
.
1
2
1 1 1
. (p.6,7)
Ainda com a ideia de que uma progresso pode ser representada por um
polinmio, o autor sugere que observemos o seguinte: [...] se 0 r ,
n
S um
polinmio do segundo grau em
n
, desprovido de termo independente. Se
0 r ,
n
S um polinmio de grau menor que 2, sem termo independente. A
recproca verdadeira, ou seja, [...] todo polinmio do segundo grau em
n
,
desprovido de termo independente, o valor da soma dos
n
primeiros
termos de alguma progresso aritmtica. (p. 7)
O autor define um operador diferena para uma sequncia como
n n n
a a a
+1
. E conclui que essa sequncia ) (
n
a ser [...] uma progresso
aritmtica se e somente se ) ( ) (
1 n n n
a a a
+
constante. (p. 7)
Assim, fazendo relaes entre a sequencia ) (
n
a e a sequencia ( )
n
a o autor
define uma progresso aritmtica de segunda ordem como [...] uma
sequncia ) (
n
a na qual as diferenas
n n n
a a a
+1
, entre cada termo e o
termo anterior, formam uma progresso aritmtica no-estacionria.
5
(p. 7)
5
Ver exemplos 15 e 16 da p. 8
Aqui o autor generaliza para progresses de ordem k e traz, na
sequncia, dois teoremas e um corolrio com suas respectivas provas
6
. De
modo geral, uma progresso aritmtica de ordem ) 2 ( > k k uma sequncia
na qual as diferenas entre cada termo e o termo anterior formam uma
progresso aritmtica de ordem 1 k . (p. 8)
Teorema1:
+ + + +
n
k
p p p p p
k n
1
... 3 2 1 um polinmio de grau 1 + p em
n
.
(p. 11)
Corolrio: Se F um polinmio de grau
p
ento
n
k
k F
1
) ( um polinmio
de grau 1 + p em
n
. (p. 12)
Teorema 2: ) (
n
a uma progresso aritmtica de ordem
p
) 2 ( p , se e
somente se
n
a um polinmio de grau
p
em
n
. (p. 12)
2. Progresses Geomtricas
Para introduzir o tema de progresses geomtricas, o autor lana vrios
exemplos que considera interessantes e intrigantes para os alunos
7
. S
depois disso, define a progresso geomtrica: [...] uma progresso
geomtrica uma sequncia na qual constante o quociente da diviso de
cada termo pelo termo anterior. Esse quociente chamado de razo da
progresso e representado pela letra
q
. A razo
q
de uma progresso
geomtrica simplesmente o valor de i + 1 , onde i a taxa de crescimento
constante de cada termo para o seguinte. (p. 26)
E traz ainda que Em uma progresso geomtrica ( ) ,... , ,
3 2 1
a a a , para
avanar um termo basta multiplicar pela razo; para avanar dois termos,
basta multiplicar duas vezes pela razo, e assim por diante. [...] de modo
geral,
1
1
n
n
q a a , pois, ao passar de
1
a para
n
a , avanamos 1 n termos. (p.
26)
6
Ver provas dos teoremas nas p. 11 e 12 e do corolrio no exemplo 20 da p.12
7
Ver exemplos do 1 ao 6 das p. 23,24 e 25
E que Em muitos casos mais natural numerar os termos a partir de
zero, nesse caso,
n
o n
q a a , pois avanamos
n
termos ao passar de
0
a para
n
a . (p. 26)
O autor tambm relaciona progresso geomtrica com funo, s que
agora, exponencial. [...] pensamos em uma progresso geomtrica como
uma funo que associa a cada numero natural
n
o valor
n
a , o grfico dessa
funo formado por uma sequncia de pontos pertencentes ao grfico de
uma funo exponencial. (p. 26)
Frmula das taxas equivalentes
Se I a taxa de crescimento de uma grandeza relativamente ao perodo
de tempo T e
i
a taxa de crescimento relativamente ao perodo
t
, e se
nt T , ento
n
i I ) 1 ( 1 + + .
8
(p. 27)
Frmula da soma dos
n
primeiros termos de uma progresso
geomtrica
O livro tambm traz a formula da soma dos
n
primeiros termos de uma
progresso geomtrica e suas variaes chegando a definir um limite finito
para esta soma. A soma dos
n
primeiros termos de uma progresso
geomtrica ) (
n
a de razo 1 q ,
q
q
a S
n
n
1
1
1
. (p. 28) [...] Nas progresses
geomtricas em que 1 < q , a soma dos
n
primeiros termos tem um limite
finito quando
n
. Como nesse caso
q
a
q
a S
n
n
1 1
0 1
lim
1
1
. (p. 29)
Em seguida e finalizando o tema, o autor apresenta o teorema
fundamental da somao:
1 1
1
a a a
n
n
k
k
+
) 1 ( 1
.
12
(p. 51)
A seguir, temos um corolrio que trata do valor de uma renda
perptua, que se refere a locaes. o valor de uma perpetuidade de termos
iguais a P , um tempo antes do primeiro pagamento, , sendo i a taxa de
juros, igual a
i
P
. (p. 50)
A prxima definio que aparece a desconto. Desconto a diferena
A F (p. 54), onde F uma face da promissria (quantia paga ao banco por
um emprstimo tomado, certamente maior que o emprstimo) e A a
quantia emprestada ao cliente pelo banco. O desconto efetuado pelo banco
calculado pela frmula ) . 1 ( t d F A , sendo que d uma taxa fixada pelo
banco (taxa de desconto bancrio ou desconto simples por fora) e
t
o prazo
da operao, o tempo correspondente na taxa.
12
Ver a prova do teorema na p.51
O pagamento parcelado de um dbito quita parte dos juros e parte da
dvida (amortiza a dvida). Os sistemas usuais de amortizao so o sistema
de amortizao constante (SAC) e o sistema francs de amortizao, tambm
chamado de Tabela Price. [...] O sistema francs caracterizado por
prestaes constantes. (p. 55)
O clculo da amortizao no sistema SAC determinado no teorema 3:
No SAC, sendo
n
o nmero de pagamentos e i a taxa de juros, temos
k k k k k k k
J A P iD J D
n
k n
D
n
D
A +
, , ,
1 0
0
, sendo Da dvida, J os juros e
amortizao do emprstimo e P a prestao
13
.
O teorema 4 traz o clculo da amortizao no sistema francs: no
sistema francs de amortizao, sendo
n
o nmero de pagamentos e i a
taxa de juros, temos
k k k k k n
k n
k n k
J P A iD J
i
i
D D
i
i
D P
+
+
, ,
) 1 ( 1
) 1 ( 1
,
) 1 ( 1
1
) (
0 0
, (p. 57) onde
os elementos so os mesmos do teorema anterior
14
.
Finalizando o captulo o autor explica que em algumas situaes os
juros so calculados sobre o valor inicial e no sobre o montante. Esse tipo de
juros so os juros simples que considerando
0 0
niC C C
n
+ forma uma
progresso aritmtica.
Captulo 3: Recorrncia
3.1 Sequncia Definidas Recursivamente
O autor define sequncias por recorrncia, aquela sequncia em que
cada termo pode ser calculado em funo do(s) antecessor(es) imediato(s)
(p. 65) por uma determinada regra. Uma recorrncia, por si s, no define a
sequncia, [...] necessrio tambm o conhecimento do(s) primeiro(s)
termo(s). (p. 65) Recorrncias de primeira ordem so aquelas [...] nas quais
cada termo expresso em funo do antecessor imediato [...] (p. 66) e
recorrncia de segunda ordem aquela [...] na qual cada termo expresso
13
Ver a prova do teorema na p.56 e o exemplo 21
14
Ver a prova do teorema na p.57
em funo dos dois antecessores imediatos (p. 66), por exemplo a sequncia
de Fibonacci.
3.2 Recorrncias Lineares de Primeira Ordem
Agora, o autor ir caracterizar cada um dos tipos de recorrncias.
Comeando pela recorrncia de primeira ordem expressa por
1 + n
x em funo
de
n
x , que ser linear se e somente se essa funo for do primeiro grau. (p.
68). Recorrncias lineares que no possuem termo independente de
n
x so
ditas homogneas
15
.
O teorema 1 vai mostrar que qualquer recorrncia linear no-
homognea de primeira ordem pode ser transformada em uma da forma
) (
1
n f x x
n n
+
+
(p. 70) que so mais fceis de serem resolvidas.
Teorema 1. se
n
a uma soluo no-nula de
n n
x n g x ) (
1
+
, ento a
substituio
n n n
y a x transforma a recorrncia ) ( ) (
1
n h x n g x
n n
+
+
em
1
1
] ). ( )[ (
+
+
n n n
a n g n h y y . (p. 71)
3.3 Recorrncias Lineares de Segunda Ordem
Primeiramente o autor vai tratar das recorrncias lineares de segunda
ordem homogneas na forma 0
1 2
+ +
+ + n n n
qx px x , com 0 q . A cada
recorrncia linear de segunda ordem homognea, com coeficientes
constantes, da forma 0
1 2
+ +
+ + n n n
qx px x , associaremos uma equao do
segundo grau, 0
2
+ + q pr r , chamada equao caracterstica. (p. 74) Como
0 q implica que 0 no raiz da equao caracterstica. O teorema 1 vem
mostrar que se
2 1
e r r so as razes da equao caracterstica [...] ento
qualquer sequncia da forma
n n
n
r C r C a
2 2 1 1
+ soluo da recorrncia,
quaisquer que sejam os valores das constantes
2 1
e C C
16
. (p. 74) J o
teorema 2 mostra que se
2 1
r r , todas as solues da recorrncia tm a forma
15
Observar exemplos 2 e 3 da p.69
16
Ver teorema e prova na p.74
n n
n
r C r C a
2 2 1 1
+
17
. O teorema 3 mostra a soluo da recorrncia caso as razes
da equao caracterstica sejam iguais. Neste caso teremos
n n
n
nr C r C a
2 1
+
como soluo da recorrncia.
18
O teorema 4 continua a mostrar a soluo de
uma recorrncia que tem razes iguais para a equao caracterstica. Ele
mostra que a soluo ser
n
n
n
nr C r C a
2 1
+ .
19
Se as razes da equao
caracterstica forem complexas a soluo pode ser escrita na forma
trigonomtrica evitando clculos com complexos:
)] ( ) ( ) cos( ) [(
2 1 2 1 2 2 1 1
n sen C C i n C C r C r C
n n n
+ + + .
20
O ltimo teorema dessa
seco mostra um processo para resolver algumas recorrncias no-
homogneas. Teorema 5. Se
n
a uma soluo da equao
) (
1 2
n f qx px x
n n n
+ +
+ +
ento a substituio
n n n
y a x + transforma a equao
em 0
1 2
+ +
+ + n n n
qy py y . (p. 79) Pode-se perceber que a soluo desse tipo
de recorrncia composta por duas partes: uma soluo homognea e outra
no-homognea que ser encontrada por tentativa.
21
Capitulo 4: Combinatria
4.1 Princpios Bsicos
O autor explica que o princpio fundamental da contagem diz que se
h
x
modos de tomar uma deciso
1
D e, tomada a deciso
1
D , h
y
modos
de tomar a deciso
2
D , ento o nmero de modos de tomar sucessivamente
as decises
1
D e
2
D
xy
. (p. 85)
O autor indica trs estratgias para se resolver problemas de
combinatria: a postura, que se colocar no papel da pessoa que far a ao
solicitada e ver que deciso tomar; diviso, que consiste em [...] dividir as
decises a serem tomadas em decises mais simples [...] (p.86); o no
17
Ver teorema e prova na p.75
18
Ver teorema e prova na p.77
19
Ver teorema e prova na p.78
20
Ver exemplo 5 da p.77
21
Ver exemplos 7 e 8 das p. 79 e 80 respectivamente
adiamento das dificuldades, ou seja, se h alguma deciso mais restritiva, ela
deve ser tomada em primeiro lugar.
4.2 Permutaes e Combinaes
Alguns problemas mais frequentes em combinatria podem ser
resolvidos por permutaes simples que cada ordem dada aos objetos do
problema. O nmero de permutaes simples de
n
objetos distintos, ou seja,
o nmero de ordens em que podemos colocar
n
objetos distintos ! n P
n
.
(p. 94) Se houver repetio de elementos, ento a permutao
!... ! !
!
,... , ,
n
P
n
, onde , , so a quantidade de vezes de repetio dos
objetos.
Outros problemas, tambm frequentes em combinatria podem ser
resolvidos por combinaes simples que cada seleo
p
que podemos
fazer dos
n
objetos. O nmero de combinaes simples representado por
,
_
p
n
C
p
n
ou . Para resolver o problema das combinaes simples basta notar
que selecionar
p
objetos, que so os selecionados, e um grupo de
p n
objetos, que so os no-selecionados. (p. 96). Assim temos que
)! ( !
!
p n p
n
C
p
n
.
4.3 O Tringulo Aritmtico
A relao de Stifel permite construir rapidamente o tringulo de
Tartaglia Pascal. Essa relao [...] diz que somando dois elementos lado a
lado no tringulo obtm-se o elemento situado embaixo do da direita. (p.
108) Assim no tringulo
1 2 1
1 1
1
2
2
1
2
0
2
1
1
0
1
0
0
C C C
C C
C
o elemento
1
2
C obtido pela soma dos elementos
1
1
0
1
e C C , ou seja 1+1.
22
22
Ver relao de Stifel e sua prova na p. 108
Outro teorema importante o teorema das linhas no qual
n n
n n n n
C C C C 2 ...
2 1 0
+ + + + .
H ainda, a relao das combinaes complementares, onde
p n
n
p
n
C C
.
4.4 O Binmio de Newton
A frmula do binmio de Newton a frmula que d o
desenvolvimento de
n
a x ) ( + , (p. 109) ou seja, ) )...( )( ( a x a x a x + + + .
Genericamente temos
+
n
p
p n p p
n
n
x a C a x
0
) (
.
4.5 Sobre o Ensino de Combinatria
Aqui os autores do dicas de como proceder para se ensinar
combinatria.
4- No particularizar demais nem usar muitas frmulas;
5- Analisar as respostas erradas;
6- Buscar mtodos que solucionem vrios problemas e no truques que
resolvam problemas particulares;
7- Usar raciocnios construtivos;
8- No comece tentando identificar o tipo do problema.
Captulo 5: Probabilidade
5.1 Conceitos Bsicos
O captulo se inicia com as definies de experincias aleatrias, que
so experincias que, repetidas sob as mesmas condies, produzem
geralmente resultados diferentes (p. 113) e espao amostral S que o
conjunto de todos os resultados possveis de uma experincia aleatria.
(p.113) S ser considerado sempre finito ou infinito enumervel. Eventos so
subconjuntos de S . O nmero associado a cada evento a probabilidade do
evento que traduz a confiana na ocorrncia do evento. Probabilidade ,
ento, definida como uma funo que associa a cada evento A um nmero
) ( A P de forma que: i) Para todo evento A, 1 ) ( 0 A P ; ii) 1 ) ( S P ; iii) Se A e
B so eventos mutuamente excludentes, isto , eventos que no podem
ocorrer simultaneamente ) ( B A ento ) ( ) ( ) ( B P A P B A P + . (p. 114).
Para o clculo da probabilidade temos que a probabilidade de um evento a
razo entre o nmero de casos favorveis ao evento e o nmero total de
casos possveis (p. 115) ou ainda, o nmero de vezes que o evento A
ocorreu dividido pelo nmero total de repeties da experincia. (p. 116).
O teorema 1 traz as propriedades das probabilidades
23
. Entre elas
podemos destacar duas: ) ( ) ( ) ( ) ( B A P B P A P B A P + e
) ( ) ( ) ( B A P A P B A P .
5.2 Probabilidade Condicional
Probabilidade condicional aquela de um evento B ocorrer sendo que
ocorreu um evento A, ou seja, a probabilidade de ocorrer o evento B
depende de um evento prvio que restringir, o espao amostral do evento B
. A definio da pgina 124 ser mais til para a determinao da
probabilidade da interseco de dois eventos.
) (
) (
) / (
A P
B A P
A B P
, ento
) / ( ). ( ) ( A B P A P B A P .
Captulo 6: Mdias e o Princpio das Gavetas
6.1 Mdias
As mdias so definidas como: em uma lista de nmeros, a mdia o
valor que substitui todos os elementos desta lista sem alterar certa
caracterstica desta lista. Se a caracterstica da lista for a soma dos
elementos temos a mdia aritmtica
n
x x x
x
n
+ + +
...
2 1
; se for o produto dos
elementos temos a mdia geomtrica
n
n
x x x g ...
2 1
, para
n
nmeros
23
Ver p. 116
positivos; se for a soma dos inversos dos elementos temos a mdia
harmnica
n
x x x
n
h
1
...
1 1
2 1
+ + +
para
n
nmeros positivos.
24
Outra mdia definida pelos autores a mdia quadrtica que [...] a
raiz quadrada da mdia aritmtica dos quadrados dos nmeros. (p. 141)
O Princpio das gavetas diz que se 1 + n ou mais objetos so colocados
em
n
ou menos gavetas, ento pelo menos uma gaveta recebe mais de um
objeto.
25
(p.143)
Finalizando este item os autores definem mdia ponderada como
n
n n
p p p
x p x p x p
+ + +
+ + +
...
...
2 1
2 2 1 1
, onde
n
x x x ,..., ,
2 1
so os nmeros que se quer a mdia e
n
p p p ,..., ,
2 1
so os pesos (quantidade de repeties) respectivos dos nmeros.
6.2 A Desigualdade das Mdias
Neste item os autores relacionam as mdias aritmticas e geomtricas.
A desigualdade das mdias afirma que a mdia aritmtica de
n
nmeros
positivos maior que ou igual sua mdia geomtrica e s igual se os
nmeros forem todos iguais.
26
(p. 153)
6.3 Desigualdade das Mdias Generalizada
Aqui so comparados todos os tipos de mdias definidas
anteriormente. Se
n
x x x ,..., ,
2 1
so nmeros positivos e H G A Q e , , so suas
mdias quadrtica, aritmtica, geomtrica e harmnica, respectivamente,
ento H G A Q . Alm disso, duas quaisquer dessas mdias so iguais se
e somente se
n
x x x ...
2 1
. (p. 156)
Captulo 7: Pontos, Retas e Planos
24
Ver exemplos 1, 2 e 3 das p. 139 e 140.
25
Ver prova na p. 143
26
Ver prova na p. 153
7.1 Do Plano para o Espao
Neste primeiro item, os autores argumentam sobre as dificuldades de
ensinar e aprender geometria espacial. Eles afirmam que, apesar de o mundo
ser tridimensional, os alunos demoram para perceber as formas
tridimensionais e as relaes entre as figuras so mais complexas. Nem
sempre os modelos bastam na interpretao das relaes das formas. Ter
imaginao, bom conhecimento das propriedades fundamentais e uso dos
conhecimentos em geometria plana ajudam na deduo das relaes entre as
figuras. Uma maneira de apresentar os conceitos fundamentais da geometria
espacial o uso de uma formulao axiomtica, ou seja, [...] um certo
conjunto de noes primitivas no definidas e de um conjunto de axiomas ou
postulados, que so propriedades aceitas como verdadeiras. As demais
propriedades (os teoremas) so demonstrados a partir destes postulados. (p.
163) Os postulados devem ser suficientes e consistentes e sempre que
possvel, reflitam fatos que correspondam a nossa intuio.
27
7.2 Noes Primitivas e Axiomas
Os autores acreditam no ser apropriado apresentar uma teoria
axiomtica formal para os alunos desta srie. Porm, importante que os
alunos saibam que no somente a geometria se baseia em noes no
definidas e no demonstrveis, e que as noes primitivas de ponto, reta e
plano podem ser reforadas pelas intudas pelos alunos.
O subitem segue enunciando os postulados clssicos da geometria
espacial: dados dois pontos distintos do espao existe uma, e somente uma,
reta que os contm; dados trs pontos no colineares do espao, existe um, e
somente um, plano que os contm; se uma reta possui dois de seus pontos
em um plano, ela est contida no plano. (p. 165) e um teorema que recorre
a esses postulados: existe um nico plano que contm uma reta e um ponto
no pertencente a ela. (p. 165)
28
7.3 Posio de Retas
27
Os autores sugerem os livros Introduo Geometria Espacial de Paulo C.P. Carvalho, da Coleo do
Professor de Matemtica da SBM e Geometria Euclidiana Plana, de Joo Lucas Marques Barbosa, da
mesma coleo, para uma discusso mais completa sobre os fundamentos da geometria espacial e plana,
respectivamente.
28
Ver prova na p. 165
Algumas perguntas s podero ser respondidas com a introduo de
novos postulados ao invs da utilizao de propriedades j prontas, com isso
os alunos so levados a descobrir tais propriedades.
Para responder como pode ser a interseo de duas retas e quando
duas retas determinam um plano (p. 166) usaremos o postulado que duas
retas distintas podem ter no mximo um ponto comum (p. 166). Quando
duas retas tm exatamente um ponto comum, elas so chamadas de
concorrentes e sempre determinam um plano. (p. 166) Agora, quando duas
retas no possuem ponto em comum, elas podem ou no determinar um
plano
29
. (p. 167)
Caso no exista nenhum plano que contenha duas retas distintas,
essas retas so chamadas de retas no-coplanares ou reversas. Esses tipos
de retas possuem interseo vazia. Contudo, duas retas no espao podem ter
interseo vazia e serem coplanares. o caso das retas paralelas, pois
sabemos que por um ponto P exterior a uma reta r do espao passa uma
nica reta
s
paralela a ela
30
. (p. 168)
7.4 Posio Relativa de Reta e Plano
A reta pode estar contida no plano, caso possua dois ou mais pontos
pertencentes ao plano, ou secante ao plano, caso possua apenas um ponto
comum ao plano, ou ainda, paralela ou plano, caso no possua pontos
comuns ao plano.
31
7.5 Posio Relativa de dois Planos
Dois planos distintos so secantes se possuem mais de um ponto em
comum, sua interseo ser uma reta.
32
Dois planos distintos jamais tero apenas um ponto em comum, pois
pelo postulado 4: se dois planos possuem um ponto em comum, ento eles
possuem pelo menos uma reta em comum. (p. 171)
Dois planos distintos podem ser ainda paralelos.
33
29
Ver figuras 7.3 e 7.4 da p. 167
30
Ver p.168
31
Ver p.169
32
Ver figura 7.9 da p. 171
33
Ver construo do plano na p.171
7.6 Construindo Slidos
Construo de Pirmides e Cones
Tomam-se pontos formando um polgono num plano e um ponto fora
do plano. Cada dois vrtices consecutivos do polgono com o ponto fora do
plano formam um tringulo. Esses tringulos juntamente com o polgono
formam uma regio no espao denominada de pirmide de base do polgono.
34
Para se construir um cone a base no ser um polgono, mas sim qualquer
regio plana delimitada por uma curva fechada simples [...]. (p. 174)
Construo de Prismas e Cilindros
Para a construo de prismas precisamos de um polgono em um
plano, um ponto fora deste plano. Por este ponto traamos um plano paralelo
ao plano anterior. Traamos uma reta que liga um dos pontos do polgono
com o ponto pelo qual traamos o plano paralelo. Traamos retas paralelas a
esta e entre si, formando, assim, quadrilteros constitudos por dois
segmentos consecutivos e paralelos e dois segmentos contidos nos planos
paralelos. Esses quadrilteros mais os dois polgonos formam um poliedro
chamado prisma.
35
7.7 Descobrindo Relaes de Paralelismo
Aqui os autores apresentam uma lista de situaes em que alguns
paralelismos podem ser deduzidos por outros paralelismos, como por
exemplo: uma reta paralela a um plano se e somente se ela paralela a
uma reta do plano; dados dois planos secantes, uma reta de um deles
paralela ao outro se e somente se ela paralela reta de interseo dos dois
planos; se um plano
...
...
2 1
2 2 1 1
e
n
n n
a a a
y a y a y a
y
+ + +
+ + +
...
...
2 1
2 2 1 1
. (p. 280)
12.5 rea Lateral de um Tronco de Cone
A rea lateral de um tronco de cone calculada pela diferena das
reas laterais de um cone inicial e de outro cone obtido pela seco desse
cone por um plano paralelo a base, j que so semelhantes. Ambos os cones
so gerados pela rotao de um tringulo retngulo.
O 1 Teorema de Pappus vem na sequncia para auxiliar no clculo
da rea de superfcies de revoluo. Seu enunciado diz que se uma linha
plana gira em torno de um eixo de seu plano, a rea da superfcie gerada
igual ao comprimento dessa linha multiplicado pelo comprimento da
circunferncia descrita pelo seu baricentro.
65
(p. 284)
12.6 Centro de Gravidade de um Polgono
A definio de centro de gravidade de um polgono bem parecida
com a de centro de gravidade de uma poligonal, s que ao invs da
coordenada ) , (
k k
y x ser o ponto mdio de um segmento, ela o baricentro de
um polgono.
12.7 A Rotao de um Retngulo
A rotao de um retngulo em torno de um eixo nos leva ao 2
teorema de Pappus se uma figura plana gira em torno de um eixo de seu
plano, o volume gerado igual rea dessa figura multiplicada pelo
comprimento da circunferncia descrita pelo seu baricentro. (p. 290)
O volume e a rea da esfera tambm podem ser calculados pelos
teoremas de Pappus, conforme mostra os subitens 12.8, 12,9 e 12.10.
66
Volume 3
65
Ver demonstrao p. 284
66
Ver p. 295 e 296
Elaborado por: Uaiana e Silva Prates
Os trs volumes da obra intitulada A Matemtica do Ensino
Mdio fazem parte da coleo de livros da Sociedade Brasileira de
Matemtica (SBM). Esta coleo est inserida nas obras destinada ao
professor de Matemtica. Formado por seis captulos, o terceiro volume da
coleo traz alguns contedos, os quais so ensinados no Ensino Mdio do
Brasil. Dentre eles esto: geometria analtica, sistema de equaes lineares,
matrizes e determinantes, nmeros complexos e equaes algbricas.
Os dois primeiros captulos do livro tratam do contedo
Geometria Analtica, o primeiro Geometria Analtica Plana e o segundo
Geometria Analtica Espacial. Esse dois primeiros captulos so de autoria
dos professores Elon Lages Lima e Eduardo Wagner, ambos os professores e
pesquisadores do Instituto de Matemtica Pura e Aplicada (IMPA) do Rio de
Janeiro e idealizadores desse trabalho juntamente com os professores Paulo
Cezar P. Carvalho e Augusto Csar Morgado. Este trabalho tambm se insere
em um projeto do IMPA chamado Programa de aperfeioamento para
professores do Ensino Mdio, que em sendo realizado pelo IMPA desde
1996, com apoio da CAPES e da FAPERJ (LIMA et al., 1999, Prefcio). Os
captulos 3 e 4, tambm de autoria dos professores Elon Lages Lima e
Eduardo Wagner, abordam os contedos Sistema de Equaes Lineares e
Matrizes e Determinantes, respectivamente. O captulo 5 de autoria do
professor Augusto Csar Morgado e trabalha os Nmeros Complexos. O
ltimo captulo sobre Equaes Algbricas foi escrito pelo professor Paulo
Cezar P. Carvalho.
Aqui se encontra um resumo desses seis captulos desse volume.
Apontando as principais definies necessrias para a compreenso dos
contedos de cada captulo. Dividiremos esse resumo com a numerao dos
captulos e das sees do livro. As definies so tiradas do livro na ntegra.
Captulo 1 Geometria Analtica Plana
1) Sobre Geometria Analtica Plana o livro aborda conceitos bsicos no uso
de coordenadas. A introduo deixa clara que no h nenhuma preocupao
de completeza (LIMA et al., 1999, p. 1) e cita, para um entendimento mais
aprofundado, o livro Coordenadas no Plano da coleo do Professor de
Matemtica da SBM.
2) Coordenadas na reta: Uma reta diz-se orientada quando sobre ela se
escolheu um sentido de percurso, chamado positivo; o sentido inverso
chama-se negativo. [] Um eixo (E) uma reta orientada a qual se fixou um
ponto O chamado de origem. [] origem O do eixo faz-se corresponder o
nmero zero. A cada ponto X de E situado direita de O corresponde o
nmero real positivo x=d ( O,X ) = distncia de X origem = comprimento do
segmento de reta OX. [] Aos pontos situados esquerda de O
correspondem nmeros reais negativos, cujos valores absolutos medem as
distncias desses pontos a origem. (p. 2)
A distncia entre os pontos A e B o comprimento de reta AB e escrevem
d(A, B) para indicar a distncia entre os pontos A, B quaisquer:
d ( A,C) +d ( C,B) =d ( A,B) .
Destacam ainda que d ( A,A)=0 . Se
AB
, tem-se d ( A,B)>0 .
3) Coordenadas no plano: Um sistema de coordenadas (cartesianas) no
plano consiste num par de eixos perpendiculares OX e OY contidos nesse
plano (p. 2). OX o eixo das abscissas e OY o eixo das ordenadas. Um ponto
P no sistema OXY ter um par ordenado de nmeros reais ( x,y )
2
. Os
autores lembram que o emprego de coordenadas no plano serve a dois
propsitos que se complementam. [] o de atribuir um significado
geomtrico a fatos da natureza numrica, como o comportamento de uma
funo real de uma varivel real [] e o segundo [] vai no sentido oposto:
recorre-se a elas (as coordenadas) a fim de resolver problemas da
Geometria (p. 6)
4) A distncia entre dois pontos: se P = (x, y) e Q = (u, v), consideramos o
ponto S = (u, y), vemos que PSQ um tringulo retngulo cuja hipotenusa
PQ (Figura 1).
Figura 1: figura 11 (ELON, et al., 1999, p. 14).
Como P e S tm a mesma ordenada, enquanto S e Q tm a mesma abscissa
segue-se que
d ( P,S)=xu e d ( S,Q)=yv
Pelo teorema de Pitgoras, podemos escrever
d ( P,Q)
2
=d ( P,S)
2
+d ( S,Q)
2
-d ( P,Q)
2
=( xu)
2
+( yv)
2
-
-d ( P,Q)=
.
( xu)
2
+( yv)
2
A frmula da distncia entre dois pontos, dada em termos das coordenadas
desses pontos, serve de partida para um grande nmero de resultados da
Geometria Analtica (p. 14)
5) Escolhendo o sistema de coordenadas: [...] se temos um problema
geomtrico (que no menciona coordenadas) e queremos resolv-lo usando
Geometria Analtica, temos a liberdade de introduzir no plano o sistema de
coordenadas que acharmos mais conveniente para o nosso problema
67
(p.
19)
6) As equaes da reta: Chama-se equao de uma curva C a uma igualdade
envolvendo as variveis x, y a qual satisfeita se, e somente se, o ponto P =
(x, y) pertence curva C (p. 23). Mostraremos os trs tipos principais de
equaes que definem retas no plano (p. 24):
y=ax+b
;
ax+by=c
, com a
2
+b
2
0 ;
x=(1t ) a+tc=a+t ( ca)
y=(1t ) b+td=b+t ( db)
,ondet
[essas
ltimas chamam-se equaes paramtricas da reta AC, com A = (a, b) e C =
(c, d)]
67
Vejam os exemplos do prprio livro nas pginas 19, 20, 21 e 22.
7) ngulo entre duas retas (r e r'): observando a figura 2 abaixo e utilizando o
cosseno do ngulo , teremos:
cos =
aa'+bb'
.a
2
+b
2
.( a' )
2
+( b' )
2
.
Figura 2: figura 25 (ELON, et al., 1999, p. 22).
8) Distncia de um ponto a uma reta: antes de calcularmos a distncia entre
um ponto P e uma reta r determina-se primeiro a distncia entre duas retas
paralelas (LIMA et al., 1999, p. 33). Uma contendo o ponto
P=
(
x
0
,y
0
) e a
outra r, dada por
ax+by=c
. Tem-se a expresso
d ( P,r )=
ax
0
+bx
0
c
.a
2
+b
2
para a
distncia do ponto
P=
(
x
0
,y
0
) reta
ax+by=c
.
9) rea de um tringulo: rea de
A
1
A
2
A
3
(vrtices do tringulo) = rea de
OPQ (tringulo com um dos vrtices na origem e os segmentos OP e OQ
equipolentes
68
a
A
3
A
1
e
A
3
A
2
, respectivamente (ver Figura 33 em LIMA
et al., 1999, p. 40).
readeA
1
A
2
A
3
=
1
2
(
a
1
a
3
) (
b
2
b
3
)
(
a
2
a
3
) (
b
1
b
3
)
.
10) Equao da circunferncia: A circunferncia de centro A=( a,b) e raio
r>0
o conjunto
AA' =
CC' .
Seja v=
AA' e w=
A'C por
segmentos orientados com o mesmo inicio e definir v+w=
AD , onde AD a
diagonal do paralelogramo que tem dois lados consecutivos iguais a AA' e AC.
A primeira definio funciona mesmo que os segmentos AA' e A'A'' sejam
colineares. A segunda s faz sentido (isto , s se tem um paralelogramo)
quando AA' e AC formam um ngulo no-nulo. (p. 59)
Existem outras definies importantes no captulo 1, como o vetor nulo e o
vetor unitrio, o vetor simtrico, as propriedades formais da adio de
vetores e o produto interno dos vetores no nulos. Porm, tratando-se de um
resumo do livro selecionamos algumas ideias, que julgamos principais, do
conceito de vetor.
O captulo 1 ainda traz vrios problemas ao longo das sees e 54 exerccios
no final do captulo.
Captulo 2 Geometria Analtica Espacial
1) O livro destaca que o estudo da Geometria Analtica Espacial que ser
feito se limita praticamente equao do pleno e alguns temas relacionados.
Ele (o estudo) feito com vistas aos sistemas de equaes lineares, um
assunto proeminente na Matemtica do Ensino Mdio. (p. 73)
Os autores sugerem o livro Coordenadas no Espao, da Coleo do
Professor de Matemtica da SBM para um estudo mais completo desse
contedo.
2) Coordenadas no espao: sistema de coordenadas (cartesianas) no espao
euclidiano tridimensional (
E
) consiste em trs eixos OX, OY e OZ, com a
mesma origem O, tais que qualquer um deles perpendicular a cada um dos
outros dois. Indica-se com a notao OXYZ.
A escolha do sistema OXYZ faz com que se possa associar a cada ponto P do
espao um terno ordenado (x, y, z) de nmeros reais, chamados as
coordenadas do ponto P relativamente a esse sistema. (p. 74)
Chama-se plano vertical quando esse paralelo ao eixo OZ ou o contm.
Chama-se plano horizontal quando perpendicular ao eixo OZ.
3) As equaes paramtricas de uma reta (r):
Figura 3: figura 58 (ELON, et al., 1999, p. 76).
x=a+t ( a' a) ,
y=b+t ( b' b) e
z=c+t ( c' c) ,
onde
t
. Estas so as equaes paramtricas da reta que contm os
pontos A = (a, b, c) e A' = (a', b', c'). (A demonstrao completa para chegar
s equaes paramtricas de uma reta encontra-se em LIMA et al., 1999, p.
75 e 76).
4) Distncia entre dois pontos no espao: dados P = (x, y, z) e P' = (x', y', z'),
considere os pontos Q = (x, y, z') e R = (x, y', z'). O Teorema de Pitgoras
aplicado aos tringulos retngulos PQP' e QRP', nos d, sucessivamente:
d ( P,P' )
2
=d ( P,Q)
2
+d (Q,P' )
2
=d ( P,Q)
2
+d ( Q,R)
2
+d ( R,P' )
2
.
Como (P, Q), (Q, R) e (R, P') so pares de pontos com duas coordenadas
iguais, resulta da observao inicial que
d ( P,P' )
2
=( zz' )
2
+( yy' )
2
+( xx' )
2
-d ( P,P' )=
.
( zz' )
2
+( yy' )
2
+( xx' )
2
.
5) Vetores no espao: em um sistema de coordenadas OXYZ, com A = (a, b,
c), A'= (a', b', c'), P = (m, n, p) e P' = (m', n', p'), tem-se
AA' =
PP' =v se, e
somente se, a' a = m' m,
b' b=n' n
e c' c = p' p. Pondo
=a' a
,
=b' b
e
=c' c
, escreve-se v=( ,, ) e diz-se que estas so as
coordenadas do vetor v=
1
,
2
e
3
, respectivamente. Um terno ( x,y,z )
3
soluo do sistema
quando o ponto P = (x, y, z) pertence interseo
3
, isto , quando
P est simultaneamente em cada um dos trs planos.
Existem 8 casos possveis, do ponto de vista da existncia ou no de solues
do sistema, dos planos definidos pelas trs equaes acima apresentadas: o
primeiro quando os trs planos coincidem; o segundo caso quando dois
planos coincidem e o terceiro paralelo a eles; o terceiro caso quando dois
planos coincidem e o terceiro os intersecta segundo uma reta; o quarto caso
quando os planos so paralelos dois a dois; o quinto caso quando dois
planos so paralelos e o terceiro os intersecta segundo retas paralelas r e s; o
69
O captulo 4 desse livro dedicado ao estudo de Matrizes e Determinantes.
sexto caso quando os trs planos so distintos e tm uma reta r em
comum; o stimo caso quando os trs planos se intersectam, dois a dois,
segundo trs retas paralelas umas s outras; o oitavo caso quando os trs
planos tem um nico ponto em comum. Mais detalhes sobre as diferentes
possibilidades e solues do sistema ver as pginas 108 a 117 do captulo 3,
existem vrias imagens para ilustrar os casos assim como diversos exemplos
dos mesmos.
4) Escalonamento (eliminao gaussiana): essa seo retoma a anlise feita
na seo anterior sobre os sistemas lineares de trs incgnitas mas dessa vez
sobre um ponto de vista algortmico e no geomtrico. Esse ponto de vista
algortmico ser mediante um processo que conduzir, passo a passo, no
apenas resposta para a questo da existncia de solues, como tambm
determinao explcita de tais solues, quando existirem (p. 118).
Diz-se que uma matriz escalonada quando o primeiro elemento no-nulo
de cada uma das suas linhas situa-se esquerda do primeiro elemento no-
nulo da linha seguinte. Alm disso, as linhas que tiverem todos os seus
elementos iguais a zero devem estar abaixo das demais (p. 118).
Alguns exemplos resolvidos nas pginas 118 a 125 ajudam no entendimento
de tal conceito. Nas pginas 126, 127, 128 e 129 encontram-se 16 exerccios
de todo o contedo do captulo 3.
Captulo 4 Matrizes e Determinantes
1) A ideia geral de matriz do tipo m x n a de uma quadro retangular com
mn elementos, dispostos em m linhas e n colunas. [] Matrizes so
frequentemente utilizadas para organizar dados. [] Na Matemtica do
Ensino Mdio, as matrizes ocorrem principalmente como quadros dos
coeficientes de sistemas de equaes lineares. [] uma matriz m x n uma
lista de nmeros
a
ij
, com ndices duplos, onde
1i m
e
1 jn
. A matriz
m representada por um quadro numrico com m linhas e n colunas, no qual
o elemento
a
ij
situa-se no cruzamento de i-sima linha com a j-sima coluna:
m=
|
a
11
a
12
. a
1n
a
21
a
22
. a
2n
a
m1
a
m2
. a
mn
. A lista ordenada (
a
i1
,a
i2
, . .. ,a
in
) chama-se a i-sima
linha ou o i-simo vetor-linha da matriz m enquanto (
a
1j
,a
2j
, .. . ,a
mj
) a j-
sima coluna ou o j-simo vetor-coluna de m. [] Diz-se que a matriz
quadrada quando tem o mesmo nmeros de linhas e colunas (p. 130 e 131).
2) Multiplicao de matrizes: o livro mostra a principal diferena entre o
estudo de matrizes em lgebra Linear e no Ensino Mdio, focando em alguns
exemplos (ver exemplos nas pginas 131 a 136) mais simples de
multiplicao de matrizes no segundo caso. Destaca que em lgebra linear as
matrizes surgem associadas a transformaes lineares e produto de duas
matrizes.
3) Determinantes: o autor faz um estudo do determinante de uma matriz 3 x
3 e acrescenta que o caso geral, de uma matriz m x n, pode ser tratado de
modo anlogo, com uma notao mais complicada. O determinante da
matriz
m=
|
a
1
b
1
c
1
a
2
b
2
c
2
a
3
b
3
c
3
o nmero
=detm=a
1
b
2
c
3
a
2
b
1
c
3
+a
3
b
1
c
2
a
3
b
2
c
1
+a
2
b
3
c
1
a
1
b
3
c
2
. O livro tambm lista
as 8 principais propriedades do determinante de uma matriz nas pginas 138
e 139 e faz a demostrao de cada uma delas nas pginas 139, 140 e 141.
No colocaremos aqui por se tratar de um resumo, mas queremos destacar a
importncia dessas propriedades e de suas demonstraes.
4) A regra de Cramer: um dos mtodos mais tradicionais para resolver
sistemas de equaes lineares. Ela apresenta a vantagem de fornecer
explicitamente os valores das incgnitas como quocientes de dois
determinantes (p. 143). O livro destaca que essa regra possui duas
desvantagens em relao ao escalonamento: o primeiro que ela s se aplica
quando o determinante da matriz do sistema diferente de zero (quando o
sistema possui uma nica soluo) e o segundo o custo operacional,
segundo o livro d bem mais trabalho calcular quatro determinantes do que
escalonar uma nica matriz 3 x 3 (p. 143).
Considere o sistema (*)
a
1
x+b
1
y+c
1
z=d 1
a
2
x+b
2
y+c
2
z=d 2
a
3
x+b
3
y+c
3
z=d 3
, no qual se supe que a matriz m
dos coeficientes tenha determinante diferente de zero. A regra de Cramer
exprime a soluo do sistema por meios de determinantes. Para deduzir a
regra de Cramer trabalha-se com os vetores-coluna:
a=
(
a
1
,a
2
,a
3
) ,
b=
(
b
1
,b
2
,b
3
) ,
c=
(
c
1
,c
2
,c
3
) e
d=
(
d
1
,d
2
,d
3
) . Em termos desses vetores, as
equaes do sistema (*) se exprimem como uma nica equao vetorial.
Mais precisamente, elas dizem que o vetor d uma combinao linear dos
vetores a, b e c:
xa+yb+zc=d
(p. 144). Da resulta, pelas propriedades 4,
3 e 2
70
, que:
det | d,b,c =det | xa+yb+zc,b,c =xdet | a,b,c +ydet | b,b,c +zdet | c,b,c -
-det | d,b,c =xdet | a,b,c .
Portanto
x=
det | d,b,c
det | a,b,c
. Analogamente, tem-se
y=
det | a,d,c
det | a,b,c
,
x=
det | a,b,d
det | a,b,c
.
Essas trs frmulas, que fornecem os valores das incgnitas x, y, z em
termos de determinantes, constituem a regra de Cramer.
Ver algumas aplicaes da regra de Cramer nas pginas 144 e 145 desse
volume.
5) O determinante do produto de duas matrizes: Se m e n so matrizes 2 x
2, uma verificao extremamente simples mostra que o determinante da
matriz-produto mn igual ao produto
detmdetn
(p. 146). O livro mostra que
a frmula
detmn=detm detn
estende-se para o caso geral de matrizes n x n.
Ver pginas 146 a 152.
6) Caracterizao das matrizes invertveis: A maneira mais popularizada de
caracterizar a invertibilidade de uma matriz por meio do seu determinante,
conforme o Teorema. A matriz quadrada m invertvel se, e somente se,
detm 0
. (p. 152)
O livro demonstra esse teorema nas pginas 152 e 153 e conclui que as
seguintes afirmaes a respeito de uma matriz 3 x 3 so equivalentes: 1. As
linhas de m so linearmente independentes; 2. Todo sistema de equaes
lineares mx = d tem soluo nica, seja qual for a matriz d, do tipo 3 x 1; 3.
70
Ver as propriedades do determinante de uma matriz nas pginas 138 a 141 do captulo 4.
detm=detm
OP=( x,y ) .
Figura 4: figura 79 (ELON, et al., 1999, p. 168).
O mdulo de um complexo z = x + yi definido como sendo o mdulo do
vetor que o representa, ou seja, o valor r da distncia de sua imagem P
origem (p. 168).
Um argumento de um complexo
z0
, z = x + yi, , por definio, qualquer
dos ngulos
=argz
que o vetor
so as coordenadas
polares do ponto P (x, y) do plano).
Essa seo mostra ainda alguns teoremas com suas respectivas provas 6
exemplos resolvidos e 40 exerccios sobre A Forma Trigonomtrica dos
nmeros complexos.
4) Razes da unidade: o livro trata de uma estrutura que segundo o autor
interessante e dada, para cada n fixo, pelas razes n-simas da unidade.
Sabemos que h exatamente n razes n-simas da unidade e que as imagens
dessas razes no plano complexo so os vrtices de um polgono regular de n
lados com centro na origem (p. 182).
Ou seja,
n
.1=
n
.
1| cos0+isen0 =
n
.1
|
cos
0+2k
n
+isen
0+2k
n
=cos
2k
n
+isen
2k
n
,
para k = 0, 1, , n 1. Fixando n, as razes n-simas da unidade so
representadas por
k
,
k
=cos
2k
n
+isen
2k
n
,k= 0,1, . .. ,n1
.
O livros acrescenta com alguns exemplos e mostra algumas propriedades
interessantes das razes n-simas da unidade (n fixo) (ver pginas 183 a
188). Os 13 exerccios disponveis nessa seo encontram-se nas pginas
188, 189 e 190.
5) Inverso: o livro inicia essa seo j com a definio de 'Inverso a qual
colocaremos aqui na ntegra.
Seja k um nmero positivo e seja O a origem do sistema de coordenadas. A
inverso de centro O e potncia k
2
uma transformao do plano (com a
origem excluda) nele mesmo, que a cada ponto P associa o ponto P' tal que
P' e P so colineares com O (P' e P na mesma semi-reta de origem 0) e
OPOP'=k
2
.
A obteno do inverso de um ponto P pode ser feita facilmente com rgua e
compasso (p. 190).
Coordenadas: quando existe um ponto P(x, y), as coordenadas de P', segundo
a definio de inverso acima, sero da forma (tx, ty), com
t>0
.
Como
OPOP'=.x
2
+y
2
.t
2
x
2
+t
2
y
2
=t( x
2
+y
2
) =k
2
, tem-se
t=
k
2
x
2
+y
2
.
Nmeros complexos e inverso: se z = x + yi
1
z
=
xyi
x
2
+y
2
e
k
2
z
=
k
2
x
x
2
+y
2
+
k
2
y
x
2
+y
2
i . Portanto, a funo f ( x) =k
2
/z transforma cada
complexo z no seu inverso (centro de inverso O e potncia de inverso k
2
(p. 192)
Preservando retas e circunferncias: colocaremos aqui apenas os trs
teoremas sobre esse tpico, porm, as provas dos teoremas e corolrio
resultante do primeiro teorema encontra-se nas pginas 192 a 195 do livro.
Teorema. O inverso de uma circunferncia que contm o centro de inverses
uma reta, perpendicular reta que contm o centro da circunferncia e o
centro de inverso.
Teorema. O inverso de uma circunferncia que no contm o centro de
inverso outra circunferncia.
Teorema. As retas que contm o centro de inverso so suas prprias
inversas.
Preservando ngulos: o autor destaca que essa uma das mais importantes
propriedades da inverso, que a inverso preserva ngulos (embora reverta
orientaes). Mais precisamente, se duas curvas formam um ngulo em um
ponto que no o centro de inverso, suas inversas formam um ngulo igual
a (p. 195).
Os 11 exerccios que encerram essa seo e o captulo de Nmeros
complexos encontram-se nas pginas 196 e 197.
Captulo 6 Equaes Algbricas
1) O objetivo desse captulo o estudo das equaes algbricas (isto ,
equaes da forma p(x) = 0, onde p uma funo polinomial) (p. 198). O
livro mostra um exemplo de aplicao de equaes algbricas que segundo o
autor ocorrem naturalmente. O autor acrescenta que embora a resoluo de
equaes algbricas do segundo grau fosse dominada desde a Antiguidade,
somente na poca do Renascimento foram alcanados os primeiros
resultados relativos a equaes de grau superior a 2 (p. 199). E foi nessa
busca por mtodos algbricos mais gerais de soluo que a matemtica foi
desenvolvendo, incluindo o trabalho com os nmeros complexos. O autor cita,
como forma de reviso, o estudo das equaes algbricas feito por eles sobre
polinmios reais no Volume 1 dessa coleo. Acrescenta que nesse captulo
far um estudo das equaes algbricas s que considerando os polinmios
complexos.
2) Polinmios complexos: Uma funo
p: -
uma funo polinomial
complexa quando existem nmeros complexos
a
0
,a
1
, .. . ,a
n
tais que
p ( x) =a
n
x
n
+a
n1
x
n1
++a
1
x+a
0
para todo
x
(p. 200). Os coeficientes
da funo polinomial so os nmeros
a
0
,a
1
, .. . ,a
n
. Quando
a
n
0
, dizemos
que p tem grau n. Se um nmero complexo tal que p( ) = 0, dizemos que
raiz de p. Um polinmio complexo uma expresso formal do tipo
p ( X ) =a
n
X
n
+a
n1
X
n1
++a
1
X+a
0
, onde
a
0
,a
1
, .. . ,a
n
so nmeros
complexos e X um smbolo, chamado de indeterminada.
3) Diviso de Polinmios: Se um polinmio p pode ser escrito como o produto
p=p
1
p
2
de dois polinmios
p
1
e
p
2
, ento um complexo raiz de p se, e
somente se, a raiz de
p
1
ou raiz de
p
2
, j que
p
1
p
2
=0- p
1
( x)=0
ou
p
2
( x)=0
(p. 204).
4) Diviso de um polinmio por (x a): o livro destaca que o caso mais
importante de diviso de polinmios o qual o divisor da forma (x a). E
acrescenta que ao dividir um polinmio qualquer por (x a) obtemos um
resto q(x) e um resto
r ( x) =r
0 , satisfazendo
p ( x)=( xa) q( x) +r
0 . Calculando
o valor numrico de ambos os lados para x = a, obtemos
p ( a) =r
0 (p. 210).
Um nmero a raiz d p(x) se, e somente se, p(x) divisvel por x a.
Vrios exemplos nessa seo ilustram o uso e a importncia desse tipo de
diviso de polinmios.
5) Reduzindo o grau de uma equao algbrica: uma vez encontrada , por
algum processo, uma raiz a do polinmio p de grau n, podemos reduzir o
problema original dividindo o polinmio p por (x a) e encontrar as razes de
q(x) = 0, onde o grau de q uma unidade inferior ao grau de p. claro que a
reduo depende de se encontrar uma raiz de p; claro, tambm, que nada
garante que a nova equao seja de simples resoluo (p. 216). A seo
mostra alguns exemplos de reduo nas pginas 216 e 217.
6) O Teorema Fundamental da lgebra: Todo polinmio complexo de grau
maior ou igual a 1 possui pelo menos uma raiz complexa (p. 219). A seo 9
foi reservada para a demonstrao desse teorema que segundo os autores
esse embora seja fundamental para lgebra, o teorema acima um teorema
de Anlise, e sua demonstrao baseada na continuidade das funes
polinomiais complexas (p. 219)
7) Relaes entre coeficientes e razes: Considere um polinmio
p ( x) =a
n
x
n
+a
n1
x
n1
++a
1
x+a
0
e considere suas n razes complexas
x
1
,x
1
,.,x
n
. p(x) pode ser escrito na forma
p ( x) =c
(
xx
1
)(
xx
2
)
.
(
xx
n
) .
Desenvolvendo o produto acima, que produzir 2
n
termos, e agrupando os
termos semelhantes, podemos exprimir os coeficientes
a
0
,a
1
, .. . ,a
n
de p(x)
em termos de suas n razes
x
1
,x
1
,.,x
n
. Chega-se ao termo
S
k
que a
soma dos produtos das razes de p, tomadas k a k e
S
n
o produto de todas
as razes de p.
O desenvolvimento de
c
(
xx
1
) (
xx
2
)
.
(
xx
n
) fornece:
P ( x) =cxncS
1
x
n1
+cS
2
x
n2
++c (1)
k
S
k
x
nk
++c (1)
n
S
n
.
A demonstrao acima se encontra com mais detalhes nas pginas 221, 222
e 223 assim como alguns exemplos de aplicaes dessa relao.
8) Equaes algbricas com coeficientes reais: nessa seo o livro trabalha
apenas com as propriedades das equaes algbricas que tm coeficientes
reais. A partir do seguinte teorema: Se o complexo a + bi uma raiz
complexa no real de uma equao algbrica com coeficientes reais, ento
seu complexo conjugado a bi tambm raiz da equao, com a mesma
multiplicidade. O livro aponta que a principal propriedade das equaes
algbricas com coeficientes reais a de que razes no-reais de equaes
algbricas com coeficientes reais ocorrem aos pares (p. 225), devido ao
teorema acima. Nessa seo encontra-se a demonstrao desse teorema e
alguns exemplos de aplicao do mesmo. O autor destaca ainda que outra
consequncia importante a de que equaes algbricas com coeficientes
reais tendo grau mpar sempre possuem pelo menos uma raiz real (p. 226).
A deduo dessa afirmao encontra-se nas pginas 227 e 228.
9) Demonstrando o Teorema Fundamental da lgebra: nessa seo os
autores deixam clara a diferena dessa demonstrao para a apresentao
feita na seo 6. Segundo eles a apresentao feita nas pginas 219 e 220
como fazem os livros-textos de Matemtica do Ensino Mdio: A rigor, ele
apresentado nos livros como se fosse um axioma, sem quaisquer razes para
pelo menos mostrar que se trata de um resultado plausvel (p. 230). Porm
nessa seo encontra-se uma demonstrao do Teorema Fundamental da
lgebra, que segundo os autores apesar de requerer argumentos que no
podem ser feitos de modo preciso no Ensino Mdio, interessante que pelo
menos o professor tenha uma ideia sobre como demostr-lo (p. 230).
Nas pginas 230, 231, 232 e 233 encontra-se a demonstrao desse teorema.
No colocaremos aqui por se tratar de um resumo indicativo.
10) Resoluo algbrica de equaes: no perodo aproximado de 1500 a 1800
algumas perguntas sobre resoluo de equaes algbricas genricas foram
responsveis por grandeza avanos da Matemtica. Tartaglia obteve uma
frmula de resoluo, envolvendo radicais, para equaes do 3 grau. Logo
depois, Ferrari generalizou o processo para as equaes de 4 grau. Durante
trs sculos, buscou-se um processo de resoluo para equaes de grau 5
ou superior atravs de radicais (p. 234). Abel e Galois demonstraram a
impossibilidade de se ter uma frmula geral para resolver as equaes de 4
e 5 graus. Porm, no por no possuir uma frmula geral que no se
consegue resolver tais equaes. Essa seo destaca algumas situaes onde
possvel a resoluo algbrica para equaes de grau maior ou igual a 4.
Est dividida em trs subsees: a) Equaes na forma fatorada; b) Equaes
na forma
( xp)
n
=q
; c) Equaes do 3 grau.
11) Resoluo numrica de equaes: Na prtica, equaes polinomiais
genricas de grau 3 ou superior so resolvidas atravs de mtodos
numricos (p. 239). Nessa seo os autores destacam o caso que, segundo
eles, o mais comum. aquele no qual se deseja obter uma raiz real de uma
equao. O mtodo chamado bisseo o mais simples, segundo os autores.
Esse mtodo supe a e b nmeros reais e que p ( a)0 e p ( b)>0 . p
certamente possui uma raiz no intervalo [a, b], porm no se sabe onde.
Melhorando a qualidade da estimativa, calcula-se p(m), onde m o ponto
mdio do intervalo [a, b]. Se p ( m)>0 garante-se a existncia de uma raiz no
intervalo [m, b]. Assim, reduz-se a metade o comprimento do intervalo
contendo a raiz procurada. O autor destaca que esse processo pode ser
repetido indefinidamente o que resultar em aproximaes to exatas quanto
desejar-se para a raiz procurada.
So encontrados alguns exemplos da aplicao desse mtodo nas pginas
240 a 244.
29 exerccios sobre Equaes Algbricas finalizam esse captulo e o volume
3 da coleo A Matemtica do Ensino Mdio.
Tratando-se de um resumo indicativo, com as principais
definies trazidas pelos autores do livro, haver momentos na leitura do
mesmo que se necessita do livro para acompanhar algumas demonstraes,
exemplos e explicaes mais detalhadas. Espera-se, com este resumo,
contribuir para o entendimento e acompanhamento dos contedos e
definies trazidas nesse volume.
11. LOJKINE, Jean. A revoluo informacional. So Paulo: Cortez, 1995.
Revoluo informacional: utopia, realidade ou potencialidade?
As abordagens repousam sobre dois campos que se excluem mutuamente: as
utopias dos engenheiros exploradores das potencialidades dos sistemas
tecnolgicos; segundo, o tempo curto da vida cotidiana nos locais de produo, onde o
socilogo tem o prazer de desmascarar o fosso que separa as belas promessas dos
vendedores de materiais ou dos dirigentes de empresa, da realidade que o trabalho
precrio, a intensificao do trabalho, a diviso entre os ganhadores e os excludos da
modernizao tecnolgica.
As abordagens sistmicas do continuidade controvrsia tradicional, alimentando a
racionalidade unvoca das utopias em torno das capacidades organizacionais das
Novas Tecnologias da Informao.
Entre os tipos de tecnologias, tipos de organizaes e tipos de gesto as relaes so
completamente mascaradas e confundidas pelo mito do taylorismo-fordismo (TF)..
Sistmicas o nome que se d anlises imprecisas ou insuficientes.
Exemplificando, entre informaes codificadas e informaes abertas e que oculta
completamente questo essencial.
Uma informao pode ser aberta a uma relao interativa. Ser muito mais rica, porm
ao mesmo tempo, permanecer parcelada e pontual, em um grupo de produo
autnomo; ou pode envolver a estratgia da empresa e um outro pequeno grupo
informal, o de dirigentes de uma firma multinacional. Contudo, o raciocnio tem a
simplicidade da evidncia: juntamente com tecnologias idnticas.
Constata-se que as organizaes do trabalho se distribuem numa escala universal
segundo sua proximidade ou afastamento em relao ao modelo taylorista-fordista.
Tecnologias mais avanadas que outras se vinculariam a organizaes mais
tayloristas (taylorismo assistido por computador) que certas organizaes de
montagem manual, como a da Volvo-Kalmar. No haveria nenhuma evoluo
demonstrvel entre a implantao de tecnologias flexveis e as formas de organizao
de trabalho.
A palavra taylorismo conheceu tantas extenses e diversificaes que ela pode
designar a parcelarizao e a cronometragem das tarefas, quer a separao entre
concepo e execuo, quer um tipo de relao salarial, uma forma de disciplina na
fbrica, a produo em massa e a expropriao da habilidade (saber fazer) operria,
um modo de explorao do trabalho e de acumulao de capital ou uma ideologia.
Uma abordagem sistmica da revoluo informacional
Mostraremos uma abordagem sinttica que denominamos revoluo informacional
acreditando num conceito que nos parece estranho tanto ao determinismo quanto ao
indeterminismo tecnolgicos: o conceito de foras produtivas.
A noo de foras produtivas contrape-se concepo neutra passiva da
tecnologia como simples reflexo de uma relao social; fora implica de fato uma
ao; produtiva implica uma ao de transformao da natureza material. A
objetivao crescente de funes intelectuais nas tecnologias da informao, no
suprime seu carter de foras produtivas.
S seria possvel compreender exatamente estes processos contraditrios, o
desenvolvimento dessas potencialidades tecnolgicas ambivalentes, se se atribui ao
conceito de foras produtivas seu pleno sentido operatrio. Conceito que se ope
radicalmente, a uma concepo imparcial que faz das tecnologias um instrumento
passivo, da sociedade ou da fora social dominante; concepo que precisamente
funda as abordagens societais e tambm organizacionais das novas tecnologias.
Marx afirma que a fora fsica que o homem pe em movimento para modificar a
natureza, a fim de incorporar matrias dando uma forma til a sua vida, um valor de
uso. Neste sentido, a fora produtiva material inseparvel da inteno e do ideal ao
qual a vontade humana vai mobilizar o seu corpo.
As foras produtivas sociais no so reduzidas por Marx a formas organizacionais
(diviso e combinao social de trabalho), mas estendidas pesquisa cientfica e ao
emprego de mquinas e meios de comunicao que aumentam a fora produtiva do
capital.
Houve uma premonio concebida por Marx sobre a fbrica automtica, ou seja,
sobre a pesquisa atrs de desenvolvimento da indstria, mas o que ele logicamente
em 1867 no pode prever e achou insignificante foi o que hoje no capitalismo est
ultrapassando a revoluo industrial, que o desenvolvimento macio dos servios
no mercantis.
A correlao entre a aquisio humana da tecnicidade manual e da liberao do
crebro demonstra cabalmente a estreita ligao entre a atividade manual e um certo
tipo de atividade cerebral; evidentemente no importa qual: capazes de precipitar e de
prever a forma de suas armas, os Palentropos no eram capazes de visualizar uma
seta ou uma azagaia numa massa ssea.
No interior do comportamento operatrio, Leroi-Gourhan distingue trs nveis que
especificam bem o lugar do trabalho manual: comportamentos automticos,
comportamento maquinal e lcido, consciente. Assim se delimita melhor o contedo da
objetivao operada pelo instrumento e a mquina ferramenta e enfim a mquina
informtica.
Algumas vezes o prprio Marx insistiu sobre o limite de qualquer anlise das foras
produtivas centradas no instrumento de trabalho. Assim, no seu estudo sobre a
revoluo industrial, ele cuidou de caracterizar a sua referncia mquina-ferramenta
para definir a revoluo industrial como sendo, simultaneamente, essencial e parcial.
Evidentemente, caracterizar a revoluo industrial pela novidade do instrumento de
trabalho a mquina-ferramenta fundamental.
A considerao do modo de combinao social de mquinas e de homens permite
salientar a oposio global entre as duas revolues tecnolgicas e desdobrar as
caractersticas novas, pouco presentes no instrumento de trabalho isolado.
Pode-se ento no primeiro passo, destacar trs grandes caractersticas da revoluo
industrial: a especializao (com fundamental oposio trabalho manual / trabalho
intelectual); a estandardizao e a reproduo rgida (continuidade da cadeia).
Num segundo passo, pode-se opor rigorosamente a este complexo sistmico, trs
caractersticas maiores da revoluo informacional: a verdadeira polivalncia, a
flexibilidade e a estrutura de redes descentralizadas.
Assim, ao encadeamento rgido e contnuo das engrenagens e das mquinas da
revoluo industrial se ope a autorregulao dos sistemas flexveis da automao.
Dois grandes aspectos sociolgicos podem ser vinculados revoluo industrial.
Trata-se, primeiramente da oposio entre os assalariados dos servios (produtivos e
improdutivos). Agora possvel tentar uma comparao entre revoluo industrial e
revoluo informacional.
Possveis e impossveis tecnolgicos
A organizao das foras produtivas humanas, apesar da sua estreita imbricao, no
se confunde com o seu invlucro social (capitalista). Ou seja, as caractersticas
tecnolgicas do maquinismo bem como a da automao, no se confundem com o
seu modo de utilizao capitalista.
Para o capital, o desenvolvimento do maquinismo somente uma maneira particular
de produzir mais-valia relativa: Como qualquer desenvolvimento da fora produtiva do
trabalho, o emprego capitalista de mquinas visa a diminuir o preo das mercadorias,
a reduzir o preo da parcela da jornada em que o operrio fica para si mesmo, a fim de
ampliar aquela em que trabalha apenas para o capitalista. O critrio determinante
desta medida capitalista da produtividade do trabalho a taxa de substituio do
trabalho pelo capital do trabalho vivo pelo trabalho morto.
Congregando pequenas unidades de trabalho cabe razo a A. Cottereau, quando
insiste sobre os efeitos da organizao coletiva do trabalho que no podem ser
mensurados pela produtividade fsica individual dos assalariados a domiclio:
externalizao do capital, flexibilidade sazonal, baixos custos de manuteno,
circulao da informao profissional permitindo trocas de pedidos quase instantneas
entre diferentes especialidades.
Apesar de tudo preciso notar que estas alternativas organizacionais no afetam o
fundamento capitalista da mecanizao, que a diviso entre trabalho manual e
trabalho intelectual, fabricao e concepo.
Concluindo: se se comparam as formas mais extremas de crescimento do trabalho
manual, como as estudadas por Bernoux e Ruffier em 1974, com os nveis atuais de
poli funcionalidade entre os chefes de instalaes automatizadas, constata-se que a
diferena essencial provm da parte crescente assumida pelo trabalho informacional.
Alm da automao, centrada na indstria ou, mais amplamente, na objetivao de
informaes de primeiro nvel ligadas direo e regulao de sistemas de
mquinas, a revoluo informacional prioriza todas as atividades humanas com o
problema do controle social de massas enormes de informao, liberadas pela
conjuno da informtica e das telecomunicaes. No se trata apenas de uma
revoluo informtica, mas de uma revoluo da informao.
Mquinas para informar ou instrumentos para pensar
Levando em considerao que a revoluo da mquina-ferramenta permaneceu
dominada pelas atividades industriais, a revoluo informacional prioriza as funes
informacionais.
No se podem negar os novos constrangimentos que a revoluo informacional
coloca organizao e aos critrios de gesto das empresas capitalistas.
A automatizao do tratamento de dados no provocar nenhuma modificao na
estrutura tripartite fundamental e inerente, segundo Simon, a toda organizao. Trata-
se da diviso entre: as tomadas de previso no programadas, reservadas aos
dirigentes; as tomadas de deciso programadas, reservadas aos quadros
intermedirios, encarregados da gesto do cotidiano; os processos de base do
trabalho (a fabricao, a execuo), reservados aos operadores excludos de toda
tomada de deciso.
O que nos falta saber se a inteligncia humana pode ser simulada por um aparelho
construdo segundo uma lgica binria, discreta incapaz de apreender especialmente
o conjunto de processos analgicos que supem a continuidade, mas tambm as
rupturas diacrnicas, a contradio, a ambivalncia e a ambiguidade.
At agora temos raciocinado como se o instrumento nico da revoluo informacional
fosse a informtica. Existem outras tentativas para objetivar as funes da inteligncia
humana, em primeiro lugar a ciberntica.
O impacto da ciberntica e mais amplamente, dos tratamentos aleatrios da
informao, no acabou com o paradigma mecanicista que continua dominando
empresas e administraes em todos os pases capitalistas desenvolvidos. Se o
homem, maneira de um computador, apenas um sistema de tratamento sequencial
da informao, ento ele no difere de uma mquina, qualquer que seja esta, e toda a
atividade intelectual pode reduzir-se a um sistema arborescente, composto de sub
sistemas interligados, cada um deles constituindo-se, por seu turno, de estruturas
arborescentes, at que se atinja o mais baixo nvel dos sistemas elementares.
Informao e poder Revoluo informacional e Revoluo organizacional
Esta discusso se encontra na utilizao que se fez conceito de retroao, nascido da
teoria da informao e da ciberntica, para explicar as regulaes sociais e
organizacionais.
O que ns no sabemos exatamente, em que condies, em que circunstncias,
como e por que as tenses at ento desenvolvidas no interior de um sistema que
elas deveriam reforar, tornam-se to difceis de absorver e pressionam o prprio
sistema a se transformar ou mesmo desaparecer.
Toda tentativa de modificao das regras pelo alto, provoca o reforo do
bloqueio comunicacional, o aumento dos acidentes e, finalmente um acrscimo
da centralizao das decises, cada vez mais afastadas dos espaos a que se
referem.
Transformando assim num tipo de espio, o sistema de informao integrado
provocar uma reao geral de recolhimento, de apatia frente a um controle
cada vez mais asfixiante, detonando uma espiral de desconfiana entre
categorias profissionais e reforando a centralizao do controle informtico
para descobrir as falhas do sistema.
Segundo S. Zuboff, cujo entusiasmo, em face das potencialidades das Novas
Tecnologias da Informao, notvel: A organizao das empresas evoluir
progressivamente, passando de pirmide a algo semelhante a forma de
diamante evoluo pressionada pela simples diminuio do nmero de si.
Na era da sociedade da informao, competitividade das empresas est hipotecada a
inteligncia dos assalariados e sua iniciativa. A capacidade nominal de uma mquina e
a cronometragem das tarefas, nada significa quanto a eficcia produtiva. A nova
produtividade, denominada global, depende inteiramente, da qualidade da nova
relao, homem/mquina, capital/trabalho. Se nessa relao houver recusa,
resultante ser a perda de competitividade.
A informao uma mercadoria?
A tese da industrializao da informao conduz, bem ou mal, a identificar o
tratamento da informao com o tratamento da matria na grande indstria capitalista.
A tese da industrializao da informao tem seus defensores que reconhecem o que
sempre diferenciou o trabalho burocrtico mais aborrecido do trabalho industrial em
srie.
Vrias coisas foram nitidamente melhoradas e aperfeioadas na administrao
burocrtica, como rapidez, o manejo de documentos, discrio, operada por
funcionrios individualmente instrudos.
essencial no desenvolvimento informacional, a sua especificidade em relao no s
a produo material, mas tambm, a produo de mercadorias.
A exceo das sees de mecanografia, que configuram uma espcie de enclave
nos escritrios, o tratamento da informao, neles no regido por Taylor, mas por
Fayol, que ope parcelarizao das tarefas operrias, a formao especfica, que
permitiria aos agentes superiores e mesmo inferiores das empresas adquirirem as
capacidades administrativas.
A dificuldade deriva menos da complexidade dos servios do que da tendncia a
avali-los exclusivamente de um ponto de vista unilateral, o do valor mercantil, sem
considerar a contradio crescente entre seus valores de uso e as tendncias
privativas, elitistas, uniformizadas e empobrecedoras, contidas nos critrios de
avaliao mercantis e capitalistas de eficcia econmica.
A tendncia a economizar o tempo de trabalho necessrio, compulsrio, para
desenvolver o tempo social no compulsrio a caracterstica dessas sociedades do
dom. A originalidade atual das normas de eficcia social nos servios e nos setores
onde domina o tratamento da informao esclarece o significado dessas sociedades
do dom / contra dom. Mas a abordagem no redutora de sociedades dominadas por
relaes interpessoais, pode nos favorecer na melhor apreenso da originalidade das
mutaes sociolgicas que, hoje, questionam as normas e os critrios da avaliao
mercantil da eficcia econmica.
O avano no mercantil nos servios
Mauss e Polany tiveram o mrito de confrontar um tipo de servios no mercantis,
ento em pleno desenvolvimento (dos fundos sociais privados nas empresas aos
servios pblicos de segurana social, de sade, de educao, etc.), com o modo de
funcionamento dessas sociedades de servios to particulares que so as
sociedades primitivas e as de tipo feudal.
compreensvel que se torne intil esperar da mera juno de normas mercantis uma
modificao decisiva do jogo de foras do mercado em proveito de normas no
mercantis ou mistas (mas predominantemente no mercantis). No h equivalncia
no mercantil, e quem diz equivalncia diz medida quantitativa entre duas grandezas
cardinais idnticas que podem ser trocadas, por oposio s medidas ordinais de
hierarquias (papeis, estatutos, mas tambm nveis numa ordem).
A igualdade simtrica entre estrategistas-calculadores cede lugar, assim pouco a
pouco, a uma dessimetria radical entre os pesquisadores e os representantes do
poder poltico e financeiro. O pesquisador recrutador cede, assim, lugar a um
empregado recrutado, que trabalha sobre questes industriais e militares.
A serenidade do pesquisador em seu laboratrio no depende, apenas, de contratos
obtidos diariamente, mas de recursos (pblicos? privados? mistos?) prprios do
laboratrio, que podem permitir, especialmente, uma diversificao das orientaes de
pesquisa e oferecer uma verdadeira independncia aos outros pesquisadores que no
querem trabalhar sobre ordens do patro-representante.
Para a sociologia da cincia, grande a tentao de recorrer a metfora econmica,
de estabelecer um paralelo entre mercado econmico e instituio ou campo cientfico.
Inovar supe novas exigncias de informao, de explicao, de negociao, que
contam com a prtica tradicional, na qual urgncia ou fato consumado so em geral,
as nicas justificaes das decises da administrao pessoal, exigncias que
questionam a diviso (mercantil) entre os que concebem e os que executam, os que
realizam a sntese abstrata e os especialistas de saberes concretos.
Isto acontece com as metforas mecanicistas, referentes ao modelo da mquina, da
qual o autmato a figura emblemtica. Para transformar o conjunto constitudo pela
justa posio de aliados em todo coerente, o meio mais simples o de conectar entre
si as foras reunidas, isto construir uma mquina.
As redes da tecno-cincias fazem emergir relaes no mercantis (partilha da
informao, ao invs da sua apropriao privada), ou mistas (coordenao estatal de
empresas privadas), que nada tm a ver com o mito do mercado. Vale o mesmo para
a terceira dimenso metafrica da traduo cientfica: o clculo mercantil. Ou mais
exatamente: a referncia mtica ao mercado como norma suprema do trabalho das
redes tecno-cientficas se mostra incapaz de dar conta do divrcio entre o horizonte a
curto prazo do lucro da rentabilidade e do horizonte a longo prazo da inovao.
12. MLODINOW, Leonard. A janela de Euclides. A histria da geometria, das linhas
paralelas ao hiperespao. So Paulo: Gerao Editorial, 2004.
APRESENTAO
Neste texto, buscou-se compor uma sntese das principais temticas levantadas na obra de
Mlodinow, a qual tem como eixo a histria da geometria, desde as primeiras ideias
surgidas, at os desdobramentos mais emocionantes das teorias que cercaram o ambiente
construtivo da geometria, e isso tudo por meio da janela de Euclides.
INTRODUO
Conta a histria que um grego estava de p na orla martima observando os navios
desaparecerem na distncia. De todos os navios, o casco parecia sumir primeiro, depois
mastros e velas. Aristteles percebeu, de forma genial, que isso era um sinal de que a
Terra curva.
Para observar a estrutura de nosso planeta em grande escala, Aristteles tinha
olhado atravs da janela da geometria.
Ao longo dos sculos, a genialidade e a geometria nos ajudaram a vislumbrar alm
de nossos horizontes. O que podemos provar sobre o espao? Como sabemos que estamos
aqui? O espao pode ser curvo? Quantas dimenses existem? Como a geometria explica a
ordem natural e a unidade do Cosmos? Essas so as perguntas que esto por trs das cinco
revolues geomtricas da histria mundial.
Tudo comeou com um pequeno esquema planejado por Pitgoras: empregar a
matemtica como o sistema abstrato de regras que pode modelar o universo fsico. Depois
veio um conceito de espao diferente do cho sobre o qual pisamos, ou da gua em que
nadamos. Foi o nascimento da abstrao e da demonstrao. Logo, os gregos pareciam ser
capazes de achar respostas geomtricas para toda questo cientfica.
Mas a civilizao grega entrou em declnio e os romanos conquistaram o mundo
ocidental. E, assim que a civilizao emergiu novamente, a geometria tambm
reapareceu, mas era um novo tipo de geometria.
Ren Descartes casou a geometria com os nmeros. Com a sua ideia de
coordenadas, lugar e forma podiam ser manipulados como nunca tinham sido antes, e o
nmero podia ser visualizado geometricamente. Estas tcnicas permitiam o surgimento do
clculo (diferencial integrado) e o desenvolvimento da tecnologia moderna.
Graas a Descartes, os conceitos geomtricos, tais como coordenadas e grficos,
senos e co-senos, vetores e tensores, ngulos e curvaturas, aparecem em todos os
contextos de fsica da eletrnica do estado slido estrutura em grande escala do
espao-tempo; da tecnologia dos transistores e computadores aos raios laser e viagem
espacial. Mas a obra de Descartes tambm permitiu o surgimento de uma ideia mais
abstrata e revolucionria a ideia do espao curvo.
Ser realmente a soma dos ngulos de todos os tringulos igual a 180 graus, ou
isso somente verdade se o tringulo estiver sobre uma folha de papel plana?
A matemtica do espao curvo provocou uma revoluo nos fundamentos lgicos,
no somente da geometria, mas de toda a matemtica. Tambm tornou possvel a teoria da
relatividade de Einstein. A teoria geomtrica de Einstein do espao e daquela dimenso
extra, o tempo, e da relao entre o espao-tempo e a matria e a energia representou uma
mudana de paradigma de uma importncia imensa, jamais vista na fsica desde Newton.
Em junho de 1984, um cientista anunciou que tinha rompido as barreiras na teoria
que explicaria tudo. Esse homem acreditava que a chave para a compreenso da unidade e
da ordem do universo est na geometria uma geometria de natureza nova e bem
estranha.
John Schwarz trabalhou durante quinze anos numa teoria chamada teoria das
cordas, em relao qual a maioria dos fsicos reagiu da mesma maneira que algum
reagiria a uma pessoa estranha com expresses de maluco pedindo dinheiro na rua.
Hoje, a maioria dos fsicos acredita que a teoria das cordas est correta: a
geometria do espao responsvel pelas leis fsicas que governam o que existe dentro do
espao.
O manifesto da revoluo original da geometria foi escrito por um homem
misterioso chamado Euclides. Todos j ouvimos falar na chamada geometria euclidiana.
Com seu livro Os elementos, Euclides abriu uma janela atravs da qual a natureza
de nosso universo tem sido revelada. E medida que sua geometria passou por mais
quatro revolues, os cientistas e matemticos abalaram as crenas dos telogos,
destruram as preciosas vises de mundo dos filsofos, nos foraram a reexaminar e
imaginar de novo o nosso lugar no Cosmos.
CAPTULO 1 - A HISTRIA DE EUCLIDES
A PRIMEIRA REVOLUO
Euclides foi um homem que, possivelmente, no descobriu uma s lei importante
da geometria. No entanto, ele o mais famoso gemetra j conhecido, e por boas razes:
foi atravs de sua janela que, durante milnios, as pessoas olharam primeiramente quando
contemplaram a geometria.
Os gregos foram os primeiros a perceber que a natureza poderia ser entendida
usando-se a matemtica que a geometria poderia ser aplicada para revelar, no apenas
para descrever.
Desenvolvendo a geometria a partir de descries simples de pedra e areia, os
gregos extraram as ideias de ponto, linha e plano. Retirando a cortina que encobria a
matria, eles revelaram uma estrutura possuidora de uma beleza que a civilizao nunca
tinha visto antes.
No clmax desta luta para inventar a matemtica destaca-se Euclides. A histria de
Euclides uma histria de revoluo. a histria do axioma, do teorema, da
demonstrao, a histria do nascimento da prpria razo.
A GEOMETRIA DOS IMPOSTOS
A humanidade pr-grega tinha noo de muitas frmulas eficientes, truques de
clculo e de engenharia, mas como nossos lderes polticos, eles, algumas vezes,
realizavam surpreendentes feitos com impressionante pouca compreenso do que estavam
fazendo. Eram construtores trabalhando no escuro, tateando, descobrindo o seu caminho,
levantando uma estrutura aqui, colocando um piso ali, alcanando o propsito sem jamais
ter alcanado a compreenso do processo. Entretanto, os gregos no foram os primeiros.
Os seres humanos vm contando e fazendo clculos, cobrando impostos e dando troco de
menos entre si bem antes dos tempos histricos registrados.
Algumas ferramentas consideradas de computao datadas de 30.000 a.C. podem
ser varas decoradas por artistas com sensibilidades matemticas intuitivas. Nas margens
do lago Edward, na atual Repblica Democrtica do Congo, arquelogos descobriram um
pequeno osso, de 8 mil anos, com uma pequenssima pedra de quartzo presa num entalhe
em uma das extremidades.
O seu criador entalhou trs colunas de cortes em um dos lados do osso. Os
cientistas acreditam que esse osso, chamado de osso Ishango, provavelmente seja o mais
antigo exemplo j encontrado de um dispositivo para registro numrico.
O pensamento de fazer operaes com nmeros surgiu muito mais tarde, porque
fazer clculos aritmticos exige certo grau de abstrao. Os primeiros passos principais
nesta direo foram tomados no sexto milnio a.C., quando as pessoas do vale do Nilo
comearam a abandonar a vida nmade e a se concentrar no cultivo do vale. A inundao
do vale durava quatro meses a cada ano. Os oito meses secos eram divididos em duas
estaes, a perit para o cultivo e a shemu para a colheita.
J em 3500 a.C., os egpcios tinham dominado uma indstria de pequena escala de
trabalhos manuais e metalurgia. Por volta desta poca, eles tambm desenvolveram a
escrita. A cobrana de imposto foi, talvez, o primeiro imperativo para o desenvolvimento
da geometria, pois embora teoricamente o fara possusse todas as terras e bens, na
realidade os indivduos em particular possuam imveis. O governo determinava os
impostos da terra baseado na altura de enchente do ano e na rea de superfcie das
propriedades.
Pedir emprstimos era possvel, mas a taxa de juros era baseada numa filosofia do
sejamos prticos: 100% ao ano. Os egpcios desenvolveram mtodos bastante
confiveis, embora tortuosos, para calcular a rea de um quadrado, de um retngulo e de
um trapezoide. Para achar a rea de um crculo, eles consideraram semelhantes a um
quadrado de lados iguais a 8/9 do dimetro. Isto equivalente a usar para PI um valor de
256/81, ou 3,16, uma estimativa alta, mas com o erro de apenas 6,6%.
Os egpcios empregaram seu conhecimento matemtico para fins impressionantes.
Imagine um deserto desolado, varrido pelo vento, no ano de 2580 a.C. o arquiteto tinha
desenrolado um papiro com o projeto de sua estrutura. Seu trabalho era fcil base
quadrada, faces triangulares e, bem, tinha que ter 145 metros de altura, e deveria ser
feita de slidos blocos de pedras pesando mais de duas toneladas cada.
Ao construir esta pirmide, um nico grau de desvio da verdadeira direo, e
milhares de toneladas de pedras, e milhares de anos-pessoa de trabalho mais tarde,
centenas de metros no ar, as faces triangulares de sua quase pirmide se desencontrariam,
formando no um vrtice, mas um espigo malfeito de quatro pontas.
Na realizao de seus levantamentos topogrficos, os egpcios se utilizavam de
uma pessoa chamada de harpedonopta, que significa literalmente um esticador de
corda. O harpedonopta empregava trs escravos que seguravam a corda para ele. A
corda tinha ns em determinadas distncias de modo que, ao estend-la esticada, com os
lados de comprimentos determinados, formava ngulos de medidas determinadas. Por
exemplo, se esticarmos uma corda com ns s distncias de 30, 40 e 50 metros,
obteremos um ngulo reto entre os lados de 30 e 40 metros. (originalmente a palavra
hipotenusa significava, em grego, o que foi esticado contra.) hoje, diramos, os
esticadores de corda no formavam linhas, mas curvas geodsicas em toda a extenso da
superfcie da terra. Este exatamente o mtodo, ainda que numa forma imaginria,
extremamente pequena (tecnicamente, infinitesimal), que empregamos hoje para
analisar as propriedades locais do espao no campo da matemtica conhecida como
geometria diferencial. E o teorema de Pitgoras, cuja veracidade o teste do espao
plano.
Na regio entre os rios Tigre e Eufrates, durante o 4 milnio a.C. por volta de
2000 e 1700 a.C., os povos no-semticos vivendo bem ao norte do golfo Prsico
conquistaram seus vizinhos do sul. Hamurbi, seu soberano vitorioso, deu ao reino unido
o nome da cidade de Babilnia. Ns atribumos aos babilnios um sistema de matemtica
consideravelmente mais sofisticado do que aquela dos egpcios.
Os babilnicos no escreveram equaes. Todos os seus clculos eram expressos
como enigmas. Por exemplo, uma tabuinha de argila continha o seguinte enigma: Quatro
o comprimento e cinco a diagonal. Qual a largura? O seu tamanho no conhecido.
Quatro vezes quatro dezesseis. Cinco vezes cinco vinte e cinco. Voc tira dezesseis de
vinte e cinco e sobram nove. Qual nmero eu devo multiplicar para obter nove? Trs
vezes trs nove. Trs a largura. Hoje ns escreveramos x
2
=5
2
4
2
. A desvantagem
de formulao retrica de um problema no a sua falta de conciso, mas o fato de a
prosa no poder ser manipulada como pode uma equao, e as regras de lgebra, por
exemplo, no so aplicadas facilmente.
Levou milhares de anos antes que esta limitao, em particular, fosse remediada: o
uso mais antigo conhecido o teorema de Pitgoras, que para um ngulo reto, o quadrado
da hipotenusa igual soma dos quadrados dos catetos. Parece que os egpcios tambm
conheciam esta relao, mas os escribas babilnicos encheram suas tabuinhas de argila
com tabelas impressionantes de sequncias de trincas, exibindo essa relao. Por
exemplo, nos primeiros doze nmeros 1, 2, ..., 12, h centenas de maneiras de escolher
trincas diferentes; de todas, elas somente a trinca 3, 4, 5 satisfaz o teorema de Pitgoras.
Podemos concluir que os babilnicos conheciam pelo menos o suficiente da teoria dos
nmeros para gerar esses trios.
Apesar dos feitos dos egpcios e da engenhosidade dos babilnios, a contribuio
deles para a matemtica limitou-se a fornecer aos gregos posteriores uma coleo de
fatos matemticos concretos e regras prticas. Eles eram mais parecidos com os bilogos
de campo clssicos, catalogando pacientemente as espcies, do que com os geneticistas
modernos que procuram ganhar uma compreenso de como o organismo se desenvolve e
funciona. Por exemplo, embora as duas civilizaes conhecessem o teorema de Pitgoras,
nenhuma analisou a lei geral que hoje escrevemos como a
2
+b
2
=c
2
(onde c o
comprimento da hipotenusa de um tringulo retngulo, e a e b os comprimentos dos
outros dois lados).
ENTRE OS SETE SBIOS
A descoberta de que a matemtica mais do que algoritmos para calcular o
volume de entulho ou o valor dos impostos creditada a um comerciante grego, que virou
filsofo, chamado Tales, h pouco mais de 2.500 anos. Foi ele quem preparou o cenrio
para as grandes descobertas dos pitagricos e, por fim, para os Elementos de Euclides. Ele
viveu numa poca quando, ao redor do mundo, uma luz iluminava, de um jeito ou de
outro, despertando a mente humana.
Tales teve a sede insacivel pelo conhecimento, caracterstica de tantos gregos que
moldaram sua Idade de Ouro. Nas suas viagens Babilnia, ele estudou a cincia e a
matemtica da astronomia e ganhou fama local ao trazer este conhecimento para a Grcia.
Um dos efeitos legendrios de Tales foi ter anunciado o eclipse solar no dia 28 de maio de
585 a.C. Herdoto, o historiador, relata que esse eclipse aconteceu durante uma batalha
entre os ldios e os persas, interrompendo a luta, e trouxe paz duradoura.
Durante um longo tempo, no Egito, onde os egpcios tinham a capacidade de
construir pirmides, mas no o discernimento necessrio para medir a sua altura, Tales foi
capaz de deduzir tcnicas geomtricas, uma da outra, e de roubar a soluo de um
problema a partir de outro, pois tinha extrado o princpio abstrato da aplicao prtica
particular.
Na Grcia, foi nomeado pelos seus contemporneos como um dos Sete Sbios, os
sete homens mais sbios do mundo. Tales deu os primeiros passos para a sistematizao
da geometria. Ele foi o primeiro a demonstrar os teoremas geomtricos do tipo que,
sculos mais tarde, Euclides juntaria nos seus Elementos.
Ele tambm inventou o primeiro sistema de raciocnio lgico. Sendo o primeiro a
considerar o conceito de congruncia de figuras espaciais que duas figuras num plano
podem ser consideradas iguais se voc puder deslizar e girar uma para coincidir
exatamente com outra. Estender a ideia de igualdade numrica para objetos espaciais, o
que foi um salto gigantesco na matematizao do espao. Deu nome egpcio de medida
da terra para a sua matemtica, mas sendo grego, usou a palavra grega geometria.
Este estudioso afirmava que, pela observao e raciocnio, deveramos ser capazes
de explicar tudo o que acontece na natureza. Chegou concluso de que a natureza segue
leis regulares. Tambm trabalhou com o conceito de espao fsico, reconheceu que toda
matria no mundo apesar de sua imensa variedade, deve ser feita, intrinsecamente, da
mesma coisa.
Quando Tales era um frgil homem velho, temeroso de sua prpria senilidade,
encontrou o mais importante precursor de Euclides Pitgoras de Samos. Samos era uma
cidade numa grande ilha do mesmo nome, no mar Egeu, no muito distante de Mileto.
Quando tinha 20 anos, Pitgoras viajou para Mileto, onde encontrou Tales.
Pouco se sabe do que Tales realmente disse a Pitgoras, mas certamente ele foi
uma grande influncia sobre este jovem gnio. Todos os relatos antigos do encontro
concordam num ponto: Tales deu a Pitgoras a sugesto de Horace Greeley, mas em vez
de mandar o jovem rapaz para o oeste, Tales recomendou o Egito.
A SOCIEDADE SECRETA
Pitgoras aceitou a recomendao de Tales de ir para o Egito, mas l chegando
notou que os objetos geomtricos eram concretos. Uma linha era a corda que o
harpedonopta (o esticador de corda) arrastava, ou a borda de um campo. Um retngulo
era o limite de um pedao de terra, ou a face de um bloco de pedra. O espao era lama,
solo e ar.
Conforme a lenda, um dia Pitgoras estava passando pela oficina de um ferreiro,
quando ouviu o som de vrios martelos golpeando uma grande bigorna. Isso o fez pensar.
Aps algumas experincias com cordas, ele descobriu as progresses harmnicas, e a
relao entre o comprimento de uma corda vibrante e a altura da nota musical que ele
produz. Em cincia, a lei da harmonia de Pitgoras representa igualmente uma pedra
fundamental, o primeiro exemplo do mundo fsico descrito em termos matemticos.
Para Pitgoras, muito daquilo que a matemtica tinha de intrigante veio dos
muitos padres numricos que ele e seus seguidores descobriram. Os pitagricos
imaginaram os nmeros inteiros como pedrinhas ou pontos, dispondo-as em certos
padres geomtricos. Descobriram que alguns nmeros podem ser formados arrumando
as pedrinhas igualmente espaadas em duas colunas de dois, trs colunas de trs, e assim
por diante, de modo que a disposio formasse um quadrado.
Os pitagricos denominaram quaisquer nmeros de pedrinhas que arrumssemos
desta maneira nmeros quadrados, e por isso que hoje em dia chamamos esses
nmeros de quadrados: 4, 9, 16 etc. Eles descobriram que esses nmeros podiam ser
formados dispondo as pedrinhas em colunas de um, dois, trs, e assim por diante,
formando tringulos: 3, 6, 10, etc.
As propriedades dos nmeros quadrados e triangulares fascinaram Pitgoras.
Enquanto os nmeros quadrados so todos iguais soma de todos os nmeros mpares
consecutivos. Pitgoras percebeu que, do mesmo modo, os nmeros triangulares so a
soma de todos os nmeros consecutivos, tanto pares como mpares. E que os nmeros
quadrados e triangulares esto relacionados; se adicionamos um nmero triangular
anterior ou prximo, obteremos um nmero quadrado.
O teorema de Pitgoras pode ser demonstrado usando-se um tipo de multiplicao
geomtrica que ele usava frequentemente. No sabemos se foi assim que demonstrou esse
teorema, mas demonstrar desta maneira significativo porque puramente geomtrico. A
demonstrao geomtrica no difcil; realmente apenas uma verso distorcida pelos
matemticos para uma atividade infantil de ligue os pontos para formar a figura.
Para demonstrar o teorema de Pitgoras de maneira geomtrica, o nico fato
computacional que precisamos que a rea de um quadrado igual ao quadrado de um
dos lados. Isso apenas uma reformulao moderna da analogia das pedrinhas de
Pitgoras. Dado qualquer tringulo retngulo, o objetivo formar trs quadrados deles:
um quadrado cujos lados correspondam, em comprimento, aos outros dois lados do
tringulo. A rea de cada um desses trs quadrados ento o quadrado do comprimento
de um dos lados do tringulo. Se pudermos mostrar que rea do quadrado da hipotenusa
igual combinao das reas dos outros dois quadrados, teremos ento demonstrado o
teorema de Pitgoras.
Refletindo sua filosofia fundamental, os pitagricos inventaram o termo
matemtica, do grego mathema, que significa cincia. A origem da palavra reflete a
relao prxima entre os dois assuntos, embora hoje exista uma distino ntida entre
matemtica e cincia, uma distino que no se tornou clara at o sculo 19.
A reverncia de Pitgoras pelas relaes numricas o levou a formular muitas
crenas numerolgicas msticas. Ele foi o primeiro a dividir os nmeros nas categorias de
pares e mpares, mas foi mais adiante personificando-os: os mpares ele chamou de
masculino e os pares de femininos. Ele associou nmeros especficos com ideias o
nmero 1 com a razo, o 2 com a opinio, o 4 com a justia. Com o nmero 4 no sistema
era representado por um quadrado, o quadrado foi associado com a justia.
Pitgoras foi uma figura carismtica, e um gnio, mas ele tambm era bom em se
autopromover. No Egito, ele no somente aprendeu geometria egpcia, mas tornou-se o
primeiro grego a aprender hierglifos egpcios e, por fim, tornou-se sacerdote egpcio ou
algo equivalente, iniciado nos seus ritos sagrados. Isso lhe deu acesso a todos os mistrios
egpcios, chegando at aos aposentos secretos de seu templo.
Permaneceu por 13 anos no Egito, quando partiu, no por sua prpria vontade os
persas invadiram o Egito e o levaram como prisioneiro. Pitgoras chegou Babilnia,
onde obteve sua liberdade posteriormente, e tambm ganhou um conhecimento completo
da matemtica babilnica. Finalmente, voltou a Samos com 50 anos de idade. Quando
Pitgoras voltou para sua terra, tinha sintetizado a filosofia do espao e da matemtica
que pretendia pregar; tudo o que precisava era de alguns seguidores.
O MANIFESTO DE EUCLIDES
Euclides nasceu por volta de 300 a.C. na Alexandria. Tudo o que se sabe que ele
abriu uma escola em Alexandria, teve alunos brilhantes, desprezou o materialismo,
parecia ser uma pessoa agradvel. Escreveu pelo menos dois livros. Um deles, um livro
perdido sobre cnicas estudo de curvas geradas pela interseo de um plano e um cone.
Formou, mais tarde, a base da importante obra de Apolnio, que fez progredirem
substancialmente as cincias da navegao e a astronomia.
Os Elementos um dos textos mais amplamente lidos de todos os tempos, tem
uma histria digna do enredo de O falco malts. Em primeiro lugar, no um livro, mas
uma srie de 13 rolos de pergaminhos. Nenhum dos originais sobreviveu, mas foram
transmitidos mais tarde atravs de uma srie de cpias as quais desapareceram quase que
completamente na Idade das Trevas. Os primeiros quatro rolos da obra de Euclides no
so de maneira alguma o original de Os elementos: um erudito chamado Hipcrates (no
o pai da medicina) escreveu um trabalho intitulado Os elementos (400 a. C.) Euclides
teve um papel de organizador e sistematizador da geometria conforme compreendida
pelos gregos.
A maior e importante contribuio de Os Elementos foi o seu mtodo lgico
inovador: primeiro, tornar explcitos os termos, formulando definies precisas e
garantindo assim a compreenso mtua de todas as palavras e smbolos. Em seguida,
tornar explcitos os conceitos apresentado de forma clara os axiomas ou postulados (estes
termos so intercambiveis) de modo que no possam ser usados entendimentos ou
pressuposies no declarados. Finalmente, deduzir as consequncias lgicas do sistema,
empregando somente regras de lgica aceitas, aplicadas aos axiomas e aos teoremas
previamente demonstrados.
A matemtica um edifcio vertical, que diferentemente de um alto edifcio, cair
se apenas um tijolo matemtico estiver corrompido. Se for permitida mesmo a falcia
mais incua no sistema, no poderemos confiar em mais nada. De fato, um teorema da
lgica afirma que, se for admitido qualquer teorema falso num sistema lgico, no
importando a que ele se refira, seremos capazes de us-lo para demonstrar que 1 igual a
2.
O objetivo de Euclides era que o seu sistema fosse livre de suposies no
reconhecidas, baseadas na intuio, em conjeturas e na inexatido. Ele formulou 23
definies, cinco postulados geomtricos e cinco postulados adicionais que chamou de
noes comuns. A partir dessa base, ele demonstrou 465 teoremas, isto , todo o
conhecimento geomtrico de seu tempo. As definies de Euclides incluam termos como
ponto, linha (que na sua definio poderia ser curva), linha reta, crculo, ngulo reto,
superfcie e plano.
Sobre linhas paralelas, ele escreveu: so linhas retas que, estando no mesmo
plano, e sendo prolongadas indefinidamente em ambas as direes, no se encontraram
uma com a outra em nenhuma direo. Um crculo uma figura plana contida por uma
linha, [isto , uma curva] tal que todas as linhas retas que vo at ela de certo ponto de
dentro do crculo [chamado de centro] so iguais entre si. E, sobre ngulo reto, fez a
seguinte afirmativa: quando uma linha reta colocada sobre uma linha reta faz com que os
ngulos adjacentes sejam iguais entre si, cada um desses ngulos retos um ngulo reto.
O contedo geomtrico do fundamento da geometria de Euclides reside nos seus
cinco postulados. Os quatro primeiros so simples e podem ser enunciados com certa
graciosidade. So eles:
8- Dados quaisquer dois pontos, pode ser traada uma linha tendo estes
pontos como suas extremidades.
9- Qualquer linha pode ser prolongada indefinidamente em qualquer
direo.
10-Dado qualquer ponto, pode ser desenhado um crculo com qualquer
raio, com aquele ponto no centro.
11-Todos os ngulos retos so iguais.
12- Dada uma linha que cruze duas linhas retas de modo que a soma dos
ngulos internos do mesmo lado seja menor do que dois ngulos retos,
ento as duas linhas, quando prolongadas, acabaro por se encontrar
(naquele lado da linha)
O quinto postulado de Euclides, chamado de postulado das paralelas, no parece
to bvio ou intuitivo como os demais. inveno do prprio Euclides, no parte do
grande corpo de conhecimento que ele estava resumindo. Tudo indica que ele no gostava
desse postulado, pois evitava us-lo sempre que possvel. Os matemticos posteriores
tambm no gostaram dele, sentindo que no foi o suficientemente simples para um
postulado, e deveria ser demonstrvel como um teorema.
UMA BELA MULHER, UMA BIBLIOTECA E O FIM DA CIVILIZAO
Euclides foi o primeiro grande matemtico de uma longa e, infelizmente,
condenada linha de estudiosos que trabalharam em Alexandria. Aps uma decisiva
derrota, os lderes atenienses aceitaram a paz nos termos de Felipe II em 338 a.C.,
quando, Felipe II foi esfaqueado mortalmente por um de seus guarda-costas. Seu filho
Alexandre, o Grande, que tinha 20 anos, assumiu o comando.
Alexandre deu grande valor ao conhecimento, no que a geometria desempenhava
importante papel. Respeitava as culturas estrangeiras, embora aparentemente no
respeitasse a independncia delas. Logo conquistou o resto da Grcia, o Egito e o Oriente
Prximo, at a ndia, vindo a casar-se com uma mulher persa.
Em 332 a.C., no centro de seu imprio, Alexandre, comeou a construo de sua
luxuosa capital, Alexandria. Deveria ser um centro cultural, comercial e governamental.
Seu arquiteto as planejou num padro de grade, uma antecipao curiosa da geometria de
coordenadas que no seria inventada durante os prximos dezoito sculos.
Nove anos aps ter comeado a construo, Alexandre morreu de uma doena
desconhecida, antes da concluso de sua grandiosa cidade. Sua geometria foi apropriada
porque a cidade tornou-se o centro da matemtica, cincia e filosofia gregas. Um ex-
general macednio chamado Ptolomeu, conquistou a parte egpcia do imprio de
Alexandre. Ptolomeu, aps ter assumido o poder, construiu uma grande biblioteca e
museu em Alexandria. O museu e a biblioteca fizeram de Alexandria um centro
intelectual mundial sem rival, um lugar onde os maiores sbios do antigo imprio de
Alexandre estudaram geometria e espao.
Em 212 a.C., Eratstenes de Cirena, o bibliotecrio principal de Alexandria,
tornou-se a primeira pessoa na histria a medir a circunferncia da Terra. Seu clculo
causou uma sensao entre seus concidados, demonstrando como era pequeno o pedao
do planeta conhecido por sua civilizao. Um efeito comparvel hoje ao de Eratstenes
que seria o de revelar, pela primeira vez, que o universo no termina nos limites
longnquos de nosso sistema solar.
Eratstenes conseguiu sua compreenso sobre nosso planeta sem ter de se
aventurar muito longe. Como Einstein, ele teve sucesso utilizando a geometria.
Eratstenes percebeu que, ao meio-dia, na cidade de Siena, durante o solstcio de vero,
uma vara cravada [verticalmente] no cho no projeta sombra. Para Eratstenes, isso
significava que uma vara fincada no solo era paralela aos raios de Sol. Imaginando a terra
como um crculo, uma reta traada a partir do seu centro, passando por um ponto no
crculo representando Siena e prolongada para fora no espao ser paralela s outras
linhas representando os raios solares. Agora, mova-se ao longo do crculo da superfcie da
Terra para longe de Siena em direo a Alexandria.
O comprimento da sombra em Alexandria e um teorema no livro Os Elementos
sobre uma linha cruzando duas linhas paralelas foram suficientes para que Eratstenes
calculasse a parte da circunferncia da Terra representada pelo arco ao longo da Terra, de
Siena a Alexandria. Ele descobriu que isso representava 1/50 da circunferncia da Terra.
Utilizando o primeiro assitente de pesquisa graduado, Eratstenes empregou um
homem, cujo nome no sabemos, para andar entre as duas cidades medindo as suas
distncias. Ao voltar, ele relatou devidamente que era cerca de 800 quilmetros;
multiplicando isso por 50, Eratstenes determinou que a circunferncia tinha cerda de 40
mil quilmetros, com erro em torno de 4%, uma resposta surpreendentemente exata.
Aristarco de Samos, um astrnomo trabalhando em Alexandria, utilizou o mtodo
engenhoso e um pouco intricado, combinando a trigonometria com um modelo simples
dos cus para calcular, com uma aproximao razovel, o tamanho da Lua e a sua
distncia da Terra.
Arquimedes tambm foi atrado para Alexandrina. Nascido em Siracusa, ele
viajou para Alexandrina a fim de estudar na escola real de matemtica. Arquimedes foi
quem descobriu o princpio da alavanca, como tambm o princpio da flutuao, e fez
muitas outras contribuies fsica e engenharia. Ele elevou a matemtica a um nvel
que no foi ultrapassado at que as ferramentas da lgebra simblica e da geometria
analtica tivessem sido desenvolvidas, uns dezoito sculos mais tarde.
Uma das faanhas matemticas de Arquimedes foi aperfeioar uma verso de
clculo no muito diferente daquele de Newton e Leibniz. Considerando-se a ausncia da
geometria cartesiana, talvez tenha sido um feito at mais impressionante. Ele acreditou
que sua faanha culminante foi descoberta, por meio daquele mtodo, de que o volume
de uma esfera inscrita num cilindro (i.e., uma esfera cujo dimetro seja igual ao dimetro
e altura do cilindro) 2/3 do volume daquele cilindro.
Arquimedes ficou to orgulhoso daquela descoberta, que pediu que fosse inscrito
no seu tmulo um diagrama representando-a. Aos 75 anos foi assassinado por um soldado
romano quando estudava um diagrama geomtrico que tinha desenhado na areia. Seu
tmulo teve a inscrio do diagrama como ele havia desejado.
A astronomia, tambm, atingiu o seu pice em Alexandrina com a obra de Hiparco
(sculo 2 a.C.) e Claudio Ptolomeu (sculo 2 d.C.). Durante 35 anos, este estudioso
observou os cus, combinou suas observaes com dados babilnicos, para desenvolver
um modelo geomtrico de nosso sistema solar no qual os cinco planetas conhecidos, o
Sol, a Lua, todos se moviam em rbitas compostas de crculos em redor da Terra. Obteve
tanto xito em descrever o movimento do Sol e da Lua vistos da Terra, que pde prever
eclipses lunares com um erro de apenas duas horas.
A cartografia um assunto altamente matemtico por que os mapas so planos,
mas a Terra aproximadamente esfrica, e uma esfera no pode ser mapeada numa parte
de um plano de modo que represente exatamente as reas e os ngulos ao mesmo tempo.
O livro Geografia representou o comeo da elaborao sria de mapas.
Quando Roma conquistou a Grcia, os romanos se tornaram protetores da herana
grega. Entretanto, seus imperadores no apoiavam a matemtica. Nos 1.100 anos de
existncia, a histria no menciona um s teorema romano demonstrado, nem mesmo um
matemtico romano. Mas eles eram cultos. Escreverem obras adaptadas do conhecimento
grego. Bocio, um editor, resumiu obras de Euclides. Mas o fez com substituies de
resultados por aproximaes e at resultados errados.
O ltimo intelectual a trabalhar na biblioteca em Alexandria foi Hipcia, grande
mulher erudita que se conhece na histria, filha de um matemtico chamado Ten,
aprendeu a cincia com seu pai. Ela escreveu comentrios importantes sobre duas obras
gregas, a Aritmtica, de Diofanto e as Sees Cnicas de Apolnio, que so lidas at hoje.
As obras de Hipcia foram todas destrudas. Foi tambm destrudo o que sobrou da
biblioteca, que em 391 fora queimada num ataque realizado por cristos. Em 800 d.C.
existiam apenas fragmentos de uma traduo de Os Elementos de Euclides. A tradio
grega de abstrao e demonstrao parecia perdida.
Na ltima fase do perodo medieval, um grupo de filsofos criou um ambiente que
permitiu o aparecimento de grandes matemticos: Fermat, Leibniz e Newton. Um
pensador que esteve no centro da revoluo seguinte na geometria e na compreenso de
espao seria Ren Descartes.
CAPTULO 2 - A HISTRIA DE DESCARTES
REVOLUO DO LUGAR
Como ns sabemos onde estamos? Pode parecer que a resposta seja dada pela
cartografia. Mas a cartografia somente o comeo. O verdadeiro poder de uma teoria de
localizao est na habilidade em relacionar locais diferentes, caminhos e formas entre si,
e manipul-las empregando as equaes a unificao da geometria e da lgebra.
difcil imaginar quais teorias ainda mais grandiosas os astrnomos/fsicos
Kleper e Galileu poderiam ter criado se as ferramentas da geometria analtica lhes
tivessem sido familiares mas tiveram que se virar sem elas.
Com este conhecimento, Newton e Leibniz, criaram o clculo e a era da fsica
moderna. Se a geometria e a lgebra tivessem permanecido sem relacionamento, poucos
dos avanos da fsica moderna e da engenharia teriam sido possveis.
A ORIGEM DA LATITUDE E DA LONGITUDE
Ningum sabe quem fez os primeiros mapas, nem por qu. Sabemos que alguns
primeiros mapas foram criados pelo mesmo motivo que os egpcios criaram a geometria.
Esses mapas, simples tabletes de argila, remontam a 2300 a.C. No havia chaves
topogrficas ou ornamentaes religiosas inscritas neles, mas sim anotaes referentes
aos impostos sobre propriedades.
medida que mais almas corajosas comearam a explorar os sete mares, um
propsito mais vital dominou a criao de mapas. O desafio mais vital que os marinheiros
e exploradores enfrentavam no oceano aberto poderia ter sido o desafio de no se perder.
As duas coordenadas usadas para descrever a sua posio atual na superfcie da Terra so
a latitude e a longitude.
A ideia original da latitude veio de um antigo meteorologista chamado
Aristteles. Depois de estudar como a localizao na Terra afeta o clima, ele props a
diviso do globo em cinco zonas climticas delineadas por uma localizao norte/sul.
Como a teoria de Aristteles sugere, podemos determinar nossa latitude, pelo menos em
mdia, pelo clima a Terra mais fria nos plos, e fica quente quando mudamos em
direo ao Equador. Um modo melhor de determinar a latitude olhar as estrelas. Isso
muito simples se voc achar uma estrela posicionada no eixo da Terra. Essa estrela existe
no hemisfrio norte: Polaris, a estrela polar.
Em 1700, Isaac Newton inventou o sextante, um dispositivo projetado para
facilitar o processo de mirar e medir latitudes desta maneira. No entanto, o viajante
encalhado poderia fazer isso moda antiga, empregando duas varas como se fossem um
instrumento para medir ngulos.
Determinar a sua longitude mais difcil. Adicione sua imagem mental a outra
esfera, muito maior do que a Terra, com a Terra no seu centro. Nesta esfera imagine um
mapa de estrelas. Se a Terra no girasse, voc poderia medir a sua longitude com
referncia a esse mapa. Mas o efeito da rotao da Terra faz com que o mapa de estrelas
que voc v num momento seja igual ao mapa que uma pessoa um pouco a oeste de voc
ver algum tempo depois. Para ser mais exato, j que a Terra gira 360 graus em 24 horas,
um observador a 15 graus a oeste de voc v a mesma vista que voc, uma hora mais
tarde.
O primeiro mapa-mndi criado pelos gregos foi desenhado por Anaximandro,
aluno de Tales, aproximadamente em 550 a.C. Seu mapa dividia o mundo em duas partes.
Por volta de 330 a.C., os gregos estavam at colocando mapas em algumas de suas
moedas: uma delas inclua elevaes, e considerada o primeiro mapa de relevo fsico
conhecido.
Os pitagricos parecem ter sido os primeiros que propuseram que a Terra uma
esfera. Este conhecimento vital para a elaborao exata de mapas e, infelizmente, teve
proponentes poderosos em Plato e Aristteles, muito antes de Ceratstomo ter mais ou
menos demonstrado isso aplicando um modelo esfrico para medir a circunferncia da
Terra. Depois que Aristteles props sua ideia de dividir o mundo em zonas climticas,
Hiparco inventou a ideia de distanci-las em intervalos iguais e adicionar linhas norte/sul
perpendiculares a elas. Na poca de Ptolomeu, cerca de cinco sculos depois de Plato e
Aristteles, e quatro sculos depois de Eratstenes, foram dados os nomes latitude e
longitude a essas linhas.
Os romanos produziram mapas; porm, assim como o problema de geometria, que
focalizava sua ateno nas tropas inimigas do outro lado do rio, esses esforos se
focalizaram em problemas puramente prticos, geralmente militares. A geometria e a
cartografia acabariam por renascer e ser revolucionadas por uma nova teoria do lugar.
Antes que isto pudesse acontecer, tinha de ser realizada uma tarefa muito maior: o
renascimento das tradies intelectuais da civilizao ocidental.
A HERANA DOS ROMANOS DECADENTES
As grandes obras e as tradies dos gregos estavam perdidas e esquecidas. Nessa
poca um homem poderoso reconheceu a necessidade de mais educao e ditou os passos
que levariam ao renascimento da tradio intelectual na Europa.
Carlos Magno se tornou a fora dominante na Europa e imps o catolicismo
dominante por onde passou. A Igreja Crist tornou-se a fora motriz do saber. As escolas
eclesisticas que ele criou se espalharam e, por fim, tornaram-se as universidades da
Europa. Foram essas universidades que permitiram Europa reaparecer como uma
potncia intelectual e a Frana, como um centro da matemtica.
No sculo 13, Leonardo de Pisa, tambm conhecido como Fibonacci, trouxe do
norte da frica a ideia do zero e o sistema numrico rabe-indiano que hoje usamos. O
influxo de conhecimento grego antigo alimentou as novas universidades. A cincia era
um misto de conhecimento antigo e religio.
O conceito de tempo era vago. O dia era dividido em 12 intervalos iguais baseados
no sol. No existia tecnologia para medir intervalos curtos de tempo, unidades
fundamentais como o segundo eram pouco usadas. A cartografia tambm era primitiva, os
mapas no descreviam exatamente noes geomtricas e espaciais, no havia muita noo
de escala.
Os escolsticos, Padre Abelardo, Toms de Aquino, Willian de Ockhan,
comearam a defender o uso da razo para reconhecer o mundo verdadeiro, mas isso no
era a inteno da Igreja. Estes pensadores contriburam para o renascimento intelectual do
mundo ocidental. O bispo de Lisieux teve a obra mais promissora no ponto de vista da
matemtica.
O DISCRETO CHARME DO GRFICO
A inveno do grfico foi um passo vital no caminho para uma teoria de lugar.
Num nvel, um grfico uma figura de uma funo, representando como uma quantidade
varia quando outra tambm varia. Qualquer mapa um tipo de grfico. Relacionando as
funes da geometria, obtemos a correspondncia entre os tipos de funo e os tipos de
forma. O estudo das linhas e da superfcie torna-se o estudo das funes particulares e
vice-versa. Atinge-se, a, a unificao entre geometria e nmero. O poder dos grficos em
ajudar o no-matemtico a analisar padres de dados origina-se da mesma conexo de
dados com a geometria.
CAPTULO 3 - A HISTRIA DE GAUSS
A REVOLUO DO ESPAO CURVO
Atravs dos sculos, os matemticos que tentaram demonstrar o postulado das
paralelas como um teorema, chegaram bem perto da descoberta de novos tipos de espao,
estranhos e emocionantes, mas cada um deles foi impedido por uma crena simples: que o
postulado era uma propriedade verdadeira e necessria do espao.
Carl Friedrich Gauss, em 1792, plantou as sementes de uma nova revoluo.
Diferente das anteriores, esta no seria uma melhora revolucionria em Euclides, mas um
sistema operacional inteiramente novo. Logo os estranhos e excitantes espaos,
percebidos por muitos sculos, foram descobertos e escritos.
Com a descoberta de espaos curvos veio a pergunta natural? O nosso espao o
de Euclides, ou um daqueles outros? Eventualmente, essa pergunta revolucionou a fsica.
A matemtica tambm foi lanada num dilema. Se a estrutura de Euclides no
simplesmente uma abstrao da verdadeira estrutura espacial, ento o que ela ? E se o
postulado das paralelas pode ser questionado, que dizer do resto do sistema de Euclides?
Logo depois da descoberta do espao curvo, toda a geometria euclidiana veio caindo e, o
resto da matemtica tambm caiu. No somente a teoria de espao, mas tambm a fsica e
a matemtica tinham entrado numa nova era.
O PROBLEMA DE PTOLOMEU
A primeira tentativa conhecida de demonstrar o postulado das paralelas foi feita
por Ptolomeu no sculo 2 d.C. o seu raciocnio era complicado, mas em essncia o
mtodo era simples: ele assumiu uma forma alternativa do postulado, e ento deduziu a
forma original dele. Ptolomeu descobriu uma nova forma de demonstrao o argumento
circular.
Os matemticos no incorreriam no mesmo erro duas vezes. Eles incorreriam no
mesmo erro diversas vezes. Pois aconteceu que algumas das mais incuas suposies,
algumas to bvias que deixaram de ser enunciadas, foram no fim demonstradas como o
postulado das paralelas disfarado. Duzentos anos depois de Ptolomeu, Proclus Diadoco
fez a notvel tentativa de demonstrar o postulado de uma vez por todas.
Para entendermos o argumento de Proclus, til fazer trs coisas: primeiro usar
uma forma alternativa do postulado das paralelas dada antes, o axioma de Palyfair. Em
segundo lugar, tornar o argumento de Proclus um pouco menos tcnico. E, finalmente,
traduzi-lo do grego para o portugus. O axioma de Playfair este:
Dada uma reta e um ponto externo (um ponto que no esteja na linha), h
exatamente outra reta (no mesmo plano) que passa pelo ponto externo e paralela
linha dada.
Para demonstrar o postulado, ou seja, para fazer dele um teorema, devemos
demonstrar que qualquer rua passando pela editora The Free Press, que no seja a 6
Avenida, deve cruzar a 5 Avenida. O erro de Proclus foi no seu uso de a separao entre
a 5 e a 6 Avenida.
PERDIDOS NO ESPAO HIPERBLICO
O espao que Gauss, Bolyai e Lobachevsky descobriram o espao que resulta
substituindo-se o postulado das paralelas pela suposio de que, para qualquer reta, no
existe apenas uma, mas muitas retas paralelas passando por qualquer ponto externo
dado. No espao hiperblico, podemos nos aproximar da forma euclidiana, ela no pode
ser atingida assim como a velocidade da luz, ou ao peso ideal.
Nem Gauss, nem Lobachevsky, nem Bolyai descobriram qualquer modo simples
de visualizar este tipo de espao. Isso foi realizado por Eugnio Beltrami e, de uma forma
mais simples, por Henri Poincor, matemtico, filsofo, e primo em primeiro grau do
ento futuro presidente da Frana, Raymond Poincor.
Ao criar seu modelo, Poincor substituiu termos primitivos como reta e plano por
representaes concretas. Ns poderamos modelar o plano no-euclidiano como a
superfcie de uma zebra, chamar os folculos pilosos de pontos e suas listras de retas,
lembre-se do primeiro postulado de Euclides, aplicado no espao zebra:
1. Dados quaisquer dois folculos pilosos, pode ser traado um segmento de listra tendo
esses folculos pilosos como suas extremidades.
Esse espao no valido num espao zebra: as listras de uma zebra tm largura
e correm somente numa direo. No havia zebras no espao de Poincor, mas ele parecia
uma pizza ou um crepe.
O espao de Poincor funciona: o plano infinito substitudo por disco finito, mas
infinitamente fino e com uma fronteira circular perfeita. As retas de Poincor, em termos
tcnicos, so quaisquer arcos de crculos que cruzem a borda do disco em ngulos retos.
Um conceito crucial era da congruncia, em sua quarta noo comum, Euclides
escreveu: 4. Coisas que coincidem umas com as outras so iguais entre si.
Empregar a quarta noo comum como uma receita de congruncia uma
impossibilidade no espao no euclidiano. A soluo de Poincor foi interpretar a
congruncia definindo um sistema de medida para comprimento e ngulo. Poincor
definiu o ngulo entre duas retas de Poincor como o ngulo entre suas linhas tangentes
no seu ponto de interseo. Por exemplo, lembre-se do postulado 2:
2. Qualquer segmento de reta pode ser prolongado indefinidamente em qualquer direo.
Ele redefiniu a distncia de modo que o espao se comprime medida que nos
aproximamos do limite do universo, transformando efetivamente a rea finita numa
infinita. Por exemplo, a distncia entre dois pontos diferentes deve sempre ser maior que
zero. A forma matemtica exata que Poincor escolheu tinha que transformar a reta de
Poincor que liga quaisquer dois pontos no caminho mais curto entre elas, assim como a
reta usual o caminho mais curto entre pontos no espao euclidiano.
O modelo de Poincor no apenas um modelo de espao (em duas dimenses),
isso significa que os matemticos provaram que todas as descries possveis de
matemticas possveis do plano hiperblico so isomrficas (iguais). Se o nosso espao
hiperblico ele se comparara exatamente como o modelo de Poincor.
Algumas dcadas aps a descoberta do espao hiperblico, outro tipo de espao
no euclidiano foi descoberto: o espao elptico. O espao elptico o espao que
obtemos se assumirmos outra violao do postulado das paralelas: que as retas paralelas
no existem.
ALGUNS INSETOS CHAMADOS DE RAA HUMANA
Nos dez anos, a partir de 1816, Gauss passou pesquisando. O objetivo da pesquisa
era medir a distncia entre as cidades e outros pontos de referncia, e reunir esses dados
num mapa. Ele inventou o conceito central do campo moderno da probabilidade e
estatstica o teorema de que os erros aleatrios se distribuiro numa curva em forma de
sino em torno de uma mdia.
A geometria diferencial a teoria das curvas na qual uma superfcie descrita
pelo mtodo das coordenadas, inventado por Descartes, e depois analisada empregando-se
o clculo diferencial. Gauss chegou a duas concluses importantes: primeiro, afirmou que
uma superfcie pode ser considerada como um espao; a outra ideia inovadora que Gauss
estabeleceu foi a de que a curvatura de um dado espao poderia ser estudada na prpria
superfcie apenas, sem referncia a um espao muito maior, que possa cont-la ou no.
Tecnicamente a geometria de uma superfcie curva pode ser estudada sem referncia a um
espao euclidiano de dimenso superior.
A geometria dos espaos elpticos chamada de geometria esfrica j era bem
conhecida mesmo na Antiguidade. Sabia-se que crculos mximos eram as geodsicas.
Frmulas geomtricas relacionando as partes de tringulos esfricos j tinham sido
descobertas e aplicadas na elaborao de mapas. Contudo, os espaos elpticos no se
encaixam no paradigma de Euclides, e a descoberta de que o globo um espao elptico
ficou para um dos alunos de Gauss, Georg Friedrich Bernhard Riemann. Foi feita nos
anos do declnio de Gauss, mas esta descoberta, mais do que qualquer outra,
eventualmente desencadeou a revoluo do espao curvo.
UMA HISTRIA DE DOIS ALIENGENAS
Georg Riemann nasceu em 1826. Embora no haja histrias sobre Riemann,
quando garoto, ele parece tambm ter sido inteligente demais para ser um de ns.
Em 1846, ainda com 19 anos, Riemann matriculou-se na Universidade de
Gttingen onde Gauss era professor. Por volta de 1827 tinha 27 anos e estava na ltima
reta para uma posio de conferencista em Gttingen, ele entregou trs temas para os
professores de faculdade, Riemann estava bem preparado para os dois primeiros, mas
Gauss escolheu o terceiro tema.
No dia 10 de junho de 1854, Riemann exps sua palestra no contexto de geometria
diferencial, enfocando as propriedades das regies infinitamente pequenas de uma
superfcie, em vez de caractersticas geomtricas em grande escala. As explicaes de sua
obra eram claras: Riemann explicou como a esfera podia ser interpretada como um espao
elptico bidimensional. Como Poincor, Riemann deu a sua prpria interpretao dos
termos ponto, reta e plano.
O conceito de reta de Riemann leva a outros problemas para os quais no foram
oferecidas explicaes. Por exemplo, crculos mximos violam a suposio de que duas
retas s podem se cruzar num nico ponto.
O conceito de estar entre dois pontos tambm se tornou difcil de interpretar.
Euclides baseou o conceito de estar entre, no postulado 1:
Dados dois pontos quaisquer, pode ser traado um segmento de reta tendo esses
pontos como suas extremidades.
O problema no modelo de Riemann que h sempre dois modos de se ligar um
par de pontos por um crculo. E apesar dessas questes abertas, a palestra de Riemann
considerada uma das obras primas da matemtica. A obra de Riemann sobre a geometria
se diferenciou e tornou-se a pedra angular da teoria da relatividade de Einstein.
UMA PLSTICA FACIAL APS 2000 ANOS
As implicaes da obra de Riemann demonstram que Euclides tinha cometido
diversos tipos de erros: ele tinha feito muitas suposies implcitas; tinha feito outras
suposies que no foram formuladas de modo adequado, e tinha tentado definir mais do
que era possvel. Outro problema estrutural no sistema de Euclides foi no ter
reconhecido a necessidade de termos no definidos. Considere a definio do dicionrio
para espao como a rea ou lugar ilimitado estendendo-se em todas as direes. Se
acharmos que no entendemos o termo lugar, podemos consultar o dicionrio, ele diz que:
lugar a parte do espao ocupado por certo objeto. As duas palavras lugar e espao
so geralmente definidas uma em termos da outra.
Termos no definidos devem ser manipulados com cuidado, pois facilmente
podemos nos perder se interpretarmos um significado em um termo sem demonstr-lo
primeiro, mesmo que o significado parea to bvio a partir de nossa imagem fsica.
Matematicamente, os termos ganhariam significado a partir de afirmaes como
estas, ou trs primeiros postulados de Euclides:
9- Dados dois homens quaisquer, pode ser traada uma mulher com aqueles
homens como suas extremidades.
10- Qualquer mulher pode ser prolongada indefinidamente em ambas as
direes.
11- Dado qualquer homem, pode ser traada uma caneca de cerveja com
qualquer raio e com aquele homem como seu centro.
Euclides cometeu outros erros, de lgica pura, que o levaram a demonstrar alguns
teoremas empregando passos que so injustificveis. Ele tambm falhou em reconhecer
outras suposies que empregava, frequentemente, nas demonstraes, tais como a
suposio que existem retas e pontos, que nem todos os pontos so colineares, e que em
toda reta h pelo menos dois pontos. Numa outra demonstrao, ele assumiu que, se trs
pontos esto numa mesma reta, podemos identificar um dos pontos estando entre os
outros dois.
Em 1871, o matemtico prussiano Felix Klein mostrou como corrigir as aparentes
contradies do modelo esfrico de Riemann para o espao elptico, aperfeioando
Euclides no processo. Em 1894, o lgico italiano Giuseppe Peano props um novo
conjunto de axiomas para definir a geometria euclidiana. Em 1899, Hilbert, que no sabia
da obra de Peano, deu a sua primeira verso da formulao geomtrica que a mais aceita
atualmente.
Hilbert se dedicou completamente a esclarecer as bases da geometria. O primeiro
passo no seu mtodo era transformar as suposies implcitas de Euclides em declaraes
explcitas. Os axiomas de Hilbert eram divididos em quatro grupos, eles incluam
suposies no reconhecidas por Euclides como estas que j consideramos:
Axioma I-3: H pelo menos dois pontos em cada reta. Existem pelo menos trs pontos no
espao que no esto todos na mesma reta.
Axioma II-3: dados trs pontos quaisquer numa reta, somente um deles pode estar entre
os outros dois.
Por volta de 1900, os matemticos tinham a opinio de que os axiomas eram
afirmaes arbitrrias, sendo apenas a base de um sistema, cujas consequncias deveriam
ser investigadas num tipo de jogo mental. Os espaos matemticos eram considerados
como estruturas lgicas abstratas. A natureza do espao fsico tornou-se uma questo
separada, uma questo de fsica, e no de matemtica.
Em 1903, num esforo de limpar a rea da matemtica, Bertrand Russell tentou
realizar a deduo da matemtica - ou pelo menos tentou mostrar como faz-lo com seu
colega da Universidade de Oxford, Alfred North Whitehead. No sistema deles, at
entidades to fundamentais como os nmeros foram consideradas como construes
empricas que tinham de ser justificadas por uma estrutura axiomtica mais profunda e
fundamental.
Hilbert era ctico sobre isso. Desafiou os matemticos a provar rigorosamente
que o programa de Russel e Whitehead tinha obtido xito. Essa questo foi encerrada de
uma vez por todas em 1931, pelo teorema chocante de Kurt Gdel, segundo o qual deve
existir uma proposio verdadeira que no pode ser demonstrada. Isso destri as
alegaes de Russell e Whitehead, eles no somente mostraram como todos os teoremas
matemticos podem ser deduzidos da lgica, como realmente impossvel faz-lo.
CAPTULO 4 - A HISTRIA DE EINSTEIN
REVOLUO VELOCIDADE DA LUZ
No dia 21 de fevereiro de 1870, William Kingdon Clifford, apresentou um artigo
para a Sociedade Filosfica de Cambridge, intitulado Sobre a Teoria Espacial da
Matria no qual proclamou ousadamente:
Na verdade, eu mantenho que: (1) as pequenas pores de espao so de uma natureza
anloga aos pequenos montes numa superfcie que , na mdia, plana; (2) a propriedade
de ser curvo ou distorcido transmitida continuamente de uma poro de espao para
outra como uma onda; (3) esta variao da curvatura do espao realmente o que
acontece naquele fenmeno que chamamos de movimento da matria...
Einstein chegou a concluses semelhantes depois de muitos anos de meticuloso
raciocnio: se os objetos em movimento livre se movem nas linhas retas caractersticas do
espao euclidiano, ento outros tipos de movimento no poderiam ser explicados pela
curvatura do espao no-euclidiano?.
Foi exatamente o raciocnio de Einstein, baseado na fsica, no na matemtica, que
lhe possibilitou desenvolver a teoria que Clifford no conseguiu. Por mais de 200 anos,
parecera que todos os eventos no universo eram explicados pela mecnica newtoniana, a
teoria baseada nas ideias de Isaac Newton. O espao absoluto, uma estrutura fixa dada
por Deus sobre a qual so lanadas as coordenadas de Descartes.
A descrio do movimento de um corpo reagindo a uma fora conhecida como
cinemtica. Para formar uma teoria completa, precisamos tambm conhecer a
dinmica, isto , como determinar a intensidade e a direo da fora, dada a fonte e a
separao entre eles. Newton proporcionou tal equao somente com um tipo de fora, a
fora gravitacional.
Juntando as equaes de fora e movimento, podemos achar uma soluo para
trajetria de um objeto como funo do tempo. Newton fez a unio de duas disciplinas
separadas a fsica e a astronomia.
Se Newton estiver certo quanto viso de tempo e espao, ento ser fcil
perceber duas coisas que no podem existir, o limite de velocidade com que uma coisa se
aproxime de outra coisa; e segundo, a velocidade da luz no pode ser constante, ou seja, a
luz deve se aproximar de diferentes objetos em diferentes velocidades.
O OUTRO ALBERT DA RELATIVIDADE
Um casal da provncia polonesa de Poznan teve um filho chamado de Albert. Uma
criana que chegou aos trs anos de idade a Nova York; ele seria o primeiro cientista, um
judeu prusso-polons a ganhar o prmio Nobel.
Desde cedo, o jovem se destacou em matemtica, depois ptica e acstica. Os
interesses de Michelson eram ntidos e o curso de fsica em Anpolis naquela poca era
um dos melhores. Ele tinha em seu livro texto a traduo de um texto francs chamado
Adolph Ganot, onde Ganot diz: h um fluido sutil, impondervel, e eminentemente
elstico, chamado ter, distribudo por todo o universo; permeia a massa de todos os
corpos, dos mais densos e mais opacos aos mais leves e mais transparentes.
Ganot atribui ao ter um papel fundamental que um movimento de um tipo
particular comunicado ao ter pode originar o fenmeno do calor, um movimento do
mesmo tipo, com frequncia maior, produz luz, e pode ser que um movimento, de forma e
carter diferente, seja a causa da eletricidade.
O conceito de ter foi dado em 1678 por Christian Huygens; o nome utilizado por
Aristteles ao quinto elemento - a matria de que o cu era feito, mas o ter, diferente da
gua, flui no apenas em torno de ns, mas, tambm, atravs de ns.
Olaf Romer descobriu que a luz de uma das luas de Jpiter no chegava a terra
instantaneamente. Esse devido ao fato de que a luz se movimenta a uma velocidade
independente de sua fonte, foram evidncias de que a luz se movia atravs das partculas
do ar, de forma semelhante ao som. Mas as ondas sonoras eram consideradas apenas um
movimento em ordem de um meio, como o ar, a gua e uma corda.
Em 1801, realizou-se uma experincia em que se alterou o ponto de vista que
predominava; parecia inocente, fazendo-se a luz brilhar atravs de uma fenda, mas o
fsico Thomas Young projetou dois fachos de luz ( de uma nica fonte) atravs de duas
fendas separadas, ele descobriu um padro alternado de luz e sombra: a interferncia, que
pode ser facilmente explicada atravs de ondas. Com a teoria ondulatria da luz, a teoria
do ter viu renascimento.
O fsico francs Augustin-Jean Fresnel no viu nada de irrelevante na natureza do
ter. Sendo assim, publicou, em 1821, um tratado matemtico sobre a luz, que dizia que
as ondas podem oscilar de duas maneiras, ou na direo de seu movimento, como ondas
sonoras ou em ngulo reto em relao a ele, como ondas transversais numa corda.
Fresnel mostrou que poderiam ser ainda mais parecidas com as ltimas, mas esse
tipo de onda exige que o meio possua certa qualidade elstica, com certa corporeidade.
Por este fato, Fresnel afirmou que o ter no um gs, e sim um slido permeando por
todo universo.
DE QUE FEITO O ESPAO
Em 1865, um fsico escocs chamado Maxwell, publicou um artigo chamado
Uma teoria Dinmica do Campo Magntico, que foi seguido, em 1873, de um livro
chamado Um Tratado Sobre Eletricidade e Magnetismo.
A teoria de Maxwell apresentada, hoje em dia, como um conjunto de equaes
diferenciais que determinam duas funes vetoriais, onde podem ser deduzidos os
fenmenos pticos e eletromagnticos no vcuo.
Essa teoria consistia num conjunto de 20 equaes diferenciais em 20 incgnitas.
Maxwell deu aos seus colegas apenas entulhos, sem nenhuma explicao, mas ele foi um
dos maiores mestres dos fenmenos eletromagnticos. Ele publicou um artigo na 9
a
edio da Encyclopaedia Britannica, em 1878, sobre sua posio de que o espao deveria
ser feito de ter; ele dizia:
Sejam quais forem as dificuldades que tenhamos para formar uma ideia consistente
sobre a constituio do ter, no h dvida de que os espaos interplanetrios e
interestelares no so vazios, mas, sim, so ocupados por uma substncia ou corpo
material, que certamente o maior de todos os corpos e o mais uniforme de que temos
conhecimento.
Para seu grande mrito, ele no desistiu, descobriu a primeira consequncia
essencial observvel: se as ondas de luz viajam com uma velocidade constante em
relao ao ter, e se a Terra se move numa rbita elptica atravs do ter, ento a
velocidade com a qual a luz vem do espao e se aproxima da Terra variar, dependendo
de onde a luz estiver na sua rbita.
Maxwell no viveu o suficiente para ver a questo do ter resolvida, mas em 1879,
sofrendo de uma dor agonizante por causa de um cncer no estmago, ele escreveu uma
carta a um amigo; sua carta levaria demonstrao experimental de que o ter no existe.
Michelson viu a carta de Maxwell, quando foi publicada aps sua morte, na revista
inglesa Nature.
Michelson, um francs de nome Armand-Hipollyte-Louis Fizeau, recebeu uma
fortuna de herana de seu pai; gastou seu tempo e dinheiro construindo um aparelho
terrestre para medir a velocidade da luz, uma coisa que Galileu tinha planejado. Fizeau
construiu um aparelho em que um feixe de luz viajaria sem interrupo num trajeto de
oito quilmetros.
Em 1851, realizou uma srie de experimentos para testar a teoria de que o ter
arrastado pela superfcie da Terra; o aparelho de Fizeau era impressionante e tinha um
divisor de feixe, feito com um espelho levemente prateado. Na teoria de Michelson, um
fino feixe de luz de uma pequena fonte luminosa era projetado sobre um desses espelhos,
metade dele passava e outra metade era refletida a 90.
Como a luz age como uma onda, se na recombinao um feixe tiver retornado
mais rapidamente do que o outro, as oscilaes dos dois feixes no estaro mais
concordando entre si, isso produziria a interferncia. Na verdade, ele no podia nutrir
esperana de ter os dois braos de seu aparelho iguais, mas ele resolveu esse problema
girando seu aparelho em 90, e medindo as mudanas nas franjas, quando os dois feixes
trocavam de papel, em vez de medir as franjas da onda. Desenvolveu a ideia de um
interfermetro. Depois de construdo, seu aparelho era to sensvel que podia detectar os
passos a 100m do laboratrio. Era um aparelho de alto custo,
Um americano que encontrou a fama e a fortuna pela inveno do telgrafo
falante (telefone), Alexander Grahan Bell, trabalhava numa nova inveno o videofone
e contratou Schmidt & Haensch (construtores alemes de instrumentos), para a fabricao
desses instrumentos, e foi com o crdito dessa conta que o aparelho de Michelson foi
construdo.
Em abril de 1881, Michelson realizou a experincia em Potsdam. O que ele queria
era testar a hiptese do ter e no refut-la, medindo assim a velocidade atravs do ter.
Mesmo no encontrando nada, no concluiu que o ter no existia e, sim, que de alguma
maneira, ns estamos nos movendo atravs dele. A nica coisa que temos certeza a
realidade e a substancialidade do ter luminfero, e o mais importante era que a teoria
eletromagntica de Maxwell exige ondas e que ondas exigem um meio.
Um fsico holands chamado Lorentz, levou muito a srio o trabalho de
Michelson. Em 1882, Andr Poitier enfatizou um problema que foi anteriormente
mencionado na teoria de Michelson: na nova anlise, a mudana das franjas de
interferncia seria somente a metade do que Michelson esperava. Lorentz argumentou que
a experincia de Michelson tinha um erro experimental, o suficiente para invalidar a
concluso de Michelson.
Em 1887, Michelson e Morley realizaram o experimento definitivo que se tornou
parte do interesse de todo estudante de fsica. Visto como revolucionrio, o resultado
negativo, para muitos, parecia apenas uma falha para encontrar o defeito desejado uma
medida da nossa velocidade atravs do ter. Com a descoberta do espao curvo, a
experincia de Michelson, Morley no produziu uma exploso na histria das ideias.
Em 1904, Lorentz e outros cientistas fizeram diversas descobertas curiosas; a sua
nova teoria introduzia a diferena entre dois tipos de tempo, o tempo local e tempo
virtual. Lorentz tambm percebeu que o movimento de um eltron atravs do ter deve
afetar o valor de sua matria.
TRAINEE ESPECIALISTA TCNICO DE 3 CLASSE
Em 1805, Napoleo passou em frente a casa de Gauss em Gttingen, montado em
seu cavalo branco, voltando de uma vitria decisiva, local tambm que em breve se
tornaria o lugar de nascimento de Albert Einstein, considerado o maior fsico da histria.
Einstein era quieto e tmido, foi ensinado em casa por um professor particular, at
que um dia, num momento de raiva, ele jogou uma cadeira em seu professor. Gnio
escondido atrs de respostas, ele conferia e reconferia a sua resposta antes de falar. Aos
13 anos, Einstein tinha uma habilidade especial em matemtica.
Por volta de 1895, Einstein j conhecia sobre a teoria de Michelson, Morley, sobre
o trabalho de Fizeau e de Lorentz; apesar de aceitar a teoria do ter naquela poca,
Einstein conclui que no importava qual seja a velocidade que voc se movimente, nunca
seria capaz de alcanar uma onda luz, assim a relatividade estava sendo elaborada.
Albert recebeu um bilhete de seu mdico dizendo que ele estava beira de um
esgotamento nervoso, e um bilhete de seu professor de matemtica dizendo que ele j
sabia toda a matemtica do currculo, levou os bilhetes ao diretor e recebeu autorizao
para sair da escola.
Hermann, reconhecendo que seu filho era um excelente matemtico, no deixou
que Albert ficasse fora da escola, convencendo-o a voltar para estudar engenharia eltrica.
Albert resolveu se candidatar numa das melhores escolas daquela poca, a Escola Tcnica
Superior Sua, tinha fama reconhecida internacionalmente e no exigia diploma de
ensino mdio; ele fez o vestibular e foi reprovado.
Enquanto trabalhava num escritrio de patentes, Einstein terminou seu doutorado
na Universidade de Zurique. Em 1905, o crebro de Einstein explodia com ideias
revolucionarias. Sua produo resumiu-se em seis artigos, um baseado na sua tese de
doutorado Uma questo de geometria (geometria da matria). Publicou uma
dissertao na revista Anais da Fsica, nela determinou um novo mtodo terico pra
determinar o tamanho das molculas.
O estudo de Einstein sobre o movimento, devido ao bombardeamento aleatrio
das partculas pelas molculas do lquido, levou-o confirmao de uma nova teoria
molecular do fsico experimental Jean - Baptiste Perrin. Em 1905, Einstein explicou o
efeito foteltrico (metais que emitiam eltrons quando a luz incidia sobre eles); explicou
tambm sobre a ideia quntica de Max Planck num artigo, como se fosse uma lei fsica
universal.
Ningum ousou imaginar, como Einstein, que a ideia quntica poderia ser aplicada
radiao, contradizendo a bem compreendida e testada teoria de Maxwell. Lorentz e at
Planck se opuseram teoria de Einstein. Em 1921, Einstein recebeu o prmio Nobel de
fsica por isso, mas pelos dois artigos, escritos em 1905, que Einstein mais lembrado,
pois representam o comeo de uma viagem que conduziu os cientistas ao universo do
espao curvo.
UMA ABORDAGEM RELATIVAMENTE EUCLIDIANA
Em dois artigos, publicados em 1905, Sobre a eletrodinmica dos corpos em
movimento, publicado em 26 de setembro, Depende a inrcia de um corpo de contedo
de energia?, publicado em novembro; Einstein explicou sobre a sua primeira teoria da
relatividade, a relatividade especial. Ironicamente, nas suas teorias, a geometria no-
euclidiana teria um papel central; baseou seu raciocnio para a relatividade especial em
dois axiomas sobre o espao: impossvel determinar, exceto em comparao a outras a
outros corpos, se voc est em repouso ou em movimento uniforme.
O primeiro axioma de Einstein, chamado de princpio da relatividade ou
relatividade de Galileu, foi postulado por Oresme, ele verdadeiro mesmo na teoria
newtoniana. O primeiro postulado de Einstein : A velocidade da luz, independente da
velocidade da fonte, igual para todos os observadores do universo.
A ideia mais importante est contida na frase e igual para todos os
observadores, e no significa muito: todos os observadores podem concordar que a
velocidade da luz era a sua velocidade ao se aproximar de um objeto estacionrio. Esta
a situao dentro do referencial terico de Newton o espao absoluto, ou o ter,
fornece um sistema de referncia em relao ao qual o movimento pode ser medido. Se
no pudermos distinguir o repouso do movimento uniforme, e todos os observadores
medem a mesma velocidade da luz que se aproxima, estejam eles em movimento relativo
ou no, ento encontramos aqui um paradoxo.
Com a queda da simultaneidade, vem a relatividade da distncia e do tempo. Para
verificar, apenas devemos medir e marcar as extremidades do que deseja ser medido, e
depois colocar um metro para medir. Se estiver em repouso em relao a ns, isso
comum; se estiver se movendo existe um passo intermedirio, por exemplo, marcamos
numa folha de papel duas extremidades quando o objeto passar, pegamos o metro para
medir a distncia entre as marcas, mas precisamos ter certeza que marcamos as
extremidades simultaneamente. Se errarmos e marcarmos uma extremidade antes da
outra, a segunda ter viajado uma distncia e no teremos a medida verdadeira. O que
percebemos com medidas simultneas, uma pessoa movimentando-se com o objeto
medido, no concordar.
Einstein descobriu anomalias semelhantes no comportamento do tempo.
Observadores em movimento em relao no concordaro sobre o intervalo de tempo,
como o comprimento, a durao no tem significado absoluto. O tempo que um
observador mede entre dois eventos no seu prprio lugar, chamado de tempo prprio.
Qualquer outro observador em movimento, em relao a este observador perceber um
intervalo maior de tempo entre os dois eventos. Na relatividade, a grama mais verdade
no jardim dos outros.
Na relatividade especial, os objetos ainda seguem a primeira lei de Newton: eles
se movem em linha reta a menos que sofram fora externa. No entanto, essa no uma
maneira relativstica de enunciar a primeira lei; na relatividade espao e tempo se
misturam diferentemente para observadores diferentes. Os conceitos de geometria devem
ser alterados para incluir tempo assim como espao. A primeira lei de Newton pode,
ento, ser enunciada empregando a nova geometria, assim:
A menos que sofra a ao de uma fora externa, um objeto sempre segue uma linha de
universo de um evento para o outro de modo que o tempo lido pelo seu prprio relgio
(isto , o tempo prprio) seja mximo.
Einstein idolatrava Newton, mas estava destruindo umas de suas crenas mais
bsicas, a existncia do espao e do tempo absoluto. Em 1906, Plank tornou-se o
primeiro, alm de Einstein, a escrever um artigo sobre a relatividade e a aplicar a
relatividade teoria quntica.
A MA DE EINSTEIN
Einstein um dia, pensou: em queda livre, uma pessoa no sente o seu prprio
peso, mais tarde chamou isso de o pensamento mais feliz de toda a minha vida. A
pessoa caindo no pensamento de Einstein foi a ma de Einstein, cuja sucesso foi a
teoria da gravidade. A nica teoria da gravidade que existia em 1905 era a de Newton;
como a teoria da relatividade especial substituiu as leis de Newton por uma nova
cinemtica, no surpresa o fato de que Einstein descobriu que a teoria da gravidade de
Newton j no se encaixava mais. O prprio Newton estava infeliz com sua lei, ele
considerava a transmisso instantnea de fora como um conceito suspeito e em
relatividade isso um crime: nada pode ser transmitido mais rpido do que a velocidade
da luz.
Com a relatividade especial, Einstein colocou os observadores inerciais em p de
igualdade. Se tivesse xito, sua nova teoria no precisaria de foras fictcias para explicar
o movimento no-uniforme e a forma das leis da fsica no precisaria mudar. A
percepo do seu pensamento mais feliz deu-lhe justamente o que precisava: Se uma
pessoa cai livremente, ela no sentir seu prprio peso. Enunciada livremente, tornou-se
o principio da equivalncia, ou o terceiro axioma de Einstein:
possvel distinguir, exceto por comparao com outros corpos, se um corpo est
sofrendo uma acelerao uniforme ou se est em repouso em um campo gravitacional
uniforme.
As obras de Riemann e Gauss permitiram que Einstein aplicasse sua teoria a
qualquer campo gravitacional. Em 1907, Einstein alegou, pela primeira vez, que a
passagem do tempo alterada pela gravidade.
DA INSPIRAO PERSPIRAO
No dia 25 de novembro de 1915, Einstein apresentou um artigo que dizia:
Finalmente a teoria da relatividade geral est completa, como uma estrutura lgica. Na
teoria de Einstein, o efeito da massa no exercer uma fora gravitacional, mas sim
mudar a forma do espao-tempo, de acordo com a teoria, a curvatura de uma regio
espacial (a mdia em todas as direes) determinada pela massa dentro da regio.
OS TRIUNFOS DO CABELO AZUL
Aps observaes sobre o eclipse total do sol de 29 de maio de 1919, a teoria de
Einstein foi confirmada, com uma manchete no jornal The Times e outro comunicado no
The New York Times, que falava: A Teoria de Einstein Triunfa. Um dia, depois de um
jantar, Alexei mostrou vontade de tingir seus cabelos de azul, muitos acharam uma atitude
no muito relevante, ento surgiu Einstein propondo que o cabelo azul se tornasse moda.
Na Alemanha, os anti-semitas tiraram vantagens por Einstein ser judeu, os
ganhadores do prmio Nobel, Lohannes Stark e Philipp Lenard apoiaram a relatividade
como uma conspirao dos judeus para dominar o mundo. Quando Hitler foi nomeado
chanceler, os soldados das tropas de assalto nazistas invadiram o apartamento de Einstein
em Berlin e sua casa de veraneio, no dia 1. de abril de 1933, confiscaram suas
propriedades e ofereceram uma recompensa por sua captura como inimigo de estado.
Einstein passou seus ltimos anos tentando criar uma teoria unificada de todas as
foras. Einstein faleceu na manh do dia 18 de abril de 1955, tinha 76 anos.
CAPITULO 5 A HISTRIA DE WITTEN
A ESTRANHA REVOLUO
Einstein mostrou que a presena da matria afeta a geometria encurvando o
espao (e o tempo). A matria pode curvar o espao um pouco aqui e, se estiver
concentrada, um pouco ali. De acordo com essa teoria, as propriedades mais bsicas do
espao determinam as leis da natureza, e as propriedades da matria e energia, que
constituem o universo. O espao torna-se juiz daquilo que pode existir.
De acordo com a teoria das cordas, existem dimenses adicionais do espao, to
pequenas que qualquer espao livre que tivermos nelas, no observvel em experincias
atuais.
A teoria das cordas, embora ainda mal compreendida, evoluiu para outra teoria, a
teoria M, que est levando concluso: o espao e o tempo no existem realmente, mas
so apenas aproximaes de algo muito mais complexo. Chegando a teoria das cordas, a
fsica retorna sua parceria com a matemtica.
DEZ COISAS QUE ODEIO NA SUA TEORIA
Feynman achava que a teoria das cordas era loucura. No entanto, fazendo
referncia ao filme Dez coisas que odeio em voc, pode-se dizer que Swharz encontrou na
teoria das cordas uma beleza matemtica essencial, algumas vezes por causa de suas
falhas. Ele tentava resolver um problema que tambm era de Einstein e muitos outros
depois de Einstein- reconciliar teoria quntica com a relatividade. Diferentemente da
teoria da relatividade, a primeira teoria quntica demorou dcadas para surgir com a
descoberta de Planck da quantizao de nveis de energia.
Nos anos de 1925-27, o austraco Erwin Schrdinger e o alemo Werner
Heisenberg, descobriram, independentes um do outro, teorias que explicavam como
substituir as leis do movimento de Newton, por equaes que reuniam os princpios
qunticos deduzidos em dcadas anteriores. As duas teorias foram apelidadas de mecnica
ondulatria e mecnica matricial; matematicamente, pareciam to diferentes quanto os
descobridores.
Schrdinger escreveu sua equao quando estava com sua amante, passeando
numa estao de esqui. Logo, o fsico ingls Paul Dirac provou que sua mecnica
ondulatria e a mecnica matricial de Heisenberg eram iguais. De acordo com a mecnica
quntica, no verdade que podemos calcular os eventos do futuro, por isso que Einstein
odiava e condenava a teoria da mecnica quntica.
A INCERTEZA NECESSRIA DE SER
A origem da indeterminao em mecnica quntica est no princpio da incerteza,
que diz que algumas das caractersticas dos sistemas, que so grandezas quantitativas na
descrio newtoniana de movimento, no podem ser descritas com exatido ilimitada.
O que incomodou muitos fsicos na mecnica quntica foi o conceito de um Deus
perfeito e uma natureza imperfeita. Este limite ao determinismo inspirou a famosa citao
de Einstein: A teoria da mecnica quntica proporciona muito, mas ela no nos aproxima
dos segredos do Velho Sbio. De qualquer forma estou convencido de que ele no joga
dados.
A matemtica do princpio da incerteza afirma isto: o produto da incerteza dos
dois membros complementares do par deve ser igual a um nmero chamado de constante
de Planck. A constante de Planck , aproximadamente, um bilionsimo de bilionsimo de
bilionsimo de alguma coisa, ou 10
-27
, unidade chamada erg-segundo, para a maioria das
pessoas significa velocidade zero. O limite de erro de 1cm/seg. conduz a uma preciso
limite que, como a constante de Planck, extremamente pequena.
O EMBATE DE TITS
Uma das razes de Einstein ter obtido pouco apoio teoria do campo unificado
deveu-se ao motivo de que o embate entre a relatividade geral e a mecnica quntica s
aparece em regies muito pequenas do espao, e que ainda hoje no temos esperana de
observar diretamente. O territrio em que surgem os problemas descrito como o
ultramicroscpio.
Aplicar o princpio da incerteza e da relatividade geral a regies muito pequenas
do espao leva a contradies bsicas com a prpria teoria da relatividade. Por isso que os
fsicos acreditam que a teoria de Einstein deva ser revisada, no que diz respeito ao
domnio do ultramicroscpio. Se Planck for o vencedor nesse debate com Einstein, a
resposta est numa ideia que Feynman e outros aceitaram com grande dificuldade, uma
fonte de chacota para Schwarz, segundo ele, no uma falha, meramente uma caracterstica
de sua amada teoria.
UMA MENSAGEM NUM CILINDRO KALUZA-KLEIN
Uma das abordagens mais promissoras veio a Einstein num dia de 1919, quando
abria uma carta de um matemtico empobrecido chamado Theodor Kaluza. A carta era
uma proposta a Einstein de como poderiam ser unidas as foras eltricas com a gravidade.
A teoria tinha um obstculo, Einstein respondeu a Kaluza que nunca tinha lhe ocorrido a
ideia de obter, por meio de um meio cilndrico de cinco dimenses, uma teoria unificada,
disse ainda que gostou imensamente da ideia de Kaluza, que estava frente de sua poca.
Ele fez a pergunta: se estendermos formalmente as equaes, obteremos as
equaes de campo de Einstein para cinco dimenses, quais equaes obteremos para os
fatores adicionais? A resposta foi que obteremos as equaes de campo de Maxwell, do
campo eletromagntico. A partir da quinta dimenso, surge o eletromagnetismo,
inesperada e subitamente da teoria da gravidade.
Este tinha como opinio a de que o eletromagnetismo e a gravidade so reais
componentes da mesma coisa, que parecem diferentes porque o que observamos
transformado numa mdia no movimento indetectvel da quarta dimenso espacial
extremamente pequena.
Em 1926, Oskar Klein inventou a mesma teoria, com alguns aperfeioamentos.
O NASCIMENTO DAS CORDAS
A histria da teoria das cordas comeou a 250m acima do nvel do Mediterrneo.
No vero de 1967, um tpico assim foi a abordagem da teoria das partculas elementares,
conhecida como a teoria da matriz-S.
A abordagem da matriz-S foi introduzida por John Wheeler, em 1937, e
defendida, na dcada de 60, por um fsico chamado Geoffrey Chew. A letra s representa
espelhamento em ingls, que o meio principal dos fsicos estudarem as partculas
elementares: aceleram-se a enormes energias, fazem com que elas colidam umas com as
outras, e observam as sobras que voam de l. A matriz-S, como uma caixa preta que
recebia dados de entrada [input]- as identidades das partculas que colidem..., e criava
como sada [output] o mesmo tipo de dado, mas com partculas emergentes.
Levou um ano e meio, mas Veneziano concluiu que todas as propriedades
matemticas da matriz-S eram possudas pela funo nica e simples chamada de funo
de Euler.
PARTCULAS, SCHMARTCULAS!
Geoffrey Chew, um dos fsicos mais promissores da dcada de 1960, levantou-se
numa conferncia e declarou que a teoria de campo no valia nada. Disse que no
deveriam existir partculas elementares e ainda props que os fsicos procurassem por
uma teoria do tipo uma partcula faz todas as demais. Ele acreditava que o universo
assim porque a nica maneira em que ele pode existir. Witten chamou a teoria da
matriz-S uma abordagem e no uma teoria. Mas Gell-Mann disse que a abordagem da
matriz-S era a abordagem correta.
Um dos problemas foi a descoberta do psitron, a antipartcula do eltron, e outra,
um novo membro do ncleo, quase como um prton. Como foi difcil explicar as novas
partculas, os fsicos admitiram as novas partculas e o conceito da aritmtica e de duas
novas foras, a fora forte e a fora fraca. Numa teoria quntica de campo, h somente um
modo de as coisas interagirem no universo: trocando partculas, conhecidas como
mensageiras.
Na dcada de 1970, foi criada uma nova teoria unindo a teoria do campo
eletromagntico com a fora fraca, assim em analogia eletrodinmica quntica, foi
inventada uma teoria para a fora forte, com suas partculas mensageiras, os glons. A
intensidade das foras tambm colocada na teoria sem explicao, codificada em
nmeros chamados de constantes de acoplamento, a reao de uma partcula a uma fora,
caracterizada por uma quantidade chamada carga.
Assim como Chew, os fsicos querem encontrar uma teoria completamente
definida para a teoria das cordas, esperam que ento possam entender a intensidade e a
origem de todas as foras, tipos e propriedades das partculas, e a estrutura do prprio
espao. E na teoria deles como na de Chew, uma s partcula resolve.
As cordas na teoria das cordas no esto presas como as cordas de um violo, elas
podem ser abertas e fechadas; podem dividir-se e juntar-se, fundir-se em suas
extremidades formando um lao, ou unir-se e dividir-se formando dois laos. E quando a
corda se une ou se junta, suas propriedades mudam. A energia de vibrao, por ex.,
depende do comprimento de onda e amplitude.
Na teoria das cordas, trs dimenses no so suficientes: so a geometria e a
topologia exatas das dimenses adicionais que determinam a teoria das partculas
elementares e as foras que a teoria das cordas anuncia.
Uma corda em uma dimenso s pode se esticar de um jeito, esticando e
comprimindo-se; num espao tridimensional, a direo da vibrao pode espiralar ou
girar. Quanto mais dimenses, mais complicados sero os espaos possveis,
principalmente se os espaos no forem planos, e em todos os espaos, as vibraes sero
diferentes.
Em 1985, os fsicos descobriram a classe de espaos que tem as propriedades
adequadas, chamados espaos de Calibi-Yau, de seis dimenses, so espaos complicados
como donut de chocolate, mas que tem algo em comum- um buraco. O complicado que
existem muitos espaos de Calibi-Yau conhecidos, e vrios com mais de trs buracos.
O PROBLEMA COM AS CORDAS
Quando Nambu e outros propuseram a teoria das cordas, ela tinha algumas
particularidades. Quando as probabilidades da ocorrncia de alguns processos foram
calculados, de acordo com as regras da mecnica quntica, a matemtica deu nmeros
negativos. Logo, os fsicos perceberam que existia uma falha bem mais embaraosa. Na
mecnica quntica, as partculas pertencem a um dos dois tipos: bsons e frmions; no
nvel tcnico a diferena entre bsons e frmions um tipo de simetria interna chamada
spin, mas no nvel prtico a diferena que dois frmions nunca podem ocupar o mesmo
estado quntico.
Isso significa que os eltrons no tomo no se acumulam todos no mesmo estado
de energia mais baixo. Assim, a matria feita de frmions, as partculas mensageiras na
transmisso de bsons, mas na teoria da bosnica das cordas, todas as partculas so
bsons. Este o problema na teoria das cordas que Schwarz atacou primeiro. Schwarz
desenvolveu uma teoria conhecida como teoria das cordas girantes, que inclua tanto as
partculas feminicas quanto as bosnicas, eliminava os tquions e reduzia o nmero de
dimenses exigidas de 26 para 10.
Em 1984, Schwarz, trabalhando com seu novo companheiro Michel Greene,
descobriu que, na teoria das cordas, certos termos que podiam levar a anomalias
cancelavam-se milagrosamente, assim achou que tinha descoberto a teoria de tudo. At
que Edward Witten, fsico e matemtico mais influente do mundo, ligou para Schwarz
dizendo que tinham descoberto vrios novos resultados importantes, como a identificao
dos espaos Calabi-Yau como candidatos para dimenses curvas. Hoje o artigo de
Schwarz com Greene definido como a primeira revoluo das supercordas.
A TEORIA ANTERIORMENTE CONHECIDA COMO TEORIA DAS
CORDAS
No incio da dcada de 1990, a teoria das cordas tinha cado em popularidade. O
terico das cordas Andrew Strominger lamentou, pois ainda existiam grandes problemas.
E parte deles foi a falta de novas profecias extradas da teoria. Pareciam existir cinco
espaos de Calabi-Yau diferentes como candidatos, mas cinco estruturas
fundamentalmente diferentes para a teoria. Explicando Strominger, antiesttico ter cinco
teorias nicas da natureza diferentes.
H semelhanas entre Einstein e Witten, os dois so judeus, passaram anos no
Instituto de Estudos Avanados na Universidade de Princeton. No entanto, se formos
comparar, Witten muito mais parecido com Gauss do que com Einstein. E como Gauss,
a sua obra est tendo um grande impacto sobre a direo da matemtica moderna, coisa
que Einstein nunca fez. Tem outro lado, a abordagem de Witten sobre a teoria das cordas,
agora a teoria M, conduzida por percepes da matemtica, e no por princpios fsicos,
no por escolha, mas por acidente histrico talvez: afinal, a teoria foi descoberta
inesperadamente.
Em maro de 1995, Edward Witten falou numa conferncia sobre a teoria das
cordas na Universidade do Sudoeste da Califrnia; a palestra mudou tudo; o que Witten
explicou foi um milagre matemtico: todas as cinco teorias de cordas diferentes, afirmou,
so simplesmente diferentes formas aproximadas da mesma teoria mais ampla, agora
chamada de teoria M.
De acordo com a teoria M, as cordas no so realmente a partcula fundamental,
mas apenas exemplos de objetos mais gerais, chamados branas, abreviatura de
membranas. As branas so verses de dimenso superior das cordas, que um objeto
unidimensional, assim as leis da fsica dependem das vibraes mais complexas dessas
entidades mais complexas ainda, e existe na teoria M, uma dimenso curva adicional-
totalizando 11 dimenses e no 10. Mas o aspecto mais estranho na teoria M, que
espao e tempo, em algum sentido fundamental, no existem. As ideias da teoria M tm
levado a uma indicao ainda mais surpreendente de que h algo nesta ideia das cordas:
uma predio que tem a ver com a fsica dos buracos negros.
Em 1995, Andrew Strominger e Cumrum Vafa publicaram um clculo
espetacular: empregando a teoria M, eles mostraram que podemos criar certos tipos de
buracos negros (tericos) a partir das branas; para esses buracos negros, os estados so
estados brana - e podemos cont-los.
A esperana de obter evidncia experimental a favor da teoria M reside
atualmente em duas reas. Uma a possvel descoberta das partculas supersimtricas, o
outro teste seria uma busca de desvios na lei da gravidade. Dependendo da natureza das
dimenses adicionais, possvel na teoria M que, medida que os objetos fiquem
extremamente prximos, a atrao entre eles aumente muito mais rapidamente.
A natureza evolui com uma ordem oculta. A matemtica a revela. A teoria M ser a bela
teoria dos livros-texto dos cursos de fsica nas faculdades de amanh. Como um jovem
cientista, Schwarz sabia apenas que a sua teoria era bonita para no servir para nada.
Atualmente, toda uma gerao de pesquisadores olha para a natureza e v suas cordas.
Seria difcil ver o mundo novamente do modo antigo.
13. MOLES, Abraham. A criao cientfica. So Paulo: Perspectiva, 1998
A POSIO ADOTADA
Evoluo das Relaes entre Cincia e Filosofia
Em sua origem, o conhecimento cientfico e a filosofia eram interligados,
compreendidos no termo filosofia natural.
A evoluo histrica provocou divergncias acentuadas entre cincia e filosofia, sendo
que o desenvolvimento da teoria da Relatividade e da Microfsica incentivaram a unio
da cincia e da metafsica
A dmarche cientfica e as linhas diretrizes do pensamento filosfico moderno
Evoluindo constantemente, a filosofia cientfica refuta como inadequada e paradoxal a
definio com um determinismo de Laplace e se contenta com determinismo
aproximativo vlido em grande escala.
O papel da cincia no mais o de prever a marcha do universo em sua mincia, e
sim o de construir um modelo inteligvel que sirva para o aprendizado da natureza pelo
homem.
O pensamento cientfico rejeita como enganador o mundo das sensaes
manifestando retorno parcial do materialismo a um idealismo objetivo, dando a
primazia aos conceitos abstratos.
Cada vez mais dada importncia ao pensamento criador dos dipolos dialticos que
tendem a suprir os fatos unitrios e que so destacados pela inteligncia do fundo de
complexidade dos fenmenos.
No progresso cientfico moderno, a cincia aplicada um elemento fundamental. A
cincia aplicada e a evoluo das cincias das comunicaes, recolocam o indivduo
humano e suas propriedades no foco do pensamento cientfico.
No seu aspecto criador, uma classificao faz apelo a duas dimenses: a dos
algoritmos lgicos aos quais elas recorrem, e a das tcnicas experimentais que fazem
aparecer os fatos.
Diante da complexidade dos fenmenos, a atitude do cientista uma atitude de
escolha; no constri apenas o que lhe agrada, mas escolhe aquilo que lhe agrada
construir.
O pesquisador parte da rede ramificada constituda pela dmarche criadora, partindo
de uma situao, de uma perspectiva no campo de viso da complexidade dos
fenmenos essenciais para a descoberta.
Estudo Psicolgico do raciocnio Cientfico
O estabelecimento dos fatos, a cincia aplicada e o universo cientfico existentes,
apresentam-se nossa viso interior sobre aspecto de uma rede emalhada de
conhecimentos coerentes, bem estruturada, cujos fios so a demonstrao dos fatos.
grande a diferena entre essa cincia acabada e seus modos de edificao.
A construo da evidncia feita atravs da demonstrao de um fato a partir de
evidncias elementares possudas pelo receptor, ela se apresenta como a
comunicao de um individuo a outro, e deve se levar em conta seu repertrio comum
de conhecimentos.
A demonstrao no tem valor por si s. Ela reabsorvida no campo discursivo
quando desempenha seu papel e cria evidncia. Exprime o valor operacional do
conceito assim colocado em ao.
Sendo assim, o acento deve ser posto no valor psicolgico que est extremamente
ligado com seu valor esttico.
Este estudo nos permite abordar o estudo da criao cientfica.
Estudo dos Mecanismos Reais da Criao Cientfica
O racionalismo, a lgica formal e o valor da verdade, desempenham na criao um
papel extremamente restrito.
O objetivo da criao cientfica encontrar um modo de construo por encadeamento
de juzos a priori postos em correlao com as sucessivas confrontaes com o real
visvel.
Estes juzos, a priori, que so as ideias, originam-se de um status nascendi do
pensamento criador, cujos mecanismos so praticamente independentes do domnio
intelectual onde exercem cincia, arte ou literatura.
Infralgicas como se chama os modos de reunio de conceitos verbais, visuais ou
simblicos, as gramticas das ideias, ou seja, orientam o pensamento na sua
elaborao para uma boa forma.
com um clima de gratuidade essencial que a criao dos pensamentos conceituais
liberada de todas as contingncias da razo, da lgica ou da verdade, em sua
mentalidade lgica.
O estudo de status nascendi do pensamento neste reservatrio de conceitos e
imagens comporta trs partes principais:
1 como edificamos os conceitos gratuitos (metodologia heurstica);
2 como reunimos os conceitos entre si em um encadeamento (infralgicas);
3 como estabelecemos seu valor e verificamos seu acordo com o que j sabamos.
Os Mtodos Heursticos
Classificamos vinte e um mtodos heursticos e seus diferentes aspectos:
12- Mtodo de aplicao de uma teoria
13- Mtodo da misturas de duas teorias
14- Mtodo de reviso das hipteses
15- Mtodos dos limites
16- Mtodo de diferenciao
17- Mtodos de definies
18- Mtodo de transferncias
19- Mtodo de contradio
20- Mtodo crtico
21- Mtodo de renovao
22- Mtodo de pormenores
23- Mtodo da desordem experimental
24- A matriz de descoberta
25- Mtodo de recodificao
26- Mtodo de apresentao
27- Mtodo de reduo fenomenolgica
28- Mtodo dogmtico
29- Mtodo de classificao
30- Mtodo de emergncia
31- Os mtodos estticos
32- Mtodo de sntese
As Infralgicas
O exame dos mtodos heursticos, utilizados pela criao de conceitos, ou por vias
diretrizes, leva a um estudo da reunio dos conceitos entre si em uma sequncia
racional, um logos, cujos modos e regras constituem formas generalizadas de lgicas:
as infralgicas.
Sistemas infralgicos propriamente ditos:
4- A lgica mitopotica
5- A lgica de justaposio ou perilgica
6- A lgica de oposio ou antilgica
7- A lgica do prolongamento
8- A analgica ou lgica das formas
As lgicas formais
9- Lgicas de probabilidades ou da induo
10- Lgica binria
11- Lgicas polivalentes e numerais
Deste exame podemos tirar as seguintes concluses:
13-A lgica tradicional no nem universal, nem nica, nem normativa. A priori ela
no manifesta as leis de uma razo puramente transcendental.
14- As infrlgicas so o sistemas discursivos imediatos da descoberta, seu grupo
constitui o mtodo de utilizao do crebro e que chamaremos de lgica
natural.
15- As infralgicas so arbitrrias, tem uma coerncia varivel, geralmente fraca,
so dependentes da estrutura mental do indivduo.
16- Um ideal muito difcil de atingir a lgica formal clssica que muito
aperfeioada, raramente mantida e essencialmente artificial.
17- As infralgicas esclarecem as origens da lgica universal, assim como o
patolgico esclarece o normal.
18- A fonte do pensamento lgico se encontra na psicologia profunda do corpo
social (lgica mitopdica).
Os Processos de Utilizao
Os processos de utilizao das ferramentas intelectuais da criao so os mtodos
heursticos e as infralgicas o modo de ligao entre si.
As ligaes se fazem segundo os sistemas lgicos ou infralgicas. Os caminhos que
respondem s conexes lgicas dos conceitos so as vias principais, que no so
forosamente os mais curtas.
O que se nota da redescoberta, explica-se pela abundncia dos percursos possveis
desta rede, desembocando no mesmo ponto resultado, a partir de diversos pontos de
partida por trajetos diferentes. Se tais trajetos forem mltiplos, no sero percorridos
por acaso. O pesquisador dispe simultaneamente de regras de orientao na rede
que so mais ou menos conscientes. Entre tais regras destacam-se:
O princpio da simplicidade ou de reduo das entidades inteis.
O princpio do menor esforo.
O princpio de coordenao das precises.
O princpio da distncia mnima ao concreto.
A realizao de uma sequncia conceitual.
O objeto do trabalho e o modo pelo qual a rede percorrida definem objetivamente
estilos cientficos, estatisticamente estveis, que so a expresso das caractersticas
de personalidade do pesquisador ou do micro-grupo.
A inteligncia no desempenha um papel exclusivo na criao cientfica.
O carter do pesquisador influi diretamente na escolha dos temas, do mtodos e dos
modos de conexo das ideias.
A partir de diferentes fatores pode se definir tipos entre os espritos cientficos: o
terico puro, o experimentador, o sintetizador, o diletante, o amante das decimais, o
anarquista etc.
14. SATOY, Marcus Du. A msica dos nmeros primos: a histria de um problema no
resolvido na matemtica. Rio de Janeiro: Jorge Zahar, 2007.
O esforo da humanidade em compreender os nmeros primos um exemplo
emblemtico do que significa ser matemtico.
Os nmeros primos so aqueles divisveis unicamente por si mesmos ou por
um.
Os nmeros primos constituem um veculo perfeito para demonstrar como
possvel que a matemtica tenha em si tanta beleza e encanto. Um dos
primeiros grandes descobrimentos, e quem avanou neste tema foi o
matemtico grego Euclides, foi o que produziu uma racionalizao irrefutvel
para demonstrar como possvel que sempre exista um nmero primo maior
que todos os outros. Prova isso com simplicidade e se torna um dos temas
centrais da aventura matemtica. Esta capacidade de racionar analiticamente
resultar til na vida, seja ou no matemtico.
Uma vez descoberto que h um nmero infinito de nmeros primos, a
investigao continua para compreender se existe um modelo nesta sequncia
que prossiga ao infinito: 2, 3, 5, 7, 11, 13, 17, 19... O matemtico um
buscador deste modelo, que orienta seu ouvido para a msica sutil que
repousa na base do rumor casual do mundo circunstancial.
O descobrimento de um extra no modelo surge na metade do ano 800.
Quando Wagner compunha Tristo e Isolda, o alemo Riemann descobria uma
misteriosa estrutura harmnica no corao desta sequncia enigmtica. Os
matemticos no captaram todavia de todo a natureza deste descobrimento.
Como uma sinfonia inacabada, faltam partes importantes da msica.
Isto o bonito na matemtica: matemtica uma matria viva e vive em
contnua evoluo.
Outro aspecto importante da matemtica aquele que faz dela uma cincia til.
Os nmeros primos constituem um exemplo perfeito. A seguridade do comrcio
por via eletrnica se confia hoje nos cdigos construdos utilizando os nmeros
indivisveis.
Por outro lado, a matemtica tem hoje uma importante atualidade cultural.
Os nmeros primos se encontram nas pginas do Estranho Caso do Cachorro
Morto Meia-Noite de Mark Haddon.
So os protagonistas dos filmes como O Cubo e Contato.
Fazem ostentao de si mesmos em espetculos da Broadway como Proof,
que ganhou o prmio Pulitzer. At David Beckham exibia um nmero primo na
camiseta do Real Madrid.
Numa narrativa rica e abrangente, a msica dos nmeros primos conta a
histria de um dos maiores problemas da matemtica, que culminou, em
meados do sculo XIX, com uma hiptese do alemo Bernhard Riemann: era
possvel haver harmonia entre os nmeros primos, semelhante a uma
harmonia musical?
um livro para quem gosta de Matemtica e quer fazer com que os outros
gostem tambm. A Msica dos Nmeros Primos uma obra que desperta tanto
o raciocnio quanto o lado ldico dos leitores.
Em meados do sculo XIX, o alemo Bernhard Riemann formulou uma
hiptese: possvel uma harmonia entre esses nmeros primos, semelhana
da harmonia musical?
.
A partir de ento, as mentes mais ambiciosas da matemtica embarcaram
nessa procura que parece no ter fim. A histria de um problema no resolvido
na matemtica pode render um prmio de um milho de dlares para quem
provar a hiptese.
O relato desse verdadeiro Santo Graal da matemtica, feito pelo brilhante
professor de Oxford Marcus du Sautoy, tambm pesquisador da Royal Society,
aparece aqui pontilhado de casos interessantes e retratos pitorescos dos
personagens que, desde Euclides, se envolveram nesse estranho mistrio.
Os nmeros primos so, de fato, os bichos mais interessantes da fauna
matemtica. As partculas elementares da matemtica, pois so indivisveis, e
compem o resto dos nmeros inteiros. Sua caracterstica mais peculiar o
fato de que no tem como, pelo menos at o momento, prever o prximo
nmero da sequncia. Desde a Antiguidade at os dias atuais, os matemticos
tm lidado com a tarefa de tentar prever o prximo nmero primo. Ser que a
Natureza joga dados com os nmeros, assim como Deus joga?
Para Riemann, h uma grande orquestra em andamento no domnio desses
nmeros. Isso significa que, muito possivelmente, h uma ordem implcita na
aparente catica sequncia dos primos.
Riemann encontrou em uma funo particular chamada de funo zeta (uma
funo com valores imaginrios e reais, veja abaixo), escrita inicialmente por
Euler, a chave que levaria aos segredos dos nmeros primos. Essa funo
gera uma paisagem imaginria interessante em que os pontos ao nvel do mar
(ou seja, em y=0) so espaados de forma harmnica e alinhados ao longo de
uma reta. E esses pontos poderiam ser correlacionados com os primos.
Funo Zeta de Riemann
Da veio formulao da hiptese de Riemann: todos os pontos ao nvel do
mar se encontram nessa linha, chamada de linha crtica da funo zeta. A
prova da hiptese provar que absolutamente TODOS os pontos esto nessa
linha. Se for encontrado um ponto fora dessa linha, a hiptese ser
considerada falsa.
Quem conseguir provar essa hiptese ganha um milho de dlares do Instituto
Clay de Matemtica e a imortalidade matemtica. Se verdadeira, explicaria
bem porque que no h um padro forte na sequncia dos primos.
Qual seria a utilidade prtica da teoria dos nmeros? Est bem na sua frente,
na Internet. Os nmeros primos so essenciais para os algoritmos de
criptografia usados nos protocolos seguros da rede, j que as chaves pblicas
so o resultado de um produto entre dois nmeros primos grandes, e fatorar
um produto desses tarefa invivel computacionalmente para os
computadores atuais (mas no para os futuros computadores qunticos, eu
creio).
fato sabido de que a Natureza tem predileo por certos tipos de nmeros,
como o fato de o nmero de ptalas de uma flor ser sempre um nmero da
sequncia de Fibonacci.
O ciclo de vida de um certo inseto sempre um nmero primo, para poder
escapar de um predador. Grande parte de suas vidas gasta na forma larval e
s emerge depois de 13 ou 17 anos, e aps sua sada dos casulos, morrem
algumas semanas depois. Acredita-se que esses intervalos entre essas
emergncias dificultam a ao dos predadores.
Uma resposta para a hiptese de Riemann ter enormes implicaes para
muitos outros problemas matemticos. Os nmeros primos ocupam lugar to
fundamental na matemtica que qualquer progresso na compreenso de sua
natureza ter um impacto grandioso.
A hiptese de Riemann parece ser um problema inevitvel. Quando
navegamos pelo terreno matemtico,
como se todos os caminhos, em algum ponto, levassem necessariamente
mesma paisagem deslumbrante.
RESPONSVEIS PELA PUBLICAO
SECRETARIA DE FORMAO
Nilca F. Victorino
Magda Souza de Jesus
CEPES
CENTRO DE ESTUDOS E PESQUISAS
EDUCACIONAIS E SINDICAIS
Maria Izabel A. Noronha
Coordenadora
SECRETARIA DE COMUNICAES
Paulo Jos das Neves
Roberto Guido
ASSESSORIA DE COMUNICAES
Rosana Incio
DIAGRAMAO
Carlos Roberto F. dos Santos
Rosely Soares
ASSESSORIA DE FORMAO
Edson Roberto Nunes
SECRETRIA
Solange Cavalheiro
Produo da Secretaria de Formao
REVISO
Profa. Sandra Andria Ferreira
DIRETORIA DA APEOESP TRINIO
2008/2011
DIRETORIA EXECUTIVA:
Presidenta: Maria Izabel Azevedo Noronha; Vice-
Presidente: Jos Geraldo Corra
Jnior; Secretrio Geral: Fbio Santos de
Moraes; Secretrio Geral Adjunto: Odimar
Silva; Secretria de Finanas: Luiz Gonzaga
Jos; Secretria Adjunta de Finanas:
Suely Ftima de Oliveira; Secretrio de
Administrao e Patrimnio: Silvio de Souza;
Secretrio Adjunto de Administrao e
Patrimnio: Fbio Santos Silva; Secretrio
de Assuntos Educacionais e Culturais: Pedro
Paulo Vieira de Carvalho; Secretrio
Adjunto de Assuntos Educacionais e Culturais:
Carlos Ramiro de Castro; Secretrio
de Comunicaes: Paulo Jos das Neves;
Secretrio Adjunto de Comunicaes:
Roberto Guido; Secretria de Formao: Nilca
Fleury Victorino; Secretria Adjunta
de Formao: Magda Souza de Jesus; Secretrio
de Legislao e Defesa dos
Associados: Francisco de Assis Ferreira;
Secretria Adjunta de Legislao e Defesa
dos Associados: Zenaide Honrio; Secretrio de
Poltica Sindical: Joo Luis Dias
Zafalo; Secretria Adjunta de Poltica Sindical:
Eliana Nunes dos Santos;
Secretria de Polticas Sociais: Francisca Pereira
da Rocha; Secretrio Adjunto de
Polticas Sociais: Marcos de Oliveira Soares;
Secretria para Assuntos de
Aposentados: Silvia Pereira; Secretrio Adjunto
para Assuntos de Aposentados:
Gilberto de Lima Silva; Secretria Geral de
Organizao: Margarida Maria de Oliveira;
Secretrio de Organizao para a Capital: Jos
Wilson de Souza Maciel; Secretrio
de Organizao para a Grande So Paulo:
Douglas Martins Izzo; Secretrio de
Organizao para o Interior: Ezio Expedito
Ferreira Lima; Secretrio de
Organizao para o Interior: Ederaldo Batista.
DIRETORIA ESTADUAL:
Ademar de Assis Camelo; Aladir Cristina
Genovez Cano; Alberto Bruschi; Alex Buzeli
Bonomo; Ana Lcia Santos Cugler; Ana Paula
Pascarelli dos Santos; Anita Aparecida
Rodrigues Marson; Antonio Carlos Amado
Ferreira; Antonio Jovem de Jesus Filho;
Ariovaldo de Camargo; Ary Neves da Silva;
Benedito Jesus dos Santos Chagas; Carlos
Alberto Rezende Lopes; Carlos Barbosa da Silva;
Carlos Eduardo Vicente; Carmen
Luiza Urquiza de Souza; Cilene Maria Obici;
Deusdete Bispo da Silva; Dorival Aparecido
da Silva; Edgard Fernandes Neto; Edith Sandes
Salgado; Edna Penha Arajo; Eliane
Gonalves da Costa; Elizeu Pedro Ribeiro;
Emma Veiga Cepedano; Fernando Borges
Correia Filho; Fludio Azevedo Limas; Floripes
Ingracia Borioli Godinho; Geny Pires
Gonalves Tiritilli; Gerson Jos Jrio Rodrigues;
Gisele Cristina da Silva Lima; Idalina
Lelis de Freitas Souza; Ins Paz; Janaina
Rodrigues; Josafa Rehem Nascimento Vieira;
Jose Luiz Moreno Prado Leite; Jos Reinaldo de
Matos Leite; Josefa Gomes da Silva;
Jovina Maria da Silva; Jucina Benedita dos
Santos; Juvenal de Aguiar Penteado
Neto; Leandro Alves Oliveira; Leovani Simes
Cantazini; Lindomar Conceio da Costa
Federighi; Luci Ferreira da Silva; Luiz Carlos de
Sales Pinto; Luiz Carlos de Freitas; Luiz
Cludio de Lima; Luzelena Feitosa Vieira; Maisa
Bonifcio Lima; Mara Cristina de Almeida;
Marcio de Oliveira; Marcos Luiz da Silva; Maria
Jos Carvalho Cunha; Maria Lcia Ambrosio
Orlandi; Maria Liduina Facundo Severo; Maria
Sufaneide Rodrigues; Maria Teresinha de
Sordi; Maria Valdinete Leite Nascimento;
Mariana Coelho Rosa; Mauro da Silva Incio;
Miguel Leme Ferreira; Miguel Noel Meirelles;
Moacyr Amrico da Silva; Orivaldo Felcio;
Ozani Martiniano de Souza; Paulo Alves Pereira;
Paulo Roberto Chacon de Oliveira;
Ricardo Augusto Botaro; Ricardo Marcolino
Pinto; Rita de Cssia Cardoso; Rita Leite
Diniz; Roberta Iara Maria Lima; Roberta Maria
Teixeira Castro; Roberto Mendes; Roberto
Polle; Ronaldi Torelli; Sandro Luiz Casarini;
Sebastio Srgio Toledo Rodovalho; Sergio
Martins da Cunha; Solange Aparecida Benedeti
Penha; Sonia Aparecida Alves de Arruda;
Stenio Matheus de Morais Lima; Suzi da Silva;
Tatiana Silvrio Kapor; Telma Aparecida
Andrade Victor; Teresinha de Jesus Sousa
Martins; Tereza Cristina Moreira da Silva;
Uilder Ccio de Freitas; Ulisses Gomes Oliveira
Francisco; Vera Lcia Loureno; Vera
Lcia Zirnberger; Wilson Augusto Fiza Frazo.