Funo Maior Inteiro Definio

fracionria de x , definida por { x} = x x . O nmero inteiro x ( x ) tal que x x < x + 1 . Tambm podemos trabalhar com a funo

Exemplos
1,9 = 1 , = 3 e 7,983 = 7 .

Teoremas
01) x + m = x + m , se m . Prova:
Temos x + m x + m < x + m + 1 x + m 1 < x + m x + m (1) . Mas

x x x + 1 (2). Substituindo (2) em x + m 1 x + m 1 < x + m x + m < x + 1 + m x + m 1 < x + m < x + m + 1.

tambm verdade que

(1),

teremos:

Assim, podemos concluir que x + m = x + m . c.q.d

02) x + y x + y x + y + 1, x, y . Prova: x x < x + 1 Ora, temos x + y 1 x + y x + y (1) e (2). y y < y + 1

Substituindo seguinte: x + y 1 x + y 1 < x + y x + y < x + y + 2 x + y 1 < x + y < x + y + 2. Assim (2) em (1), podemos escrever a desigualdade

finalmente: x + y x + y x + y + 1 . c.q.d

n 03) Dados n, a , temos que corresponde quantidade de inteiros entre 1, 2,..., n que so a divisveis por a .

Prova:
Sejam a, 2a,3a,..., ia ( i ) todos os inteiros entre 1, 2,..., n que so divisveis por a . Podemos escrever: ia n < ( i + 1) a

n n n 1 < i i = . c.q.d a a a

04) Seja p um nmero primo. Ento o maior expoente n , p tal que n ! 0 mod p

n ,p

dado por

n . (Frmula de Polignac) k k =1

Dica para a prova: utilize o teorema iii).

Exerccio Resolvido 01) Sabendo que x = 10 e y = 14 , calcule x + y .
Soluo: Sabemos que x + y 1 < x + y x + y (1). Alm disso, podemos notar: i) x

x < x + 1 10 x < 11 100 x < 121 . (2) ii) y y < y + 1 14 y < 15 196 y < 225 . (3)
Substituindo (2) e (3) em (1), teremos a seguinte desigualdade:

295 < x + y < 346 17 < 295 < x + y < 346 < 19 17 x + y 18 (*).
A partir de (*), temos finalmente:

4 < 17 x + y 18 < 5 4 < x + y < 5 x + y = 4 .

Exerccio Resolvido 02) Seja n . Mostrar que a parte fracionria de

4n 2 + n no maior do que

0, 25 .
Soluo: Podemos demonstrar que

4n 2 + n 2 n =

4n 2 + n .

2 n < 4 n 2 + n < 2n + 1 4 n 2 + n = 2 n . 4

Assim

sendo:

Suponhamos que:

4n 2 + n > 1/ 4 4n 2 + n 2n > 1 / 4 4n 2 + n > 4n 2 + n + 1 . Absurdo! c.q.d 16

Exerccio Resolvido 03) Calcular em quantos zeros termina a representao decimal de 2009! . Soluo: Devemos contar quantas vezes o fator primo 5 aparece em 2009!. Pela Frmula de Polignac, temos o seguinte resultado:

2009,5 =

2009 = 401,8 + 80,36 + 16, 072 + 3, 2144 = 500 . k k =1 5

Exerccio Resolvido 04) Calcular

x + n .
k =0

n 1

Soluo: Seja x = x + { x} , onde

n 1

j n

{ x} <
k

( j + 1)

, j tal que 0 j n 1 .
n 1

Logo

x + n = x + { x} + n = n x + { x} + n .
k =0 k =0 k =0

n 1

Podemos escrever:

( j + k)

{ x} +

k ( j + k + 1) < . n n

Separemos agora em dois casos:

i) 0 k n j 1 : { x} + ii)
n j k n 1:

k ( j + k + 1) k < 1 { x} + = 0 . n n n ( j + k ) { x} + k < ( j + k + 1) ( 2n 1) < 2 . 1 n n n n

Dessa

forma

teremos:

k { x} + n = 1 .

k n j 1 k n 1 k n 1 x} + = { x} + + { x} + = 1 = j . { n k =0 n k =n j n k =n j k =0 n 1 k E assim podemos finalmente obter o valor de nosso somatrio: x + = n x + j . n k =0

n 1

De i) e ii), conclumos:

Mas n x + j 1 nx 1 < nx nx < n x + ( j + 1)

n 1 k j 1 < nx n x < j + 1 nx n x = j x + = nx . n k =0

Desafios
Desafio 01) Prove que o nmero

( 2m )!( 2n )! inteiro para m, n . m !n !( m + n ) !

Desafio 02) Calcule

2009 1 . k =1 k