Aproxima c oes Diofantinas e o Problema 6 da IMO 1991

1. Aproxima co es Diofantinas Uma das areas de interesse da Teoria dos N umeros e encontrar aproxima co es racionais de n umeros reais. Essa area e normalmente chamada Teoria das Aproxima co es Diofantinas. Vejamos um exemplo: voc e deve saber que 2 1, 41 = 141 a que podemos encontrar uma 100 . Ser = 1 , 14 e um pouquinho mais melhor, apesar de ter um aproxima ca o melhor? A aproxima ca o 2 17 12 melhores, devemos aumentar o denominador denominador menor. Mas se quisermos aproxima co es p q q . Mas quanto devemos aumentar? Ser a que podemos garantir a exist encia de uma aproxima ca o boa com claro que, dado um irracional , sempre podemos encontrar uma aproxima denominador pequeno? E ca o racional p tal que q 1 p < q q De fato, basta tomar q qualquer e p de modo que p/q e mais pr oximo poss vel de . Se p/q n ao estiver a uma dist ancia menor que 1/q de ent ao (p 1)/q ou (p + 1)/q est a mais pr oximo de , o que n ao e poss vel. Mas ser a que n ao conseguimos algum resultado melhor? Para isso, provaremos Um resultado de Dirichlet 1.1.

Teorema. Seja um n umero irracional qualquer. Ent ao existem innitos racionais p q , q > 0, tais que Demonstra c ao Observe que 1 1 p < 2 |q p| < q q q 1 p < 2 q q

Seja N um inteiro positivo. Divida o intervalo [0; 1] em N intervalos: [0; 1/N [, [1/N ; 2/N [, . . . , [(N 1)/N ; 1[. Considere os N + 1 n umeros {}; {2}; {3}; . . . ; {(N + 1)} Dentre esses N + 1 n umeros existem dois, digamos {i} e {j}, i > j , pertencentes a um mesmo intervalo. Logo |{i} {j}| < 1 1 1 |i i (j j)| < |(i j ) (i j )| < N N N

Assim, basta provar que, dentre os n umeros n, existem innitos pr oximos de um inteiro. Para facilitar um pouco, usaremos a seguinte nota ca o: x e chamada piso de x e e o maior inteiro menor que ou igual a x; {x} = x x e a parte fracion aria de x e e um n umero entre 0 e 1.

Observe que i j N . Logo, sendo q = i j e p = i j , |q p| < e o resultado segue. Na verdade, pode-se provar o seguinte 1 1 < N q

Teorema. Seja um irracional qualquer. Ent ao o conjunto dos n umeros {n} e denso em [0; 1[. Em outras palavras, para cada x [0; 1[ existem innitos n umeros da forma {n} t ao pr oximos de x quanto queiramos. Mas n ao podemos melhorar tanto assim. Exemplo 1.1. (Prova de Sele ca o Cone Sul 2003) Sendo a e b inteiros positivos, prove que |a 2 b| > Resolu c ao e irracional, 2a2 = b2 . Logo Como 2 1 1 > |2a2 b2 | 1 |(a 2 b)(a 2 + b)| 1 |a 2 b| 2a + b a 2+b 1 2a + b

Este u ltimo exemplo nos ajuda no problema 6 da IMO 1991: Exemplo 1.2. Um seq u encia innita x0 , x1 , x2 , . . . de n umeros reais e dita limitada quando existe uma constante C tal que |xi | C para todo i 0. Dado um real a > 1, construa uma seq u encia innita limitada x0 , x1 , x2 , . . . tal que |xi xj ||i j |a 1 para todo i, j inteiros n ao negativos distintos. Resolu c ao O que a ver esse problema com aproxima co es diofantinas? Na verdade, h a v arias constru co es. Uma dela usa aproxima co es diofantinas. Lembra do resultado de Dirichlet? Vamos pensar em um n u mero irracional . O mais simples e 2 ( e claro que voc e pode escolher algum outro). Considere xi = k {i 2}, k constante real positiva. Note que 0 xi k e, portanto, (xi )i0 e limitada. Ent ao xi xj = k ({i 2} {j 2}) = k ((i j ) 2 (i 2 j 2))

Provaremos algo mais forte: encontraremos um k tal que valha |xi xj ||i j | 1 (veja que |i j |a |i j |) Temos |k ((i j ) 2 (i 2 j 2))||i j | 1

Do exemplo anterior, |m 2 n| Veja que obtemos uma express ao do tipo |m 2 n|, m, n inteiros. 1 . Assim, sendo m = i j (podemos supor i > j ) e n = i 2 j 2, m 2+n k |m 2 n|m > km m 2+n

Para terminar, precisamos estimar n em fun ca o de m. Mas veja que, como x x < x + 1, n = i 2 j 2 < i 2 j 2 + 1 = m + 1 2m k |m 2 n|m > 2 + 2. km k = m 2 + 2m 2+2

Logo

e basta tomarmos k = 2.

A exist encia de solu co es da equa c ao de Pell

Chamaremos de equa ca o de Pell a equa ca o diofantina x2 Dy 2 = 1, D inteiro positivo n ao quadrado perfeito. Um exemplo de equa ca o de Pell e x2 3y 2 = 1 Vamos supor x e y positivos. Digamos que encontrarmos uma solu ca o inicial (x0 ; y0 ). No nosso exemplo, podemos tomar (2; 1). Observe que, sendo n inteiro positivo, 22 3 12 = 1 (2 + 1 3) (2 1 3) = 1 = (2 + 1 3)n (2 1 3)n = 1 ()

Com aux lio do bin omio de Newton, voc e pode provar que se (x + y D)n = xn + yn D ent ao o (x y D)n = xn yn D . Assim, se (2 + 1 3)n = xn + yn 3, 2 = 1, () (xn + yn 3) (xn yn 3) = 1 x2 3yn

ou seja, (xn ; yn ) e uma solu ca o. Com isso, conseguimos innitas solu co es ( e claro que isso e generaliz avel para qualquer equa ca o de Pell). De fato, essas s ao as u nicas quando x0 + y0 D e m nimo: se existe uma outra raiz (x; y ), existe m tal que (x0 + y0 D)
m

< x + y D < (x0 + y0 D)m+1 1 <

x+y D < x0 + y0 D xm + ym D

Mas x+y D x + y D xm ym D (x + y D)(xm ym D) = = = ( xx Dyy )+( x y xy ) D m m m m 2 x2 xm + ym D xm + ym D xm ym D m Dym e, sendo x > y e xm > ym ,

2 2 2 2 2 2 2 2 x2 x2 xxm Dyym > 0 m D y ym = (Dy + 1)(Dym + 1) D y ym > 0 =

e, como x + y D > xm + ym D = y > ym ,

2 2 2 2 2 2 2 2 2 x2 xm y xym > 0, m y x ym = (ym + 1)y (y + 1)ym = y ym > 0 =

Fica somente uma pergunta para acabarmos: quem garante a exist encia de uma solu ca o inicial (x0 ; y0 )? Isso e demonstrado com o uso do resultado de Dirichlet. Os lemas a seguir s ao retirados da refer encia [1].

logo (xxm Dyym ; xm y xym ) e uma outra solu ca o menor que a solu ca o m nima, absurdo!!

Lema 1. Se |x Demonstra c ao

Dy | < 1/y (lembre-se: existem innitos desses (x, y )!!) ent ao 2 2 |x Dy | < 1 + 2 D

s E o fazer umas contas: 1 |x2 Dy 2 | = |(x y D)(x + y D)| < (x + y D y x + y D < y (1 + 2 D) x y D < y, o que e verdadeiro, j a que |x Dy | < 1/y < y . Lema 2. Para algum inteiro positivo k h a innitos pares de inteiros (x; y ), y > 0, tais que x2 Dy 2 = k . Demonstra c ao Mais uma vez os pombos atacam! Do Lema 1 e do resultado de Dirichlet, existem innitos pares (x; y ) tais que |x2 Dy 2 | < 1 + 2 D Mas 1 + 2 D e uma valor constante, ou seja, para todos esses pares |x2 Dy 2 | e limitado, sendo que h a um n umero nito de valores inteiros que esse valor pode assumir. Como s ao innitos pares, para algum k existem innitos pares (x; y ) tais que x2 Dy 2 = k (os valores s ao as casas e os pares, os pombos!). Lema 3. Existem dois pares distintos (x1 ; y1 ) e (x2 ; y2 ) satisfazendo as condi co es do Lema 2 tais que x1 x2 (m od. k ) e y1 y2 (m od. k ). Demonstra c ao Mais casa de pombos! H a k k = k 2 pares poss veis de restos (r1 ; r2 ) da divis ao de cada termo do par por k . 2 Considere ent ao k + 1 pares (x; y ) que satisfazem o Lema 2 (s ao innitos, portanto existem k 2 + 1 deles). Existem dois pares (x1 ; y1 ) e (x2 ; y2 ) com o mesmo par de restos, ou seja, x1 x2 (m od. k ) e y1 y2 (m od. k ). Lema ao inteiros tais que x3 + y3 D = (x1 + 1 ; y1 ) e (x2 ; y2 ) satisfazem o Lema 3 e x3 e y3 s 4. Se (x 2 2 y1 D)(x2 y2 D) ent ao k divide x3 e y3 ; y3 = 0 e x2 e aquele denido no Lema 2). 3 Dy3 = k (k Demonstra c ao Visto que temos e Al em disso, o que e verdadeiro.
2 2 2 2 2 2 2 2 2 y3 = 0 x2 y1 = x1 y2 x2 2 y1 = x1 y2 (Dy2 + k )y1 = (Dy1 + k )y2 y1 = y2 ,

Basta ent ao

(x1 + y1 D)(x2 y2 D) = (x1 x2 y1 y2 D) + (x2 y1 x1 y2 ) D,

2 x3 = x1 x2 y1 y2 D x1 x1 y1 y1 D = x2 od. k ) 1 Dy1 = k 0 (m

y3 = x2 y1 x1 y2 x1 y1 x1 y1 = 0 (m od. k )

Por m, visto que x3 y3 D = (x1 y1 D)(x2 + y2 D) (verique!!), 2 x2 3 Dy3 = (x3 + y3 D )(x3 y3 D ) = (x1 + y1 D )(x2 y2 D ) (x1 y1 D )(x2 + y2 D )
2 2 2 = (x2 1 Dy1 )(x2 Dy2 ) = k k = k

Teorema. Toda equa ca o de Pell admite pelo menos uma solu ca o n ao trivial. Demonstra c ao Por n ao trivial entendemos (x; y ) tal que xy = 0. Tome (x3 ; y3 ) como no Lema 4. Como k divide x3 e y3 , x3 = kx0 e y3 = ky0 com x0 , y0 inteiros. Assim,
2 (kx0 )2 D(ky0 )2 = k 2 x2 0 Dy0 = 1,

ou seja, (x0 ; y0 ) e uma solu ca o.