Probs Olimpicos Analise

Fazer download em pdf ou txt
Fazer download em pdf ou txt
Você está na página 1de 4

Problemas Temáticos de Análise

Sessão de Olimpíadas do 25o. Colóquio Brasileiro de Matemática


Carlos Gustavo Moreira (Gugu) – IMPA
Antonio Caminha (UFC)

Obs. (para os alunos de Análise na Reta no verão do IMPA de 2017): esta lista
tem alguns problemas curiosos de Análise (alguns relativamente difíceis, nem
todos de Análise na Reta), e inclui em particular alguns problemas de
olimpíadas universitárias. Não é uma lista para ser entregue valendo nota, é só
para vocês se divertirem.

I) Problemas de Análise e Teoria dos Números:


   
1) Prove que existe   1 tal que  n   n   n   ,  e  n é par se e somente se n
1 2
3 3
é primo, para todo inteiro positivo n.

Nota:  x  é o único inteiro tal que  x  x   x  1 .


2) a) Seja A={n natural | n não tem 0 em sua representação decimal}. Prove que
1

nA n
  .

1
b) Prove que 
p _ primo p
  .

c) Prove que qualquer seqüência finita de dígitos aparece na representação decimal de


infinitos números primos.

3) Sejam c  Q, f (x) = x2 + c. Definimos f 0 (x) = x , f n +1(x) = f ( f n (x)), n  N .


Dizemos que x  R é pré-periódico se { f n (x) n  N } é finito.
Mostre que {x  Q x é pré-periódico} é finito.

4) Sejam a e b inteiros positivos tais que an – 1 divide bn – 1 para todo inteiro positivo n.
Prove que b = ak para algum k  N.

5) a)Prove que existe n  N tal que os 2002 primeiros dígitos de 2n são iguais a 1.

b)Prove que existe n  N tal que os 2002 primeiros dígitos de 2n são iguais a 1 e os
2002 primeiros dígitos de 3n são iguais a 2.

Sugestão: Veja o apêndice do artigo “Propriedades estatísticas de frações contínuas e aproximações


diofantinas”, de Carlos Gustavo Moreira, publicado na Revista Matemática Universitária no 29,
pp. 125-137 (ou em www.impa.br/~gugu/khintchine.ps).
6) a) Seja P(x) um polinômio de grau n com coeficientes inteiros e seja   R \ Q tal que
P( )  0 . Prove que existe c>0 tal que |   p / q | c / q n para quaisquer p, q  Z , q  0.

1
b) Prove que    n! é transcendente, i.e., não existe nenhum polinômio não
n  0 10
nulo P(x) de coeficientes racionais com P( )  0 .

7) Prove que, para todo   R , lim sup cos n (n )  1 .


n

II) Problemas relacionados ao teorema de Baire:


Dizemos que A  n
é aberto se, para todo x  A , existe   0 tal que | y  x |   y  A .
Dizemos que F  n é fechado se n \ F é aberto. Dado X  n
e Y  X , dizemos que Y é
denso em X se x  X ,   0, y  Y , | y  x |  .

1) Prove o teorema de Baire: se F  n é fechado, Ak  n


é aberto e Ak  F é denso
em F , k N , então Ak  F é denso em F.
kN

2) Prove que não existe f :  derivável cuja derivada seja descontínua em todos os
pontos.

3) Prove que não existe f :  que seja contínua em todos os pontos de Q e


descontínua em todos os pontos de \ Q .

4) Prove que não existe uma seqüência de funções contínuas f1 , f 2 , f3 ,...:  tal que
lim f n ( x)  1 para todo x Q e lim f n ( x)  0 para todo x  \ Q .
n n

6) Seja f : R  R uma função infinitamente derivável tal que, para todo x  , existe
nN tal que a n  ésima derivada f ( n ) ( x)  0 . Prove que f é um polinômio.

III) Problemas Diversos:

1) Seja K  R n limitado (i.e, existe R>0 tal que x  R, x  K ) e f :  uma


função sobrejetiva tal que f ( x)  f ( y)  x  y , x, y  K . Prove que f é uma
isometria, i.e, f ( x)  f ( y)  x  y , x, y  K .
2) Sejam x1 , x2 ,..., xk  0. Para cada 1  k  n, definimos a k  ésima média simétrica de
n
x1 , x2 ,..., xk por S k ( x1 ,..., xk )  k  xi1 xi2 ...xik /  .
1i1 i2 ...ik  n k 

Prove que S1 ( x1 ,..., xn )  S 2 ( x1 ,..., xn )...  S n ( x1 ,..., xn ), valendo a igualdade em


alguma dessas desigualdades se, e somente se, x1  x2  ...  xn .
3) (XXIV OBM – Nível U) Dado x  R, definimos ln 0 ( x)  x e, para cada k  N, se ln k ( x)  0 ,
definimos ln k 1 ( x)  ln(lnk ( x)), onde ln é o logaritmo natural.
Dado n inteiro positivo, definimos k(n) como o maior k tal que ln k (n)  1 , e an como
k (n)

 ln
j 0
j (n)  n  ln( n)  ln ln( n)  ...  ln k ( n ) (n).

1
Diga se a série a
n 1
converge ou diverge.
n
4) (V OIMU) Prove que existem funções contínuas a1 , a2 , a3 ,..: [0,1]  (0,) tais que

i) a
n 1
n (t )  , t [0,1].


ii) Para toda seqüência (bn) de termos positivos com b
n 1
n   existe t [0,1] tal que

bn
lim  0.
n  a (t )
n

5) (IV OIMU) Seja f : R  R uma função contínua e periódica tal que a desigualdade f ( x)  0
tem pelo menos uma solução.

a) Demonstrar que existe um inteiro a  2 tal que o sistema infinito de desigualdades

f (a k x)  0, k  0,1,2,...
tem pelo menos uma solução.

b) Demonstrar que existe um inteiro b  2 tal que o cardinal do conjunto de soluções do sistema
infinito de desigualdades

f (b k x)  0, k  0,1,2,...
é igual ao contínuo.
Nota: Dizemos que um conjunto X tem cardinal igual ao contínuo se existe uma bijeção
f : X  [0,1] entre X e o intervalo [0,1]  R .

6) (III OIMU) Em um plano se move de qualquer maneira um ponto ( um porco) com velocidade
não superior a 1 km/h, descrevendo uma curva contínua  : 0,1  R 2 , onde [0,1] é um
intervalo de tempo de um hora. Sabe-se que o porco se encontra inicialmente em um
quadrado de lado de 8 km. No centro deste quadrado se encontra um demônio da Tasmânia
cego que não pode saber a posição do porco, porém pode mover-se com qualquer
velocidade. Encontrar um curva contínua  : 0,1  R 2 ( o caminho percorrido pelo demônio
da Tasmânia) tal que em algum momento de tempo t  0,1 se obtém a igualdade  t    t ,
isto é, o demônio da Tasmânia pega o porco independente do caminho que este último
escolha.
7) Dizemos que a>0 é corda universal se, para toda função contínua f : 0,1  com
f (0)  f (1) existem x, y  0,1 com x  y  a e f ( x)  f ( y). Determine todas as
cordas universais.

8) (XIX OBM – Sênior) Seja f uma função do plano no plano que satisfaz
d (P,Q) = 1 d (f (P), f(Q)) = 1 para todos os pontos P e Q do plano. Mostre que
d (f (P), f(Q)) = d (P, Q) para todos os pontos P e Q do plano.

Obs.: d (X,Y) denota a distância entre X e Y.

Você também pode gostar