ndice

BIOGRAFIA................................................................................................................................................1
PRINCIPAIS TRABALHOS......................................................................................................................3
LEGENDRE E A TEORIA DOS NMEROS..........................................................................................5
A RECIPROCIDADE QUADRTICA.....................................................................................................6
O SMBOLO DE LEGENDRE..................................................................................................................6
OBSERVAES...............................................................................................................................................7
Congruncias.......................................................................................................................................8
Resduos Quadrticos..........................................................................................................................8
BIBLIOGRAFIA..........................................................................................................................................8
Adrien Marie Legendre
Biografia
O matemtico francs, Adrien Marie Legendre, nasceu em Paris, no dia
18 de agosto de 1752 e faleceu, na mesma cidade, em 10 de janeiro de 1833.
De famlia rica, sem a necessidade de trabalhar, dedicava-se inteiramente s
suas pesquisas.
Foi discpulo de Euler e Lagrange. Lecionou matemtica na Escola
Militar, onde conheceu Laplace (1775-1780), e posteriormente, foi nomeado
professor da cole Normale.
Fez importantes contribuies em equaes diferenciais, clculo,
funes elpticas, teoria dos nmeros e matemtica aplicada.
Ganhou um prmio de pesquisa da Academia de Berlim, ao determinar a
curva descrita por balas de canho e bombas, levando em considerao a
resistncia do ar, e apresentar regras para obter as variaes das diferentes
velocidades iniciais.
Em 1783, tornou-se membro da Academia de Cincias, l
permanecendo at 1793. E em 1828, por se recusar a votar no candidato a
governante do Instituto Nacional, teve sua penso suspensa e morreu na
pobreza.
2
Legendre Assinatura do matemtico
Principais Trabalhos
Tornou-se conhecido devido obra lments de Geomtrie (Elementos
de Geometria; 1794), onde abordou os Elementos de Euclides. Nessa obra,
Legendre prova a irracionalidade de pi e afirma que este no pode ser raiz de
uma equao algbrica de grau finito, com coeficientes racionais.
Legendre dedicou cerca de quarenta anos de sua vida ao estudo das
integrais elpticas, da forma:
3
dx
x S x D x C
x S x B x A

+ +
+ +
) ( ) ( ) (
) ( ) ( ) (
ou
) ( ) (
) (
x S x B
dx x A
onde
) ( ), ( ), ( x C x B x A
e
) (x C
so polinmios em
x
, e
) (x S
um
polinmio de grau 3 ou 4. Deve-se a ele a apresentao das suas trs formas
padres.
Escreveu quatro dissertaes sobre a atrao dos esferides. Na
primeira delas, em 1793, apresentou uma equao que recebeu seu nome e foi
aplicada astronomia.
Seus trabalhos acham-se expostos em Exercices de calcul integral sur
divers ordres de transcendantes et sur ls quadratures (1811-1819; Exerccios
de clculo integral sobre diversas ordens de transcendentes e sobre as
quadraturas), sendo parte desse trabalho ampliada em Trait des fonctions
elliptiques et des intgrales eulriennes (1825-1832; Tratado de funes
elpticas e das integrais eulerianas).
Desenvolveu a equao diferencial
0 ) 1 ( 2 ) 1 (
2
+ + y n n y x y x
com grande importncia em matemtica aplicada. As solues dessa equao
so chamadas de funes de Legendre (de ordem
n
). Quando 0 n , a
equao tem solues polinomiais, conhecidas como polinmios de Legendre.
So polinmios do tipo
) (
!
) 1 2 ( 5 3 1
) ! ( 2
)! 2 (
) (
2
x u
n
n
n
n
x P
n
n
n

,
onde
) (x u
n
um polinmio (
n
= 0, 1, 2, ...).
O matemtico se destacou ainda com o mtodo dos mnimos quadrados,
a lei da reciprocidade quadrtica e o smbolo de Legendre.
4
Legendre e a Teoria dos Nmeros
A Teoria dos Nmeros era um assunto que muito agradava Legendre.
Em 1798, publicou Thorie des nombres (Teoria dos Nmeros), obra
voltada inteiramente aritmtica superior e onde se encontra o primeiro estudo
sistemtico das quadrticas ternrias.
O matemtico apresenta um teorema sobre congruncias e redescobre
a lei da reciprocidade quadrtica (j conhecida por Euler, em 1751).
Atualmente, atribui-se essa lei a Gauss, pois a demonstrao dada por
Legendre no foi satisfatria.
Na mesma obra, Legendre inicia o estudo da representao dos
nmeros inteiros como soma de dois quadrados (questo resolvida por Gauss
em 1801).
Mostrou tambm, aps uma contagem de um grande nmero de primos,
uma regra que exprimisse o nmero de primos menores que um dado inteiro
2 X . Usando
) ( X
para indicar a quantidade de nmeros primos menores
ou iguais a X , tem-se que
X X X log / ) (
.
Essa formulao conhecida como Teoria dos Nmeros Primos e s foi
demonstrada em 1896, por Jacques Hadamard e Charles de La Valle-
Poussin.
Em 1798, demonstra que todos os nmeros inteiros positivos, exceto os
da forma 4
h
(8k+7), so somas de trs inteiros elevados ao quadrado.
Em 1823, publicou um resultado associado ao ltimo teorema de
Fermat, provando que o teorema no apresenta soluo para 5 n .
Legendre afirmou que para todo
n
existe um primo
p
entre
2
n e
2
) 1 ( + n (Conjectura de Legendre). Embora no se saiba se sempre existir
esse primo
p
existe um nmero P que ou primo, ou semiprimo, que
5
satisfaz sempre essa inequao. Alm disso, h sempre um primo entre

n n
e
n
, onde
42
23

(provado por Chen, em 1975).
A Reciprocidade Quadrtica
Esse teorema afirma que, se
p
e
q
so primos mpares distintos,
ento as congruncias
) (mod
) (mod
2
2
q p x
p q x

ambas tm soluo ou ambas no tm soluo. Existe uma nica exceo:

quando
p
e
q
deixam resto 3 quando divididos por 4. Nesse caso, uma delas
apresenta soluo e a outra, no.
De forma geral:
,
onde
para ) (mod
2
q p x solucionvel para
x
para ) (mod
2
q p x no solucionvel para
x
que conhecido como Smbolo de Legendre.
O Smbolo de Legendre
Supondo
p
um primo mpar e
a
um inteiro. Tem-se que

,
_

p
a

definido por:
6
4 / ) 1 ( ) 1 (
) 1 (

,
_

,
_

q p
p
q
q
p

'

,
_

1
1
q
p
+1, se
a
resduo quadrtico
) (mod p
;
-1, se
a
um resduo no quadrtico
) (mod p
, e
0, se
a p |
.
Euler mostrou que
) (mod
2 / ) 1 (
p a
p
a
p

,
_

.
Podemos mostrar algumas propriedades do smbolo de Legendre.
Assim, sendo
p
e
q
, ambos primos mpares:

1
1

,
_

p
se
) 4 (mod 1 p
, e
1
1

,
_

p
se
) 4 (mod 3 p
;

,
_

,
_

,
_

p
ab
p
b
p
a
;
se
) (mod p b a
, ento

,
_

,
_

p
b
p
a
;

1
2

,
_

p
a
, a no ser que
a p |
.
Para o nmero primo 2, tem-se:

1
2

,
_

p
se
1 p
ou
) 8 (mod 7
, e

1
2

,
_

p
se
3 p
ou
) 8 (mod 5
.
Observaes
Para melhor compreender os dois trabalhos de Legendre mencionados
acima, daremos uma breve explicao sobre congruncias e resduos
quadrticos.
7
Congruncias
Suponha
a
, b e
m
, inteiros quaisquer com 0 m . Dizemos que
a

congruente a b mdulo
m
se
m
divide b a . Escrevemos assim:
) (mod m b a
.
Exemplo:
) 4 (mod 2 6
, pois 4 divide 4 2 6 .
Resduos Quadrticos
Supondo
a
e
m
inteiros quaisquer com 0 m . Dizemos que r
resduo de
a
mdulo
m
se
) (mod m r a
. o mesmo que dizer que
r a m |

ou
qm r a +
, para algum inteiro
q
.
No estudo dos primos importante saber quando
a
quadrado de
algum inteiro mdulo
m
. Se for, dizemos que
a
um resduo quadrtico
mdulo
m
; caso contrrio,
a
um resduo no-quadrtico mdulo
m
.
Exemplo: ) 9 (mod 7 4
2
, ento 7 resduo quadrtico mdulo 9. Pois
) 7 4 ( | 9
2
, ou
q 9 7 4
2
+
, onde
1 q
.
Bibliografia
Eves, Howard, Introduo Histria da Matemtica, 3 Edio -
Coleo Repertrios, Editora da UniCamp, 2002.
Nova Enciclopdia Barsa volume 8, pginas 488-489;
Encyclopaedia Britannica do Brasil Publicaes LTDA.
8
Enciclopdia Mirador Internacional volume 12, pginas 6712-
6714; Encyclopaedia Britannica do Brasil Publicaes LTDA.
http://cwx.prenhall.com/bookbind/pubbooks/thomas_br/chapter1/
medialib/custom3/bios/legendre.htm
http://www-groups.dcs.st-
and.ac.uk/~history/Biographies/Legendre.html
http://scienceworld.wolfram.com/biography/Legendre.html
http://mathworld.wolfram.com/LegendreSymbol.html
http://mathworld.wolfram.com/LegendresConjecture.html
http://mathworld.wolfram.com/EllipticIntegral.html
http://mathworld.wolfram.com/QuadraticReciprocityTheorem.html
http://www.somatematica.com.br/coluna/gisele/24022003.php
http://www.if.uff.br/~didatico/page91.html
http://primes.utm.edu/glossary/page.php?sort=Congruence
http://primes.utm.edu/glossary/page.php?sort=QuadraticResidue
http://primes.utm.edu/glossary/page.php?sort=LegendreSymbol
http://pt.wikipedia.org/wiki/Legendre
http://www.prandiano.com.br/html/m_cart.htm
9