Escolar Documentos
Profissional Documentos
Cultura Documentos
atravs de Problemas
(Notas de Aula)
Pierre
Introduo
pelo
seu
nome:
Histria
da
Matemtica
Atravs
de
conjecturas,
intuies
certezas
ao
longo
do
tempo.
Objetivos da Disciplina
Objetivo Geral
Conceber a histria da Matemtica como uma fonte de entendimento dos
problemas da Matemtica.
Objetivos Especficos
Apresentar atravs dos principais momentos da Histria da Matemtica a
concepo das ideias na Matemtica e o aparecimento dos problemas
delas resultantes, colocando-as nos seus contextos cultural, econmico e
institucional. De forma mais detalhada, identificam-se os seguintes
pontos:
A matemtica pr-grega
Existem registros de uma historia bimilenar da matemtica prgrega. Os manuscritos mais antigos da matemtica grega datam do sculo
VI a.C. Por esta poca j se podia olhar para uma histria da matemtica
respeitvel e, pelo menos, com dois mil anos de idade. Nesses dois
milnios, resultados significativos tinham sido obtidos pelos babilnios e
egpcios decisivos para os desenvolvimentos posteriores da matemtica.
Os egpcios articularam tcnicas complexas de clculo com nmeros
fracionrios. Na Mesopotmia foram alcanados resultados brilhantes pela
aplicao do clculo numrico resoluo de problemas prticos:
resultados que conduziram a elaborao de problemas de clculo
extremamente complicados, capazes de determinar as razes de equaes
algbricas com uma incgnita, ou tambm de sistemas de equaes com
duas incgnitas.
____________________________________________________
Abstract: This text is a historical perspective on the early algebraic approach that is usually
applied to the elementary teaching of Arithmetic. By arguing that such an initial algebraic
treatment contains several drawbacks for elementary education, the false position method is
discussed and is presented as a viable alternative for such introductory teaching. By pointing out
the historical roots of the method, the text tries to make clear several ways of visualizing this
iterative procedure. This is done by incorporating the use of manipulative and geometrical
applications as well as the use of numerical calculus as an iterative procedure for solving linear
equations. Although one conclusion is that in its simpler form this method does not constitute any
substitute for the modern symbolic algebraic resolution of equations of linear systems, it certainly
represents a valuable springboard1 to reach a more formalized study. Particularly, the false position
method is a very useful pedagogical tool in mathematics education, mainly when it is interwoven
with its initial concrete approaches and its associations with geometry and analytical geometry.
Keyword: History and Mathematics Education, Arithmetic, Method of False Position, Elementary
Iterative Processes.
Introduo.
PhD (Centre for Studies in Science and Mathematics Education University of Leeds). Mestre em
Psicologia da Educao (Pontificia Universidade Catlica de So Paulo). Professora do
Departamento de Educao da Universidade Federal Rural de Pernambuco
PhD (Centre for Studies in Science and Mathematics Education University of Leeds). MSc
(Feusp). Consultor cientifico da Scienco. Instituto Scienco de Pesquisas Educacionais.
___________
Cincia & Educao, v.10, n.3, p.545-557, 2004.
___________
Cincia & Educao, v.10, n.3, p.545-557, 2004.
era
escrita como
e assim por diante. Por simplicidade e para dirigir a nossa
ateno para o mtodo da falsa posio em si mesmo, descrevemos o raciocnio
seguido pelos antigos egpcios evitando sua complicada notao de fraes.
___________
Cincia & Educao, v.10, n.3, p.545-557, 2004.
c, ou seja: a
Portanto, se: x =
x0 = b
x0, ento:
equao.
Em outras palavras, se:
ax = b e ax0 = c, temos que
ax = b, ou seja x =
x0 a raiz da
= , logo: x = x0
___________
Cincia & Educao, v.10, n.3, p.545-557, 2004.
___________
Cincia & Educao, v.10, n.3, p.545-557, 2004.
___________
Cincia & Educao, v.10, n.3, p.545-557, 2004.
___________
Cincia & Educao, v.10, n.3, p.545-557, 2004.
___________
Cincia & Educao, v.10, n.3, p.545-557, 2004.
A comparao das barras mostra, tambm, que a soma obtida por falsa
posio (barra pequena) 3 vezes menor do que o valor correto desta soma
(barra maior).
___________
Cincia & Educao, v.10, n.3, p.545-557, 2004.
um
salto
heurstico
possa
ser
efetuado
com
maior
segurana,
posteriormente.
___________
Cincia & Educao, v.10, n.3, p.545-557, 2004.
Referncias
ABRAMOWITZ, M & STEGUN, C.A. (Ed.). Handbook of mathematical functions
with formulas, graphs, and mathematical tables. New York: Dovers Publications,
1972.
BALL, R.W. A short account of the history of mathematics. 2.ed. New York:
Dovers Publications, 1960.
BOYER, C.B. & MERZBACH, U.C. A history of mathematics. 2.ed. New York: John
Wiley & Sons, 1989.
BUNT, L; JONES, P; BEDIENT, J. The historical roots of elementary mathematics.
2.ed. New York: Dover Publications, 1988.
COLLETE, J.P. Historia de las matematicas. 2.ed. Cidade de Mxico: Siglo
Ventiuno Editores, 1986.
EVES, H. On the practicality of the rule of false position. Mathematics Teacher,
Syracuse, v.51, p.606-608, 1958.
JOSEPH, G. The crest of the peakcock: non_european roots os mathematics,
I.B.London: Tauris & Co Ltd. Publishers, 1991.
___________
Cincia & Educao, v.10, n.3, p.545-557, 2004.
___________
Cincia & Educao, v.10, n.3, p.545-557, 2004.
pode
(V)
portanto,
( pois
Logo
obtemos
e,
), da desigualdade
com
obtemos
Consequentemente,
.
Como
e,
(*)
, com
(**)
_______________________
(*)
Temos que
De (2),
.
. O que falso pois
, pois, com
, e de (1),
+.
,
. Logo,
e, consequentemente,
.
Assim, se
, da frao prpria
que
vamos considerar
se
A Matemtica na Mesopotmia
Os estudos relativos vida do homem, nas suas origens, permitem
afirmar que a partir de 5000 a.C. houve migraes de grupos humanos
para as margens dos rios Nilo, Tigre e Eufrates (regio que se chamou de
crescente frtil). A matemtica aparece atravs de farta documentao
com realce na cultura desses povos que se instalaram na regio
denominada Mesopotmia (do grego meso ptos - entre rios (Tigre e
Eufrates)) (aproximadamente o que hoje o Iraque), da qual se destaca a
cidade denominada Babilnia.
A cultura matemtica babilnia (*) caracteriza-se pelo grande
nmero de documentos, com uma criao de carter bem definido cujo
valor se alicera atravs de um sentido de ordem e de mtodo que lhes d
um carter cientifico. Esses documentos, pode-se situ-los em torno de
2000 a.C. Dispomos de milhares de tabuletas (tabletas) de argila seca
contendo textos matemticos. Os textos das tabletas eram escritos sobre
a argila mida e secas a sol. Elas so de trs tipos:
1) Tabletas contendo tabelas de clculo s contendo dados
numricos;
2) Tabletas contendo um texto enunciando um problema de
matemtica seguido de clculos que levam a sua soluo;
3) Tabletas com exerccios redigidos para escolares babilnios, com
o intuito aparente de motiv-los. Alguns desses exerccios tm a
caracterstica de serem artificiais, isto , com ausncia de
realismo do contexto.
(*) Ao se referir matemtica babilnia, quer-se dizer o tipo de matemtica cultivada na
Mesopotmia. O termo babilnio/a usado aqui em um sentido mais amplo do que o
costumeiro nos relatos de histria do Oriente Prximo, nos quais este termo se refere ao
estudo em torno da cidade da Babilnia (que foi o maior centro de atividade cultural da
Mesopotmia).
Aritmtica babilnia
Sistema de numerao
H dois signos: 1 () e 10
H 59 algarismos, escritos por justaposio do 1 e do 10, tantas vezes
quantas necessrias (numerao decimal aditiva).
A numerao obedece a um princpio de posio na base 60. Assim, em
notao, temos:
(an; an-1; ...; a1; a0)60 = an x 60n + an-1 x 60n-1 + + a1 x 60 + a0 = (a)10,
onde an, an-1, , a1, a0
Exemplos:
1) 3;20;19 = 3x60 + 20x60 + 19 = (12019)10
2) Escrever o nmero (5147)10 na forma babilnia
Observemos inicialmente que 60 < 5147 < 60.
A seguir calculamos quantas vezes o 60 est contido em 5147. Basta
dividir 5147 por 60 = 3600, o que nos d 5147 = 1x60 + 1547.
Prosseguindo, calculamos quantas vezes 60 est contido em 1547,
obtendo 1547 = 25x60+47.
Temos ento:
(5147)10 = 1x60 + 25x60 + 47 = 1;25;47
Exerccio: Converta para a numerao decimal ou babilnia, conforme o
caso:
a)
b)
c)
d)
23;2;34
11;55;43;20
674598
10439546
Obs.: As vezes a sequncia dos an's no finita. Diz-se que tal nmero
no tem um desenvolvimento finito na base 60.
= 30
= 30
= 7 x 60-1 + 30 x 60-2 =
= 0.7,30
(nmero finito de dgitos na representao posicional)
2) 7 no um nmero regular
Observemos inicialmente que 7 um nmero primo que no
aparece na decomposio de 60. Assim, o raciocnio do exemplo (1) no
pode ser aplicado aqui. Vamos com isso mostrar que o desenvolvimento
no finito.
De fato, pois:
Exerccio:
1) Mostre que 11 no um nmero regular.
2) Determine os nmeros regulares na base 60 entre 1 e 59.
Comentrio: A utilizao da tabela de inversos pelos babilnios (valores
de
para diferentes valores de n expressos no sistema sexagesimal)
permite reduzir a operao de diviso a uma multiplicao:
Aproximao para
(tableta YBC (Yale Babilonian Collection)
7289 - cerca de 1200 anos antes da poca em que Pitgoras viveu
~1800 a.C.)
Esta tableta mostra que os babilnios
sabiam que a diagonal de um quadrado
vezes
seu
lado.
Trata-se,
De fato, pois
que
muito prximo de
no sistema decimal.
Razes quadradas.
Exemplo: Calcular
( R=2)
x1 =
x2 =
________________________
(*)
em grego Metriqu. Esta obra compreende trs livros sobre as diferentes maneiras de
medir.
(**)
Se R um nmero quadrado, x1 a prpria raiz menos um, e a sequncia ainda
assim convergir para a raiz. claro que este mtodo realmente til para os casos nos
quais R no um nmero quadrado.
x3 =
x4 =
x5 =
1,416666
1,414215
1,414213
Seja f : [a,b]
uma funo derivvel e tal que f(x) = 0 tem uma
nica raiz real em ]a,b[, (f(a). f(b) < 0) com f(x) conservando o sinal em
]a,b[. Chamemos de r essa raiz. Seja x1 uma primeira aproximao para
r. A reta tangente t1 ao grfico de f em (x1, f(x1)) tem por equao
y f(x1) = f (x1)(x x1)
Sua interseo x2 com o eixo Ox satisfaz
0 f(x1) = f (x1) (x2 x1)
Logo,
x2 = x1
desde que f (x1)
(segunda aproximao)
0.
A reta tangente t2 que passa por (x2, f(x2)) tem por equao
y f(x2) = f (x2)(x x2)
Sua interseo x3 com o eixo Ox satisfaz
0 f(x2) = f (x2)(x3 x2)
Logo,
x3 = x2
(terceira aproximao)
com f (xn)
0.
grfico de f
Nota 2) O pensamento recursivo uma forma de pensar algortmica, pois
segue sistematicamente passos pr-determinados para a soluo de um
problema. No entanto, h uma distino entre o pensamento recursivo e o
pensamento algortmico tradicional: seu carter auto-referencial. Em um
processo recursivo cada passo depende dos passos que o precedem. De
fato, ele iterativo e auto-referencial.
Nota 3) Provvel procedimento geomtrico utilizado pelos
babilnios que caracteriza este raciocnio recursivo para calcular
valores aproximados de razes irracionais
Inicialmente, v-se que calcular
achar um quadrado de rea R.
Assim, como forma de uma primeira aproximao, pode-se pensar em
colocar nesse quadrado um outro quadrado com lado conhecido (
lado desse outro quadrado) e, em seguida, utilizar o seguinte resultado
geomtrico:
R a2
Logo, R a = 2ab
b=
que ser uma boa aproximao
2a
a R
R a2
R a2
R a
para b. Assim, a+b = a+
= a+
= a+
=
+
=
2 2a
2a
2a 2a
2a 2
1
R
a uma boa aproximao para a raiz de R melhor do que a.
2
a
2
, como
lgebra babilnia
A lgebra babilnia retrica, quer dizer, os problemas algbricos
so enunciados e resolvidos sem a utilizar de maneira sistemtica
notaes algbricas ou simblicas (como hoje). Os babilnios podiam
resolver equaes de segundo grau de certos tipos (completando
quadrados, ou fazendo substituies), algumas equaes cbicas e
biquadrticas.
Os problemas algbricos eram formulados e resolvidos verbalmente.
As palavras comprimento (ou lado), largura, e rea eram
frequentemente utilizadas para as incgnitas, no porque essas incgnitas
representassem
necessariamente
quantidades
geomtricas,
mas
provavelmente porque muitos problemas algbricos provinham de
situaes geomtricas e a terminologia geomtrica acabou se tornando
padro. Um exemplo do modo como esses termos eram empregados para
as incgnitas e do modo como os problemas eram enunciados :
Multipliquei comprimento e largura e a rea 600. Multipliquei o
comprimento por si mesmo e obtive uma rea. Multipliquei o excesso do
comprimento sobre a largura por si mesmo e o resultado obtido
multipliquei por 9. E isso fez um novo resultado equivalente a rea obtida
pela multiplicao do comprimento por si mesmo. Quem so o
comprimento e a largura?
Soluo: A raiz de 9 3. Toma 3 para o comprimento e, visto que ele
disse: multipliquei isso, em que o comprimento supera a largura, por si
mesmo..., tirando 1 de 3, vem 2 para a largura. Multiplica 3 por 2, vem 6.
Divide 600 por 6 d 100. A raiz de 100 10. Multiplica 10 por 3, que foi
Nota 1): No dada nenhuma frmula geral nos dois casos (como nossa
frmula quadrtica), e isso geralmente vlido para toda a matemtica
babilnia. Contudo, os procedimentos so to especficos que tem-se
certeza de um processo geral; e, aps ter-se resolvido uma grande
quantidade de problemas, no haver mais nenhuma dvida.
2): O uso dessa linguagem geomtrica fazia os babilnios misturarem
unidades diferentes. Alguns autores sugerem que, por exemplo, termo
quadrado no possui nenhum significado geomtrico a mais do que o
usado em nossa lgebra. De fato, no existiria nenhuma situao
geomtrica real sendo considerada.
(1)
De onde
E ento sucessivamente
e
Ora
(*)
_____________________
(*) O processo seguido pelos babilnios para os problemas apresentados sob a forma
do sistema de equaes acima, fundamentava-se nesta igualdade, ou seja,
E assim
Ou seja
(2)
Das equaes (1) e (2) obtemos as solues:
(**)
encontra-se analogamente
E, portanto
com
achamos
x.
Em
seguida,
Somando este
fcil
achar
reconstruir
y.
um
(3)
Ento,
(4)
Assim,
(5)
, temos ento que
(6)
(7)
onde x
o comprimento e y a largura
Soma 2 a 27
A metade
O quadrado 210, 25
Soma a 14,5
15 o comprimento x
(*)Esta expresso pode ser vista como uma raiz de uma equao do 2 grau da forma X
- -(x+ (y + 2))X + x(y + 2) = 0. Neste caso essa raiz X = x. A outra raiz X = y + 2.
Geometria babilnia
A geometria babilnia tambm tem o aspecto algbrico-aritmtico,
pois todos os problemas tm carter numrico, e sua importncia
matemtica reside na soluo aritmtica.
Entretanto, deve ficar bem caracterizado que vrias propriedades
geomtricas eram corretamente aplicadas e conhecidas nas solues de
problemas. Entre elas destacam-se:
- o Teorema das linhas (retas) proporcionais e a teoria da
semelhana;
- o Teorema dito de Pitgoras;
- a inscritibilidade do tringulo retngulo em um crculo;
- clculo das reas de tringulos, quadrados, retngulos e trapzios;
- volume do paraleleppedo retngulo, do cubo, do prisma reto, dos
troncos do cone e da pirmide;
- o valor de , que era dado 3.
De fato, muitos detalhes dos processos geomtricos permanecem
ignorados ou obscuros, apesar de milhares de textos que nos chegaram,
mas evidenciam o quo amplo era o conhecimento matemtico na
babilnia. Os fatos geomtricos no constituem uma parte especial da
matemtica babilnia, pois so tratados de modo idntico ao de qualquer
outro que se traduza por relaes numricas.
Alm disso,
o quadrado de 12
o comprimento da corda
Plimpton 322
Def.: Um terno (a,b,c), a,b,c
+,
(*)
+,
b= 2uv
c= u + v
onde u,v
+,
(1)
estabelece que no existe nenhum terno de inteiros positivos satisfazendo esta equao.
Esta afirmao foi demonstrada em 1993 por Andrew Wiles ( ingls 1953)
____________________
(1)
verdadeiramente
maravilhosa
que
esta
margem
(da
pgina
1 (mod p) para a
0 (mod p).
Outro fato a ser destacado que essa afirmao de Fermat em 1637 sobre a
descoberta
de uma
provavelmente um
carter
puramente privado, como uma simples anotao. Fermat no a repetiu. Em 1659, ele
props a Pierre de Carcavi (francs 1603 1684) como problemas a resolver os casos
particulares n=3 e n=4. Ele se deu conta que sua demonstrao pelo mtodo que ele
denominou descida infinita era incompleta.
(II)
(II)
(III)
(IV)
(V)
(VI)
119(1;59)60
120(2;0)60
169(2;49)60
12
1,949158552
3367
3456
4825
64
27
1,918802127
4601
4800
6649
75
32
1,886247907
12709
13500
18541
125
54
1,815007716
65
72
97
1,785192901
319
360
481
20
1,719983676
2291
2700
3541
54
25
1,692709418
799
960
1249
32
15
1,642669444
481
600
769
25
12
1,586122566
4961
6480
8161
10
81
40
1,562500000
45
60
75
11
1,489416840
1679
2400
2929
12
48
25
1,450017361
161
240
389
13
15
1,430238820
1771
2700
3229
14
50
27
1,387160500
56
90
106
15
(u)
(v)
60
(a=u-v)
(b=2uv)
(c=u+v)
(1)
ou
(2)
Geometricamente:
ou
Seja a equao
Problema: Encontrar as solues inteiras que a satisfaz. Fazendo
e
, temos que
, A
, t
, A
, t
,A
,t
Visualizao:
2 2 1
ponto
, a partir da transformao
com
, este
par pode ser reescrito em termos de nmeros inteiros. Assim, tem-se que
______________________________
(2)
, da
Obs. 1) Com
b = 2.u.v
c = u + v
n Com
, u e v tendo como fatores primos apenas 2, 3,
5, e no sendo ambos mpares ( exceo de =9 e v=5), tem-se as
solues do tipo Plimpton 322.
Exerccios: Demonstre o Teorema 1(ii)
, onde os pontos tm
Nota:
1- Como o conjunto dos nmeros irracionais
cardinalidade do conjunto dos nmeros reais
tem a mesma
, se parametriza o crculo
, onde os valores racionais
de t fornecem as solues.
Consideraes:
- As civilizaes babilnias e egpcias desenvolveram
importante corpo de conhecimentos em matemtica;
um
________________________________
(*)
A Matemtica Grega
O alvorecer da matemtica dedutiva
As
primeiras
explicaes
dadas
sobre
desenvolvimento
da
seus
debates,
desenvolveram
no
mais
alto
grau
arte
da
de
Elia)
[este
princpio
da
filosofia
passou
para
matemtica]
Um discpulo de Parmnides, Zeno de Elia, atravs dos seus
paradoxos utilizados com o intuito de questionar o movimento nas teorias
do mundo contnuo (Anaxgoras de Clazomenas) e do mundo discreto
(Pitgoras de Samos), movimento que se contrapunha a fixidez e a
imutabilidade do ser parmenidiano, fez aparecer a tenso entre a
argumentao e a demonstrao. Essa confrontao de ideias filosficas e
de ideias matemticas determinou a necessidade da prova.
Na matemtica:
1234-
(3)
Prova Visual
(4)
Histria
da
Geometria
de
(5)
Esta proposio tem sua equivalente na proposio 26 Livro
I Elementos
(6)
~125 d.C.) est escrito que o fara do Egito, Amasis, ficou impressionado
de ver que Tales mediu a altura da pirmide sem nenhuma dificuldade,
sem
ajuda
de
nenhum
instrumento,
plantando
um
basto
na
Onde:
AB a altura da pirmide;
DR o basto;
ER a sombra do basto;
RC a sombra da pirmide.
Como os tringulos EDR e RAB
so equingulos temos:
concreta de valores
_______________________________
(*)
Pitgoras e os pitagricos
(*)
____________________________
(*)
Pitagricos aqui correspondem aos primeiros, junto com Pitgoras, e aos mais tardios.
Do verbo mantnein aprender em grego.
(**)
Difuso do pitagorismo
demonstraes)
__________________
(*)
para os gregos
no um nmero, mas caracteriza to somente a relao de
incomensurabilidade entre a diagonal e o lado de um quadrado.
(**)
Matemtico francs (1843 1904)
escndalo lgico crise dos fundamentos
(2)
porque
figuras
do
cosmos
das
quais
eles
estavam
conscientes
da
de
medida;
ser
incomensurvel
quer
dizer
no
ser
confirmada pelo fato que Plato chama o nmero irracional de arrton (inexprimvel em
grego): o segredo, o mistrio para no se mencionar (dilogos Hipias menor e
Repblica). O termo assimmetron (incomensurvel em grego) aparece em seguida no
dilogo Teeteto; depois a palavra logon (irracional (que no permite estabelecer uma
razo, uma relao) em grego), que se encontra pela primeira vez em Demcrito de
Abdera (~460 ~370 a.C.) na sua obra Das linhas irracionais, desaparecida.
Observamos que:
25 = 16 + 9
5 = 4 + 3
Assim,
alguns
historiadores
da
matemtica
sugerem
uma
primeira
Como o quadrado de
lado h contm quatro semiquadrados que correspondem
dois quadrados,
h = a + a (= 2a).
Um fato importante
de se observar que: se esta
demons-trao
geometricamente evidente,
impossvel
de
explic-la
aritmtica-mente, porque
soma
de
dois
quadrados
(aritmticos) no jamais um
quadrado (aritmtico).
existir, pois no haver uma medida comum: os quadrados e duas razes no tero
nenhuma relao, ou seja, impossvel exprimir numericamente o quadrado da
hipotenusa quando os dois catetos so iguais, em particular iguais a 1. Esta situao fez
aparecer a categoria das quantidades incomensurveis (com a unidade).
Logo,
. Consequentemente,
Observa-se que fazendo a=b tem-se a demonstrao particular a partir dos ladrinhos
egpcios.
_______________________
(fim das notas extras)
Tringulo
Sagrado
(em grego tetractis)
10 = 1 + 2 + 3 + 4
1 representa o ponto
2 representa a linha
( Analogia entre os
nmeros e entes
3 representa a superfcie
geomtricos)
4 representa o volume
o Extenso
- no contnua;
- constituda por unidades indivisveis (pontos) separadas por
intervalos;
(Aritmtica: cincia das quantidades descontnuas)
o Os pitagricos desenvolveram:
- a teoria dos nmeros pares e mpares;
- os nmeros figurados poligonais, piramidais e poliedrais;
- a teoria dos nmeros perfeitos, amigveis, abundantes e
deficientes;
- em ligao com a msica eles desenvolveram diferentes mdias;
- a teoria dos nmeros primos (certamente porque estudaram a
noo de divisor e os nmeros perfeitos);
- desenvolveram um algoritmo para identificar inteiros positivos a,
b, c tais que a + b = c
- estabeleceram uma teoria da relao e da proporo para os
nmeros (inteiros positivos):
1) Nmero e as operaes fundamentais
a) Definio de nmero: um nmero uma quantidade
composta de unidades;
b) Definio de adio: a formao de uma nova quantidade
de unidades a partir de duas quantidades dadas;
c) Definio de multiplicao: adio repetida.
2) Relao e proporo
a) Caracterizao de relao: relao entre mltiplos/partes
de nmeros;
b) Definio de proporcionalidade (mesma relao): nmeros
so proporcionais quando o primeiro o mesmo mltiplo,
ou igual a mesma parte d segundo que o terceiro o do
quarto.
3) Critrio de igualdade de relaes
a) a:b = c:d se, e somente se, ad=bc
( a,b,c,d
2, 4, 6, ...
o Nmeros mpares crescimento determina um quadrado
1, 3, 5, 7, ...
= 36
Nmeros figurados
o Os pitagricos desenvolveram uma classificao dos nmeros
baseada em configuraes geomtricas determinadas atravs de
unidades materiais (pontos). Essas configuraes, caracterizam os
chamados nmeros figurados;
o Os nmeros figurados estabelecem uma maneira de se modelar a
natureza.
Nmeros figurados
Existe
uma
estreita
relao
entre
as
progresses
1+2=3
1+2+3=6
1+2+3+4=10
____________________
(*
de uma classe consecutiva de nmeros produz o elemento seguinte dessa classe, isto ,
o elemento poligonal seguinte com a mesma configurao geomtrica.
T1 = 1
T2 = 1 + 2 = 3
T3 = 1 + 2 + 3 = 3 + 3 = 6
T4 = 1 + 2 + 3 + 4 = 6 + 4 = 10
.
.
.
Tn = 1 + 2 + 3 + ... + n =
+n=
Rotao de 180
(reproduz o tringulo)
Generalizando:
2 Tn = n(n+1)
Tn =
n
n+1
figurados,
bem
como
de
todas
as
sequncias
gnmicas
correspondentes.
Exemplo:
Nmeros (1+2)-agonais nmeros triangulares
m=1
n=1
n=2
n=3
n=4
...
Exerccio: Demonstre as proposies abaixo utilizando a expresso geral
acima.
2+4=6
2 + 4 + 6 = 12
2 + 4 + 6 + 8 = 20
O1 = 2 (=1x2)
O2 = 2 + 4 = 6 (=2x3)
O3 = 2 + 4+ 6 = 6 + 6 = 12 (=3x4)
O4 = 2 + 4 + 6 + 8 = 12 + 8 = 20 (=4x5)
...
On = n(n+1)
Gnomos: 4, 6, 8, ...
Obs.:
1) Os nmeros oblongos so pares;
2) Reagrupando os pontos dos nmeros oblongos se constata uma
reao interessante entre os nmeros oblongos e triangulares: um
n-simo nmero oblongo a soma de dois triangulares de ordem n.
Da, On = 2Tn, ou seja, n(n+1) = 2Tn e, consequentemente, Tn =
;
Assim, por exemplo, para o nmero oblongo 20, temos:
20 = 2x10
O4 = 2T4
Divisibilidade
Os pontos das configuraes geomtricas de certos nmeros
podem ser reagrupados de diferentes maneiras.
Exemplo: Consideremos o nmero oblongo 12
12
12 = 2 x 6
(dois pacotes de agrupa-mentos por seis pontos)
12 = 6 x 2
12 = 3 x 4
12 = 4 x 3
Nmeros Lineares
(nmeros primos em grego aritmoi protoi)
Para certos nmeros absolutamente impossvel de fazer
agrupamentos iguais de seus pontos. Chamam-se por isso nmeros
lineares, identificados atualmente como nmeros primos (os outros so
ditos nmeros secundrios). Assim um nmero primo um nmero cujos
pontos s podem se agrupar de modo linear.
Exemplo: Seja o nmero 11
Agrupamento
por
2:
impossvel
Agrupamento
impossvel
por
3:
Agrupamento
por
4:
impossvel
Agrupamento
por
5:
impossvel
Agrupamento por 6:
impossvel
Agrupamento por 7:
impossvel
Agrupamento por 8:
impossvel
Agrupamento
por
9:
impossvel
Agrupamento
por
10:
impossvel
G_____________________
B _______________
C __________________
E ___________________________________._________F
acompanhada
de
alguns
comentrios
explicativos )
Sejam os nmeros primos propostos A,
B, C. Eu digo que os nmeros primos so
mais numerosos que A, B, C.
Com efeito, que seja tomado o menor
(nmero) medido por A, B, C, e que seja
DE e que a unidade DF seja
acrescentada a DE. Ento ou bem EF
primo ou bem no.
De incio que ele seja primo; ento
foram encontrados os nmeros primos
A,B, C, EF mais numerosos que A, B, C.
Mas ento que EF no seja primo; ele
ento medido por um certo nmero primo
(Proposio 32- Livro VII: Todo nmero
ou primo ou medido por algum
nmero primo). Que ele seja medido
pelo (nmero) primo G. Eu digo que G
no o mesmo que um qualquer dos A,
B, C.
Com efeito, se possvel, que ele o
seja. Ora A, B, C medem DE; ento G
mede
tambm
DE.
Mas
ele
mede
G = B ou G = C. O nmero G divisor de
primo.
A, G
B e
C. Ento A, B, C e G so quatro
Obs.:
1) O enunciado um enunciado geral, como indica sua formulao:
(...) toda quantidade de nmeros primos proposta. Euclides s
tomando trs nmeros faz uma demonstrao em aparncia
particular, mas implicitamente geral. A demonstrao se generaliza
indexando-se os nmeros primos.
Exerccio: Faa a demonstrao geral.
Questo: Por que Euclides no faz uso do produto, o que mais direto?
sua
generalizao:
pode-se
multiplicar
dois
nmeros,
Limitado e ilimitado
Um e mltiplo
Em repouso e em movimento
Reto e curvo
Bem e mal
mpar e par
Direita e esquerda
(lista expressa na
obra Metafsica
de Aristteles)
Macho e fmea
Luz e trevas
Quadrado e oblongos (retngulo)
Obs. Importante:
Esse algoritmo representa a
passagem da medida pontual
para a medida linear.
Onde:
a1 = a + d
d1 = 2a + d
_____________________
(*)
a unidade sendo o comeo de todas as coisas, deve ser potencialmente um lado e uma
diagonal.
Assim,
d=1
d1 = 2a + d = 2 x 1 + 1 = 3
d2 = 2a1 + d1 = 2 x 2 + 3 = 7
d3 = 2a2 + d2 = 2 x 5 + 7 = 17
d4 = 2a3 + d3 = 2 x 12 + 17 = 41
29
...
a=1
a1 = a + d = 1 + 1 = 2
a2 = a1 + d1 = 2 + 3 = 5
a3 = a2 + d2 = 5 + 7 = 12
a4 = a3 + d3 = 12 + 17 =
...
=
=
=
=
9
49
289
1681
a1
a2
a3
a4
...
+
+
+
+
a1
a2
a3
a4
=
=
=
=
2a1 = 8
50
288
1682
(d1
(d2
(d3
(d4
(...)
2a1
2a2
2a3
2a4
=
=
=
=
+1) (1)
-1) (2)
+1)
-1)
Aparece aqui uma prova peridica (+1, -1, +1, -1, ...) da
incomensurabilidade. Alm disso, observa-se que
est sempre
enquadrado por excesso e por falta por relaes racionais (em grego
lgoi):
(por falta),
excesso),
(por excesso),
(por falta),
(por
(3)
2a1 d1 = -1
2a2 - d2 = +1
corresponde a
__________________
(*)
(**)
Uma equao diofantina (de Diofanto de Alexandria) uma equao com vrias
variveis a coeficientes inteiros cujas solues procuradas so inteiros (Aritmtica).
Uma equao de Pell (atribuio errada dada por Euler) Fermat uma equao
diofantina quadrtica da forma x - -ny =m, onde n
,n
N, N
em
. Uma
forma muito estudada da equao de Pell-Fermat est identificada aos casos onde
m = 1.
Fermat: x - ny =
1 tem uma infinidade de solues inteiras (afirmao verdadeira e
provada por Joseph-Louis Lagrange (francs 1736 1813).
________________________
(fim das notas extras)
Exemplo visual:
Nmero quadrado 16
Nmero oblongo 12
. Vamos
,e
. Consequentemente, p par,
nmero mpar (seno p e q seriam divisveis por 2). Temos ento que p
par e q impar. Entretanto como p=2k, k
,
(2k) = 2q
4k = 2q
2k = q
ento q par.
Isso uma contradio, pois como q impar, q tambm o , mas a
ltima igualdade mostra que q par. Com isso a hiptese de que
falsa.
o O procedimento de antifairese(*) (em grego anthiphairesis anto=
recproco hipo=sub hairesis=trao) (procedimento das
substraes
recprocas)
(Demonstrao
geomtricas
da
incomensurabilidade entre a diagonal e o lado do quadrado)(**)
_____________________________
(*)
reto e
reto, logo
AD =
AC =
(**)
A (segmento inteiro)
m(A) = 14
R1
R1
R1
B = n1R1 + R2 , R2 < R1
A = n0B + R1,
R1 < B (*)
n1 = 2
n0 = 3
m(R2) = 0
m(R1) = 2
(B n1R1 = R2)
(A n0B = R1)
_________________________________
(*)
A chamada diviso euclidiana (expresso criada por Bourbaki (ver pgina 231))
Da,
Continuando a eliminar
Obtemos a
seguintes:
frao
contnua,
que
fornece
os
valores
aproximados
o Observaes importantes:
- A incomensurabilidade longe de ter paralisado o pensamento
matemtico, ela o desenvolveu: o esprito grego mobilizou todos
seus recursos para encontrar solues matematicamente e
filosoficamente aceitveis assimilao intelectual das grandezas
incomensurveis. Entretanto, ela o deslocou completamente (o
pensamento matemtico) para a geometria.
- A descoberta de que
no um aritms colocou fim ao projeto
pitagricos de aritmetizao da geometria. Esse fim vai conduzir
forma axiomtica de Euclides, destinada de uma parte a salvar o
mtodo da prova dedutiva e, de outra, a admitir a irredutibilidade
da geometria aritmtica.
- O desenvolvimento da matemtica de um modo geral no linear
e nem cumulativo.
_______________
(*)
Calcular x demonstrar
Veremos como, antes de Euclides e Aristteles, a necessidade de
demonstrao proposta por Plato em seu dilogo intitulado Meno.
Observamos como a prpria definio do que matemtica, nesta poca,
foi influenciada pelo problema da incomensurabilidade.
Trecho do dilogo entre Scrates, Meno e um escravo:
SCRATES (voltando-se para o escravo ao mesmo tempo em que traa no
solo as figuras necessrias sua demonstrao): - Dize-me, rapaz: sabes
o que um quadrado?
ESCRAVO: - Sei.
SCRATES: - No uma figura, como esta, de quatro lados iguais?
ESCRAVO: - .
SCRATES (referindo-se s diagonais): - E estas linhas, que cortam o
quadrado ao meio, no so tambm iguais?
ESCRAVO: - So.
SCRATES: - Esta figura poderia ser maior ou menor, no poderia?
ESCRAVO: - Poderia.
SCRATES: - Se, pois, este lado mede dois ps e este tambm mede dois
ps, quantos ps ter a superfcie(1) deste quadrado? Repara bem: se isto
for igual a dois ps e isto igual a um p, a superfcie no ter de ser o
resultado de uma vez dois ps?
___________________________________
(1)-
ESCRAVO: - Ter.
SCRATES: - Mas este lado mede tambm dois ps; portanto, a superfcie
no igual a duas vezes dois ps?
ESCRAVO: - .
SCRATES: - A superfcie, por conseguinte mede duas vezes dois ps?
ESCRAVO: - Mede.
SCRATES: - E quanto iguala duas vezes dois ps? Conta e dize!
ESCRAVO: - Quatro, Scrates.
SCRATES: - E no nos seria possvel desenhar aqui uma outra figura,
com rea dupla e de lados iguais como(2) esta?
ESCRAVO: - Sim, seria.
SCRATES: - E quantos ps, ento, mediria a sua superfcie?
ESCRAVO: - Oito.
SCRATES: - Bem; experimenta agora responder ao seguinte: que
comprimento ter cada lado de nova figura? Repara: o lado deste mede
dois ps, quanto medir, ento cada lado do quadrado de rea dupla?
ESCRAVO: - claro que mede o dobro daquele.
SCRATES (dirigindo-se a Meno): - Vs, caro Meno, que nada ensino, e
que nada mais fao do que interrog-lo? Este rapaz agora pensa que sabe
quanto mede a linha lateral que formar um quadrado de oito ps. s da
minha opinio?
MENO: - Sou.
SCRATES: - Mas crs que ele de fato saiba?
________________________________________
(2)-
Aprender recordar-se das verdades que a alma j contemplou a sua existncia no-
terrena no mundo das Ideias (um, em grego, topos urnios que quer dizer lugar celeste)
teoria da reminiscncia (em grego anamnsis q eu distinto de mnm, lembrana em grego)
(3)
(4)
(5)
ESCRAVO: - verdade!
SCRATES: - Mas ento? Qual esta rea? No o qudruplo?
ESCRAVO: - Necessariamente.
SCRATES: - O duplo e o qudruplo so a mesma coisa?
ESCRAVO: - Nunca, por Zeus!
SCRATES: - E que so, ento?
ESCRAVO: - Duplo significa duas vezes; e qudruplo, quatro vezes.
SCRATES: - Por conseguinte, esta linha o lado de um quadrado cuja
rea mede quatro a rea do primeiro?
ESCRAVO: - Sem dvida.
SCRATES: - E quatro vezes quatro d dezesseis, no ?
ESCRAVO: - Exatamente.
SCRATES: - Mas, ento, qual o lado do quadrado de rea dupla? Este
lado d o qudruplo, no d?
ESCRAVO: - Sim.
SCRATES: - A superfcie de quatro ps quadrados tem lados de dois ps?
ESCRAVO: - Tem.
SCRATES: - O quadrado de oito ps quadrados o dobro do quadrado
de quatro e a metade do quadrado de dezesseis ps, no ?
ESCRAVO: - .
SCRATES: - E se lado, ento, no ser maior do que o lado de um e
menor do que o lado de outro desses(6) dois quadrados?
ESCRAVO: - Ser.
_______________________
(6)- na prxima pgina
(7)
(8)
Despertando-lhe
dvidas
paralisando-o
como
Tipo de peixe que emana descargas eltricas capazes de paralisar a presa. Em grego,
(10)-
(11)-
no
poderemos
preencher
ngulo
com
outro
(14)-
(15)-
ESCRAVO: - Exatamente.
SCRATES: - Repara, agora: qual a rea desta figura?
ESCRAVO: - No sei.
SCRATES: - V: dissemos que cada linha nestes quatro quadrados
dividia cada um pela metade, no dissemos?
ESCRAVO: - Sim, dissemos.
SCRATES: - Bem; ento, quantas metades temos(16) aqui?
ESCRAVO: - Quatro.
SCRATES: - E aqui(17)?
ESCRAVO: - Duas.
SCRATES: - E em que relao aquelas quatro esto para estas(18) duas?
ESCRAVO: - O dobro.
SCRATES: - Logo, quantos ps quadrados mede esta(19) superfcie?
ESCRAVO: - Oito.
___________________________________
(16)-
(17)-
(18)-
(19)-
Observamos,
em
primeiro
lugar,
que
escravo
possui,
seguramente, uma boa tcnica para a realizao de clculos, uma vez que
responde prontamente a cada pergunta sobre o resultado de uma
multiplicao. Talvez soubesse utilizar o gnomon e as tbuas de
operaes. Sabia calcular os quadrados de 3 e 4. Talvez conhecesse at
mesmo algumas triplas pitagricas. O que o escravo no sabe ento?
Para
Scrates,
conhecimento
dos
clculos,
que
pode
ser
(*)
quando
admitimos
continuidade
das
grandezas.
(da pgina anterior) De fato, olhando-se de uma maneira mais global, o que se tem
nmero
(agora
no
sentido
amplo)
concebido
como
Plato
as grandezas geomtricas
surveis (sensvel)
________________________
(Notas extras na prxima pgina)
incomen-
+,
n 2.
Obs: s(1) = 1
Definio de nmero perfeito:
o pelos pitagricos: um nmero igual soma de suas partes
alquotas ( divisores prprios).
o por Euler: um nmero n perfeito se S(n)=2n, n
+, n 2.
Exemplos:
6=3 (metade de 6) + 2(tera parte de 6) + 1(sexta parte de 6)
28 = 14(metade de 28) + 7(quarta parte de 28) + 4(stima parte
de 28) + 2(dcima quarta parte de 28) + 1(vigsima oitava parte de 28)
Exemplo:
o nmero 18 inferior soma de suas partes alquotas, pois
sp aliq(18) = 9 + 6 + 3 + 2 + 1 = 21 18.
______________
Notas extras da pgina anterior:
(*)
(**)
16
32
(
64
=
...
2m-1
) um nmero primo
um nmero perfeito.
1) um nmero perfeito
Obs.:
para
Logo, n perfeito.
, seja um
nmero primo que m seja num nmero primo. De fato, suponhamos que
m no seja um nmero primo. Da, m= ab, a,b>1 e 2m 1 = 2ab 1 =
(2a)b 1 = (2a)b 1b = (2a 1)((2a)b 1 + (2a)b 2 +...+ + 2a + 1b 1) no
um nmero primo.
Obs.:
1) Um ser um nmero primo condio necessria para 2m 1 ser um
nmero primo, mas no suficiente.
Contra-exemplo: m=11 um nmero primo. Entretanto 211 1
no primo, pois 211 1 = 2048 1 = 2047 = 23 x 89.
2) Se
um nmero composto, 2m 1 um nmero
composto.
3) Mersenne descobriu que os 8 primeiros nmeros perfeitos so dados
por m= 2, 3, 5, 7, 13, 17, 19, 31.
4) Existe algum nmero perfeito mpar?
No h nenhum nmero perfeito mpar menor do que 10300.
(2m 1) para 2m 1
Demonstrao:
Suponha que n seja perfeito. Seja n par, n = 2m-1q, q mpar, m,
q 2. Cada divisor de n tem a forma 2rd, 0 r m 1, d | q.
-1
Da,
s(n) = 2.2m-1. q = (2m 1)s(q)
m
2 q = (2m 1)s(q)
m
2 q + q q = (2m 1)s(q)
m
(2 1)q + q = (2m 1)s(q)
m
q = (2 1)(s(q) q)
Logo, n = 2m -1. ( 2m 1) (s(q) q). Devemos mostrar que s(q) q
= 1. Suponhamos por absurdo que s(q) q > 1. (s(q) > q). Da, s(q) > 1
q. Consequentemente q tem como fatores distintos 1, s(q) q, q
(tendo em vista que q = (2m 1) (s(q) q). Assim, s(q)
1 + (s(q)
q) + q = 1 + s(q). Contradio. Logo s(q) q = 1 q primo. Com isso,
n = 2m 1 (2m - 1)1 n = 2m 1 (2m 1)
Nmeros Amigos
Dois nmeros so amigos quando cada um deles igual a soma das
partes alquotas do outro.
O par de nmeros 220-284 o nico conhecido da antiguidade,
atribudo Pitgoras.
As triplas Pitagricas
O coroamento do Livro I dos Elementos de Euclides a penltima
proposio, a 47(*), dita o teorema de Pitgoras: Em um tringulo
retngulo o quadrado sobre o lado oposto ao ngulo reto (**), igual aos
quadrados sobre os outros lados contendo o ngulo reto.
__________________________________
(*)
(**)
Exemplo:
9 = 2 x 4 + 1 (2n +1)
Euclides assim designa os ngulos nos vrtices de um poliedro que, por oposio aos
ngulos planos de um polgono, envolvem uma poro do espao.
est
identificado
com
uma
forma
Tringulo
retngulo
o 2x4
=8
(tetraedro)
2 fogo
1
(octaedro)
1 ar
o 1x4
+2x8
= 20
1 tetraedro + 2 octaedros = 1
icosaedro
1 fogo + 2 ar = 1 gua
x8
= 20
octaedro = 1 icosaedro
ar = 1 gua
_____________________________
(*)
F=6
Foi isso que fez Euler introduzir o termo aresta para designar uma
das caractersticas de todos os poliedros. Assim, ele formulou a seguinte
relao para poliedros convexos:
VA+F=2
Exemplos:
1) Tetraedro: F = 4
V=4
A=6
46+4=2
2) Octaedro: F = 8
V=6
A = 12
6 12 + 8 = 2
Decompondo-o a partir de um
vrtice (B) em
3 tringulos = ( 5 2 )
Soma dos ngulos internos:
tringulos
ABE:
EBD:
BCD:
3
.
= ( 5 2)
do polgono
(p2)
Fato: para um poliedro regular que tenha como faces p-gonos regulares
congruentes com q p-gonos encontrando-se em cada vrtice, vale a
desigualdade:
Recortando e
achatando
Logo,
autodual
formam um
par dual
formam um
par dual
Poliedro Regular
Vrtices
Faces
Arestas
Tetraedro
Hexaedro
12
Octaedro
12
Dodecaedro
20
12
30
Icosaedro
12
20
30
o nico poliedro
regular a ter o mesmo
n de faces e vrtices
________________________________
(*)
Todo poliedro regular est associado a um outro poliedro regular chamado dual, de tal
maneira que:
* o dual do poliedro dual o poliedro inicial;
* as faces de um esto em correspondncia com os vrtices do outro.
De forma genrica, a dualidade definida no interior de uma famlia de objetos
matemticos tal que a todo objeto A de se associa um outro objeto B de . Diz-se que
B o dual de A e que A o primal de B. Se A=B, diz-se que A autodual.
claramente
sua
descoberta
sua
construo.
Uma
sabiam calcular a soma dos ngulos internos dos polgonos regulares, eles
podiam calcular o valor, de cada ngulo interno desse pentgono,
do
ngulo reto
pentgonos
construo do dodecaedro.
Propores e Mdias
[ (em grego analogua significa proporo)
(em latim medietas significa mdia, mediedade)]
( b a mdia proporcional
de a e c, e c a terceira proporcional de a e b)
Proposio 19 Livro VII dos Elementos de Euclides:
Se quatro nmeros so proporcionais, o produto do primeiro multiplicado pelo quarto,
ser igual ao produto do segundo pelo terceiro (...)
__________________________________________
(1)
Exemplos:
1) a=5, b=10, c=4, d=8
a tem a mesma parte de b, que c de d, isto , a metade.
____________________________
(fim das notas extras)
Soluo:
O calculador egpcio pega inicialmente nmero 7 aumentado de sua
stima parte, isto , 1. O que d 8. Agora ele precisa encontrar um
nmero que seja para 19 o que 7 para 8. Isto caracteriza uma
proporo onde um dos quatros termos no conhecido
(mtodo
da falsa posio).
ou
- Plato:
* O mundo gerado corporal, quer dizer visvel e tangvel.
* Sem o fogo nada se poderia tornar visvel.
* Nada poderia se tornar tangvel sem alguma coisa que fosse
slida, ora nada poderia ser slido sem a terra.
* Desses dois elementos foi fabricado o corpo do mundo.
* Segundo Plato, o mundo constitudo de quatro elementos.
Por que quatro? Inicialmente temos os elementos fogo e terra.
Para reunir estes dois elementos necessrio ao menos um
outro elemento que definir a relao entre os dois primeiros.
Entretanto se existisse somente trs elementos, o corpo do
mundo seria um plano e no um slido, porque suficiente
trs termos para constituir uma proporo, ou seja,
suficiente uma nica mdia geomtrica. Assim temos:
i)
no caso plano :
Esses trs termos so ligados pelo desenvolvimento
binomial.
de
mdias
ii)
o caso slido:
(proporo contnua)
ab a mdia geomtrica de a e ab
e
ab a mdia geomtrica de ab e b
a,
desenvolvimento
ab,
ab,
b,
que
so
ligados
(a + b ) = a + 3b + +3ab + b.
pelo
3, 3x2, 2
3, 2x3, 2x3 e
18, 12, 8
2x3, 2x3, 2
Exerccio: se: a, b, c
harmnica, mostre que:
1)
2)
ou
uma
progresso
geomtrica,
harmnica.
ou
uma
progresso
Exemplo: 8, 5, 3.(*)
Umbigo
Formam uma
seo dourada
P
_______________________________
(*)
___________________
(1)
origem hebraica, baseada no termo habak que significa poeira e outra oriunda da forma
grega abax ou do vocbulo latino abacus que corresponderia a mesa ou tabuleiro coberto
com areia ou p fino. Ambas as suposies parecem indicar o meio de que se valiam os
antigos para gravar letras, nmeros ou figuras, traando-as com um dedo ou um estilete
na areia. Da se derivaram os instrumentos nos quais o uso de pequenas bolas
simplificava o mecanismo de operaes dificultadas pelo emprego de numeraes
complexas. O aparelho consiste em um quadriltero cujos lados verticais esto unidos
por fios paralelos nos quais deslizam as pequenas bolas. Aperfeioados na China e no
Japo, tiveram utilizao generalizada nos sculos XI e XII quando vrias obras foram
escritas a respeito, entre as quais a de Fibonacci.
F2 = 1
tende para
Prova-se que
Observa-se, por outro lado, que esses quocientes sucessivos de nmeros
de Fibonacci so aproximaes alternativamente inferiores e superiores a
O Tringulo de Pascal
o
o
o
Linha 1
Ordem 0
Linha 2
Ordem 1
4 +
coeficientes de
nmeros triangulares
coeficientes de
coeficientes de
1
ordem = linha
5
1+
5 + 10 + 10 + 5
15
20
15
21
35
35
21
28
56
70
56
28
36
84
126
126
82
36
+ 1
= 32 = 2
1
(...)
(Notao para
Exerccios:
1) Mostre por induo em n a seguinte identidade:
2) Mostre que se m | n, m, n,
, ento Fm | Fn.
________________________________
(fim das notas extras)
Exerccio:
1) Mostre que o valor (positivo) dessa relao vale
. Fazendo
O retngulo
e 1. Se reitera a
, e assim
2.
3.
As retas BC e
DE so
paralelas.
DB = ABC
EC = ACB
nmero perfeito
nmero abundante
nmero deficiente ]
diversidade
milesianos
pitagricos
existentes
das
coisas
provenientes
da gua, do ar,
peiron,
do
do
nmero,
etc.
o Parmnides de Elia
- obra: poema filosfico Da Natureza;
- esta obra marca uma virada decisiva no pensamento (cientfico): a
eliminao da contradio e da incoerncia;
- so estabelecidas duas vias para o pensamento:
Via da verdade
desvelamento)
(em
grego
alteia:
no-velamento
- filosofia de Parmnides centralizada na noo de Unidade (UmSer) incompatvel com a multiplicidade e movimento que se
percebe;
- alguns aspectos bsicos:
* o ser e no pode no ser (primeira formulao explcita do
princpio de identidade: A=A);
* o que , sendo o que tem e ser nico;
* alm do que s poderia existir o que no absurdo:
existncia do no-ser;
* o mesmo pensar o ser e ser;
* pelo princpio de identidade:
O ser :
Eterno
Uno
Imutvel
Pleno
Contnuo
Indivisvel
Imvel
mvel dever
De fato,
Resposta:
pode se movimentar
Aquiles (e a tartaruga)
(...) O mais lento na corrida jamais ser alcanado pelo mais rpido; pois
o que persegue deve sempre comear por atingir o ponto de onde partiu o
que foge. o mesmo argumento que o da dicotomia, a nica diferena
est em que, se o espao sucessivamente acrescentado bem dividido,
no o mais em dois (Fsica livro VI de Aristteles)
Visualizao:
A flecha
(...) A flecha, ao ser projetada, est em repouso. a suposio de que o
tempo seja composto de instantes(...) ( Fsica livro VI de Aristteles)
- Quer dizer, se o tempo feito de instantes indivisveis, ento a flecha
em movimento est sempre parada, pois a toda instante a flecha est em
uma posio dada e ocupa um espao igual a ela mesma. Pois que isto
verdadeiro em todo instante, segue-se que a flecha no se desloca nunca
porque um corpo que ocupa sempre o mesmo espao no se desloca.
- Zeno serve-se do fato de que a percepo que se tem do movimento
da flecha no estacado, mas contnuo. O que no pode ser o caso se o
tempo e o espao so constitudos de elementos indivisveis, ou seja, a
flecha tem que saltar de uma posio seguinte sem nunca ocupar a
posio intermediria. Mas isto impossvel, pois seu movimento
contnuo.
Visualizao:
Ela no pode passar do lugar A do instante
t1 ao lugar B do instante t2. Ela tem de ficar
imvel em A
- Zeno no pode nos dizer o que h entre dois existentes, pois que o
no-existente.
Obs.:
1) Zeno nos mostra que o espao e o tempo, que eles sejam divisveis
ao infinito (contnuos) ou compostos de indivisveis (discretos), no
nos permitem de pensar logicamente o movimento.
2) Parmnides e Zeno so os primeiros a separar o sensvel do
inteligvel. Zeno nos ensina a desconfiar das aparncias e a refletir
sobre a noo de teoria. Uma teoria pode explicar tudo? Ela
suficiente para explicar os fatos que ns observamos?
3) Podemos reagrupar os quatro argumentos de Zeno no quadro
abaixo:
Continuismo
Atomismo
Imobilidade
dicotomia
flecha
Movimento
Aquiles
estdio
Teeteto
diz
que
Teodoro
mostrou
que
no so comensurveis
com a unidade, cada uma separadamente (*). Entretanto no se
sabe por que Teodoro parou em
.
Em 1941 o matemtico alemo J.H.Anderhub sugeriu a
construo geomtrica abaixo para explicar o motivo que fez
Teodoro parar em
:
a ltima raiz antes que os novos
tringulos recubram a construo geomtrica abaixo:
____________________________
(*)
Anderhub
denominou
esta
espiral
die
Quadratwurzelschnecke que quer dizer o caracol da raiz
quadrada. Em homenagem Teodoro, ela tambm chamada
espiral de Teodoro.
Historiadores da matemtica a partir da leitura dos textos
gregos sugerem a demonstrao de carter aritmtico:
Se N = 4n + 3, n= 0, 1, 2, 3 ( N
{ 3, 7, 11, 15} )
Se N = 8n + 5, n= 0, 1 (N
{ 5, 13})
_____________________________
(*)
Visualizao:
9 um nmero quadrado
3 um nmero retangular
3 uma longitude
9 um nmero quadrado
6 um nmero retangular
uma raiz
3 um nmero retangular
(1)
Ou seja,
(2)
(3)
Alm disso,
(1)
. (3)
(2) e (3)
e portanto
Isto :
Obs.:
1) Na prova pelo Mtodo de Induo Finita do teorema acima, os itens
(a) e (b) constituem o passo chamado base da induo. No item (c) a
desigualdade
corresponde ao
e uma
Nota: Dos Axiomas II, III e IV v-se que o processo de definir o sucessor
de um nmero natural visto atravs de uma funo injetiva
.
Deste modo tem-se o seguinte diagrama:
s
1 2 3 4 5 ...
tambm pertence a X.
Nestas condies, X= .
. Suponha que
Deve-se observar que a hiptese (ii) diz que sempre que algum
pertena a categoria P( ) verdadeira, ento
+1 tambm pertence a
3)
Consideraes histricas: Cita-se o matemtico Francesco Maurolico
(italiano 1494 1575) como o primeiro a utilizar a induo matemtica
nos eu livro Arithmeticorum libri duo (1575) ao demonstrar que a soma
dos
primeiros nmeros mpares igual a
(isto , 1+3+5+...+(
)= ). Entretanto, descobertas recentes mostram que, antes,
matemticos como Abu Bakr Muhammad ibn al-Hasan al-Karaji (persa ~953 ~1029) e Lvi ben Gershom dito Gersonide (francs de origem
judia 1288 1344) j utilizavam este mtodo de demonstrao para
sentenas abertas sobre .
_________________________
(*)
4)
Pode ocorrer que uma dada sentena aberta seja vlida para todos
os nmeros naturais a partir de um determinado nmero natural no, mas
no necessariamente para valores menores. Como proceder nesses casos?
Utilizando a generalizao da prova por Induo Matemtica vista na
Nota para o axioma V:
Seja P(n) uma sentena aberta sobre
, e seja n0
. Suponha que
i) P(no) verdade, e
ii) P(n+1) verdade sempre que P(n) verdade, para n
Ento, P(n) verdade para todo nmero natural n
n0.
n0.
No
perodo
da
matemtica
em
Atenas
os
conhecimentos
rea do quadrado =
= 3,160493827
Identificado
como
como 3,160493827.]
____________________________
(*)
Quadratura um nome emprestado do latim quadratura que por sua vez derivada de
quadratus (quadrado). Este termo de geometria entra correntemente na expresso A
quadratura do crculo em 1407. Ele tomou o sentido de operao consistindo a
determinar a rea delimitada por uma curva fechada em 1875.
(**)
De fato, para os gregos duas figuras geomtricas faziam o objeto de uma admirao
quase mstica: a reta e o crculo, pilares fundadores da sociedade grega, tanto na
matemtica quanto na poltica. Assim, o crculo era o smbolo da democracia, pois em
uma democracia, todos os cidados esto a uma igual distncia do poder, a exemplo dos
pontos do crculo em relao a seu centro. Se est longe da antiguidade egpcia, onde a
organizao poltica estava simbolizada por uma pirmide, modelo da hierarquizao
social.
fosse
possvel
com
rgua
compasso,
mtodos
mais
1) Duplicao do cubo
- A duplicao do quadrado
(AD = AB)
DB = 2AB
a diagonal do
quadrado dado
No tringulo retngulo,
(a altura x a mdia
e, da,
Segmento
deslizante
Logo,
O ponto de interseo
da curva com a reta MO
caracteriza a configurao
para a soluo do problema.
OM = NM
O lugar geomtrico do
ponto M quando M descreve o
crculo chamado cisside(*)
(reta) de Diocls.
Temos que Mm = Om.mI
(pois o tringulo OMI retngulo
Ponto cuspidal
em M).
(ponto anguloso)
Alm
disso,
Om.mI
Por
semelhana de tringulos
E, consequentemente,
Logo
Mm=y, temos
Om = mI = OI Om = OI x.
Considerando m(OI) = 1, Om = 1 x e
(*)
Da,
e ento
Logo
Fazendo b = 2, OC mede
A proporo contnua de Hipcrates pode tambm ser escrita sob a
forma de duas propores simultneas seguintes:
- Obs:
Alguns
historiadores
pensam
que
essas
curvas
no
fossem
que
elas
foram
construdas
pontualmente
de
maneira
mecnica.(*)
____________________________
(*)
Outros historiadores, seguindo Eutocio de Ascalon (~480 ~540 dC) preferem admitir
que elas j eram conhecidas por Mencmo como sees do cone. Ponto importante:
atravs da resoluo do problema da duplicao do cubo pelas intersees de sees
cnicas (interseo de duas parbolas e de uma parbola com uma hiprbole eqiltera),
Mencmo trouxe para o problema duas solues logicamente deduzidas a partir de
definies claras e distintas
2) Trisseo do ngulo
O problema da trisseco do ngulo estava resolvido para o ngulo
reto, graas ao tringulo equiltero(*). Restava resolver para o ngulo
agudo. A questo se apresentava naturalmente. O estudo da bisseco
tinha fixado a ateno das primeiras geraes dos gemetras gregos a
propsito da importncia da bissetriz no estudo das propriedades do
tringulo. Por um movimento lgico do pensamento, o problema da
bisseco levava a procurar a trisseco do ngulo atravs da rgua sem
graduao e do compasso.
Acredita-se que
o Hpias de Elis (~465 ~390 aC) foi um dos primeiros a tentar
resolver este problema inventando uma curva denominada
trissectriz de Hpias (conhecida tambm como quadratriz de
Dinostrato (~390 320 aC) (irmo de Mencmo))
______________________________
(*)
, so
lado
DC
desce
com
Os
dois
movimentos
esto
geomtrico
gerado
pelas
Obs.:
V-se que a trissectriz nunca intersecta o lado AB porque quando AD
chegar a AB, DC tambm chegar de modo que os dois lados coincidem
sem se intersectar. Assim a trissectriz se aproxima indefinidamente do
ponto R.
Assim,
segmento passe por um ponto dado. Assim, uma linha reta tem que ser
colocada entre duas linhas retas ou curvas de maneira que passe por um
ponto dado e o segmento determinado sobre ela pelas intersees com as
linhas retas ou curvas seja igual ao comprimento dado.
3) Quadratura do crculo
Quadrar uma regio poligonal consiste em traar, somente com
rgua no graduada e compasso, um quadrado cuja rea seja igual a rea
dessa regio poligonal. Esse problema est completamente resolvido nos
Livros I e II dos Elementos de Euclides. O prximo problema ento
quadrar regies limitadas por curvas. Dentre essas regies, o crculo
uma regio obvia. Acredita-se que a origem do interesse grego nos
problemas de quadratura tenha se originado da quadratura do retngulo.
Aristteles diz que a origem desta quadratura foi a procura da medida
geomtrica, mas que isso foi esquecido e s ficou preservado o problema.
____________________
(*)
(**)
em forma de concha
~280 ~210 a.C.
o Dinostrato de Proconeso
A trissectriz mais chamada quadratriz de Dinostrato, pois este a
utilizou para resolver a quadratura do crculo.
x = JP
y = AJ
Assim, com
Logo,
, temos
, k
o Hipcrates de Quios
Definio de lnula (em grego meniscos):
- a regio plana compreendida entre dois arcos de crculo cuja
convexidade voltada para o mesmo lado e que se intersectam, como o
crescente da lua;
- a diferena entre um segmento de crculo dado a partir do
semi-crculo traado sobre um lado de um polgono e a poro de rea do
crculo circunscrito a esse polgono sobre o mesmo lado.
Segmento de crculo: a regio limitada por um arco de crculo e uma
corda, tendo eles as mesmas extremidades:
- Realizou a quadratura de certas lnulas;
- Alguns resultados de Hipcrates:
* As reas de segmentos circulares semelhantes esto na
mesma razo que o quadrado de suas bases.
Igualmente,
Logo,
(lnulas)
(at
ento,
somente
se
sabia
calcular
reas
____________________________
(*)
Exerccio:
1) Defina e esboce a espiral(*) de Arquimedes.
2) Apresente a soluo para o problema da quadratura do crculo com
esta curva.
do
platonismo.
Assim,
resolver
significa
construir
geometricamente.
- Entretanto o tratamento dos trs problemas clssicos foi objeto de uma
pesquisa livre e aberta: construes tericas com a ajuda de interseo de
curvas ou de superfcies, construes com a ajuda de um movimento
contnuo ou de muitos movimentos contnuos coordenados entre eles,
concepo e fabricao de instrumentos especficos, de dispositivos
mecnicos.
____________________________
(*)
lix em grego
Apoiando-se
principalmente
nos
Elementos
de
Euclides,
muitos
(1)
De fato, nenhum texto antigo diz que a geometria deve ficar restrita s condies dos trs
Proclo: (...) pois Euclides no admitiu todos os elementos que ele podia recolher, mas todos
esses que estavam suscetveis de instruir nos primeiros princpios da geometria. Por isso, o
conhecimento dos Elementos necessrio para se ler os matemticos gregos posteriores.
(3)
Uma longa tradio faz remontar este ponto de vista a Plato, para o qual a geometria seria a
geometria das figuras ideias. Certamente, para ele, o objeto da geometria no a figura grosseira
que se traa no papel com um instrumento material, mas a figura-em-si, a figura perfeita (objeto
da inteligncia pura). Entretanto no havia uma rejeio explcita de sua parte em relao ao uso
dos instrumentos, em particular da rgua no graduada e do compasso. Em todo caso, uma
tendncia fundamental do pensamento platnico que a soluo de um problema seja
demonstrativa e no mecnica. Assim, mecnico no significa to somente construdo com a
ajuda de uma mquina, sem fora demonstrativa, ainda que essa seja a origem da expresso.
mecnica toda soluo que no pode se efetuar s pela demonstrao intelectual. Nesse momento,
a soluo demonstrativa no necessria, mas contingente, matemtica, mas de carter emprico.
Percebe-se aqui uma influncia provvel da escola eletica pela considerao da ininteligibilidade
do sensvel e do movimento dados atravs do mecnico.
______________________
(*)
De um modo filosfico, poderia se pensar que a interveno to somente do crculo e da reta se deve, via
Plato, ao fato de que o crculo o exemplo mximo de ente geomtrico perfeito, enquanto a reta uma
aproximao necessria para que os seres geomtricos possam aparecer no mundo sensvel.
Def.1: Se
conjunto
com a rgua no
, Pi seja
Exemplo:
D um ponto construdo a
partir de { O, I, A, B, C } com a
rgua
no
graduada
compasso.
Fato:
1) Podemos aplicar as quatro operaes aritmticas elementares aos
nmeros construtveis. Assim, o conjunto dos nmeros construtveis
admite a estrutura algbrica de corpo.
2) A partir do fato 1 v-se que os nmeros racionais so construtveis.
Da, o conjunto dos nmeros racionais um conjunto de nmeros
construtveis.
3) A raiz quadrada de um nmero construtvel um nmero
construtvel. Logo, se
Alm disso, se
, pode-se construir
, onde
, R2 a extenso de R1 por
assim
(*)
onde
sucessivamente.
(de sub-corpos de
Considerando
, onde K1
a
cadeia
) tal que
_________________________________
(*)
e no de
Exemplo:
irredutvel x - 2.
(Teorema de
Wantzel (1837))
de grau 3 sobre
, no
construtvel.
necessrio
. Da trigonometria temos:
de
soluo
, algbrico de grau 3.
a coeficientes racionais.
Corolrio: A quadratura do crculo impossvel com a rgua nograduada e o compasso.
com
introduo
em
geometria
do
mtodo
das
(**)
[M=(x,y)]
(=distncia do ponto A
ao ponto B)
ngulo
( )
entre
os
segmentos
AB
AC
0
com d + e > 4f
[cnicas, etc.]
No sculo XIX, quando se aprofundar os fundamentos da matemtica,
atravs dos sistemas axiomticos, se dir que a geometria euclidiana tem
(1)
(o
(2)
dada.
Notao:
(2)
no-isolados
denominados
variedades
algbricas.
Assim,
ela
se
geometria)
no
so
sensveis.
So
realidades
que
existem
Graus do ser
(desenho da roda)
2grau do sensvel
(roda)
Imagens refletidas
objetos fabricados
Cpias da cpia
cpias
(objetos da
Imaginao)
1 grau do
2 grau do inteligvel
Inteligvel (crculo)
Entes matemticos
(inteligveis inferiores)
(circularidade)
ideias
(inteligveis superiores)
(entes sensveis)
Conhecimento
Viso intelectual
discursivo
Modo de
Conjectura
Racioconio
Crena
conhecimento
Aparncia
Bem supremo
dedutivo
(em grego diania)
Filsofo
Dialtica
(permite suscitar na alma as
reminiscncias das ideias)
Inteligveis (imateriais)
(mundo das ideias)
[domnio do saber]
Sees do inteligvel
Obs.:
1) Os entes matemticos intermediam os entes sensveis e as ideias,
isto , so intermedirios (em grego metax) entre os entes
sensveis e as ideias.
2) Cada parte dividida na mesma relao da linha.
Isto ,
no
compreende
(o
lgos
no
compreende
Mundo inteligvel
caracteriza um esforo
(*)
Mundo sensvel
( discusso)
A busca de uma sntese para as
contradies da realidade.
Contradio
Analogia
____________________
(*)
hiptese(1)
(Plato)(filsofo)
Interlocutor
Filsofo
tema
definio
concluso
___________
(1)
(do grego hiptesis, onde hipo quer dizer sob e tsis quer dizer opinio, afirmao (do
verbo tenai-colocar (ao de colocar)) Proposio na base (sob) de um raciocnio a
partir da qual se demonstra um teorema.
Nota:
1) Como j foi dito, Plato reconhece o interesse das cincias
matemticas e acorda-as um lugar importante em seu sistema
filosfico. De fato, na sua maneira de utilizar a matemtica para
descrever e explicar as realidades sensveis, ele esboou
modelos matemticos(*) na forma de identificao geomtrica
ou de proporo de dois registros, por exemplo um matemtico e
outro fsico.
2) Sobre a modelagem e a simulao matemticas
A modelagem matemtica supe dois registros. Um, por
definio, matemtico, o outro fenomenal (proveniente do
fenmeno) ou ao menos sensvel. este segundo registro, mais
imediatamente conhecido graas s sensaes, que necessrio
descrever de outro modo (quer dizer matematicamente) e
explicar, totalmente ou parcialmente atravs da matematizao.
____________________
(*)
Deve-se ressaltar que essa prtica aparece ao longo de todo o pensamento
filosfico-matemtico grego, desde as analogias de ordem metafrico-matemticas da
poca dos Pr-socrticos aos modelos geomtricos no domnio da astronomia como, por
exemplo, o de Eudoxo de Cnido.
Fase 1 da modelagem
- Traduo matemtica (nmeros, figuras, ...);
os fenmenos ou
os observveis
- Simplificaes e ajustes;
- Uma regra matemtica (proporo, equao, ...)
descrevendo o comportamento do sistema modelisado.
Fase 2 da modelagem
- Trabalho matemtico;
- Anlise do modelo que permitir:
a) explicar outras caractersticas do modelisado
(colocando em evidncia a coerncia interna do modelo);
b) perceber casos ainda no observveis.
Fase 3 da modelagem
- Predies (previses) e simulaes.
Fase 4 da modelagem
- Verificao (observao e/ou experimentao);
- O modelo pode ser confirmado ou refutado;
- Quase sempre ele exige aperfeioamentos:
* pela necessidade de um novo parmetro do modelisado a ser tomado em
conta;
* pela exigncia de uma melhor anlise matemtica do modelo;
* pela preciso maior dos clculos.
Enunciados demonstrativos
* Ligados filosofia
* "Desinteressados" (uma caracterstica de distino social?)
Institucionalizados: tradies
corporativas
* Pouco ou no institucionalizados
* Comunicao passando pela escrita atravs de textos autnomos
_________________________
(*)
cincia
(em
grego
epistme):
sistema
coerente
que
faz
com
que
uma
verdade
dependa
_________________________________________
(*)
- Em grego estoiqueion;
- Escrita alfabtica grega: 24 letras bastam para constituir o conjunto das slabas, das palavras e
dos discursos;
- Essas letras so identificadas como elementos (em grego estoiqueia);
- Filsofos gregos projetaram sobre as coisas e as produes humanas esse modo de composio
de um todo a partir de constituintes elementares;
- Aristteles: em geometria certas proposies se encontram na demonstrao de muitas outras.
So denominadas elementos e devem ser aprendidas;
- A constituio de uma coleo de elementos requer o acmulo de resultados significativos que
sejam suficientemente numerosos e a indicao das propriedades ou das construes que intervm
na maioria dos casos de um contexto considerado. Assim, a escolha dessa coleo pressupe uma
anlise prvia que determine os constituintes essenciais de um corpo dedutivo conciso e claro.(1);
- O gnero Elementos expe uma parte da cincia matemtica j feita.
_____________________
(1)
o que caracteriza uma ordem, uma estrutura
Obs.:
Em Euclides, a lgica onipresente, ela est em ao
constantemente. Eis trs regras lgicas que esto implcitas em Euclides:
1) Se todo ser de tipo T tem a propriedade P, suficiente de
mostrar que isso que se estuda do tipo T para se deduzir que
ele tem a propriedade P.
2) [ ( P Q ) ^ ( Q R ) ] ( P R )
3) Raciocnio por absurdo (particularmente til para evitar o recurso
ao infinito) (dispensa de se inventar)
__________________________
(*)
fato que as qualidade dos Elementos foram reconhecidas desde a Antiguidade. Por
exemplo, nenhum outro autor grego posterior tentou substituir a obra de Euclides. Os
mritos que os antigos reconheciam nos Elementos, eram a seleo, a ordem de
disposio e a demonstrao rigorosa das proposies.
Papo de Alexandria ( fim do sculo III e a primeira metade do sculo IV d.C.) distingue
nem
cnicas
(espirais,
conchides,
cissides,
quadratrizes,
...
curvas
transcendentes))
Ponto interessante: uma distino entre os gneros de problemas.
Exemplos:
1) Problema slido: problema da duplicao do cubo resolvido com a ajuda da
interseo de duas parbolas.
2) Problema linear: problema da quadratura do crculo, pois transcendente
A linha reta e o crculo eram chamados lugares (geomtricas) planos porque eles resolviam os
(3)
Origem:
Pitagricos
Livro II
Pitagricos
iguais
pelo
quadrado,
produto
de
duas
(*)
Expresso cunhada por Paul Tannery para descrever um ramo da matemtica grega
desenvolvido no Livro II dos Elementos sobre o que so interpretados hoje como mtodos
para a resoluo de problemas do segundo grau. A resoluo de uma equao do segundo
grau, no caso geral, se faz com a ajuda de trs identidades notveis do Livro II.
Exemplo: Seja a equao bx x = c com b > 4c > 0 (
). O mtodo de
resoluo para encontrar uma raiz positiva se inspira diretamente no clculo anlogo a esses
que permitem estabelecer as identidades acima. Com efeito, se ao segmento AD dado, com
m(AD)=b, se aplica um retngulo ACFI de rea igual a uma rea c dada tal que a rea que
falta CDJF seja igual a de um quadrado x, a rea do gnomon BDHGFE, onde B est no meio
de AD, ser igual a rea do retngulo ACFI. A rea gnmica, sendo igual a diferena das
reas dos quadrados de lados BD com m(BD)= e EF com m(EF)=
, vale:
(1)
Livro II
Pitagricos
2345-
ou
6-
ou
7-
ou
8-
ou
9-
ou
10-
ou
- Equivalncias de reas
- 2 definies e 14 proposies
Por outro lado, a rea do retngulo ACFI por construo igual a c, mas vale tambm
. Logo, a rea gnmica
_____________________________________
(1)
Proposio 5
Livro III
Livro IV
- Geometria do crculo
- 11 definies e 37 proposies
Hipcrates
Pitagricos
(*)
Um problema relacionado ao crculo, que ocupou bastante a ateno dos matemticos desde a
antiguidade at o sculo XIX, o de dividi-lo em arcos exatamente iguais. Ligando os pontos
sucessivos da diviso por cordas, obtemos um polgono regular.
Os gregos eram capazes de construir (ou seja, construir usando somente rgua nograduada e compasso) polgonos regulares de 2 m lados, com
Sabia, tambm,
construir os de 3 e 5 lados. Como o arco de crculo pode ser bissectado usando apenas rgua no
graduada e compasso, os polgonos regulares de 2px3 e 2px5, onde
, eram conhecidos.
Podemos ento resumir os polgonos regulares construtveis conhecidos pelos gregos
atravs da seguinte forma 2qx3r1x5r2, onde
O problema de dividir o crculo em partes iguais foi estudado por matemticos como Pierre
de Fermat (Francs 1601 1665) e Euler. Mesmo assim nenhum progresso significativo foi feito
at o final do sculo XVIII quando Carl Friedrich Gauss (alemo 1777 1855) resolve
completamente o problema em 1796 atravs do seguinte teorema complementado por Wantzel (
teorema de Gauss-Wantzel):
Um n-gono regular,
, construtvel se, e somente se, n da forma 2m, onde
ou da forma 2qf0f1f2...fl, onde
e os fj, j
so nmeros de Fermat
primos distintos, isto , nmeros da forma
primos e distintos.
[Exemplos de nmeros de Fermat primos:
Para j=0, tem-se f0=
Um elemento
uma n-sima raiz da unidade se, e somente se,
.
uma n-sima raiz da unidade se, e somente se, uma raiz do polinmio zn-1
Un={
/ zn=1} = conjunto das n-sias razes da unidade. Como
Un , U n
Card(Un)=n
Se
Zn-1=
Seja
. Diz-se que uma n-sima raiz da unidade
uma n-sima raiz
primitiva da unidade se, e somente se, mdc(k,n)=1.
Define-se o n-simo polinnio ciclotmico como sendo o polinmio
,
onde
descreve as n-simas razes primitivas da unidade
chamada funo indicadora de Euler tal que
nmero de inteiros positivos
compreendidos entre 1 e n-1 que so relativamente primos com n.
Se n primo,
.
Entendimento da funo indicadora de Euler
Exemplos:
- para n=1,
Mas, como
Observa-se que
(z=1).
Mas, como
, Logo
_______________
Como se viu, encontrar as coordenadas dos vrtices de um n-gono regular,
, inscrito
em um crculo trigonomtrico no plano complexo, consiste em encontrar as n-simas razes da
unidade,
Entretanto, a construtibilidade ou no desse n-gono vai se caracterizar atravs da
avaliao do polinmio ciclotmico correspondente ao polinmio zn-1, verificando-se se ele satisfaz
ou no as condies dos teoremas de Gauss-Wantzel e de Wantzel(1837).
Exemplo: O heptgono regular ( o primeiro polgono regular que) no construtvel.
Primeira demonstrao: 7 um nmero primo que no um nmero de Fermat. Da, pelo teorema
de Gauss-Wantzel, o heptgono regular no construtvel.
Segunda demonstrao: Encontrar as coordenadas dos vrtices do heptgono regular consiste em
encontrar as razes stimas da unidade, isto , resolver a equao z7 =1. A primeira raiz evidente
z=1. Fatorando, tem-se z7-1=(z-1).f(z). Da, f(z)=z6+z5+z4+z+z+z+1
. Para se achar
as demais razes da unidade, deve-se ento resolver a equao z6+z5+z4+z+z+z+1=0
(irredutvel em ). Entretanto, pelo teorema de Wantzel, o grau deste polinmio no da forma
Logo, os pontos no crculo trigonomtrico, que correspondem aos outros vrtices do
heptgono, no so construtveis.
_______________
(*) O teorema de Gauss-Wantzel deduzido do teorema de Wantzel
Na demonstrao de impossibilidade no se d um
procedimento permitindo a exibio. A existncia de uma construo
no equivale a se dar a construo.
Uma caracterstica: existe um erro na prova da quadratura do
crculo com a rgua e o compasso, sem se dizer o qual.
Demonstrao da impossibilidade: no trata diretamente os
objetos da Geometria Euclidiana, mas seus instrumentos uma
teoria das construes
Livro V
Eudoxo
incomensurveis
- 18 definies e 25 proposies
Livro VI
(Aplicao do Livro V geometria plana)
Pitagricos
Pitagricos
Arquitas
Livro VIII
an=a1qn-1
Logo,
an-1=a1qn-2
an-1 = an-2q
...
a3=a2q
a3=a1q
a2=a1q
a2=a1q
.]
- 27 proposies
Livro IX
Pitagricos
Arquitas
Enunciado
decomposio
(
de
de
uma
um
forma
inteiro
fraca
em
do
teorema
fatores
de
primos
Classificao
das
quantidades
incomensurveis,
Teeteto
Propriedades
elementares
no
espao:
Escola
de Atenas
paralelismo
(Arquitas)
livros I e VI)
- 28 definies e 39 proposies
(*)
Pitgoricos
Teeteto
- 18 proposies
- Seo urea
Livro XIII
(*)
__________________________
(1)
(**)
- em latim: figura
designa um objeto geomtrico
- em grego: esquema
- uma figura isso que contido por um ou mais limites (fronteira)(em grego pras
quer dizer limite)
- na reta, um segmento pode ser considerado com uma figura com os dois pontos das
suas extremidades como limites.
- figura correspondendo a uma poro do plano (figura plana) e fronteira so termos
correlatos, isto , figura designa ao mesmo tempo a fronteira e isso que ela contm.
- em grego, diagrama designa um agenciamento de muitos esquemas entre eles
figura
identificada
como
objeto
geomtrico
inteiramente
determinada
conceitualmente e morfologicamente.
- objeto geomtrico objeto matemtico ( entre matemtico)
- Consideraes:
* figura e texto formam um todo na prtica da demonstrao na geometria grega.
* raciocinar sobre um tringulo retngulo exige o emprego da figura de um
tringulo, ainda que se saiba que este tringulo retngulo desenhado (instanciado) no
o verdadeiro tringulo retngulo (em si).
* assim, a geometria utiliza hipteses e dados sensveis para chegar s
concluses de modo consistente. Deve ficar claro, no entanto, que ao utilizar formas
visveis, a geometria deseja investigar o absoluto, o geral que elas encerram.
____________________________________________
(fim das notas extras)
o A Organizao Axiomtica
Os Elementos so uma sntese, e a unidade dessa sntese vem do
modo de apresentao: axiomtico. Toda proposio deve ser justificada,
com a ajuda de resultados precedentes provados e das definies (*). Se
muitas coisas nos Elementos proveem de outros matemticos, Euclides
tido por responsvel da forma axiomtica dada aos tratados.
Ponto importante: diferena entre coleo de resultados e
resultados estruturados atravs de uma ordem (O Livro I o mais
estruturado)
- as proposies se dividem em problemas (uma construo para efetuar
com rgua no graduada e compasso e uma justificativa que o objeto
construdo tem as propriedades requeridas) e teoremas (uma
demonstrao).
Adendo: Sobre a demonstrao
- Demonstrao: uma atividade na qual necessria acrescentar alguma
coisa que no est visvel, mas que de uma certa maneira j est
presente. Alm disso, ao mesmo tempo, este acrscimo deve estar
submetido regras muito estritas. Por isso que a Matemtica difcil.
________________________________
(*)
dv 1dx v x .
_________________________________
(*)
A generalidade de um resultado
Particularidade da figura
(noo de exemplo)
Plato:
arrancar
verdade
- Prtica da Demonstrao
Demonstrar provar, quer dizer estabelecer a verdade de uma
proposio(1). Mas nem toda prova uma demonstrao. As cincias
experimentais estabelecem uma verdade pela experincia; no tem
demonstrao nesse caso. Para que haja uma demonstrao, preciso
que a prova de uma verdade seja estabelecida como consequncia
necessria de uma outra verdade. Ou seja, a demonstrao um
encadeamento contnuo que supe verdades anteriores.
So os matemticos gregos que inventaram a demonstrao. Desde o
meado do sculo V a.C., as regras da demonstrao comearam a ser
fundamentadas. Pode-se perceber pelo estudo dos textos que, entretanto,
a emergncia da demonstrao caracterizou-se atravs de um esforo
consciente e progressivo. Da prpria lngua grega, percebe-se essa
progresso. Temos inicialmente o verbo decnimi, que possui dois
sentidos:
i)
ii)
_________________________________
(1)
e a sua generalidade consequente
demonstrar
pode-se
Mostrar
Conhecimento a posteriori
(depende da experincia)
Particular
estabelecer
as
seguintes
Demonstrar
conhecimento a priori
(independe da experincia)
Universal
deduo
anlise
regem) (Aristteles)
sntese
[induo
matemtica
(Na
matemtica,
por
induo
matemtica
trata
de
sempre verdadeira)]
Razes
Causas
Sntese
ou
Composio
Anlise
ou
Resoluo
(mtodo de
composio, de
exposio)
(mtodo de
descoberta)
Concluso
Consequncias
Efeitos
_______________________________________
(*)
] ). Ei-la:
A reduo ao absurdo (do latim reductio ad absurdum) (Aristteles
reduo ao impossvel)
{provar que}
uma proposio
falsa, e que est sendo assumida como verdadeira. Da, a partir de uma
sequncia
de
argumentaes
logicamente
consistentes,
chega-se
no
pode
ser
verdadeira
falsa
ao
mesmo
tempo.
falsa. Como p
Axiomtica de Euclides
o sentido
Euclides.
da
axiomtica
Axiomtica de hoje
modificou-se
completamente
desde
_______________________________________
(*)
atualmente: a srie
2) Axiomas e postulados
a questo da continuidade
Axiomas
Postulados
Definies
Problemas
(gerao de figuras)
Teoremas
(propriedades que se
demonstram acerca das figuras)
_________________________
(*)
Livro I: Teoria dos Conjuntos [De uma forma geral, a Teoria dos
Conjuntos esta estreitamente ligada aos fundamentos lgicos da
matemtica]
Livro II: lgebra [A lgebra um imenso domnio matemtico que, de
certo modo, generaliza a aritmtica a objetos mais abstratos. Fazendo
aparecer as propriedades gerais das operaes matemticas, sero
caracterizadas estruturas abstratas, ditas algbricas, tais como de grupo,
anel, corpo, espao vetorial, etc., cada uma definida por certas
propriedades e regras de clculo. A generalidade dessas estruturas tal
que se as encontra em quase todos os domnios da matemtica, e mesmo
em outras reas do conhecimento]
Livro III: Topologia Geral [Nasceu no final do sculo XIX. Foi axiomatizada
por Felix Hausdorff (alemo 1868 1942) em 1914. Ela estuda de
maneira geral e abstrata os conceitos e as propriedades que apareceram
na origem da Anlise. Pode-se dizer que a Topologia se preocupa com
tudo que depende das noes de vizinhana, limite e continuidade.
Inicialmente fazendo uso da noo de distncia, elas podem, entretanto,
ser definidas de maneira mais abstrata por conjuntos verificando certas
propriedades. (os espaos topolgicos; caso particulares, os conjuntos
munidos de uma distncia, so denominados espaos mtricos)(*)
______________________________________
(*)
1) Seja um conjunto
. Um conjunto
(letra grega tau minscula
corresponde ao t latino) de partes de E uma estrutura denominada topologia
de E se, e somente se, satisfaz os seguintes axiomas:
T1T2- A interseo de dois conjuntos de pertence a ( A interseo finita de
conjuntos de pertence a )
T3- A unio de um nmero qualquer (arbitrria) de conjuntos de um conjunto
de .
2) Seja
Obs.: 1-
Os
elementos de
so chamados
-abertos ou simplesmente
se V contm um aberto U
E tal que x
e uma funo
d: E x E
(x,y)
d(x,y)
Exemplo:
Seja
funo
d:
definida
por
,
. A topologia
em E gerada pela
em E chamada
chamado um espao
quando
tende para
se, para
toda vizinhana V de L, existe uma vizinhana U de x0, tal que para todo
pertencendo a
, f(x) elemento de V.
(*)4) O que se chama Topologia Geral o estudo qualitativo dos lugares e das
relaes espaciais: ela teoriza as noes de proximidade, fronteira, localidade,
continuidade, etc... e suas ligaes mtuas.
Pode-se sem dvida remontar o projeto da topologia(1) (contrao de duas
palavras gregas: topos (lugar) e lgos (tratado, estudo)) a Gottfried Leibniz
(alemo 1646 1716) atravs da chamada analisis situs (expresso latina que
quer dizer anlise da situao (local), do lugar), mas foi Riemann que lanou
as bases na clebre monografia Sobre as hipteses que servem de fundamentos
geometria (1867)
(1)
Empregada pela primeira vez por Johann Listing (alemo 1808 1882)
______________________________
(fim das notas extras)
Livro IV: Funes de uma varivel real [Este livro trata em detalhes das
funes do tipo
, onde E um
u + v e ( , u)
u , com u, v
escalar, so contnuas.
, a integral
relaes
aparecendo de incio
diferencial ordinria
so tais que
tal que
, propriedades estas de
conjuntos
que
se
pode
interpretar
como
objetos
traduzir
os
problemas
da
lgebra
Comutativa
em
termos
_________________________
(*)
Livro VIII: Grupos e lgebras de Lie [Um grupo de Lie (Sophus Lie
noruegus 1842 1899) um grupo com infinitos elementos, que se
pode etiquetar por um ou vrios parmetros. Por exemplo, os nmero
complexos de mdulo 1, que se escrevem
grupo
pela
multiplicao
(este
grupo
, formam um
pode
ser
interpretado
uma
variedade
recoberta
por
pequenos
pedaos
Chama-se
variedade
topolgica
unicamente
ligada
noo
de
continuidade, define-se:
1) Uma variedade topolgica um espao topolgico M (M de manifold
que quer dizer variedade em ingls) que localmente homeomorfo
a
, isto , para cada ponto de M pode-se estabelecer uma
aplicao bijetiva e contnua, com inversa tambm contnua
(aplicao denominada homeomorfismo) entre a vizinhana do
ponto e um aberto de
(intuitivamente isto significa que para cada
ponto de M existe uma vizinhana deformvel continuamente em
uma regio aberta de
).
_________________________________
(*)
muito difcil no sentido de que uma definio criada tendo em vista fenmenos
variados que se deseja unificar.
(**)
dessa maneira que se recobre a superfcie da Terra: com as cartas de um atlas
geogrfico.
2) Exemplos de homeomorfismos:
1)
2)
Um exemplo bsico
Localmente, o crculo se assemelha a um segmento de reta, que tem
dimenso 1. Em outras palavras, uma s coordenada suficiente para
descrever um pequeno arco de crculo.
parte
superior
coordenada
pela
sua
primeira
___________________________
(*)
(**)
A unidade da matemtica
[Aparece toda vez que os matemticos tentam um olhar
global sobre suas disciplinas. Constata-se hoje que as divises
tradicionais
lgebra-Anlise-Aritmtica-Geometria,
no
se
diz
que
superiormente
toda
sequncia
converge
crescente
que
toda
limitada
sequncia
para
estudo
da
convergncia
dos
ii)
O mtodo axiomtico
[O mtodo axiomtico, na matemtica, sua prpria
essncia. O rigor pode ser identificado em maior ou menor
grau com que se utilizam os padres desse mtodo. Com
Bourbaki, o mtodo axiomtico alcana um alto nvel de
preciso e desenvolvimento.
O que distingue o mtodo axiomtico moderno da
axiomtica euclidiana? De incio seu carter formal: na
axiomtica moderna, no se define as noes primitivas
(ponto e reta, por exemplo, na geometria) sobre as quais vaise estabelecer uma teoria. Elas so consideradas como
entidades abstratas cuja natureza ou significao concreta
importa pouco. S importa, de fato, as relaes entre as
noes primitivas, relaes que definem os axiomas. As
propriedades que se deduzem a partir de uma tal teoria formal
tem um carter geral: elas so potencialmente aplicveis a
conjuntos de objetos muito diferentes, embora o sistema de
axiomas seja o mesmo. importante, entretanto ressaltar que
no se constri um sistema de axiomas do nada. Inicialmente,
o matemtico estuda um certo conjunto de objetos e s a
partir desse exame que ele vai resgatar uma axiomtica
iii)
(*)
.]
As estruturas matemticas
[Para Bourbaki, o mtodo axiomtico indissocivel do
estudo das estruturas matemticas(**).
___________________________________
(*)
(**)
seguinte maneira:
Seja L uma linguagem de primeira ordem com igualdade L {isto , uma
linguagem explicitada por um vocabulrio constitudo de smbolos separados em
duas classes fundamentais:
i)
ii)
i)
Exemplos: em Lk
0, 1, +v1v2(v1+v2), +v11, .+v1v2v3
ii)
, vAB
vA uma
frmula.
F4: Dentre todas as expresses as frmulas de L so aquelas e somente
aquelas, obtidas pela aplicao das regras gramaticais de F1 a F3}.
Como objetos matemticos so mais do que simples codificao, eles
tem um transcende um mero jogo de smbolos lingusticos e, portanto,
alm de se precisar exibir uma descrio rigorosa da linguagem,
preciso fornecer um contedo interpretativo a estes smbolos, o que
ser feito atravs da noo de estrutura, ou de um mundo possvel
para a linguagem L (uma estrutura para L ento uma interpretao
de L).
Uma estrutura para L uma par
conjunto no vazio
, constitudo por um
do produto cartesiano
, ou seja:
as
interpretaes
constantes de L).
(continua na prxima pgina)
dos
smbolos
funcionais,
predicativos
(1)
(2)
(3)
(4)
: = | | - universo
: operaes
: relaes
4
: elementos
2,3,4
: interpretaes
Nota: Seja uma linguagem de primeira ordem com igualdade L fixada. Seja
ainda
modelo de
se toda frmula
verdadeira em
(notaes:
) A
denotada Mod( )
somente se
, segue-se que
=Cn(
tal que
_____________________
(fim das notas extras)
). O
um conjunto de sentenas
pertence a
se
para L um
, para
).
conjunto,
sujeitos
ambos
satisfazerem
certos
axiomas
observar que
a unidade
da
matemtica,
mtodo
Esquematicamente:
geometria
algbrica,
a Anlise povoada de
etc.,
exploradas de vrias
maneiras.
Estruturas
mltiplas
Estruturas-mes
no
simplesmente
justapostas,
mas
combinadas
Estruturasmes
so contnuas.
Essencialmente:
Estruturas de ordem
Estruturas algbricas
Estruturas topolgicas
obtm
enriquecendo
com
axiomas
suplementares.
Consequncia:
grande
(novas) estruturas.
diversidade
de
(E1)(*),
(E2),
de
base.
explicitamente
um
certo
nmero
propriedades.
Subconjunto de
definido pela
propriedade P2
____________________________
(*)
de
,
Exemplos:
1) Seja
elemento de uma escala de conjuntos que tem E
como conjunto base. Tome um elemento
(R uma
relao sobre E), tal que:
i)
(onde
uma relao dada a partir da seguinte
definio: Sejam
. A relao
definida pela
seguinte propriedade:
)
ii)
(onde
)
, tem-se que
antissimtica, isto ,
seja
iii)
2) Seja
um elemento de uma escala de conjuntos que
tem E como conjunto de base. Qualquer elemento
que
satisfaa o axioma uma aplicao de ExE em E define uma
espcie de estrutura algbrica sobre E. A funo uma operao
binria sobre E dita Lei de Composio da estrutura.
Introduzindo-se novos axiomas, pode-se obter as espcies de
estruturas de grupo e de monoide. Se alm de F se considera uma
outra aplicao
3) Seja
um elemento de uma escala de conjuntos que tem
E como conjunto de base. Tome um elemento
tal que
sejam vlidos os seguintes axiomas:
i)
(a unio arbitrria de elementos de
ii)
um elemento de )
iii)
(a interseo finita de elementos de
)
ainda um elemento de
Livro I
Definies
(*)
(*)
_____________________
(1)
(*)
substituir estas duas definies no lugar das palavras ponto e linha. Pode-se por
isso considerar que nele estas palavras no esto definidas.
(**)
segmento de reta
X. Quando uma linha reta, caindo sobre outra linha reta, fizer com esta
dois ngulos iguais, um de uma, e ouro de outra parte, cada um destes
ngulos iguais se chama ngulo reto; e a linha incidente se diz
perpendicular outra linha, sobre a qual cai.
XXXI. E a figura, que de uma parte for mais comprida, pode ser retngula,
mas no equiltera.
(losango)
XXXIII. Rhomboide uma figura que, tendo os lado opostos iguais, nem
equiltera e equingula.
(paralelogramo)
Axiomas
I. As coisas que so iguais a uma terceira, so iguais entre si.
II. Se a coisas iguais se juntarem outras iguais, os todos sero
iguais.
III. E, se de coisas iguais se tirarem outras iguais, os restos so
iguais.
IV. E, se a coisas desiguais se juntarem outras iguais, os todos
sero desiguais.
V. E, se de coisas desiguais se tirarem coisas iguais, os restos
sero desiguais.
grandezas
de todas as
Axiomas:
1.
2.
3.
4.
com
5.
6.
7.
8.
9.
Para as
tal que
espcies.
Postulados
________________________
(*)
reta (linhas retas) que se pode prolongar em direitura de si mesmos vontade. Alm
disso, nele, um segmento de reta um objeto-em-si, que no pode certamente ser
considerado como um conjunto ilimitado de pontos.
No utilizam o Postulado 5
Postulado 5
Proposies de 1 a 26
Proposio 29
Proposio 27
Proposio 30
Proposio 28
Proposio 32
Proposio 31
Proposies de 33 a 48
1, 2,3, 4 p 5
1, 2,3, 4 5 p
__________________________
(*) Proclo precisa inicialmente dois axiomas:
1. Se duas retas formando um ngulo a partir de um ponto so prolongadas ao
infinito, o intervalo dessas retas prolongadas ao infinito ultrapassa toda grandeza
finita.
2. A distncia entre duas paralelas limitada (constante) (consequncia do
Axioma 1)
Em seguida ele demonstrou a proposio equivalente:
Quando uma reta corta uma das paralelas, ela corta a outra tambm.
(**)
(1795)
1) O axioma de Playfair
2) Se uma reta intersecta uma das paralelas, ento intersecta outra.
3) Uma reta que cai sobre duas paralelas, faz ngulos alternos internos
iguais entre si. (Proposio 29 Livro I)
4) A soma dos ngulos internos de um tringulo qualquer igual a dois
retos. (Proposio 32 Livro I)
O Postulado 5 e as geometrias
o Geometria Neutra:
o Geometria Euclidiana:
o Geometria No-Euclidiana:
Onde
ou
Existe uma reta e existe um ponto fora dela pelo qual no
passa nenhuma reta paralela a ela.
Dedekind
mostram
necessidade
de
um
axioma
de
an , bn
comeo
do sculo
XX o
reconhecimento
das
faltas
na
O que fazer para medir uma figura plana (calcular sua rea)
quando no se dispe de nmeros reais, mais precisamente de
nmeros irracionais? Como afirmar, por exemplo, que a rea de um
retngulo sempre igual ao produto do comprimento da base pelo
comprimento de sua altura?
- Equivalncia de reas
ngulos, compreendidos
tambm iguais.
pelos
lados
iguais,
sero
Proposio 29: Uma linha reta que cortar duas retas paralelas, faz
os ngulos alternos iguais entre si; o ngulo externo
igual ao interno e oposto da mesma parte, e finalmente
os internos da mesma parte, e finalmente os internos da
mesma parte iguais a dois retos.
O terceiro:
A
D=E F
Exposio (ectsis
por letras
reto.
Determinao (diorismos
pesquisa
em grego) - instanciao
do objeto de
Construo
(catasqueu): a
Com efeito,
construa sobre BC o
quadrado BDEC, e sobre BA, AC, os
quadrados GB, HC (Proposio 46) e
que, pelo ponto A seja traado AL,
paralela a BD ou CE (Proposio
31).
E trace tambm AD e FC
(Postulado 1)
___________________________
(*)
Elemento
determinante
da
demonstrao,
AL
no
Demonstrao
grego):
(apdeixis
em
DBA
ser
igual
ao
total
FBC
(Axioma 2).
E como DB igual a BC e FB a BA,
os dois lados AB e BD so iguais aos dois
lados FB e BC cada um a cada um e o
ngulo DBA igual ao ngulo FBC. A
base AD ento igual base FC, e o
O paralelogramo BL o dobro
do
Para
um
utiliza
retngulo,
expresso
Euclides
de
figura
oblonga ( pitagricos).
tringulo
ABD, porque
tem a
paralelas
BD,
AL(*)
mesma
paralelo-
lo.
paralelas,
passa direita).
ao quadrado HC.
Logo o quadrado inteiro BDEC igual
trao.
uma
parte
BDEC
quadrado
aos
quadrados
sobre
os
especificao
proposio
sem
literal.
uma
confirmao.
_______________________
(*)
(Construo)
Proposio 6: Se uma linha reta for dividida em duas partes iguais e for
prolongada, o retngulo compreendido pela reta toda e mais a adjunta e
pela mesma adjunta, juntamente com o quadrado da metade da reta,
ser igual ao quadrado sobre a reta que se compe da mesma metade e
do prolongamento.
Livro V
Def.III:. Um lgos
DEFINIES
Def.IV:.Uma relao
que
houver
nmeros
nA>B e mB>A.
ser
os
mesmos.
Por
C,
podem
ser
dois
comprimentos)
Def.V: As grandezas tem entre si o
mesmo lgos, a primeira para a
segunda, e a terceira para a quarta,
quando quaisquer que sejam os
equimltiplos (iguais mltiplos) da
primeira e da terceira (nA e nC) ou
simultaneamente
so
ultrapassam,
simultaneamente
simultneamente
quaisquer
da
ou
inferiores
sejam
os
que
equimltiplos
iguais,
ou
segunda
da
linguagem
atual,
isso
nC>mD
ou nA=mB
nC=mD
ou nA<mB
nC<mD
tm entre si uma
3) Sobre a definio V.
Seja a figura abaixo:
e de
para
assim como
est para 2?
De fato, se n1>m
<m
>m2
, n1
ou
n1<m
>m
<m2
=m2, e se n1<m
, n1
=m2.
_______________________
(*)
PQ est
em relao
com QR
razo de
dois inteiros
positivos
Para PQ e QR incomensurveis
Dividimos PQ em m partes iguais a uma unidade de medida U de
modo que PQ=mU(*). Ao longo de QR marcamos n segmentos U,
perfazendo o segmento QS (QS=nU). Temos que:
Portanto,
_______________________
(*)
(**)
dar
os
meios
de
se
estabelecer,
atravs
de
mltiplos,
a partir do conjunto
* Reforma da Anlise:
- origem nos trabalhos de Bernard Bolzano (tcheco 1781 1848)
e de Augustin-Louis Cauchy (francs 1789 1857)(*).
- entretanto no existia uma teoria dos nmeros reais at a
segunda metade do sculo XIX.
___________________________
(*)
vrios problemas em Cincias Naturais, o Clculo, por volta de 1700, ainda era
essencialmente orientado para a geometria. Tratava de problemas de curvas, empregava
smbolos algbricos, mas as quantidades de que se utilizava eram principalmente
tratadas como elementos e figuras geomtricos. Durante a primeira metade deste sculo
diminuiu-se o tratamento geomtrico dos problemas, e os matemticos passaram a se
interessar mais pelos smbolos e pelas frmulas do que pelas figuras. Com isso, a Anlise
passou a ser o estudo e a manipulao de frmulas. Esta mudana estava ligada ao
surgimento do conceito de funo. Entretanto, a questo dos fundamentos permanecia.
Os matemticos achavam que ela seria resolvida por meio de um argumento essencial a
partir do qual se poderia continuar a estabelecer as construes e as demonstraes
como antes, com a certeza de que tudo estava em ordem. Mas essa questo era mais
delicada e s poderia ser resolvida com uma enfoque que mostrasse a conscincia da
necessidade de rigor em toda Anlise no somente ao serem definidos os conceitos
bsicos, mas tambm nas demonstraes apresentadas.
Cauchy foi o responsvel por essa mudana de atitude na Anlise (ideias
semelhantes foram desenvolvidas ao mesmo tempo por Bolzano, mas que no tiveram
influncia na poca devido a seu isolamento em Praga).
________________________
(1)
Royale
Polytechnique
(em
Paris)(1821).
Neste
livro
ele
forneceu
uma
os
valores
numricos
sucessivos
de
uma
varivel
diminuem
sero quantidades infinitamente pequenas. Mas, enquanto que esses dois termos se
aproximaro indefinidamente de zero, sua razo pode convergir para algum outro limite
positivo ou negativo.
Esse limite quando existe, tem um valor definido para casa valor especfico de x, mas
varia com x. (...) Isso ser verdadeiro em geral, mas a forma de nova funo que serve
como limite da razo
essa dependncia chamando a nova funo de funo derivada, designando-a pelo uso
de um apstrofe na notao y ou f(x) (devida a Langrage)
A continuidade de uma funo est vinculada ao fato de que os matemticos do
sculo XVIII supunham que as funes fossem bem comportadas, isto , eles
supunham que as variveis eram contnuas em seus domnios. O que significava que eles
supunham que as funes que estudavam eram sempre contnuas e , tambm,
diferenciveis (isto , para funes f:
da variao
* Richard Dedekind:
- princpios da anlise infinitesimal estabelecidos atravs de um
fundamento puramente aritmtico e perfeitamente rigoroso.
- Diz-se sempre que o Clculo Diferencial se ocupa das grandezas
contnuas e, no entanto, em nenhuma parte dada uma explicao dessa
continuidade. Demonstraes sobre a continuidade
representaes
geomtricas
no
so
fazem uso
demonstraes
de
puramente
aritmticas.
- ele toma o conjunto dos racionais como ponto de partida: Eu
suponho como base, a aritmtica dos nmeros racionais, suposta bem
fundada e nada mais; e mostro que, sem a introduo de coisas
estranhas, pode-se constatar no domnio dos nmeros racionais um
fenmeno que pode ser empregado para completar esse domnio.
- comparao dos nmeros racionais com os pontos da reta
(geomtrica): sobre a reta se escolhe um ponto O origem, ou ponto zero e
uma certa unidade de comprimento para medir as distancias. Com a ajuda
dessa unidade, pode-se construir todos os nmeros racionais com um
comprimento correspondente e determinar um ponto correspondente.
- problema: existe sobre a reta uma infinidade de pontos no
correspondendo
nenhum
nmero
racional
comprimentos
em subconjuntos A1 e A2 satisfazendo as
produz uma
com
onde
com
(as fraes
falta).
(as fraes
excesso)
Se A e B so comensurveis, ento
(possibilidade 1).
Se A e B so incomensurveis, ento
A1 no tem
tais que
tais
tais que
e A2 das fraes
tais que
o par de
De fato:
exemplo,
Como,
por
exemplo,
no-positivos
com
os
nmeros
racionais
positivos
cujos
. Da,
Defina
e
Logo,
Consequentemente, A2
x positivo
. Da,
. Defina
Ento
pois
pois
sem
fazer
uso
do
infinito,
que
permitir
se
trabalhar
)=
rea (
)>
rea (
rea(
) = rea (
) > rea (
Demonstrao da Proposio 1:
.______.______.____________.
C
.__________
D
.__________.__________.__________.
. Ele supe
1 - Seja
com
(C S uma grandeza)
, tal que
, semelhante
Da,
ou
. Mas
2 - Seja
com
Finalmente, S=C.
isso,
os
gemetras
mtodo
de
exausto
fundado
sobre
axioma de
Arquimedes.
_______________________________
(*)
Livro X
uma grandeza no
dos
entendimento
poliedros
este
regulares.
problema
Euclides
identificando
vai
dar
categorias
um
novo
para
Explicao:
sero
de comprimento, e
cinco vezes em
Explicao:
Um segmento de reta de 2 unidades de comprimento e um outro
com
inicialmente
principais espcies.
definir,
atravs
de
proposies,
as
trs
Nota:
1) Pelas definies 3 e 4 observa-se que a teoria das quantidades
irracionais de Euclides muito diferente da viso geral de nmero
estabelecida atravs da teoria dos nmeros reais(*).
_____________________________
(*)
Assim, embora a palavra rton possa tambm ser traduzida como racional, o sentido
aqui no tem nada a ver com a ideia de nmero racional. Por isso alguns historiadores
preferem como traduo a palavra exprimvel.
Explicao:
Sejam
os
lados
do
retngulo,
incomensurveis
em
ab irracional pois
ab C a
ab C b
irracional pois
O segmento de reta
Ca e
C b.
chamado medial
Pois se, sobre o exprimvel AB, se define o quadrado AD, ele ser
exprimvel. E, como AB incomensurvel em comprimento com BC, pois
pela hiptese eles so comensurveis em potncia somente, como AB
igual a BD, BD incomensurvel em comprimento com BC. E como BD
est para BC, AD est para AC, pois
__________________________
(*)
, tem-se
deve
como
.
,
.
Consequentemente,
. Logo:
, onde r um
________________________
(*)
H,
G ento
exprimvel. E ele pode produzir o retngulo contido por CD, AB. Ento se
uma rea contida por um aptomo e um binomial cujos termos
designados so comensurveis com os termos do aptomo e na mesma
relao, o segmento de reta podendo produzir esta rea exprimvel.
=
que corresponde na forma geomtrica igualdade:
(CE+ED, k(AF-BF)) = k(Q(CE) Q(ED))
=CD
=AB
(G),
G exprimvel
Livro V
Proposio 16: Se quatro grandezas so proporcionais, elas sero tambm
proporcionais alternativamente.
Proposio 19: Se uma grandeza for para outra grandeza, como uma
parte daquela para outra parte desta, ser o resto da primeira grandeza
para o resto da segunda, como a primeira grandeza para segunda.
Livro VI
Proposio 1: Tringulos e paralelogramos que tm a mesma altura, esto
um para o outro como suas bases.
que
servem
soluo
de
certos
tipos
de
equaes
Ela
Para os nmeros:
Definio da relao de medida: Um nmero uma parte de um
nmero, o menor do maior, quando o menor mede o maior (ser parte
significa aqui ser divisor).
Aqui no existe o Axioma de Arquimedes. Entretanto, fala de
unidade: um nmero uma quantidade composta de unidades.
A comensurabilidade dos nmeros devida ao fato de que eles so
compostos de unidades.
o Caracterizao dessa teoria da medida que atravessa a diviso
Aritmtica/Geometria.
Inicialmente, para que se tenha uma medida, necessrio:
i) a adio;
ii) uma estrutura de ordem total compatvel com a adio;
iii) o Axioma de Arquimedes.
Ou seja, modernamente, a partir da, necessrio um semigrupo
comutativo totalmente ordenado arquimediano.
Obs.: 1) Entes matemticos mensurveis podem ser muito diferentes um
dos outros: inteiros positivos, comprimentos, reas, volumes,... Mas todos
tm em comum a estrutura algbrica acima.
Exemplo: Para que serve o Teorema de Pitgoras?
Serve para definir uma adio de reas.
2) Em Euclides, o Axioma de Arquimedes permite definir a medida de uma
grandeza g, a menos de uma unidade, por falta, quando uma grandeza
significando a unidade (u) escolhida: essa medida dada pelo maior
inteiro positivo n tal que n.ug.
Ponto importante: a unidade dada na Aritmtica e escolhida na
Geometria.
3) A partir do fato de que tem-se a estrutura algbrica acima, demonstrase que existe um nico homomorfismo estritamente crescente
h:(G,+)(
u.
Alm
h,
G, o
disso,
como
este
homomorfismo
estritamente
, lhe associar de
uma nica maneira um nmero real, tal que as grandezas maiores tero
medidas maiores e a soma de duas grandezas ter por medida a soma
das medidas das grandezas, uma vez escolhida a grandeza-unidade (h
um homomorfismo: h(g1+g2) = h(g1) + h(g2)).
3. Sobre
necessidade de
, e no somente de
Razo de ser
arquimedianos.
Euclides, entretanto, no faz isso. Ele descreve duas vezes a mesma
teoria, que no jamais destacada e estudada por ela mesma. quase a
mesma teoria no Livro V e no Livro VII, mas Euclides no percebe.
Algumas vezes ele demonstra o mesmo teorema, uma vez para as
grandezas (geomtricas), outra vez para os nmeros (inteiros positivos),
Sobre o algoritmo
tentativa
os
de
caracterizar
inteiros
positivos
por
sua
O papel do algoritmo
.
e
munido da adio. Em
tal
relao binria
*.
(a,b)
, notado(a)
Obs.:
/~,
.
? Ou melhor, como definir um nmero real(1)?
: Como definir
Define-se
como
um
corpo
comutativo
totalmente
ordenado
,1 1,
-1 1-
= 2-
e 1.
,
-1,
________________________
(1)
converge em
importante:
ligao
entre
teoria
da
semelhana
os
incomensurveis.
2. Aplicar o algoritmo
Tem-se:
, 1; 1,
e 1.
;
, se recai em um retngulo
a relao da diagonal
Exemplo:
termina.
Exemplos:
1. Para um nmero racional:
Notao:
=[1,1,2]
Interpretao geomtrica:
Se pavimenta um retngulo de base 20 e de altura 12 por um quadrado
de lado 12. Resta uma banda de altura 12 e de base 8. Em seguida, se
percebe que possvel pavimentar esta banda restante com um quadrado
de lado 8, e resta uma banda de base 8 e altura 4, pavimentada por dois
quadrados de lado 4.
= [1,2,2,...]
Interpretao geomtrica:
Se constri um retngulo de base a+b e altura b. O objetivo de
pavimentar o retngulo de quadrados de lado o maior possvel. O maior
lado possvel para os primeiros quadrados b, pois a altura b. Como
2b<a+b<3b, pode-se construir dois quadrados de lado b. A banda
restante um retngulo de altura b e base a-b. Por sua vez, tem-se a
proporo
semelhantes.
________________________
(*)
b(b2) igual a rea de um retngulo cuja base e a soma da diagonal e do lado (a+b), e a
altura a diferena da diagonal e do lado desse quadrado (a-b). Sob a forma de
proporo, obtm:
vezes
Definio de
resto 1
1+
resto 2
1+
resto 2
etc...
Interesse desta definio: mexe com a fronteira entre nmero e grandeza.
Consequncia desta definio:
1. Admitir o infinito atual, e o tomar como ponto de partida da definio
de um incomensurvel;
2. Duas relaes entre incomensurveis so iguais se cada termo das
sequncias infinitas de inteiros positivos corespondentes so iguais.
2) A definio de Eudoxo no Livro V dos Elementos
A partir da, ele define o fato para duas grandezas, de ter uma relao
uma com a outra:
a,b
na > b.
excedem,
ou
so
simultaneamente
iguais,
ou
m, n
[(nA = mB)
intuio subjacente
Antifairese X Eudoxo
1. Em Eudoxo, a definio no distingue entre relao racional e irracional. Ela se aplica a todas as relaes.
2. No existe infinito atual em Eudoxo:
i) se encontra somente a ideia que, se duas relaes diferem, ento existe
um lugar, a uma distncia finita, onde se ter um desajuste nos
mltiplos;
ii) se encontra uma quantificao sobre um conjunto infinito de
elementos (
Dedekind X Euclides
da
circunferncia
do
crculo
proporcional
ao
dimetro. Da,
rea do crculo (A0)=k1r
Comprimento da circunferncia do crculo (C0)=k22r, onde k1 e
k2 so constantes.
Entretanto no fica claro que k1=k2 (= usado como constante
pela primeira vez por William Jones (ingls 1675 1749) em 1706
no livro A new introduction to the mathematics)
Arquimedes:
primeira
caracterizao
rigorosa
r C0, k1 r = r k2 2 r k1=k2 ]
deste
fato
ao
Intuitivamente:
. Seja
Seja
Da,
,
. Logo, o
Estimativa para
ou seja,
Ou seja,
e que
atravs da duplicao
(**)
trada de Mencmo
(**)
Visualmente:
Visualmente:
isto ,
Da,
Visualmente:
Exerccio:
1) Obtenha a equao acima da hiprbole, a partir do diagrama ao
lado.
2) Escreva na forma cannica as equaes acima da elipse e da
hiprbole.
Dos oitos livros que constituem o tratado, sete nos so chegados. Aps a
definio e a construo das trs cnicas, Apolnio estuda suas
propriedades fundamentais (assntotas, tangentes, focos, dimetros
conjugados, etc.).
______________________
(*)
Na Idade Mdia perspectiva (em latim) designava a cincia tica (optiqu em grego
quer dizer viso).
(**)
Descartes com sua geometria das coordenadas e Desargues com sua geometria
projetiva vo pretender unificar e simplificar os mtodos matemticos. Um atravs das
virtudes da lgebra, o outro atravs da potncia da geometria.
geometrias,
______________________
(*)
como axioma uma das duas formas que pode ter a negao do postulado
das paralelas. A geometria hiperblica tem por princpio que por um ponto
passa mais de uma paralela a uma reta dada (e, por consequncia, se
demonstra que passam uma infinidade). A geometria elptica postula que
por tal ponto no passa nenhuma paralela uma reta dada. O que pouco
se sabe, que a emergncia das geometrias no-euclidianas s se tornou
possvel aps esta da geometria projetiva, que iria servir de quadro geral
aos trs modelos de geometria, e que esta geometria projetiva nasceu no
sculo XVII, da conjuno da cincia da perspectiva e da teoria das
cnicas de Apolnio.
A cincia da perspectiva
Quando se est em uma longa estrada em linha reta, suas
margens so assumidas paralelas, mas a viso diz que elas concorrem em
um ponto muito longe, um ponto no infinito, chamado ponto de fuga.
No ponto de fuga seus bordos, duas retas, esto se intersectando. Se
existe uma outra estrada cruzando a primeira, ao se olhar em linha reta
na direo desta outra, v-se o mesmo fenmeno com outro ponto de
fuga. Este fenmeno captado pelos pintores do Renascimento italiano
marca a compreenso para se representar a terceira dimenso no plano.
Um momento crucial e fundador desta questo foi a inveno da
perspectiva linear, central ou cnica (os dois ltimos nomes dados pelos
matemticos). A perspectiva central consiste em projetar sobre o plano do
quadro os raios retilneos (e imaginrios) que vo do objeto a se
representar at o olho, suposto pontual, do pintor. Assim, considerando o
olho como o centro dessa projeo, todos os raios luminosos passando por
ele e provenientes dos pontos situados sobre o contorno do objeto
formam ento um cone com o vrtice sendo esse vrtice. Feito isso, pela
definio de um ponto de concorrncia de retas, na realidade paralelas, os
artistas italianos(*) deram o primeiro exemplo de representao visual de
um infinito atual: o ponto de fuga aparece no quadro, um ponto na
realidade situado no infinito, l onde as retas paralelas se encontram.
Deve-se, entretanto, ressaltar que esses artistas no tinham por projeto
de colocar em evidncia a possibilidade geomtrica de pensar esse infinito
atual, ou que eles tenham tido uma conscincia de ter participado de sua
inveno.
______________________
(*)
as
noes
intuitivas
de
perspectiva
de
horizonte.
Ela
teoremas
fundadores
so
de
colinearidade
de
pontos
de
. Se deduz da,
, o que equivale a
tender
para 1, e a igualdade
se tornar a relao de
Tales
pares de intersees
so incidentes a
projetiva desta
proposio:
um
teorema
de
pura
eles
foram
adicionados
proposies
da
Geometria
Dois matemticos sero fundamentais para a criao e a formalizao da Geometria Projetiva: Desargues e Poncelet.
Poncelet
retoma
os
princpios
Desargues, sistematizando-os.
matemticos
introduzidos
por
paralelismo
destes
objetos
geomtricos.
Em
outros
termos,
Exemplos:
rolo slido cilndrico ou cnico
plano de corte do rolo plano que corta um rolo, e no a base
falta elipse
igualao parbola
excesso hiprbole
marco vrtice de um quadriltero
reta-marco reta que passa por dois dos vrtices
objetivo de uma ordenao de retas ponto de interseo de um feixe de
retas
tronco reta
ns pontos em uma reta, nos quais passam outras retas
ramo cada uma dessas retas acima
rvore reta na qual esto trs pares de pontos A,A; B,B e C,C tais que
cepo o ponto O, comum aos seis segmentos
galhos os segmentos OA, OA', OB, OB, OC, OC
imposio de nome definio
ponto quente foco
Alm disso, novos aspectos relativos aos objetos geomtricos
foram introduzidos por Desargues na sua teoria.
Exemplos:
reta um crculo de raio infinito
cilindro de base circular um cone de vrtice no infinito (o que explica
que uma seo do cilindro por um plano produz tambm cnicas)
Caso 1:
O centro de involuo est entre os pontos de cada par e, neste caso, os
pares esto misturados.
Caso 2:
O centro de involuo est fora e ento, os pares no esto misturados.
______________________
(*)
A involuo e as cnicas
A partir da noo da involuo, Desargues vai demonstrar o
seis
lados
do
quadriltero
completo.
Os
lados
opostos
deste
quadriltero
completo
no
crculo
se
transformar
em
acima,
em
demonstrar
uma
propriedade
sobre
uma
possuir
todas
as
propriedades
do
crculo
que
se