Captulo 7

Aproximacion de n umeros reales

por racionales
En la antigua Grecia los n umeros tenan un caracter magico y divino. EL
primer lugar de la jerarqua lo ocupaban los n umeros primos, despues el resto de los
n umeros enteros. Haba otros sin el mismo grado de perfeccion, los que se expresan
como cociente de dos enteros. Entonces pareca inconcebible que existiera otra clases
de n umeros. Cuenta la leyenda que el primer matematico que demosttro que la
diagonal de un cuadrado de lado 1 no puede ser el cociente de dos enteros, pago muy
cara su hereja.
Estamos en otros tiempos y podemos empezar este captulo demostrando que

2 es un n umero irracional.
Teorema 7.0.12.

2 es irracional.
Demostracion. Si

2 = a/b entonces 2b
2
= a
2
. Pero entonces el exponente de 2 de
la parte izquierda es impar, mientras el del de la derecha es par.
Despues de este sencillo ejercicio a estudiar como se aproximan los n umeros
reales por racionales.
7.1. Aproximacion de n umeros reales por racionales
Proposicion 7.1.1. Sea real y N > 1. Entonces existe un racional
h
k
, k N tal
que

h
k

<
1
kN
.
Demostracion. Si =
p
q
, con q N entonces

p
q

= 0
1
kN
.
83
84CAP

ITULO7. APROXIMACI

ONDE N

UMEROS REALES POR RACIONALES

Si =
p
q
con q > N o es irracional, construyamos los n umeros (m) =
m [m], m = 1, . . . , N.
Ahora aplicamos el principio del palomar al intervalo [0, 1] dividido en N trozos
de longitud 1/N.
[0, 1/N), [1/N, 2/N), . . . , [(N 1)/N, 1).
Si existe un m tal que (m) esta en el primer intervalo, tendramos |m [m]| <
1/N, Dividiendo entre m obtenemos la aproximaci on deseada:

[m]
m

<
1
mN
.
SI no existiera tal m, tendramos N n umeros en N1 intervalos. Luego dos de ellos,
(m) y (m

) tendran que estar en el mismo intervalo, por lo que su distancia sera

menor que 1/N,
|m [m] (m

[m

])| <
1
N
.
Dividiendo entre mm

obtenemos el resultado deseado:

[m] [m

]
mm

<
1
(mm

)N
.
Proposicion 7.1.2. El n umero es irracional si y solo si existen innitas fracciones
a
b
tales que

a
b

<
1
b
2
.
Demostracion. Por la proposicion anterior sabemos que para cada n existe una
fraccion
a
n
b
n
tal que

a
n
b
n

<
1
nb
n
con b
n
n. Entonces

a
n
b
n

<
1
b
2
n
.
Si solo hubiese un n umero nito de fracciones
a
n
b
n
cumpliendo dicha propiedad,
una misma fraccion tendran lugar para innitos n:
a
n
b
n
=
a
b
para innitos n. Es decir,

a
b

<
1
bn
para innitos valores de n, y tendramos que =
a
b
.
7.2. IRRACIONALIDAD DE Y DE E
M
85
En el otro sentido, supongamos que =
p
q
, (p, q) = 1, es un racional y que
existen innitos racionales
a
b
tales que si

p
q

a
b

<
1
b
2
. Como
1
bq

p
q

a
b

para
a
b
=
p
q
entonces necesariamente tenemos que b < q, lo que limita a un n umero nito
las posibilidades de los racionales
a
b
.
El resultado de la proposicion 7.1.2 puede ser mejorado en el sentido de susti-
tuir |
a
b
| <
1
b
2
por |
a
b
| <
1

5b
2
, que es la mejor constante posible.
Demostrar que un n umero real es irracional puede constitutir un problema
muy difcil. La siguiente observaci on nos puede ayudar en algunos casos.
Si
P
Q
,
p
q
son racionales distintos es claro que

P
Q

p
q

=
|Pq pQ|
Qq

1
Qq
.
Por lo tanto para ver que un n umero es irracional basta con obtener una sucesion
de racionales
p
n
q
n
tales que

p
n
q
n

= o
_
1
q
n
_
.
7.2. Irracionalidad de y de e
m
La estrategia sugerida anteriormente para ver si un n umero es irracional no
siempre es facil de aplicar. Afortunadamente las propiedades intrnsecas de ciertos
n umeros nos permiten combinarla con otro tipo de argumentos para demostrar que
son irracionales.
Teorema 7.2.1. es irracional.
Demostracion. Supongamos que es racional, =
n
m
. Consideremos el polinomio
p(x) = x(n mx).
Veamos primero que D
j
x
_
p
k
(x)
k!
_
es un entero en x = 0 y en x = .
D
j
x
_
p
k
(x)
k!
_
= D
j
x
_
1
k!
x
k
(n mx)
k
_
=
1
k!

0rk

0sk
a
r,s
x
r
(n mx)
s
para ciertos enteros a
r,s
.
86CAP

ITULO7. APROXIMACI

ONDE N

UMEROS REALES POR RACIONALES

Si r > 0 y s > 0, entonces
1
k!
a
r,s
x
r
(n mx)
s
se anula en x = 0 y en x = =
n/m.
Si r = 0, entonces x
k
ha sido derivado por lo menos k veces y por lo tanto k!
debe dividir a a
0,s
.
Tenemos entonces que
1
k!
a
0,s
(n mx)
s
es entero en x = 0 y en x = n/m.
Por ultimo, si s = 0, a
r,0
sera m ultiplo de m
k
k! por la misma razon anterior.
En este caso
1
k!
a
r,0
x
r
tambien es entero en x = 0 y en x = n/m porque r k.
Una vez visto esto pasemos a demostrar nuestro teorema. Por denicion
e
p(x)
=

k=0
p
k
(x)
k!
.
Entonces
_

0
sin x e
p(x)
dx =

k=0
_

0
sin x
p
k
(x)
k!
dx.
Integrando por partes tenemos
_

0
sin x
p
k
(x)
k!
dx = cos x
_
p
k
(x)
k!
_

0
+
_

0
cos x
_
p
k
(x)
k!
_

dx.
Integrando otra vez por partes,
_

0
cos x
_
p
k
(x)
k!
_

dx = sin x
_
p
k
(x)
k!
_

0

_

0
sin x
_
p
k
(x)
k!
_

dx.
En un n umero nito de pasos obtendremos
_

0
sin x
p
k
(x)
k!
como una suma nita de
terminos de la forma sin x
_
p
k
(x)
k!
_
j)
|

0
y cos x
_
p
k
(x)
k!
_
j)
|

0
.
Como las funciones sin x, cos x y
_
p
k
(x)
k!
_
j)
toman valores enteros en x = 0 y
x = , el valor de la integral sera un n umero entero para todo k.
Ademas las funciones sin x y
p
k
(x)
k!
son estrictamente positivas en el intervalo
(0, ). Luego la integral
_

0
sin x
p
k
(x)
k!
dx debe ser un n umero entero mayor o igual
que 1.
Por tanto la integral
_

0
sin x e
p(x)
debera ser innita, lo cual es absurdo porque
estamos integrando sobre un intervalo nito una funcion acotada en dicho intervalo.
Teorema 7.2.2. El n umero e
m
es irracional para todo entero m = 0.
7.3. N

UMEROS ALGEBRAICOS Y TRASCENDENTES 87

Demostracion. Consideremos el polinomio p(x) = x(mx). Por las mismas razones
que en el teorema anterior, D
j
x
_
p
k
(x)
k!
_
toma valores enteros en x = 0 y en x = m.
Tambien tenemos
_
m
0
e
x
e
p(x)
dx =
_
m
0
e
x

k=0
p
k
(x)
k!
dx =

k=0
_
m
0
e
x
p
k
(x)
k!
dx.
Integrando por partes,
_
m
0
e
x
p
k
(x)
k!
dx = e
x
_
p
k
(x)
k!
_

m
0

_
m
0
e
x
_
p
k
(x)
k!
_

dx.
Repitiendo el proceso un n umero nito de veces, el valor de la integral para cada k
sera de la forma e
m
z
1
+ z
2
, z
1
, z
2
Z.
Tambien cada una de las integrales es estrictamente positiva porque las fun-
ciones e
x
y p
k
(x) son estrictamente positivas en el intervalo (0, m).
Si e
m
fuese racional, e
m
=
a
b
, entonces e
m
z
1
+ z
2

1
b
y
_
m
0
e
x
e
p(x)
dx

0
1
b
=
lo cual es absurdo porque la integral es nita.
Curiosamente, aunque casi todos los n umeros son irracionales, son pocos los
que se conocen explcitamente. En general es un problema muy difcil demostrar la
racionalidad o irracionalidad de un n umero real dado.
Por ejemplo se desconoce si la constante de Euler,
= lm
k
_
k

n=1
log k
_
es un n umero irracional, y en la misma situacion se encuentra el n umero
e
.
7.3. N umeros algebraicos y trascendentes
Dentro de los n umeros irracionales, hay algunos mas irracionales que otros.
Un n umero irracional es aquel que no satisface ninguna ecuacion polinomica de
grado 1 con coecientes enteros. Por ejemplo,

2. Sin embargo este n umero satisface

88CAP

ITULO7. APROXIMACI

ONDE N

UMEROS REALES POR RACIONALES

una ecuacion polinomica de grado 2, x
2
2 = 0 y, de alguna manera, podemos decir
que es menos irracional que por ejemplo
3

2, que satisface una ecuacion polinomica

de grado 3.
Denicion 7.3.1. Un n umero es un n umero algebraico de orden n si es raz de
un polinomio irreducible de grado n con coecientes enteros.
Existen n umeros reales que no son algebraicos de ning un orden? La respuesta
es armativa. De hecho sabemos mucho mas: el conjunto de los n umeros algebraicos
es numerable y, por tanto, en el sentido de la teora de la medida de Lebesgue casi
ning un punto es algebraico. Si escogemos al azar un punto de la recta real, con
probabilidad igual a 1 se correspondera con un n umero no algebraico.
A estos n umeros no algebraicos les llamaremos trascendentes.
Teorema 7.3.2 (Liouville). Si es un n umero algebraico de orden n 2, existe
una constante C

> 0 tal que

p
q

>
C

q
n
para todo par de enteros p, q.
Demostracion. Si es algebraico de orden n, existira un polinomio irreducible
f(x)a
n
x
n
+ + a
1
x + a
0
tal que f() = 0.
Sea M = sup
1<x<+1
|f

(x)|. Si

p
q

< 1, por el teorema del valor medio

tenemos que para alg un x ( 1, + 1),

f() f(
p
q
)

p
q

|f

(x)|

p
q

M.
Como f() = 0, tenemos

p
q

|f(p/q)|
M
.
Sustituyendo en el polinomio, f(p/q) es un n umero racional con denominador menor
o igual que q
n
y distinto de 0 por ser irreducible. Entonces

p
q

1/M
q
n
y el teorema esta demostrado tomando C

= 1/M.
7.3. N

UMEROS ALGEBRAICOS Y TRASCENDENTES 89

El estudio de la trascendencia de un n umero es bastante mas difcil que el
estudio de su irracionalidad.
Sabemos que y e son n umeros trascendentes. La trascendencia de fue de-
mostrada por Lindemann, acabando as con el famosi porblema de la cuadratura
del crculo: a partir de un crculo de diametro 1, podemos construir con regal y
compas un cuadrado del mismo area? Esto equivaldra a construir el n umero

.
Ahora bien las construcciones con regla y compas involucran la resolucion de ecua-
ciones de primer grado, interseccion de dos rectas, o de segundo grado, intersecci on
de una recta y una circunferencia o de dos circunferencias entre s. Si un n umero
es construible entonces es raz de un polinomio irreducible (en Z) con coecientes
enteros de grado igual a una potencia de 2.
Como

es trascendente, en particular no puede ser construible y por lo tanto

no podemos cuadrar el crculo.
Teorema 7.3.3 (Hermite). El n umero e es trascendente.
Demostracion. Supongamos, por el contrario, que es algebraico y que satisface la
ecuacion
a
n
e
n
+ a
n1
e
n1
+ + a
1
e + a
0
= 0
de coecientes enteros, con a
0
= 0 y a
n
= 0.
Fijado un n umero primo p construimos el polinomio
P(x) = x
p1
(x 1)
p
(x n)
p
y la funcion
I(y) =
_
y
0
e
yx
P(x)dx, y 0.
Integrando por partes repetidas veces obtenemos la expresion
I(y) = e
y
d

j=0
P
j)
(0)
d

j=0
P
j)
(y)
donde d = (n + 1)p 1 es el grado del polinomio P(x).
Consideremos la cantidad
A = a
0
I(0) + + a
n
I(n) =
d

j=0
n

k=0
a
k
_
e
k
P
j)
(0) P
j)
(k)
_
=
d

j=0
n

k=0
a
k
P
j)
(k).
Tenemos que:
90CAP

ITULO7. APROXIMACI

ONDE N

UMEROS REALES POR RACIONALES

1) P
j)
(k) es un m ultiplo de p! si j p.
2) P
j)
(k) = 0 si j < p y 1 k n o si j < p 1 y k = 0.
3) P
j)
(k) es un entero divisible por p! excepto en el caso j = p 1, k = 0.
4) P
p1)
(0) = (p1)!(1)
np
(n!)
p
. Luego , si p > n entonces P
p1)
(0) es un entero
divisible por (p 1)! pero no por p!.
Recapitulemos: si p > n entonces A es un entero distinto de cero y divisible por
(p 1)!.
Por otro lado, de la denicion de la funcion I(y) se obtiene facilmente la
estimacion:
|I(y)| ye
y
sup
0xy
|P(x)| ye
y
(n + y)
d
.
Luego
|A|
n

j=1
|a
j
||I(j)| max
j
|a
j
|
n

j=1
je
j
(n + j)
d
max
j
|a
j
|e
n
n
2
(2n)
d
max
j
|a
j
|e
n
n
2
(2n)
(n+1)p1
C
p
para alguna constante positiva C = C(n).
Si p es sucientemente grande resulta absurdo que (p 1)! C
p
.
7.4. Sucesiones uniformemente distribuidas
Denicion 7.4.1. Decimos que una sucesion de n umeros reales {a
n
} [0, 1] esta uni-
formemmente distribuida si para todo intervalo I [0, 1],
lm
N
#{a
j
I, j = 1, 2 . . . , N}
N
= |I|.
Esto es lo mismo que decir que
lm
N
1
N
N

j=1

I
(a
j
) = |I|,
donde
I
es la funcion caracterstica del intervalo I.
Teorema 7.4.2 (H. Weyl). Si es un n umero irracional entonces la sucesion {(n)}
esta uniformemente distribuida en [0, 1].
7.4. SUCESIONES UNIFORMEMENTE DISTRIBUIDAS 91
Vamos a descomponer en varias etapas la demostracion de este teorema.
Una particion del intervalo [0, 1] es un conjunto de puntos 0 = t
0
< t
1
< <
t
n
= 1.
Una funcion acotada y denida en [0, 1], es continua y denida a trozos si
existe una particion 0 = t
0
< t
1
< < t
n
= 1 del intervalo [0, 1] de manera que la
restriccion de f a cada intervalo [t
i1
, t
i
), i = 1, . . . , n sea una funcion continua.
El caso en el que la funcion continua a trozos es igual a una constante en cada
intervalo [t
i1
, t
i
) recibe un nombre especial, se dice que f es una funcion escalonada.
Es decir, f es escalonada si es de la forma
f(x) =
n

k=1
a
k

[t
k1
,t
k
)
(x) donde

[t
k1
,t
k
)
(x) =
_
1 si x [t
k1
, t
k
)
0 en otro caso.
Lema 7.4.3. Una condicion necesaria y suciente para que una sucesion {a
n
}
[0, 1] este uniformemente distribuida en [0, 1] es que
lm
n
1
n
n

k=1
f(a
k
) =
_
1
0
f(x)dx
para toda funcion f continua a trozos.
Demostracion. i) Si la igualdad (7.4.3) es cierta para toda funcion continua a trozos,
en particular es cierta para la funcion caracterstica de un intervalo I = [a, b) [0, 1),
es decri:
lm
n
#{a
j
I, j = 1, 2, . . . , n}
n
= lm
n
1
n
n

k=1

[a,b)
(a
k
) =
_
1
0

[a,b)
(x)dx = b a
ii) El hecho de que {a
n
} este distribuida uniformemente es equivalente a armar
que la igualdad (7.4.3) es cierta para funciones escalonadas. Basta con observar que
toda funcion continua a trozos puede aproximarse por funciones escalonadas; es
decir, que para todo > 0 podemos encontrar funciones escalonadas f
1
y f
2
tales
que f
1
f f
2
y
_
1
0
(f
2
(x) f
1
(x))dx . Por tanto
lmsup
n
1
n
n

k=1
f(a
k
) lm
n
f
2
(a
k
) =
_
1
0
f
2
(x)
_
1
0
f(x)dx + .
92CAP

ITULO7. APROXIMACI

ONDE N

UMEROS REALES POR RACIONALES

lminf
n
1
n
n

k=1
f(a
k
) lm
n
f
1
(a
k
) =
_
1
0
f
1
(x)
_
1
0
f(x)dx .
Teorema 7.4.4. Una condicion suciente y necesaria para que la sucesion {a
n
}
este uniformemente distribuida en el intervalos [0, 1] es que
lm
n
1
n
n

k=1
e
2ima
k
= 0
para todo entero m = 0.
Demostracion. a) La condicion es necesaria: Para probarlo, como e
ix
= cos x+i sin x,
basta con aplicar el lema 7.4.3 a las funciones f(x) = cos(2mx) y f(x) = sin(2mx)
y observar que
_
1
0
cos(2mx)dx =
_
1
0
sin(2mx)dx = 0
si m Z, m = 0.
b) La suciencia es un poco mas delicada y esta basada en el hecho de que
toda funcion continua f en el intervalo [0, 1] tal que f(0) = f(1) puede aproximarse
uniformemente por polinomios trigonometricos de la forma
P(x) = b
0
+ (b
1
cos(2x) + c
1
sin(2x) + + (b
m
cos(2mx) + c
m
sin(2mx)
Si
lm
n
1
n
m

k=1
cos(2ma
k
) + i sin(2ma
k
) = 0
para todo m > 0, entonces
lm
n
1
n
n

k=1
P(a
k
) = b
0
=
_
1
0
P(x)dx
para todo polinomio trigonometrico P(x) y, por lo expuesto anteriormente,
lm
n
1
n
n

k=1
f(a
k
) =
_
1
0
f(x)dx
para toda funcion continua.
Finalmente basta con observar que si f es continua a trozos, podemos encontrar
dos funciones continuas y periodicas tales que f
1
f f
2
y
_
1
0
(f
2
(x) f
1
(x))dx
.
7.4. SUCESIONES UNIFORMEMENTE DISTRIBUIDAS 93
Demostracion del teorema 7.4.2. Tenemos que probar que para todo entero positivo
m,
lm
n
1
n
n

k=1
e
2im(n)
= 0.
Utilizaremos el hecho de que e
2im(n)
= e
2imn
y que

n
k=1
e
2ikx
=
e
2ix
e
2i(n+1)x
1e
2ix
cuando x no es un entero.
Al ser irracional m nunca va a ser un entero y entonces

1
n
n

k=1
e
2im(n)

=
1
n

e
2im
e
2i(n+1)m
1 e
2im

1
n
2
|1 e
2im
|
,
que tiende a cero cuando n .
Hacer estimaciones no triviales del tipo

e
2ia
j
es un instrumento clave para
resolver muchos problemas en teora de n umeros.
Po ejemplo, la sucesion (n
k
) se trata en el problema de Waring, y la sucesion
(p) donde p recorre los primos, en la conjetura de Goldbach.
El teorema de H. Weyl, y sus extensiones a dimensiones mayores, es un resul-
tado importante no solo en la teora de los N umeros, sino tambien en Geometra y
Sistemas din namicos.
En el parrafo siguiente consideraremos otra generalizacion del caso (a
n
x), a
n

que es valida para casi todos los n umeros x (0, 1], en el sentido de la teora de
la medida.
7.4.1. N umeros normales
Dado el n umero real x [0, 1) con desarrollo decimal x = 0, x
1
x
2
. . . x
k
. . . , y
dado un dgito m {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}, el n umero
#{x
j
= m, j = 1, . . . , N}
N
mide la frecuencia con la que el dgito m aparece en al sucesion de las N primeras
cifras decimales de x.
Denicion 7.4.5. Un n umero x [0, 1) sera llamado normal si, para todo dgito
m, existe
lm
N
#{x
j
= m, j = 1, . . . , N}
N
=
1
10
.
94CAP

ITULO7. APROXIMACI

ONDE N

UMEROS REALES POR RACIONALES

En otras palabras, un n umero normal es aquel que tiene la misma proporcion
de cada uno de los dgitos en su desarrollo decimal.
Es facil construir n umeros normales, como 0, 1234567890123456789012.. y no
normales, por ejemplo, 0, 121212 . . . El siguiente teorema de E. Borel tiene conex-
iones interesantes con otras ramas de las Matematicas, tales como la Teora Ergodica
y la Probabilidad.
Teorema 7.4.6. Excepto por un conjunto de medida cero, todos los n umeros son
normales.
La demostracion la vamos a basar en una extension del Teorema de H. Weyl.
Teorema 7.4.7. Sea {a
n
} una sucesion creciente de n umeros enteros. Para casi
todo n umero real x (es decir, excepto por un conjunto de medida igual a cero), la
sucesion (a
n
x) esta uniformemente distribuida en el intervalo [0, 1).
Demostracion. Fijado el n umero entero m = 0, consideremos las sumas
S
M
(x) =
1
M
M

n=1
e
2ima
n
x
y la integrales
_
1
0
|S
M
(x; m|
2
dx =
1
M
2
M

n,k=1
_
1
0
e
2im(a
n
a
k
)x
dx =
1
M
,
ya que si n = k, entonces
_
1
0
e
2im(a
n
a
k
)x
dx = 0.
Por lo tanto, si consideramos la serie
F(x; m) =

N=1
|S
N
2(x; m)|
2
resulta que
_
1
0
F(x; m)dx = lm
k
_
1
0
k

N=1
|S
N
2(x; m)|
2
dx =

N=1
1
N
2
< .
Por lo tanto, para cada entero m = 0, ha de vericarse que F(x; m) < en casi
todo x; es decir, excepto en un conjunto B
m
de medida cero.
En particular, si x B
m
entonces lm
N
S
N
2(x; m) = 0.
7.5. EJERCICIOS 95
Dado el entero positivo M podemos encontrar N = [

M] tal que N
2
M <
(N + 1)
2
. Entonces
S
M
(x; m) =
1
M
_
N
2

n=1
e
2ima
n
x
+
M

n=N
2
+1
e
2ima
n
x
_
y
|S
M
(x; m)| |S
N
2(x; m)| +
2N + 1
M
.
Luego si x B
m
tenemos que
lm
M
S
M
(x; m) = 0.
Finalmente el conjunto B =

m=0
B
m
es de medida cero y verica que si x B
entonces
lm
M
1
M
M

n=1
e
2ima
n
x
= 0
para todo m = 0. En particular la sucesion (a
n
x) esta uniformemente distribuida en
[0, 1).
Demostracion del teorema 7.4.6. Consideremos la sucesion a
n
= 10
n
. Seg un el teo-
rema anterior, existe un conjunto de medida cero B tal que si x B entonces (10
n
x)
esta uniformemente distribuida.
Dado el dgito k = 0, 1, . . . , 9 consideremos el intervalo I
k
= [
k
10
,
k+1
10
). La
condicion de distribucion uniforme implica que
lm
N
1
N
N

n=1

I
k
(10
n
x) =
_
1
0

I
k
(x)dx =
1
10
.
La demostracion se concluye observando que si 0, x
1
x
2
. . . x
n
. . . es el desarrollo dec-
imal del n umero x, entonces (10
n
x) = 0, x
n+1
. . . Es decir, (10
n
x) I
k
si y solo si
x
n+1
= k.
7.5. Ejercicios
7.5.1. Demostrar que
3

2 es irracional.
7.5.2. Demostrar que el logaritmo decimal de un racional positivo, o bien es entero,
o bien es irracional.
96CAP

ITULO7. APROXIMACI

ONDE N

UMEROS REALES POR RACIONALES

7.5.3. Demostrar que si existen innitas fracciones
a
n
b
n
tales que lm
n
b
n

a
n
b
n

=
0, entonces es irracional. Como aplicacion demostrar que e es irracional.
7.5.4. Sea p(n) un polinomio con coecientes enteros y positivos. Demostrar que

n=1
1
10
p(n)
es racional si y solo si p(n) es de grado 1.
7.5.5. Demostrar que

2
p
q

>
1
4q
2
para todo par de enteros p, q.
7.5.6. Hallar tres fracciones a/b tales que |

6 a/b| < b
2
.
7.5.7. Demostrar que

n=1
1
10
n!
es trascendente.
7.5.8. Sea =

n
5
n
5
. Demostrar que =
_
3 +

es irracional.
7.5.9. Demostrar que todo n umero racional perteneciente al intervalo [0, 1] se puede
expresar como una suma nita de fracciones distintas con numerador 1.
7.5.10. Demostrar que la sucesion {(n!e)} no esta uniformemente distribuida.
7.5.11. En el primer examen saco un 8| sin 1|, en el segundo 8| sin 6|, en el tercero
8| sin 9|, y as sucesivamente. Demostrar que si el n umero de examenes es sucien-
temente grande, la media me saldra aprobado.
7.5.12. Demostrar que, dados dos enteros a, b, a = 0, la sucesion {(an + b)}
esta uniformemente distribuida si y solo si es irracional.
7.5.13. Demostrar que la sucesion {(log n)} no esta uniformemente distribuida.
7.5.14. Demostrar que la sucesion: parte fraccionaria de
_

5+1
2
_
n
no esta uniforme-
mente distribuida.
7.5.15. Demostrar que existe un n tal que (ne) tiene un 7 en el lugar 77.
7.5.16. Demostrar que existe un n tal que [10000(n)] = 2001.
7.5.17. Calcular
lm
x
1
x
x

n=1
1
n

3 [n

3] + 1
.
7.5.18. Demostrar que casi todo x en [0, 1) es normal en todas las bases.
7.5.19. Demostrar que los n umeros = 0,12345678910111213... y = 0, 2357111317192329 . . .
son irracionales.
7.5.20. Sean a, b enteros, b = 0. Demostrar que tan(

4
a
b
) es racional si y solo si b
es entero.
7.5.21. Demostrar que si es irracional entonces la sucesion (n
2
) esta uniforme-
mente distribuida.