problemas | teoremas∗

PdM Problema do mês

PoM Problem of the month
Américo Tavares
acltavares@sapo.pt
October 17, 2010

Contents
1 Enunciados :: Statments 2
1.1 PdM :: PoM #1 . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.1.1 Enunciado do Problema . . . . . . . . . . . . . . . . . 2
1.1.2 Problem Statement . . . . . . . . . . . . . . . . . . . . 3
1.2 PdM :: PoM #2 . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2.1 Enunciado do Problema . . . . . . . . . . . . . . . . . 3
1.2.2 Problem Statement . . . . . . . . . . . . . . . . . . . . 4
1.3 PdM :: PoM #3 . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3.1 Enunciado do Problema . . . . . . . . . . . . . . . . . 4
1.3.2 Problem Statement . . . . . . . . . . . . . . . . . . . . 4
1.4 PdM :: PoM #4 . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4.1 Enunciado do Problema . . . . . . . . . . . . . . . . . 4
1.4.2 Problem Statement . . . . . . . . . . . . . . . . . . . . 5
1.5 PdM :: PoM #5 . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.5.1 Enunciado do Problema . . . . . . . . . . . . . . . . . 5
1.5.2 Problem Statement . . . . . . . . . . . . . . . . . . . . 5
1.6 PdM :: PoM #6 . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.6.1 Enunciado do Problema . . . . . . . . . . . . . . . . . 6
1.6.2 Problem Statement . . . . . . . . . . . . . . . . . . . . 6
1.7 PdM :: PoM #7 . . . . . . . . . . . . . . . . . . . . . . . . . . 7
∗
http://problemasteoremas.wordpress.com

1
 1.7.1 Enunciado do Problema . . . . . . . . . . . . . . . . . 7
1.7.2 Problem Statement . . . . . . . . . . . . . . . . . . . . 7

2 Resoluções :: Solutions 8
2.1 PdM :: PoM #1 (valoração p-ádica, p-adic valuation) . . . . . 8
2.1.1 Solution par Pierre Bernard, France . . . . . . . . . . . 8
2.1.2 Solution by Pierre Bernard, France; translated by Américo
Tavares . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
2.1.3 Resolução de Pierre Bernard, França; tradução de Américo
Tavares . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
2.2 PdM :: PoM #2 (coeficientes da série binomial, binomial series
coefficients) . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
2.2.1 Resolução de antonio girao . . . . . . . . . . . . . . . . 10
2.2.2 Solution by antonio girao . . . . . . . . . . . . . . . . . 11
2.3 PdM :: PoM #3 (Polinómio real, real polynomial) . . . . . . . 13
2.3.1 Solución de M : . . . . . . . . . . . . . . . . . . . . . . 13
2.3.2 Resolução de M ; traduzida por Américo Tavares . . . . . 13
2.3.3 Solution by M ; translated by Américo Tavares. . . . . . . 14
2.4 PdM :: PoM #4 (Integral impróprio, Improper Integral) . . . 14
2.4.1 Solucão de Prof. Paulo Sérgio: . . . . . . . . . . . . . . 14
2.4.2 Solution by Prof. Paulo Sérgio; translated by Américo
Tavares . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.5 PdM :: PoM #5 (Uma função real contínua ilimitada, An
unbounded continuous real function) . . . . . . . . . . . . . . 16
2.5.1 Solution by Jacques Glorieux . . . . . . . . . . . . . . 16
2.5.2 Resolução de Jacques Glorieux; translated by Américo
Tavares . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.6 PdM :: PoM #6 (Círculos, Circles) . . . . . . . . . . . . . . . 17
2.6.1 Resolução de Jacques Glorieux; translated by Américo
Tavares . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.6.2 Solution by Jacques Glorieux: . . . . . . . . . . . . . . 17

1 Enunciados :: Statments
1.1 PdM :: PoM #1
1.1.1 Enunciado do Problema


1 135
Seja m o maior inteiro positivo tal que ∈ N. Determine, justifi-
13 37
cando, um majorante de m.

2
 • Nota: não se permite a utilização de calculadoras ou computadores.

• Sairá vencedora a melhor estimativa justificada.

• Afirmação não demonstrada: 10 é um majorante de m. Encontre um

mais pequeno.

• O prazo limite para apresentar resoluções é 19.07.2009.

1.1.2 Problem Statement


1 135
Let m be the greatest positive integer such that ∈ N. Find, with
13 37
proof, an upper bound for m.

• Remark: the use of calculators or computers is not allowed.

• The best justified estimate will win.

• Claim: 10 is an upper bound for m. Find a smaller one.

• The deadline for submitting solutions is July 19, 2009.

1.2 PdM :: PoM #2

1.2.1 Enunciado do Problema


x
Admita que n = 1, 2, 3, . . .. Seja x ≥ 0 um número real, =1e
0


x x (x − 1) · · · (x − n + 1)
= .
n n!

Deduza a identidade




x x x+1
+ = .
n n−1 n

• O prazo limite para apresentação das resoluções é 9.09.2009, através de

email acltavares@sapo.pt ou comentando no blogue.

3
1.2.2 Problem Statement


x
Suppose that n = 1, 2, 3, . . .. Let x ≥ 0 be a real number, = 1 and
0


x x (x − 1) · · · (x − n + 1)
= .
n n!
Derive the identity



x x x+1
+ = .
n n−1 n

• The deadline for submitting solutions is September 9, 2009 either via

e-mail acltavares@sapo.pt or comment box.

1.3 PdM :: PoM #3

1.3.1 Enunciado do Problema
Seja P (x) um polinómio real de grau n ≥ 2. Suponha que o coeficiente do
P ′′ (x) n−1 1
termo de maior grau de P é igual a 1. Prove que ′ = k=1 , em
P (x) x − wk
que w1 , w2 , . . . , wn−1 são as raízes de P ′ (x).

• O prazo limite para apresentação das resoluções é 10.02.2010, através

de email acltavares@sapo.pt ou comentando no blogue.

1.3.2 Problem Statement

Let P (x) be a real polynomial of degree n ≥ 2. Assume that the leading
P ′′ (x) n−1 1
coefficient of P is equal to 1. Prove that ′ = k=1 , where
P (x) x − wk
w1 , w2 , . . . , wn−1 are the roots of P ′ (x).

• The deadline for submitting solutions is February 10, 2010 either via
e-mail acltavares@sapo.pt or comment box.

1.4 PdM :: PoM #4

1.4.1 Enunciado do Problema
Prove ou infirme  ∞
cos x − cos 3x
π= dx
0 x2

4
 • Nota: não se permite a utilização de calculadoras ou computadores.

• O prazo limite para apresentação das resoluções é 28.03.2010, através

de email acltavares@sapo.pt ou comentando no blogue.

1.4.2 Problem Statement

Prove or disprove  ∞
cos x − cos 3x
π= dx .
0 x2

• Remark: the use of calculators or computers is not allowed.

• The deadline for submitting solutions is March 28, 2010 either via e-
mail acltavares@sapo.pt or comment box.

1.5 PdM :: PoM #5

1.5.1 Enunciado do Problema
Seja f (x) uma função real contínua ilimitada no intervalo I = [0, ∞[. O
integral impróprio

f (x) dx
I
pode ser convergente?

• O prazo limite para a apresentação de resoluções é 17.05.2010, aqui ou

por e-mail: acltavares@sapo.pt

1.5.2 Problem Statement

Let f(x) be a continuous unbounded real function in the interval I = [0, ∞[.
May the improper integral 
f (x) dx
I
converge?

• The deadline for submitting solutions is May 17, 2010. Submissions

may be here or via e-mail: acltavares@sapo.pt

5
1.6 PdM :: PoM #6
1.6.1 Enunciado do Problema
Os quatro círculos têm o mesmo raio. Determine-o no caso do triângulo
medir 1 m2 .

• Serão bem-vindas soluções até ao fim do mês, comentando ou por e-

mail: acltavares@sapo.pt

1.6.2 Problem Statement

The four circles have equal radius. Find it if the size of the triangle is 1 m2 .

• Solution till the end of the month will be welcome, in the comments
box or via e-mail: acltavares@sapo.pt

6
1.7 PdM :: PoM #7
1.7.1 Enunciado do Problema
Mostre que
N
 N
(−1)n+k n (−1)n+k n k (−1)N+k−1 k


−

 =
 +


n n+k n−1 n−1+k 2k N N +k
n=k+1 n=k+1
k k k k k k k

• Soluções: até 8 Novembro 2010, via e-mail ou caixa de comentários.

1.7.2 Problem Statement

Show that
N
 N
(−1)n+k n (−1)n+k n k (−1)N+k−1 k


−

 =
 +

.
n n+k n−1 n−1+k 2k N N +k
n=k+1 n=k+1
k k k k k k k

• Solutions: until November 8, 2010, via e-mail or comment box.

7
2 Resoluções :: Solutions
2.1 PdM :: PoM #1 (valoração p-ádica, p-adic valua-
tion)
2.1.1 Solution par Pierre Bernard, France
On sait que


 +∞
     
n n k n−k
vp = − i −
k i=1
pi p pi
  
De plus, chaque terme pni − pki − n−k pi
vaut 0 ou 1 (on a toujours
⌊x + y⌋ − ⌊x⌋ − ⌊y⌋ qui vaut 0 ou 1).   
Si i est assez grand, il est clair que pni − pki − n−kpi
= 0. Précisément,

puisque n ≥ k, il suffit que p > n, c’est-à-dire i > logp (n) pour que pni −
i
 
k n−k
pi
− pi
= 0. On a donc:

 ⌊logp (n)⌋
     
n n k n−k  
vp = i
− i − i
≤ logp (n)
k i=1
p p p


0 ou 1



135
Donc vp ≤ ⌊log13 (135 )⌋ = 5. Et 5 c’est mieux que 10.
37

2.1.2 Solution by Pierre Bernard, France; translated by Américo

Tavares

We know that


 +∞
     
n n k n−k
vp = − i − .
k i=1
pi p pi
  
Furthermore, each term pni − pki − n−k pi
is 0 or 1 (we have always
⌊x + y⌋ − ⌊x⌋ − ⌊y⌋ which is 0 or 1).   
For i sufficiently large it is clear that we have pni − pki − n−k p i = 0.
And because n ≥ k it is sufficient that pi > n, i. e. i > logp (n) to have

8
  
n k n−k
pi
− pi
− pi
= 0. Therefore:

 ⌊logp (n)⌋
     
n n k n−k  
vp = i
− i − i
≤ logp (n)
k i=1
p p p


0 or 1


5

13
Thus vp ≤ ⌊log13 (135 )⌋ = 5. And 5 is better than 10.
37

Other solvers: fede (comments in Gaussianos’s blog) and fatima.

2.1.3 Resolução de Pierre Bernard, França; tradução de Américo

Tavares
Sabe-se que


 +∞
     
n n k n−k
vp = − i − .
k i=1
pi p pi
  
Além disso, cada termo pni − pki − n−k pi
vale 0 ou 1 (tem-se sempre
⌊x + y⌋ − ⌊x⌋ − ⌊y⌋ que é igual a 0 ou 1).   
Para i suficientemente grande é claro que se tem pni − pki − n−kpi
= 0.
i
Ora,
 dado
 quen ≥ k, é suficiente que p > n, isto é i > logp (n) para se ter
n
pi
− pki − n−k
pi
= 0. Portanto:

 ⌊logp (n)⌋
     
n n k n−k  
vp = − − ≤ log p (n)
k i=1
pi pi pi


0 or 1



135
Deste modo vp ≤ ⌊log13 (135 )⌋ = 5. E 5 é melhor do que 10.
37

Outros: fede (commentários no blogue Gaussianos) e fatima.

Notas:
1. vp (r) designa a valoração (ou valorização) p-ádica (valuation p-adique)
de r: o expoente do número primo p na decomposição em factores primos do
inteiro r. Por outras palavras, pvp (r) divide r mas p1+vp (r) não divide r.

9
 2. Também se usa a notação ordp (r) (ordem ou ordinal de r em p) com
o mesmo significado.
3. vp ( rs ) = vp (r) − vp (s) (com r ∈ Q).
4. Teorema de Legendre: Qualquer que seja o inteiro positivo n, o ex-
poente do número primo p na decomposição em números primos de n! é igual
a
n

i≥1
pi

Remarks:
1. vp (r) denotes the p-adic valuation of r: the exponent of the prime p in
the factorization into prime numbers of the integer r. In other words pvp (r)
divides r and p1+vp (r) does not divide r.
2. With the same meaning another notation is also used: ordp (r) (order
or ordinal of r at p).
3. vp ( rs ) = vp (r) − vp (s) (with r ∈ Q).
4. Theorem (Legendre): For every positive integer n, the exponent of the
prime number p in the factorization into prime numbers of n! is
n
.
i≥1
pi

2.2 PdM :: PoM #2 (coeficientes da série binomial,

binomial series coefficients)
2.2.1 Resolução de antonio girao
x!
[Usou a notação = x (x − 1) · · · (x − n + 1) ].
(x − n)!


x x!
=
n (x − n)!n!


x x!
=
n−1 (x − n + 1)! (n − 1)!

10
 x! x! x! x!n
+ = +
(x − n)!n! (x − n + 1)! (n − 1)! (x − n)!n! (x − n + 1)! (n − 1)!n
x! (x − n + 1) x!n
= +
(x − n)!n! (x − n + 1) (x − n + 1)! (n − 1)!n
x! (x − n + 1) x!n
= +
(x − n)!n! (x − n + 1) (x − n + 1)!n!
x! [(x − n + 1) + n]
=
(x − n + 1)!n!
x! (x + 1)
=
(x − n + 1)!n!
(x + 1)!
=
(x − n + 1)!n!
(x + 1)!
=
(x + 1 − n)!n!


x+1
=
n

Outros: Pierre Bernard e MathOMan

2.2.2 Solution by antonio girao

x!
[He used the notation = x (x − 1) · · · (x − n + 1) ].
(x − n)!


x x!
=
n (x − n)!n!


x x!
=
n−1 (x − n + 1)! (n − 1)!

11
 x! x! x! x!n
+ = +
(x − n)!n! (x − n + 1)! (n − 1)! (x − n)!n! (x − n + 1)! (n − 1)!n
x! (x − n + 1) x!n
= +
(x − n)!n! (x − n + 1) (x − n + 1)! (n − 1)!n
x! (x − n + 1) x!n
= +
(x − n)!n! (x − n + 1) (x − n + 1)!n!
x! [(x − n + 1) + n]
=
(x − n + 1)!n!
x! (x + 1)
=
(x − n + 1)!n!
(x + 1)!
=
(x − n + 1)!n!
(x + 1)!
=
(x + 1 − n)!n!


x+1
=
n

Other solvers: Pierre Bernard and MathOMan

Notas:
1. Estes coeficientes são os da série binomial
 ∞

n x n
(1 + t) = t
n=0
n

que é convergente para |t| < 1.

2. O coeficiente de ordem n é um polinómio de grau n em x.

Remarks:
1. These coefficients are the binomial series ones
∞

n x n
(1 + t) = t ,
n=0
n

which is convergent for |t| < 1.

2. The coefficient of order n is a polynomial of degree n in x.

12
2.3 PdM :: PoM #3 (Polinómio real, real polynomial)
2.3.1 Solución de M :
Si n

P (x) = (x − ai )
i=1
entonces n

log |P (x)| = log |x − ai | (para x = ai ).
i=1

Derivando (cuidando bien el signo entre las raíces):

n
 1
P ′ (x) =
i=1
x − ai

Tu caso se particulariza con {P ′ (x), P ′′ (x)}.

Otros: Dani (Comentario de Gaussianos aquí, copia) y MathOMan
(aquí).

***

2.3.2 Resolução de M ; traduzida por Américo Tavares

Se n

P (x) = (x − ai )
i=1

então n

log |P (x)| = log |x − ai | (para x = ai ).
i=1

Derivando (tendo especial cuidado com o sinal das raízes):

n

′ 1
P (x) =
i=1
x − ai

A solução é o caso particular {P ′ (x), P ′′ (x)}.

Outros: Dani e MathOMan.

13
2.3.3 Solution by M ; translated by Américo Tavares.
If n

P (x) = (x − ai )
i=1

then n

log |P (x)| = log |x − ai | (para x = ai ).
i=1

Now, after diferentiating (taking into special account the root signs), we get:
n

′ 1
P (x) =
i=1
x − ai

The solution for this problem is the particular case {P ′ (x), P ′′ (x)}.

Other solvers: Dani and MathOMan.

2.4 PdM :: PoM #4 (Integral impróprio, Improper

Integral)
2.4.1 Solucão de Prof. Paulo Sérgio:
Para calcular esta integral, note que
 ∞
1
= xe−sx dx
s2 0

Assim,
∞ 
cos (s) − cos (3s)
I : = ds
0 s2
 ∞
= xe−sx [cos (s) − cos (3s)] dxds
0

Invertendo a ordem de integração e usando a definição de transformada de

Laplace, temos:
 ∞  ∞
I = x [L {cos (s)} L {cos (3s)}] dx
0 0
 ∞
2 
x x2
= − dx
0 1 + x2 9 + x2

14
ou seja,
 ∞  ∞
9 dx
I = 2
dx −
9+x 1 + x2
0 x 0
∞
= 3 arctan − arctan (x)
3 0
3π π 2π
= − = = π.
2 2 2
Outra resolução: fatima

2.4.2 Solution by Prof. Paulo Sérgio; translated by Américo Tavares

To evaluate this integral note that
 ∞
1
= xe−sx dx
s2 0

Hence,
 ∞
cos (s) − cos (3s)
I : = ds
s2
 ∞0
= xe−sx [cos (s) − cos (3s)] dxds
0

By reversing the order of integration and using the definition of the Laplace
transform we get:
 ∞  ∞
I = x [L {cos (s)} L {cos (3s)}] dx
0 0
 ∞
2 
x x2
= − dx
0 1 + x2 9 + x2

therefore,
 ∞  ∞
9 dx
I = 2
dx −
9+x 1 + x2
0 x 0
∞
= 3 arctan − arctan (x)
3 0
3π π 2π
= − = = π.
2 2 2
Other Solver: fatima

15
2.5 PdM :: PoM #5 (Uma função real contínua ilimi-
tada, An unbounded continuous real function)
2.5.1 Solution by Jacques Glorieux

y 6

0
0 0.5 1 1.5 2 2.5 3 3.5

The graph of this function is made of a series of triangles. For n =

1
1, 2, 3, ..., triangle number ’n’ has 2n for height and 3 for base. The curve
n
so delimited is related to a continuous and unbounded function. The integral
of this function is the sum of the areas of the triangles. The area of triangle
1 1 1
number n is (2n) 3 = 2 . The sum of the areas is thus the sum from n = 1
2 n n
1 π
to infinity of the terms of the form 2 . This sum is (a well known result).
n 6
Thus the integral converges.

Other solver: fatima

2.5.2 Resolução de Jacques Glorieux; translated by Américo Tavares

y 6

0
0 0.5 1 1.5 2 2.5 3 3.5

16
 O gráfico desta função é constituído por uma série de triângulos. Para
1
n = 1, 2, 3, . . ., o triângulo número ’n’ tem 2n de altura e 3 de base. A
n
curva assim delimitada está relacionada com uma função contínua ilimitada,
cujo integral é a soma das áreas dos triângulos. A área do triângulo número
1 1 1
n é (2n) 3 = 2 . Por este motivo a soma das áreas é igual à soma de
2 n n
1 π
n = 1 até infinito dos termos da forma 2 . Esta soma é (um resultado
n 6
bem conhecido). Por conseguinte o integral é convergente.

Outra resolução: fatima

2.6 PdM :: PoM #6 (Círculos, Circles)

2.6.1 Resolução de Jacques Glorieux; translated by Américo Tavares
(Ver Figure 1)

Seja r o raio dos círculos. Visto que DE = EF = 2r tem-se ∡DEF =

π/4. Como DF é parlalelo a AB, o ângulo ∡CAB = π/4. Assim, o ângulo
∡ABG = π/2. Logo HBIF é um quadrado de lado r. Tem-se
√
BF = r 2
√  √ 
BC = BF + F C = r 2 + 3r = r 3 + 2
 √ 
AG = 2 × BC = 2r 3 + 2
 √ 2
A área S de ABG é, portanto, r2 3 + 2 . Mas esta área S = 1. Por
este motivo √
1 3− 2
r= √ =
3+ 2 7

Outras resoluções por: josejuan , Prof. Paulo Sérgio.

2.6.2 Solution by Jacques Glorieux:

(See Figure 1)

17
 Figure 1:

Let r be the radius of the circles. We have DE = EF = 2r thus ∡DEF =

π/4. As DF is parallel to AB, angle ∡CAB = π/4. Thus angle ∡ABG =
π/2. Thus HBIF is a square of side r. We have
√
BF = r 2
√  √ 
BC = BF + F C = r 2 + 3r = r 3 + 2
 √ 
AG = 2 × BC = 2r 3 + 2
 √ 2
The area S of ABG is thus r2 3 + 2 . But this area S = 1. Thus
√
1 3− 2
r= √ =
3+ 2 7

Other solvers: josejuan , Prof. Paulo Sérgio.

18