Escolar Documentos
Profissional Documentos
Cultura Documentos
&
apresentam
Uma Introduç
Introdução Ilustrada
à Geometria Algé
Algébrica Clá
Clássica
# 29 de Setembro a 03 de Outubro de 2008 #
O belo do infinito é que não existe um adjetivo sequer que
se possa usar para defini-lo. Ele é, apenas isso: é.
(...)
Que pena eu não entender de física e matemática para
poder, nessa minha divagação gratuita, pensar melhor e
ter vocabulário adequado para transmissão do que sinto.
(...)
Qual a forma mais adequada para que
o consciente açambarque o infinito?
Parte II: A Geometria Analítica Real é boa mas tem seus defeitos
RESUMO do CURSO
Para entender o Teorema de Bezout em sua versão
projetiva, vamos introduzir e trabalhar os seguintes
conceitos: curvas algébricas, interseção de curvas,
multiplicidade de interseção, plano projetivo,
coordenadas homogêneas, entre outros.
CARACTERÍSTICAS
Deseja-se que esta apresentação alcance e
seduza o maior número possível de alunos. Para
tanto, as características pretendidas para este curso são:
•Poucos pré-requisitos
•Conexões com a História da Geometria
•Resolução detalhada de exemplos
•Ênfase em gráficos e figuras significativas
PRÉ-REQUISITOS
Parte I:
Uma Introdução Histórica
GEOMETRIA ALGÉBRICA
Geometria Geometria
Projetiva
+ Analítica
Um pouco de
Geometria Projetiva ...
A novidade da Geometria
Projetiva em relação à
Geometria Euclidiana é o
acréscimo de pontos no
infinito.
Retas concorrentes
Retas paralelas
Linha do Tempo
Raffaello Bezout
(séc XVI) (1730-1783)
Plücker
(1801-1868)
Descartes
Renascimento (1596-1650) Monge
(séc XV e XVI) (1746-1818)
Discurso do
Masaccio Poncelet
Método
(séc XV) (1788-1867)
(1637)
Revolução
Desargues Francesa
(1591-1661) (1789)
a d e
i n d
T r o
i m a cci
tí ss a sa 7)
San por M -142
4 0 1
(1
Linha do Tempo
Raffaello Bezout
(séc XVI) (1730-1783)
Plücker
(1801-1868)
Descartes
Renascimento (1596-1650) Monge
(séc XV e XVI) (1746-1818)
Discurso do
Masaccio Poncelet
Método
(séc XV) (1788-1867)
(1637)
Revolução
Desargues Francesa
(1591-1661) (1789)
Arquiteto e Engenheiro.
100 anos depois dos pintores
renascentistas, descobre a
perspectiva na Matemática.
Não foi entendido pelos seus
contemporâneos matemáticos.
Suas obras ficaram perdidas
por cerca de 200 anos.
Teorema de Desargues:
Considere dois triângulos...
A' C'
B'
C
A B
Teorema de Desargues:
... tais que vale a configuração abaixo.
A' C'
B'
C
A B
Teorema de Desargues:
Construa os pontos P, Q e R.
O
R
A' C'
B' Q
C
P
A B
Teorema de Desargues:
Estes pontos estão alinhados.
O
R
A' C'
B' Q
C
P
A B
Linha do Tempo
Raffaello Bezout
(séc XVI) (1730-1783)
Plücker
(1801-1868)
Descartes
Renascimento (1596-1650) Monge
(séc XV e XVI) (1746-1818)
Discurso do
Masaccio Poncelet
Método
(séc XV) (1788-1867)
(1637)
Revolução
Desargues Francesa
(1591-1661) (1789)
P P
P
O Plano Projetivo
O Plano Projetivo
O Plano Projetivo
O Plano Projetivo
E agora, um pouco de
Geometria Analítica ...
A novidade da Geometria
Analítica em relação à
Geometria Euclidiana é a
introdução de um sistema de
coordenadas.
Linha do Tempo
Raffaello Bezout
(séc XVI) (1730-1783)
Plücker
(1801-1868)
Descartes
Renascimento (1596-1650) Monge
(séc XV e XVI) (1746-1818)
Discurso do
Masaccio Poncelet
Método
(séc XV) (1788-1867)
(1637)
Revolução
Desargues Francesa
(1591-1661) (1789)
Considerado o
filósofo pai do
racionalismo
moderno.
Publicou vários
livros em francês, sua
língua natal, uma
novidade na época.
Linha do Tempo
Raffaello Bezout
(séc XVI) (1730-1783)
Plücker
(1801-1868)
Descartes
Renascimento (1596-1650) Monge
(séc XV e XVI) (1746-1818)
Discurso do
Masaccio Poncelet
Método
(séc XV) (1788-1867)
(1637)
Revolução
Desargues Francesa
(1591-1661) (1789)
Plano Cartesiano
R = {(a, b) | a, b ∈ R}
2
eixo y
P=(a,b)
eixo x
Espaço Cartesiano
R = {(a, b, c) | a, b, c ∈ R}
3
eixo z
, c)
a,b
(
P=
eixo y
eixo x
Cleber Haubrichs dos Santos CEFET Química de Nilópolis – RJ
IV Bienal da SBM Introdução Ilustrada à Geometria Algébrica / Introdução Histórica
Chegamos então à
Geometria Algébrica ...
GEOMETRIA ALGÉBRICA
Geometria Geometria
Projetiva: + Analítica:
Pontos no Infinito Sistema de Coordenadas
Linha do Tempo
Raffaello Bezout
(séc XVI) (1730-1783)
Plücker
(1801-1868)
Descartes
Renascimento (1596-1650) Monge
(séc XV e XVI) (1746-1818)
Discurso do
Masaccio Poncelet
Método
(séc XV) (1788-1867)
(1637)
Revolução
Desargues Francesa
(1591-1661) (1789)
O Teorema de Bezout
O Teorema de Bezout versa sobre a contagem de
pontos de interseção entre duas curvas no plano.
O Teorema de Bezout
O Teorema de Bezout versa sobre a contagem de
pontos de interseção entre duas curvas no plano.
Historicamente pode ser considerado o
primeiro teorema da Geometria Algébrica.
O Teorema de Bezout
O Teorema de Bezout versa sobre a contagem de
pontos de interseção entre duas curvas no plano.
Historicamente pode ser considerado o
primeiro teorema da Geometria Algébrica.
Maclaurin (1720), a partir de generalizações de trabalhos
de Newton, enunciou o teorema sem, no entanto, prová-lo.
O Teorema de Bezout
O Teorema de Bezout versa sobre a contagem de
pontos de interseção entre duas curvas no plano.
Historicamente pode ser considerado o
primeiro teorema da Geometria Algébrica.
Maclaurin (1720), a partir de generalizações de trabalhos
de Newton, enunciou o teorema sem, no entanto, prová-lo.
Bezout (1770) desenvolveu muita teoria da
eliminação e provou o teorema que leva seu nome.
O Teorema de Bezout
O Teorema de Bezout versa sobre a contagem de
pontos de interseção entre duas curvas no plano.
Historicamente pode ser considerado o
primeiro teorema da Geometria Algébrica.
Maclaurin (1720), a partir de generalizações de trabalhos
de Newton, enunciou o teorema sem, no entanto, prová-lo.
Bezout (1770) desenvolveu muita teoria da
eliminação e provou o teorema que leva seu nome.
Liouville (1841) descobriu falhas na
prova de Bezout, mas não conseguiu consertá-la.
O Teorema de Bezout
O Teorema de Bezout versa sobre a contagem de
pontos de interseção entre duas curvas no plano.
Historicamente pode ser considerado o
primeiro teorema da Geometria Algébrica.
Maclaurin (1720), a partir de generalizações de trabalhos
de Newton, enunciou o teorema sem, no entanto, prová-lo.
Bezout (1770) desenvolveu muita teoria da
eliminação e provou o teorema que leva seu nome.
Liouville (1841) descobriu falhas na
prova de Bezout, mas não conseguiu consertá-la.
Parte II:
A Geometria Analítica Real
é boa mas tem seu defeitos
ax + by + c = 0
ax 2 + by 2 + cxy + dx + ey + f = 0
Curvas algébricas em R2
ax + by = c
Sistema Linear 2x2:
px + qy = r
Uma pergunta...
Uma pergunta...
Uma pergunta...
ax 2 + by 2 + cxy + dx + ey + f = 0
px + qy + r = 0
ax 2 + by 2 + cxy + dx + ey + f = 0
2
mx + ny 2
+ pxy + qx + ry + s = 0
O Teorema de Bezout
O Teorema de Bezout versa sobre a contagem de pontos em
comum entre duas curvas algébricas no plano, desde que essa
quantidade de pontos de interseção seja um número finito.
O Teorema de Bezout
O Teorema de Bezout versa sobre a contagem de pontos em
comum entre duas curvas algébricas no plano, desde que essa
quantidade de pontos de interseção seja um número finito.
O Teorema de Bezout
O Teorema de Bezout versa sobre a contagem de pontos em
comum entre duas curvas algébricas no plano, desde que essa
quantidade de pontos de interseção seja um número finito.
4 2
2 2
0
1 1
1 1
3
O Teorema de Bezout
O Teorema de Bezout versa sobre a contagem de pontos em
comum entre duas curvas algébricas no plano, desde que essa
quantidade de pontos de interseção seja um número finito.
4 2
2 2
0
1 1
1 1
3
Por exemplo...
4y − x = 0
2 4
y
4
−7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7
−1
−2
−3
−4
Por exemplo...
4y − x = 0
2 4
2 y + x2 = 0
y y
4 4
3 3
2 2
1 1
x x
−7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7 −7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7
−1 −1
−2 −2
−3 −3
−4 −4
Por exemplo...
4y − x = 0
2 4
2 y + x2 = 0
y y
4 4
3 3
2 2
1 1
x x
−7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7 −7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7
−1 −1
−2 −2
−3 −3
−4 −4
Note que (4 y 2 − x 4 ) = (2 y − x 2 ) ⋅ (2 y + x 2 )
Cleber Haubrichs dos Santos CEFET Química de Nilópolis – RJ
IV Bienal da SBM Introdução Ilustrada à Geometria Algébrica / Geometria Real
Exemplos e Exercícios
x2 + 4 y 2 − 4x − 8 y + 4 = 0 x − 2y + 2 = 0
y
−3 −2 −1 1 2 3 4 5 6 7
−1
y
7
9 y − 5 x = 36
2 2 2
5x − 3 y = 6
1
−1
−2
−3
−4
−5
−6
4
x + 4 y − 6 x − 16 y + 17 = 0
2 2
−2 −1 1 2 3 4 5 6 7 8
x + 2y = 3 −1
x 2 + 16 y 2 + 2 x − 96 y + 113 = 0 9 x 2 + 25 y 2 + 18 x − 150 y + 65 = 0
y
−7 −6 −5 −4 −3 −2 −1 1 2 3 4 5
2 x + y = 12 y
2 2 12
11
10
1
x 2 + y 2 = 10 y
x
−1
y
8
x −y =4
2 2 4
4x = y + 8 2
2
−1
−2
−3
−4
−5
−6
−7
8 y = x 3 + 3x 2 − 5 x − 7 7
y
x − 2y + 5 = 0 2
−11 −10 −9 −8 −7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7 8 9 10
−1
−2
−4
5x + 3 y = 2 y
8
9 y = x − 3 x − 12 x + 5
3 2 3
−1
−2
−3
−4
−5
−6
−7
3 x 2 + 7 y 2 = 55 4
−8 −7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7 8
−1
−2
−3
−4
4 x + 12 y + 30 x − 5 y = 0
2 2 5
2
3 y = x 3 + 9 x 2 + 18 x
1
−1
−2
−3
−4
x + y − 2 xy − 6 x − 6 y + 12 = 0
2 2
y
9
x− y =0
8
−4 −3 −2 −1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
−1
−2
−3
Uma interseção real simples em (1, 1)
Cleber Haubrichs dos Santos CEFET Química de Nilópolis – RJ
IV Bienal da SBM Introdução Ilustrada à Geometria Algébrica / Geometria Real
x 2 + y 2 = 10 y 9 x 2 + 4 y 2 − 90 x − 40 y + 225 = 0
y
11
10
−8 −7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
−1
y
9
x+ y =5
6
y + 4x − 4 y + 5 = 0
2 3
−1
−2
−3
−4
−5
y 2 + 3x − 6 y + 3 = 0
10
y 5 y − 9 x − 30 y − 9 = 0
2
−1
−2
−3
−4
x − 2 xy = 1
2
−4 −3 −2 −1 1 2 3 4
−1
x − 2y = 0 −2
x 2 + y 2 + 10 x − 12 y + 36 = 0 x 2 + y 2 + 8 x − 12 y + 36 = 0
y
11
10
−1
y
5
y = x + 3x
2 3 2 3
2
x+ y =3
1
−9 −8 −7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7 8 9
−1
−2
−3
−4
−5
y
8
5
3 y = x2 − 4x + 4
4
y = x2 − 4x + 4
3
−11 −10 −9 −8 −7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
−1
−2
−3
−4
− 2 y = x − 4x + 4 2
−5
−6
−4 −3 −2 −1 1 2 3 4
x + y = 3 xy
3 3
x + y +1 = 0 −1
−2
4y = x 2 3
−10 −9 −8 −7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7 8 9 10
−1
−2
−3
y + x − 6x + 9 = 0
2 −4
−5
3 y = x + 2 x − 2 3 y = x + 7 x + 11x + 2
2 3 2
y
7
−1
−2
Podemos enunciar
uma versão parcial do
Teorema de Bezout
Teorema de Bezout
(Versão para Geometria Analítica Real)
Suponha que:
Duas curvas no plano cartesiano são
representadas uma por um polinômio de grau m
e outra por um polinômio de grau n.
Então:
O número de pontos de interseção das duas
curvas, contados com suas multiplicidades,
será no máximo m.n.
Cleber Haubrichs dos Santos CEFET Química de Nilópolis – RJ
IV Bienal da SBM Introdução Ilustrada à Geometria Algébrica / Geometria Real
Teorema de Bezout
(Como gostaríamos que fosse...)
Suponha que:
Duas curvas no plano cartesiano são
representadas uma por um polinômio de grau m
e outra por um polinômio de grau n.
Então:
O número de pontos de interseção das duas
curvas, contados com suas multiplicidades,
será exatamente m.n.
Cleber Haubrichs dos Santos CEFET Química de Nilópolis – RJ
IV Bienal da SBM Introdução Ilustrada à Geometria Algébrica / Geometria Real
Parte III:
A Geometria Complexa
ainda não resolve tudo
Números Complexos
i = −1
Unidade Imaginária
Adição: (a + bi ) + ( p + qi ) = (a + p) + (b + q )i
Multiplicação: (a + bi) ⋅ ( p + qi) = (ap − bq) + (aq + bp)i
C = {a + ib , com a , b ∈ R } R⊂C
C = C × C = {(a + bi, p + qi ) }
2
an x n + an −1 x n −1 + ... + a2 x 2 + a1 x + a0 = 0
an x n + an −1 x n −1 + ... + a2 x 2 + a1 x + a0 = 0
an x n + an −1 x n −1 + ... + a2 x 2 + a1 x + a0 = 0
an x n + an −1 x n −1 + ... + a2 x 2 + a1 x + a0 = 0
an x n + an −1 x n −1 + ... + a2 x 2 + a1 x + a0 = 0
Uma esperança...
Uma esperança...
an x n + an −1 x n −1 + ... + a2 x 2 + a1 x + a0 = 0
Uma esperança...
an x n + an −1 x n −1 + ... + a2 x 2 + a1 x + a0 = 0
Exemplos e Exercícios
6
x+ y =5
5
y2 + 4x − 4 y + 5 = 0 2
−1
−2
−3
−4
−5
x 2 + y 2 = 10 y 9 x 2 + 4 y 2 − 90 x − 40 y + 225 = 0
y
11
10
−8 −7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
−1
x+ y =3 4
−9 −8 −7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7 8 9
−1
−2
y = x + 3x
2 3 2 −3
−4
−5
4 y = x2 3
−9 −8 −7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7 8 9
−1
−2
y + x − 6x + 9 = 0
2 −3
−4
−5
Teorema de Bezout
(Versão para Geometria Afim)
Suponha que:
Duas curvas algébricas afins são dadas uma por um
polinômio de grau m e outra por um polinômio de grau n.
Então:
O número de pontos de interseção das duas curvas,
sejam reais ou complexos, contados com
suas multiplicidades, será no máximo m.n.
Parte IV:
A Geometria Projetiva
mostra os pontos que
estavam faltando
P= (a:b:c)
v=(a,b,c) y
v=(a,b,c)
Retas paralelas z
no plano euclidiano... P
y
P
Exemplos e Exercícios
ax + by = c1
Retas paralelas
ax + by = c 2
Uma interseção
real infinita
simples em
(b: -a: 0)
x − y = 0 x 2 + y 2 − 2 xy − 6 xz − 6 yz + 12 z 2 = 0
y
9
−4 −3 −2 −1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18
−1
−3
x − 2 xy = z
2 2
x − 2y = 0
x
−4 −3 −2 −1 1 2 3 4
−1
−2
10
y
5 y 2 − 9 xz − 30 yz − 9 z 2 = 0
9
y 2 + 3xz − 6 yz + 3z 2 = 0 6
−1
−2
−3
−4
3
3 yz = x 2 − 4 xz + 4 z 2
yz = x 2 − 4 xz + 4 z 2 2
−11 −10 −9 −8 −7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
−1
−2
−3
−4
− 2 yz = x 2 − 4 xz + 4 z 2
−5
−6
4 yz = x 2
2
−10 −9 −8 −7 −6 −5 −4 −3 −2 −1 1 2 3 4 5 6 7 8 9 10
−1
yz + x 2 − 6 xz + 9 z 2 = 0 −2
−3
−4
−5
−4 −3 −2 −1 1 2 3 4
x + y = 3 xyz
3 3
x+ y+z =0 −1
−2
3 yz = x 2 + 2 xz − 2 z 2 3 yz 2 = x 3 + 7 x 2 z + 11xz 2 + 2 z 3
y
−1
−2
−3
−4
x 2 + y 2 + 10 xz − 12 yz + 36 z 2 = 0 x 2 + y 2 + 8 xz − 12 yz + 36 z 2 = 0
y
11
10
−1
Teorema de Bezout
(Versão para Geometria Projetiva)
Suponha que:
Duas curvas algébricas projetivas são dadas uma por um
polinômio de grau m e outra por um polinômio de grau n.
Então:
O número de pontos de interseção das duas curvas,
sejam reais ou complexos, sejam finitos ou infinitos,
contados com suas multiplicidades, será exatamente m.n.
Matemática e História
•BOYER, Carl B. História da Matemática. Traduzido por Elza F. Gomide.
Editora Edgard Blucher. São Paulo, 1996.
•HEFEZ, Abramo. Introdução à História da Geometria Projetiva. Revista
Matemática Universitária, n. 6, SBM. Rio de Janeiro, 1986.
•HARTSHORNE, Robin. Geometry: Euclid and Beyond. Springer Verlag.
AGRADECIMENTOS