Sie sind auf Seite 1von 11

PARIDADE DO NMERO BINOMIAL MDIO

J.C.S. de Miranda, USP/SP


Iesus C. Diniz, UFRN
Nvel Avanado

1. INTRODUO

Apresentaremos duas solues ao problema da paridade do nmero binomial


2n
mdio, isto , mostrar que 2 para todo n * . Uma delas baseada em um
n
argumento combinatrio, enquanto que a outra ser obtida de maneira aritmtica.
Outras solues deste problema so dadas em [6] e [8]. Ademais, como
consequncia dos mtodos de soluo dados nas sees 2 e 3, respectivamente,
resolveremos os problemas olmpicos internacionais dados em [5] e [4].
O nmero binomial mdio aparece em vrias reas da matemtica, por
exemplo: teoria dos nmeros [1], anlise [2] e combinatria [7].
A segunda soluo mostra quo interessantes podem ser as resolues de
determinados problemas quando utilizamos argumentos combinatrios para
estabelec-las. A primeira obtida a partir de uma conveniente fatorao do
nmero binomial mdio observando-se o expoente do fator 2.
Por fim, para exemplificar o uso de argumentos combinatrios na soluo de
problemas apresentamos uma srie de exerccios na seo 5; ver tambm em [3] e
[8]. Alm disso, calculamos de maneira aproximada a srie cujos termos so os
recprocos dos nmeros binomiais mdios.
2. SOLUO ARITMTICA

Indicaremos por f n , para todo n

, o expoente do fator 2 na decomposio

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

Sociedade Brasileira de Matemtica

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

Seja k o mximo expoente de 2 tal que 2k n, isto , 2k n 2k 1.


Assim,

k log 2 n k 1, isto , k log 2 n .

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

donde, da equao (4), resulta que


f n n n 1 1.
2n
Logo, da equao (5), 2 pois f n 1.
n
EUREKA! N35, 2012

Sociedade Brasileira de Matemtica

3. SOLUO POR ARGUMENTO COMBINATRIO

Teorema 1 Para todo n


Prova: Para todo n

2n
, 2 .
n

, o nmero de parties no-ordenadas de um conjunto de 2n


2n n

n n
elementos em dois subconjuntos de n elementos cada, dado por .
2!
Claramente, o referido nmero de parties um inteiro positivo, donde segue que

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

O expoente r da maior potncia, de um nmero no nulo m pii que divide n!,


i 1

isto , r tal que m n! e m

r 1

/ n !, o maior valor de r que satisfaz s

desigualdades ri ri para todo i 1,..., k , nas quais ri o expoente da potncia


mxima de pi em n!. Assim,
n

r min i min j / i . (7)


1i k
1i k

i
j 1 pi

EUREKA! N35, 2012

Sociedade Brasileira de Matemtica

Na prova da paridade do nmero binomial mdio dada em [8], exerccio 39 pgina


235, usado um argumento combinatrio juntamente com propriedades aritmticas
da fatorao do nmero binomial mdio. Ei-la:
2n 2n ! 2n 2n 1!
2n 1! 2 2n 1 par.

2

n 1!n! n
n n!n! n n 1!n!
5. EXERCCIOS

Prove via argumentos combinatrios que:


n m n m n m
n m
a)

...
r 0 r 1 r 1
r 0
Soluo: Consideremos um grupo de n + m pessoas em que h n homens e m

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:

EUREKA! N35, 2012

Sociedade Brasileira de Matemtica

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

quais k constituem uma diretoria em que h um nico diretor-presidente e todos os


demais membros tm iguais poderes. Podemos configurar a diretoria das trs
seguintes formas, em que o total de possibilidades de cada uma delas representa,
respectivamente, cada um dos termos das igualdades dadas no item d.
1. Escolher a diretoria e depois o diretor-presidente;
2. Escolher os k 1 membros de iguais poderes pertencentes a diretoria e depois o
diretor-presidente.
3. Escolher o diretor-presidente entre as n pessoas pertencentes a empresa e depois
os k 1 indivduos que completaro a diretoria.
n n i 1
e)
(Identidade Combinatria de Fermat)
k i k k 1
Soluo: O lado esquerdo da igualdade o nmero de amostras no ordenadas de

tamanho k, extradas sem reposio de uma populao de tamanho n, que sem


perda de generalidade suporemos numerada de 1 a n. Por outro lado, se
considerarmos a partio de todas essas amostras com relao presena de seu
k 1 k n 1
maior elemento, temos que existem
,
,...,
de tais amostras
k 1 k 1 k 1
cujo maior elemento respectivamente k, k + 1,...,n.
f)

k 1

k k n2

n 1

EUREKA! N35, 2012

Sociedade Brasileira de Matemtica

Soluo: Considere uma empresa formada por n funcionrios dentre os quais ser

formada uma diretoria de no mximo n pessoas, a qual constituda de um nico


diretor-presidente escolhido entre os membros pertencentes diretoria.
O lado esquerdo da igualdade representa o total de configuraes das diretorias
possveis, obtidas primeiramente a partir da determinao dos k membros
pertencentes diretoria, seguindo-se da determinao de seu diretor-presidente
entre os k membros da diretoria.
O lado direito da igualdade representa o total de configuraes das diretorias
possveis, obtidas primeiramente escolhendo-se o diretor-presidente e em seguida
determinando-se para cada um dos demais n 1 membros se pertencero ou no
diretoria.
n
n2
2 n n 1
k 1
k
n
n
h) k 3 2n 3 n2 n 3
k 1
k
n

g)

i)

j i i 2

n j n

j i

n i

j) (British Mathematical Olympiad [4]) Para todo m, n

m! n!
n 1

m 1

mn !

Soluo: Sejam P1 e P2 , respectivamente, o nmero de maneiras de dividir mn

pessoas em n grupos de m pessoas e m grupos de n pessoas. Tem-se que:

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

k) (XIV Olimpada Internacional de Matemtica [5]) Quaisquer que sejam os


inteiros naturais m e n, temos:
2m ! 2n ! .
m!n! m n !

EUREKA! N35, 2012

Sociedade Brasileira de Matemtica

Soluo: Seja p um primo arbitrrio. A maior potncia de p que divide o numerador

da frao acima p a onde



2m 2n
a i i
i 1 p
p
ao passo que a maior potncia de p que divide seu denominador p b com

m n m n
b i i i .
i 1 p
p p

Basta mostrar que a b.


Para qualquer k inteiro maior ou igual a 1 podemos escrever m m1k r e
n n1 k s em que 0 r k 1,0 s k 1, m1 e n1 so inteiros.
Assim,
2m 2n
2r 2 s
(8)
k k 2m1 2n1 k k


e
m n m n
r s r s
k k k m1 n1 m1 n1 k k k (9)

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

para todo k 1 e, em particualr, para k da forma k pi , donde segue


imediatamente que a b.

1
:
k 1 2k

k
l.1) mostre que a srie convergente, isto , S ;

l) Dada a srie S

EUREKA! N35, 2012

Sociedade Brasileira de Matemtica

Soluo: A partir da Frmula de Lagrange, apresentada no item c) desta seo, tem-

se que
2

2n n n n
2
n ,
n j 0 j 1

(10)

e portanto, segue de (10) que

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

l.2) prove tambm 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.4.6... 2n 2n1. (11)


2

n
1.2.3...n
2n
1.2.3...n

De (11) resulta que


1
2

2 n 1

1
n
2 n 1 ,
2n 2

n

e portanto,

EUREKA! N35, 2012

Sociedade Brasileira de Matemtica

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 2 4 6 ... 4 6 ... 6 8 ...


2
2
2
2
2
2

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

l.3) Finalmente, prove que 0,73639 S 0,73641.


Soluo: Das desigualdades estabelecidas em (12), resulta que k
k

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

Analogamente ao que foi feito no item 12, temos que:

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,

EUREKA! N35, 2012

Sociedade Brasileira de Matemtica

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

De (14) e (15) resulta que


k
k
1
1 1 1
1
k 4 1
2 k 1

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

pode ser estimada por

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

EUREKA! N35, 2012

10

Sociedade Brasileira de Matemtica

Terminamos com um problema proposto.


Problema (Harvey Abbott e Murray Klamkin)
Sabe-se que
3m ! 3n !
4m ! 4n !
5m ! 5n !
e
,
m!n! m n ! n m ! m!n! 2m n ! 2n m ! m!n ! 3m n ! 3n m !
so todos inteiros para quaisquer inteiros positivos m, n.
a) Encontre inteiros positivos m, n tais que I m, n

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 .

Obs.: Para o item b) pode-se usar o chamado Postulado de Bertrand, um teorema


segundo o qual, para todo n 2, existe um primo p com n p 2n.
Referncias
[1] Berend, D.; Harmse, J.E. On some arithmetical properties of middle binomial coefficients. Acta
arith. 84 (1998), no. 1, 31-41.
[2] Bloom, D. M .; Swanson, C.N; Schilling, K. A. Convolution of M iddle Binomial Coefficients;
10921 The American Mathematical Monthly Vol 110 (Dec., 2003), no. 10, 958-959.
[3] Ross, S. M . A first course in probability.8th. ed. Upper Saddle River, N.J.: Prentice Hall, 2008.
[4]
British
Mathematical
Olympiad
-16/02/2005

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

Das könnte Ihnen auch gefallen