Teorema de Lagrange (teoria dos grupos)

O Teorema de Lagrange, aplicado na teoria dos grupos, um teorema que diz que se um
grupo finito e subgrupo de ento a ordem (quantidade de elementos) de divide a
ordem de . Provemos um resultado antes de partir para a demonstrao do Teorema de
Lagrange.
Teorema 0.1

Se uma relao de equivalncia em ento

elemento de cada classe e onde
classes de equivalncia.

, onde tal unio sobre um

implica

. Ou seja, particiona

Demonstrao

Seja

. Note que

. Portanto, claro que

Suponhamos que
Seja

e provemos que

Ento

Por um lado

Por outro

Seja
Ento
Mas

.
.
, logo

Portanto
Ento
Portanto

e assim
. Seja

. Mas

, logo
.

.
.
e assim

em

E, dessa forma,

Demonstrao do Teorema de Lagrange

Seja a relao de equivalncia definida por

se

Temos que

Seja o nmero de classes de distintas de

- chamemo-as de

Pelo Teorema 0.1,

e sabemos que

Provemos que qualquer

Seja

possui

, se

elementos.

uma funo tal que

Provemos que

bijetora.

Note que bijetora pois

pela definio de
.
Potanto,

implica

bijetora e, assim,

Como

e sobrejetora

.
e tais

so disjuntos com

elementos, teremos que

.
Portanto,

divide

Teorema de Lagrange

Teorema (de Lagrange)

Se f: I = [a,b] [R] [R] uma funo contnua em e diferencivel em

ento existe pelo

menos um ponto

tal que

Demonstrao

Em termos geomtricos podemos observar que no grfico de uma funo nas

condies do teorema de

Lagrange, entre dois pontos

tangente paralela

corda que une os pontos

h sempre um ponto

onde a

A demonstrao do resultado pode ser feita recorrendo funo auxiliar

Esta funo verifica as condies do teorema de Rolle no intervalo pois, para alm de
ser contnua em e

diferencivel em

tem-se

Podemos ento garantir a exiastncia de um ponto

tal que

Como

Ento,

o que permite concluir que existe um ponto

tal que

Vejamos agora uma outra interpretao (mecnica) do teorema de Lagrange.

Seja

a lei do movimento de um ponto mvel, isto , a funo que d para

cada valor de o
espao percorrido.

A velocidade mdia entre os instantes e

ser (com t>to) com

Se o teorema de Lagrange for aplicvel existir um instante

no qual a

velocidade instantnea
igual

velocidade

mdia

no

intervalo

considerado.

Iremos apresentar de seguida algumas consequncias do teorema de Lagrange.

Corolrio

Nas condies do teorema de Lagrange, se

uma funo

ento a funo f

constante no intervalo

Demonstrao

Sejam

dois quaisquer pontos distintos pertencentes a

Aplicando o teorema de Lagrange funo f no intervalo

existncia de um ponto

tal que

Como

conclumos que

o que demonstra que a funo constante no intervalo

podemos garantir a

Corolrio

Nas condies do teorema de Lagrange, se

uma funo

ento a funo f

estritamente crescente no intervalo

Demonstrao

Pretendemos demonstrar que

Sejam

dois pontos quaisquer pertencentes a e tais que

Aplicando o teorema de Lagrange funo f no intervalo

existncia de um

ponto

tal que

Como, por hiptese,

podemos garantir a

conclumos que

Corolrio

Nas condies do teorema de Lagrange,