Beruflich Dokumente
Kultur Dokumente
1. INTRODUO
2n
de em fatores primos, isto , f n tal que:
n
2n
2 f n e 2 f n 1
n
Note que
2n
| (1)
n
2n 2 n n
2i 1 . (2)
n n! i 1
Pois,
2n 2n 2n 1 2n 2 ...2.1 2n 2n 2 ...2 2n 1 2n 3...1
n!n!
n!n!
n
2 n 2 n 1 ...2 1 2n 1 2n 3 ...1 2n n! 2n 1 2n 3 ...1
n!n!
n!n!
2n
2n n
2
n
1
2
n
3
...1
2i 1 .
n!
n! i 1
n
Note que em n! h k j fatores que so mltiplos de 2 j , para todo
2
j 1,..., k. Logo o expoente do fator 2 em n ! dado por,
n
n k n 2 n
...
2
2k
j
j . (3)
j 1 2
j 1 2
Portanto, da definio dada em (1) e das equaes (2) e (3) temos:
log n
f n n
log 2 n
j 1
n
2 j (4)
e podemos escrever
2n
f n
2 c, em que 2 | c. (5)
n
Agora,
log 2 n
j 1
2
n n
n
j
2j
j n 1,
j 1 2
j 1 2
log n
2n
, 2 .
n
2n n
n n
2!
2n
, e portanto, 2 .
n
4. COMENTRIOS
A soluo por argumento combinatrio claramente mais objetiva; por outro lado,
da soluo aritmtica podem ser obtidos os seguintes resultados:
O expoente da maior potncia de um primo p que divide n!
log p n
j 1
n n
p j p j , (6)
j 1
pois o argumento do qual se obtm a equao (3) pode ser repetido para um primo
p qualquer. Este resultado foi provado por Legendre em 1808.
k
r 1
i
j 1 pi
2
n 1!n! n
n n!n! n n 1!n!
5. EXERCCIOS
mulheres.
n m
O nmero de subconjuntos de tamanho r do grupo das n + m pessoas
.
r
Por outro lado, particionando os subconjuntos em relao quantidade de homens
n m
e mulheres neles presentes, temos um total de deles em que no h
0 r
n m
nenhum homem presente e r mulheres,
em que h 1 homem presente e
1 r 1
n m
r 1 mulheres ... em que h r homens presentes e nenhuma mulher.
r 0
n n
b)
p n p
2
2n n n
c) (Frmula de Lagrange)
n k 0 k
Soluo: Do item a com m e r iguais a n e do uso da identidade dada em b, segue-se
o resultado, pois:
n n n n n n
n n
...
n 0 n 1 n 1
n 0
n n n n
n n n n
...
0 0 1 1
n n k 0 k
n
n
n 1
d) k n k 1
n
k
k 1
k 1
Soluo: Considere um grupo de n pessoas pertencentes a uma empresa, dentre as
k 1
k k n2
n 1
Soluo: Considere uma empresa formada por n funcionrios dentre os quais ser
g)
i)
j i i 2
n j n
j i
n i
m! n!
n 1
m 1
mn !
mn ! , P mn !
e, portanto,
2
n
m
m! n!
n! m!
2
mn !
2
n 1
m 1
P1 P2
, isto , m! n! mn !
n 1
m 1
m! n!
P1
r s
2m1 2n1
.
k
Como
r s 2max r , s 2r 2s
,
k
k
k k
por (8) e (9) temos
2 m 2n m n m n
k k k k k
1
:
k 1 2k
k
l.1) mostre que a srie convergente, isto , S ;
l) Dada a srie S
se que
2
2n n n n
2
n ,
n j 0 j 1
(10)
1
1 2
2
6
n 1 2n
n 1 n
n
Ou ainda, da equao (2) tem-se que, para n 1,
1
1
1
1
2n
n
2 , donde segue que 2n n , e se n = 1, resulta que 2n n .
2
2
n
n
n
Portanto
1
1
n 1.
n 1 2n
n 1 2
n
2
8
S ;
3
9
Soluo: A partir da equao (2) tem-se que
2i 1
i 1
2n
n
n , logo, para n > 1,
2
n!
2
n
n 1
1.2.4...
2
n
n
1.2.3...n
2n
1.2.3...n
2 n 1
1
n
2 n 1 ,
2n 2
n
e portanto,
1
n
. (12)
2 n 1
2 n 1
n 1 2
n 1 2n
n 1 2
n
Os limitantes so obtidos a partir do clculo das somas dadas em (12).
2
n 1
2
n 1
n
2 n 1
1 2
1
2 4 1 e
2n
n 1 2
1 4 3
2 n 1
1 1
n
1 1
1 1
2 2 4 4 6 6 6 ...
2n
2 2
2 2
n 1 2
2 2
1
1
1
1
1
1
1
2
1
1
1
4
6
1
1
2
8 1
2 2 1 2 1 2 1 ... 2 4 6 ...
2
2
1 22 1 22 1 22
3 2
1
8 22 8
.
3 1 212 9
2n 2
n 1
n k 1
1
2 n 1
1
1
n
2 n 1 . (13)
n 1 2n
n 1 2n
n k 1 2
n
n
n k 1
1
2 n 1
1
2
2 k 1
1
2
2 k 3
1 1
... 2 k 1 (14)
3 2
e tambm
n k 1
n
2 n 1
k 4 1
2 k 1 . (15)
3 9 2
Pois,
n k 1
n
2 n 1
k 1 k 2 k 3
...
22 k 1 22 k 3 22 k 5
1
1
1
1
1
1
k 1 2k 1 2k 3 ... 2k 3 2k 5 ... 2k 5 2k 7 ... ...
2
2
2
2
2
2
1
1
1
22 k 1 22 k 3 22 k 5
k 1 1 1 1 ...
1 1 1
4
4
4
4
1
4 1
1
k 1 2k 1 2k 3 2k 5 ...
3
2
2 3 2
1
2 k 3
1
1
4
k 1 2k 1 2 1
3
2 3 1
4
1
1
1 1
k 1 2k 1 2k 1
3
2 9 2
k 4 1
2 k 1 .
3 9 2
2 k 1 . (16)
2
n
2
n
2
n
3
2
n 1 n 1 3 9 2
n 1
n
n
n
Para estabelecermos o resultado no item l.3, suficiente tomarmos k = 10 em (16).
Observao: A srie
2n
n 1
n
k
1
3k 1 1
3k 7 1
com um erro de no mximo
2 k .
2k
9 2
9 2
n 1 2n
n
Assim, se quisermos um erro no superior a e em nossa estimativa da srie,
3m 1 1
suficiente escolhermos k min m :
2 m .
9 2
10
6m ! 6n !
m!n! 4m n ! 4n m !
no
seja inteiro.
b) Seja A o conjunto dos pares (m, n) com m n, para os quais I m, n no
inteiro, e seja A( x) o nmero de pares em A para os quais 1 m n x.
Prove que A contm uma proporo positiva dos pares de naturais, no sentido de
que existem uma constante c 0 e um inteiro positivo n0 tal que, para todo
x n0 , A x c x 2 .
Exercice
4
item bhttp://www.bmoc.maths.org/home/bmolot.pdf
[5] XIV Olimpada Internacional de Matemtica. Cracvia, Polnia, 1972 Exercice 3
http://imo.math.ca/Exams/1972imo.html
[6] Gardiner, A. Four Problems on Prime Power Divisibility. The American Mathematical Monthly
Vol 95 (Dec., 1998), no. 10, 926-931.
[7] Knuth D. E.; Vardi I.; Richberg R. The asymptotic expansion of the middle binomial coefficient.
The Amer. Math. Monthly Vol 97 (1990), 626-630.
[8] M orgado, A. C. O.; Carvalho, J. B. P.; Carvalho, P. C. P.; Fernandez, P. Anlise combinatria e
probabilidade. 9. ed. Rio de Janeiro: Sociedade Brasileira de M atemtica, 2006. (Coleo do
Professor de M atemtica).
EUREKA! N35, 2012
11