Funo Maior Inteiro

Definio
O nmero inteiro x ( x ) tal que x x < x + 1 . Tambm podemos trabalhar com a funo

fracionria de x , definida por { x} = x x .

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) .

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.

Mas

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

(2)

em

(1),

podemos

escrever

desigualdade

seguinte:
x + y 1 x + y 1 < x + y x + y < x + y + 2 x + y 1 < x + y < x + y + 2. Assim

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

4n 2 + n 2 n =

que

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
= 401,8 + 80,36 + 16, 072 + 3, 2144 = 500 .
k

k =1 5

2009,5 =

n 1

Exerccio Resolvido 04) Calcular

x + n .
k =0

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

Logo

n 1

j
n

{ x} <

( j + 1)

, j tal que 0 j n 1 .
n 1

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

k =0

k =0

( j + k)

Podemos escrever:

{ x} +

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

Separemos agora em dois casos:

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

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

n j k n 1:

Dessa

{ x} + n = 1 .

k n j 1
k n 1
k n 1

x
+
=
x
+
+
x
+

{ } n { } n { } n = 1 = j .
k =0
k =0
k =n j
k =n j
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)

forma

teremos:

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

2009 1
.
k =1 k

Desafio 02) Calcule

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

m !n !( m + n ) !