La enciclopedia de las demostraciones

Escrito por Imanol Perez

1. Teora de n
umeros

1.1. Introduccion . . . . . . . . . . . . . . . . . . . . . .

1.2. Infinitud de los n

umeros primos . . . . . . . . . . .

1.3. Irracionalidad de

2 . . . . . . . . . . . . . . . . .

1.4. Postulado de Bertrand . . . . . . . . . . . . . . . .

1.5. Irracionalidad de e . . . . . . . . . . . . . . . . . .

14

1.6. El caso n = 4 del u

ltimo teorema de Fermat . . . .

16

1.7. Divergencia de la serie armonica . . . . . . . . . . .

18

1.8. Divergencia de la suma de los inversos de los n

umeros
primos . . . . . . . . . . . . . . . . . . . . . . . . .

19

1.9. Problema de Basilea . . . . . . . . . . . . . . . . .

20

1.10. Identidad de Cassini . . . . . . . . . . . . . . . . .

22


2. Algebra

24

2.1. Introduccion . . . . . . . . . . . . . . . . . . . . . .

24

2.2. Teorema fundamental del algebra . . . . . . . . . .

24

2.3. El binomio de Newton . . . . . . . . . . . . . . . .

26

3. An
alisis

29

3.1. Introduccion . . . . . . . . . . . . . . . . . . . . . .

29

3.2. Regla de Barrow . . . . . . . . . . . . . . . . . . .

29

3.3. Regla de lHopital . . . . . . . . . . . . . . . . . . .

31

3.4. Teorema del valor medio . . . . . . . . . . . . . . .

32

3.5. Teorema del valor medio de Cauchy . . . . . . . . .

34

3.6. Calculo de la integral de Gauss . . . . . . . . . . .

35

3.7. Formula de Euler . . . . . . . . . . . . . . . . . . .

4. Otros

36

38

4.1. Los puentes de Konigsberg . . . . . . . . . . . . . .

38

4.2. Demostracion sin palabras de la formula para calcular el area de un crculo . . . . . . . . . . . . . . . .

40

4.3. Demostracion sin palabras de que la cardinalidad de

la recta de los n
umeros reales es la misma que la de
un intervalo de la recta de los n
umeros reales . . . .

41

4.4. Demostracion sin palabras de la suma de los primeros

n n
umeros naturales . . . . . . . . . . . . . . . . .

5. Problemas no resueltos de las matem

aticas

41

42

5.1. Introduccion . . . . . . . . . . . . . . . . . . . . . .

42

5.2. Hipotesis de Riemann . . . . . . . . . . . . . . . . .

42

5.3. Conjetura de Goldbach . . . . . . . . . . . . . . . .

43

5.4. Conjetura de Collatz . . . . . . . . . . . . . . . . .

44

5.5. P contra NP . . . . . . . . . . . . . . . . . . . . . .

45

5.6. Conjetura de los n

umeros primos gemelos . . . . . .

46

5.7. Existencia de n
umeros perfectos impares . . . . . .

47

6. Bibliografa

49

1.

Teora de n
umeros

1.1.

Introducci
on

La teora de n
umeros es la rama de las matematicas que estudia las propiedades de los n
umeros y es una de las primeras ramas
de la matematica en ser estudiadas. Euclides, Fermat y Euler son
algunos de los matematicos mas importantes en esta rama. Hoy
en da sigue habiendo problemas irresueltos como la conjetura de
Goldbach, seg
un el cual todos los n
umeros pares pueden expresarse
como suma de dos n
umeros primos.

1.2.

Infinitud de los n
umeros primos

La infinitud de los n
umeros primos fue demostrada por primera
vez por Euclides utilizando el reductio ad absurdum, metodo que el
mismo invento.

10

Supongamos que los n

umeros primos son finitos. Sea A el conjunto de todos los n
umeros primos: A = p1 , p2 , p3 , ..., pn . Sea S el
producto de todos los n
umeros primos mas uno:

S = p1 p2 ... pn + 1

S puede ser compuesto o primo. Si es compuesto, debe de haber

un pi A tal que pi divide a S. Sin embargo:

p1 p2 ... pn + 1
p1 ... pi1 pi ... pn + 1
=
=
pi
pi
1
p1 ... pi1 pi+1 ... pn +
pi

El cual no es un n
umero entero. Por lo tanto, S ha de ser primo.
Como esto es una contradiccion del supuesto original, el conjunto
de los n
umeros primos no puede ser finito.

1.3.

Irracionalidad de

Para esta demostracion se utilizara el descenso infinito, aunque

existen numerosas demostraciones utilizando otros metodos.
11

Supongamos que

2 es racional. Por lo tanto, se puede escribir

de la siguiente manera:

2=

p
q

Donde p y q son enteros positivos. Ahora se demostrara que

es igual a otra fraccion cuyo denominador tambien es positivo y

menor que q. Esto implicara que se podra encontrar una sucesion
de n
umeros enteros positivos decreciente infinitamente, lo cual no
es posible. Operando en la expresion anterior obtenemos que:

2=

p2
q2

Multiplicando ambos lados por q 2 obtenemos:

2q 2 = p2

Utilizando esta igualdad, tenemos que:

p2 pq = 2q 2 pq p(p q) = q(2q p)
12

p
2q p
=
q
qp

Como

p
= 2:
q

2=

2q p
qp

 2
p
= 2:
Ahora se vera que 0 < p q < q. Como
q

 2
p
p
1<
< 4 1 < < 2 q < p < 2q 0 < p q < q
q
q

Por tanto, hemos encontrado otro n

umero entero positivo menor que q tal que este n
umero es el denominador de una fraccion

equivalente a 2. Si repetimos lo anterior con esta nueva fraccion

encontraramos otro entero positivo de estas caractersticas, creando una sucesion de n
umeros enteros positivos decreciente infinita
mente. Como esto es imposible, la suposicion inicial de que 2 es

racional ha de ser falsa y, por lo tanto, 2 ha de ser irracinal.

1.4.

Postulado de Bertrand

El postulado de Bertrand establece que para todo n > 1 existe

al menos un primo p tal que n < p < 2n.
13

Figura 1: Joseph Bertrand. Pars, 11 de marzo de 1822 - 5 de abril de 1900

Sea x un entero positivo mayor que 1. Definimos (x) como:

(x) =

log(p)

px, p primo

Consideremos ahora lo siguiente:

(x) = (x) + (x 2 ) + (x 3 ) + (x 4 ) + ... (1)

log[x]! = (x) + ( 12 x) + ( 13 x) + ... (2)

Siendo [x] la parte entera de x. De (1) se tiene que:

14


(x) 2( x) = (x) (x 12 ) + (x 31 ) ... (3)

Y de (2) obtenemos:

log[x]! 2 log[ 12 x]! = (x) (x 12 ) + (x 31 ) ... (4)

Puesto que tanto (x) como (x) son funciones crecientes, obtenemos a partir de (3) y (4) las siguientes desigualdades:

(x) 2( x) (x) (x) (5)

(x) ( 12 x) log[x]! 2 log[ 12 x]! (x) ( 21 x) + ( 31 x) (6)

Por otro lado, puede demostrarse que:

log((x)) 2 log( 12 x + 12 ) log[x]! 2 log[ 12 x]!

log((x + 1)) 2 log( 12 x + 12 ) (7)

Ahora, ayudandonos de la aproximacion de Stirling, seg

un el

cual n! nn en 2n, obtenemos de (7) que:

15

log[x]! 2 log[ 21 x]! < 34 x, si x > 0 (8)

log[x]! 2 log[ 21 x]! > 23 x, si x > 300 (9)

Uniendo ahora la informacion proporcionada por (6), (8) y (9)

se ve que:

(x) ( 12 x) < 34 x, si x > 0 (10)

(x) ( 21 x) + ( 13 x) > 23 x, si x > 300 (11)

Si se toma la expresion (10) y si se sustituye x por 21 x, 14 x, 81 x, . . .

y se suman los resultados, se obtiene que:

(x) < 32 x, si x > 0 (12)

Uniendo en este punto la informacion proporcionada por (5) y

(12) se llega a que:

16

(x) ( 12 x) + ( 13 x)

(x) + 2( x) ( 21 x) + ( 13 x) < (13)

< (x) ( 12 x) + 21 x + 3 x

Por otra parte, es evidente que:

1
x
6

3 x 0, si x 324

Por lo tanto se tiene que:

(2x) (x) > 0, si x 162

Esto demostra el postulado de Bertrand para x > 162, ya que

como (x) era la suma de los logaritmos de todos los n
umeros primos menores que x, y como (2x) > (x), se tiene que entre x y 2x
tiene que haber alg
un primo para que (2x) sea mayor que (x). Si
a continuacion se comprueba el postulado de Bertrand para todo
x < 162, se demostrara el postulado de Bertrand.

17

1.5.

Irracionalidad de e

Asumamos que e es racional. Por lo tanto, se puede escribir de

la forma:

a
b

e=

Definimos ahora x como:

b
X
1
x = b! e
n!
n=0

!
(1)

a
Como e = :
b
b

x = b!

a X 1

b n=0 n!

b
X
b!
= a(b 1)!
n!
n=0

El primer termino es entero, y cada fraccion en la suma es un

entero ya que n b para cada termino. Por lo tanto, x es un
entero. Ahora se demostrara que 0 < x < 1, lo cual supondra una
contradiccion con lo dicho anteriormente, lo que supondra que e
no es racional.
18


X
1
El n
umero e esta definido como e =
. Insertando esto en
n!
n=0
(1) y operando tenemos que:

X
b!
x=
n!
n=b+1

Para cada termino de la sumatoria tenemos que:

1
1
b!
=

n!
(b + 1)(b + 2)(b + 3)...(b + (n b))
(b + 1)nb

Cambiando el ndice de la sumatoria a k = n b y utilizando la

formula para la serie geometrica infinita, se tiene que:

X
X
1
b!
1
<
=
x=
k
n! k=1 (b + 1)
b+1
n=b+1

1
1
1 b+1

1
= l1
b

Como no hay ning

un n
umero natural entre el 0 y el 1, hemos
llegado a una contradiccion, y por lo tanto e ha de ser irracional.

19

1.6.

El caso n = 4 del u
ltimo teorema de Fermat

El u
ltimo teorema de Fermat, formulado por Pierre de Fermat
en 1637, establece que si n es un n
umero natural mayor que 2
entonces no existen n
umeros enteros no nulos a, b y c tales que
an + bn = cn . Supongase que existen tres n
umeros x, y y z tales que
x4 + y 4 = z 4 . Esto se puede reescribir como (x2 )2 + (y 2 )2 = (z 2 )2 .
Por lo tanto, (x2 , y 2 , z 2 ) ha de ser una terna pitagorica. Como toda
terna pitagorica ha de tener la forma (2pq, p2 q 2 , p2 + q 2 ) podemos
igualar (x, y, z) y (2pq, p2 q 2 , p2 + q 2 ) miembro por miembro:

x2 = 2pq
y 2 = p2 q 2
z 2 = p2 + q 2

Donde 0 < q < p y p y q tienen distinta paridad. De la segunda

ecuacion obtenemos que y 2 +q 2 = p2 y, por lo tanto, y, q y p forman
otra terna pitagorica. Por lo tanto:

q = 2ab
y = a2 b 2
20

p = a2 + b 2

Donde 0 < b < a y a y b tienen distinta paridad. Sustituyendo

obtenemos que:

x2 = 2pq = 4ab(a2 + b2 )

Por lo que ab(a2 + b2 ) ha de ser el cuadrado de x2 . Como ab y

(a2 + b2 ) son primos relativos, tanto ab como (a2 + b2 ) han de ser
cuadrados. Supongamos que a = X 2 y b = Y 2 . Esto es suficiente
para aplicar el descenso infinito, ya que suposicion que se hizo al
principio es que z 4 era un cuadrado, no una cuarta potencia. Dicho
de otro modo, si x e y son enteros positivos tales que x4 + y 4 es
un cuadrado la demostracion anterior nos permite encontrar otros
dos enteros positivos, X e Y , tales que X 4 + Y 4 es un cuadrado.
Ademas:

X 4 + Y 4 = a2 + b2 = p < p2 + q 2 = z 2 < z 4 = x4 + y 4

Por lo que se tiene una sucesion infinita decreciente de n

umeros
enteros positivos. Como esto no es posible, queda probado el u
ltimo
21

teorema de Fermat para el caso n = 4.

1.7.

Divergencia de la serie arm

onica

La serie armonica es la siguiente:

X
1
n
n=1

Para demostrar su convergencia, ordenaremos la serie y lo comparamos con la siguiente serie:

  
 


X
1
1
1 1
1 1 1 1
=1+
+
+
+
+ + +
+ ... >
n
2
3
4
5
6
7
8
n=1  
 

1 1
1 1 1 1
1 1 1
1
> 1+
+
+
+
+ + +
+... = 1+ + + +...
2
4 4
8 8 8 8
2 2 2

Como esta u
ltima serie diverge, entonces queda demostrado que
la serie armonica tambien lo hace.

22

1.8.

Divergencia de la suma de los inversos de los n

umeros
primos

Para demostrar la divergencia de la suma de los inversos de

los n
umeros primos, consideremos primero la serie armonica y la
formula del producto de Euler:

X
1 Y
1
=
n
1 p1
n=1
p

Tomando logaritmos en ambos lados y utilizando la serie de

Taylor de log(1 x) tenemos que:

!
!



X
Y
X
1
1
1
log
= log
=
log
=
1
1
n
1

p
1

p
p
p
n=1

X
X 1
1
1
1
+
+
+ ... =
=
log(1 p ) =
p 2p2 3p3
p
p
!

X1
X 1 1
1
1
+
+ ... <
+
+
p
p2 2 3p 4p2
p
p
!

X1
X 1 
1
1
+
1 + + 2 + ... =
2
p
p
p p
p
p
!
!
!
X1
X
X1
1
+
=
+C
p
p(p 1)
p
p
p
p

23

Siendo C una constante menor que 1. Puesto que la suma de los

recprocos de los primeros n n
umeros enteros positivos es asintotica
a log(n) ( es decir, su ratio se acerca a 1 cuando n se acerca a
infinito ) se tiene:

X
1
log(n) si n
n
n=1

Sustituyendolo en la expresion de arriba y despreciando la constante C cuando n tiende a infinito, concluimos que:

1 1 1 1
+ + + + ... = log log()
2 3 5 7

1.9.

Problema de Basilea

El problema de Basilea consiste en encontrar la suma de los inversos de los cuadrados de los n
umeros naturales, es decir, encontrar
el valor de:

X
1
n2
n=1

24

Euler demostro que el valor de la suma era

2
.
6

Para demostrarlo,

consideremos el desarrollo de sin(x) utilizando la serie de Taylor:

sin(x) = x

x 3 x5
+
...
3!
5!

Dividimos ambos lados entre x y tenemos que:

sin(x)
x 2 x4
=1
+
...
x
3!
5!

sin(x)
son nx, donde n es un n
umero entero. Asux
mamos que podemos expresar esta serie infinita como producto de
Las races de

factores lineales dados por las races, de la misma forma que hacemos con los polinomios finitos:

sin(x) 
x 
x 
x 
x
= 1
1+
1
1+
... =
x

2
2



x2
x2
1 2
1 2 ...

Si calculamos la multiplicacion veremos que el coeficiente de x2

es:

25

1
1
1
1X 1
+
+
+ ... = 2
2 4 2 9 2
n=1 n2

Del desarrollo de la serie de Taylor tenemos que el coeficiente

de x2 ha de ser 3!1 = 16 . Como los dos coeficientes han de ser
iguales, tenemos que:

1
1X 1
= 2
6
n=1 n2

Y, por lo tanto:

2 X 1
=
6
n2
n=1

1.10.

Identidad de Cassini

La identidad de Cassini establece que, si Fk es el k-esimo n

umero
de Fibonacci, entonces Fn+1 Fn1 Fn2 = (1)n . Se demostrara por
induccion. Para n = 1, se ve que se cumple que F2 F0 F12 = (1)1 .
Supongamos que la identidad es cierta para n = k: Fk+1 Fk1 Fk2 =
(1)k . Entonces, ha de ser cierta para n = k + 1:
26

2
2
Fk+2 Fk Fk+1
= (Fk + Fk+1 ) Fk Fk+1

(1)

2
= Fk2 + Fk Fk+1 Fk+1

(2)

= Fk2 + Fk Fk+1 Fk+1 (Fk + Fk1 )

(3)

= Fk2 + Fk Fk+1 Fk Fk+1 Fk+1 Fk1

(4)

= Fk2 Fk+1 Fk1

(5)

= (1) Fk+1 Fk1 Fk2

(6)

= (1) (1)k

(7)

= (1)k+1

(8)
(9)

27


Algebra

2.

2.1.

Introducci
on

El algebra es la rama de las matematicas que estudia las estructuras, las relaciones y las cantidades (en el caso del algebra
elemental). Su origen se romonta a los antiguos babilonios, que
haban desarrollado un avanzado sistema aritmetico con el que fueron capaces de hacer calculos en una forma algebraica. Utilizaron
este sistema para encontrar valores desonocidos.

2.2.

Teorema fundamental del

algebra

El teorema fundamental del algebra establece que todo polinomio en una variable de grado n = 1 con coeficientes reales o
complejos tiene por lo menos una raz (real o compleja). Para la
demostracion, consideremos p un polinomio de grado n, siendo p
una funcion entera. Para cada m positivo, existe un n
umero real y
positivo r tal que:

28

|p(z)| > m, si |z| > r

Si p no tiene races, entonces la funcion f =

1
p

es una funcion

entera con la propiedad de que para cualquier n

umero real  > 0,
r positivo tal que:

|f (z)| < , si |z| > r

Por lo tanto, la funcion f es acotada. Sin embargo, seg

un el
teorema de Liouville si f es una funcion entera y acotada, f ha de
ser una constante, lo cual es imposible. Por lo tanto, f no puede ser
entera y p tiene como mnimo una raz. En consecuencia, p puede
escribirse como el siguiente producto:

p(z) = (z z1 )q(z)

Siendo z1 una raz de p y q un polinomio de grado n 1. Si

repetimos estos pasos n 1 veces, llegamos a la conclusion que:

p(z) = k(z z1 )(z z2 ) (z zn )

29

Donde z1 , z2 , z3 ... zn son las races de p y k es una constante. De

esta manera queda demostrado el teorema fundamental del algebra.

2.3.

El binomio de Newton

A continuacion se demostrara por induccion el binomio de Newton, el cual establece que:

n  
X
n nk k
(a + b) =
a b
k
k=0
n

Vemos que para el caso n = 1 se cumple que:

(a + b) =

1  
X
1
k=0

a1k bk = a + b = (a + b)1

Supongamos ahora que es cierto para todo n = k:

(a + b) =

k  
X
k
i=0

aki bi

Si se cumple para todo k, tambien ha de cumplirse para k + 1:

30

k+1

(a + b)


k+1 
X
k + 1 k+1i i
=
a
b
i
i=0

Como (a + b)k+1 = (a + b) (a + b)k , y si aplicamos la hipotesis

inicial, obtenemos que:

(a + b)k+1 = (a + b) (a + b)k =
k  
k  
X
X
k ki i
k ki i
= (a + b)
a b =a
a b+
i
i
i=0
i=0
k  
X
k ki i
+b
a b =
i
i=0
k  
k  
X
k k+1i i X k ki i+1
=
a
b +
a b =
i
i
i=0
i=0
 
k  
k k+1 X k k+1i i
=
a
+
a
b+
0
i
i=1

k+1 
X
k
+
ak(i1) bi =
i

1
i=1
 
k  
k k+1 X k k+1i i
=
a
+
a
b+
0
i
i=1

 
k 
X
k
k k+1
k(i1) i
+
a
b +
b
=
i1
k
i=1




k  
k
k + 1 k+1 X k
=
a
+
+
ak+1i bi +
0
i
i

1
i=1



k 


k
+
1 k+1 X k + 1 k+1i i
k+1 k+1
+ k+1 b
=
a
+
a
b+
0
i
i=1

31


k+1 

k+1 X
k + 1 k+1i i
b
=
a
b
i
i=0

k+1
k+1

32

3.

An
alisis

3.1.

Introducci
on

El analisis empezo a desarrollarse a partir del surgimiento del

calculo en el siglo XVII. Sin embargo, algunos matematicos griegos
ya hicieron un uso informal de los conceptos de lmite y convergencia.

3.2.

Regla de Barrow

La regla de Barrow, tambien conocido como el segundo teorema fundamental del calculo, establece que dada una funcion f (x)
continua en el intervalo [a, b] y si F (x) es una funcion primitiva de
Rb
f (x), entonces a f (x)dx = F (b) F (a).

Para la demostracion, consideremos que:

f (t)dt

F (x) =
a

33

El primer teorema fundamental del calculo establece que:

F 0 (x) = f (x) = g 0 (x)x [a, b]

Por lo tanto,

c R : x [a, b], F (x) = g(x) + c

Observamos que

0 = F (a) = g(a) + c

Y, por lo tanto, c = g(a). Sustituyendo tenemos que:

F (x) = g(x) g(a)

Si x = b, tenemos que:

f (t)dt = F (b) = g(b) g(a)

a

34

Que es lo que se quera demostrar.

3.3.

Regla de lH
opital

La regla de LHopital establece que siendo f (x) y g(x) dos

funciones definidas en el intervalo [a, b], y f (c) = g(c) = 0, con
c (a, b) y g 0 (x) 6= 0 si x 6= c, y ademas f (x) y g(x) son derivables
en (a, b), entonces:

f (x)
f 0 (x)
= lm 0
x+c g(x)
x+c g (x)
lm

Para la demostracion, asumamos que tanto f (x) como g(x) son

derivables en c. Como f (c) = g(c) = 0,

f (x)
g(x)

se puede escribir de la

siguiente forma:

f (x) f (c)
f (x)
f (x) f (c)
xc
=
=
g(x) g(c)
g(x)
g(x) g(c)
xc

Como tanto f (x) como g(x) son derivables en c, utilizamos la

definicion de la derivada y tenemos que:
35

f (x) f (c)
f (x)
f 0 (x)
xc
lm
= lm
= lm 0
x+c g(x)
x+c g(x) g(c)
x+c g (x)
xc

3.4.

Teorema del valor medio

El teorema del valor medio establece que si f (x) es continua en

[a, b] y derivable en (a, b) entonces existe un c dentro del intervalo
abierto (a, b) tal que:

f 0 (c) =

f (b) f (a)
ba

Esto implica que la tangente de f (x) en c es paralela a la secante

que pasa por los puntos P (a, f (a)) y R(b, f (b)).

Para la demostracion, definamos la funcion g(x) como la recta

que pasa por el punto P y R:

g(x) = f (a) +

f (b) f (a)
(x a)
ba

36

Figura 2: Representaci
on gr
afica del Teorema de valor medio

Despues, definimos (x) de la siguiente manera:


f (b) f (a)
(x) = f (x) g(x) = f (x) f (a) +
(x a)
ba

Observamos que (a) = (b) = 0. Ademas, como f (x) es continua en [a, b] y derivable en (a, b), (x) tambien tiene que serlo. Por
lo tanto, (x) satisface las condiciones del teorema de Rolle, y por
lo tanto, ha de existir un c (a, b) tal que:

0 = 0 (c) = f 0 (c)

37

f (b) f (a)
ba

Y, por lo tanto:

f 0 (c) =

3.5.

f (b) f (a)
ba

Teorema del valor medio de Cauchy

El teorema del valor medio de Cauchy establece que, si f (x) y

g(x) son continuas en [a, b] y derivables en (a, b), entonces existe
alg
un c (a, b) tal que:

f (b) f (c)
f 0 (c)
=
0
g (c)
g(b) g(a)

Para la demostracion, definamos (x) de la siguiente forma:

(x) = [g(b) g(a)] [f (x) f (a)] [f (b) f (a)] [g(x) g(a)]

Se tiene que (a) = (b) = 0. Por lo tanto, seg

un el teorema de
Rolle, ha de existir un c (a, b) tal que 0 (c) = 0. Derivando (x)
se tiene que:

38

 0 (x) = [g(b) g(a)] f 0 (x) [f (b) f (a)] g 0 (x)

Como (c) = 0:

0 = [g(b) g(a)] f 0 (c) [f (b) f (a)] g 0 (c)

Y, despejando, obtenemos que:

f (b) f (c)
f 0 (c)
=
0
g (c)
g(b) g(a)

3.6.

C
alculo de la integral de Gauss

La integral de Gauss es la siguiente:

ex dx =

Para su calculo utilizaremos el calculo integral de dos variables.

Mediante el teorema de Fubini, la integral puede ser escrita como:

39

(x2 +y 2 )

dxdy =
e(x +y ) dxdy =
2
R
Z +
 Z +
 Z +
2
2
x
y 2
x2
e dx
e dy =
e dx
e

Por otro lado, aplicando un cambio de coordenadas a coordenadas polares:

Z
e

(x2 +y 2 )

dxdy =

R2

re
0

r2

Z
drd = 2

rer dr =

ex dx =

Por lo tanto, tenemos que

3.7.

F
ormula de Euler

La formula de Euler establece que eiz = cos z + i sin z.

Utilizando la serie de Taylor para las funciones ex , cos x y sin x

tenemos que:

ex =

x0 x1 x2 x3
+
+
+
+ ... (1)
0!
1!
2!
3!

40

cos x =

x0 x2 x4

+
...
0!
2!
4!

sin x =

x1 x3 x 5

+
...
1!
3!
5!

Tomando (1) y haciendo x = iz tenemos que:

(iz)0 (iz)1 (iz)2 (iz)3

+
+
+
+ ... =
0!
1!
2!
3!
z0 z1 z2 z3 z4 z5
+

+
+
... =
0!
1!
2!
3!
4!
5!

eiz =


 1

z0 z2 z4
z
z3 z5

+
... + i

+
... = cos z + i sin z
0!
2!
4!
1!
3!
5!

41

4.

Otros

4.1.

Los puentes de K
onigsberg

Figura 3: Los puentes de K

onigsberg (izquierda) y su simplificacion (derecha)

En el ro de la antigua ciudad de Konigsberg, actual Kaliningrado, haba dos islas, unidas a la ciudad mediante un total de 7
puentes. Los ciudadanos se divertan tratando de adivinar si era
posible cruzar los 7 puentes sin cruzar dos veces el mismo puente.
Fue Euler quien encontro la solucion al problema. Para ello, simplifico los puentes y las islas tal y como se puede ver en la figura
3. Euler demostro que no era posible cruzar todos los puentes sin
cruzar dos veces por el mismo, puesto que para que esto sea posible
debe haber a lo sumo 2 vertices de grado impar, esto es, debe haber
a lo sumo 2 vertices de la que salgan un n
umero impar de aristas.
Esto es debido a que para cada vertice tiene que haber una arista
42

que llega al vertice y otra que sale, excepto en el inicio y en el final,

que pueden tener un grado impar.

43

4.2.

Demostraci
on sin palabras de la f
ormula para calcular el
area de un crculo

44

4.3.

Demostraci
on sin palabras de que la cardinalidad de
la recta de los n
umeros reales es la misma que la de
un intervalo de la recta de los n
umeros reales

4.4.

Demostraci
on sin palabras de la suma de los primeros
n n
umeros naturales

45

5.

Problemas no resueltos de las matem

aticas

5.1.

Introducci
on

Actualmente existen muchos problemas que no han sido resueltos a

un. Algunos fueron propuestos hace unas pocas decadas, pero
otros llevan siglos sin resolverse. En esta seccion se hablara sobre
estos problemas.

5.2.

Hip
otesis de Riemann

La funcion zeta de Riemann se define de la siguiente manera:

(s) =

X
1
ns
n=1

Donde s C. La funcion zeta de Riemann esta estrechamente

relacionada con los n
umeros primos, tal y como lo mostro Leonhard
Euler:

46


X
Y
1
1
(s) =
=
s
n
1 ps
n=1
pP

Bernhard Riemann conjeturo en 1859 que la parte real de los

ceros no triviales de la funcion zeta de Riemann es 12 . Por lo tanto,
todos los ceros no triviales de la funcion zeta de Riemann tendran
que encontrarse en la lnea crtica s =

1
2

+ it, con t R.

Riemann menciono por primera vez la hipotesis que lleva su

nombre en su trabajo Ueber die Anzahl der Primzahlen unter einer gegebenen Grosse(Sobre los n
umeros primos menores que una
magnitud dada). La hipotesis de Riemann esta includa en la famosa lista de 23 problemas no resueltos de Hilbert. Tambien es uno de
los Siete Problemas del Milenio propuestos por el Clay Mathemtics
Institute en el a
no 2000.

5.3.

Conjetura de Goldbach

Seg
un la conjetura de Goldbach, todo n
umero par mayor que 2
puede escribirse como suma de dos n
umeros primos. En realidad,
sera mas acertado llamarlo la conjetura fuerte de Goldbach, puesto

47

que tambien existe la conjetura debil de Goldbach, seg

un el cual
todo n
umero impar mayor que 7 puede escribirse como suma de
tres n
umeros primos impares. Christian Goldbach, el autor de la
conjetura, menciono por primera vez la conjetura que hoy en da
lleva su nombre en una carta dirigida a Euler en 1742. Al igual que
la hipotesis de Riemann, la conjetura de Goldbach es uno de los 23
problemas de Hilbert.

5.4.

Conjetura de Collatz

Sea n un entero positivo. Si n es par, entonces dividamos n entre

2. Si, por otro lado, n es impar, multipliquemoslo por 3 y sumemosle
1. Esto es igual a la funcion f : N 7 N:

f (n) =

n,

si n es par

3n + 1, si n es impar

Lothar Collatz conjeturo en 1937 que si iteramos un n

umero
entero positivo n al final siempre alcanzaremos el 1 y, por lo tanto,
el ciclo 4, 2, 1. Todava no se ha demostrado este hecho, pero se sabe
que si existe un contraejemplo a la conjetura de Collatz, debera de
48

tener una orbita no acotada o una orbita periodica distinta a la

orbita 4, 2, 1.

La computacion distribuida ha ayudado a comprobar la conjetura de Collatz para n

umeros muy altos. En noviembre del a
no 2005,
se haba comprobado la conjetura para todo n
umero menor que
258 . Sin embargo, esto no puede considerarse como demostracion
de la conjetura, puesto que es imposible comprobar la conjetura de
Collatz para todo entero positivo.

5.5.

P contra NP

Un problema es de tipo P si existe un algoritmo que lo resuelva

en tiempo polinomial. Por otro lado, un problema es de tipo NP si
existe un algoritmo que verifique una solucion en tiempo polinomial.
El problema P contra NP, el cual es uno de los Siete Problemas del
Milenio, consiste en demostrar que P=NP, es decir, que si se puede
comprobar la solucion de un problema en tiempo polinomial, entonces tambien se puede resolver el problema en tiempo polinomial.

Aunque el problema sigue sin solucion, han habido muchos in-

49

tentos a lo largo de los a

nos. Uno de ellos fue protagonizado por
Vinay Deolalikar, investigador de la empresa HP en Palo Alto. Vinay Deolalikar aseguro que haba demostrado que P 6= N P . Sin
embargo, la demostracion resulto ser erronea.

5.6.

Conjetura de los n
umeros primos gemelos

Se dice que dos n

umeros primos p1 y p2 son gemelos si p2
p1 = 2. La conjetura de los n
umeros primos gemelos postula la
existencia de infinitos n
umeros primos gemelos. Esta conjetura se
puede generalizar, tal y como lo hizo Alphonse de Polignac en 1849.
As, Alphonse de Polignac postulo que para todo n
umero natural
k, existen infinitos pares de n
umeros primos cuya diferencia es 2k.

A lo largo de los a
nos se han realizado diversos acercamientos a
la solucion del problema. Uno de ellos fue protagonizado por Erdos,
quien demostro que existe una constante c < 1 tal que existen infinitos n
umeros primos p tal que p0 p < c ln(p), donde p0 es el
n
umero primo que sigue a p. En el a
no 2005 este resultado fue mejorado significativamente tras la demostracion por parte de Daniel
Goldston, Janos Pintz y Cem Yildirim de que el resultado es valido
50

para todo c > 0. Por otro lado, en 1973 Jing-run Chen probo que
existen infinitos n
umeros primos p tal que p + 2 es, a lo sumo,
producto de dos n
umeros primos.

Otra generalizacion de la conjetura de los n

umeros primos es la
conjetura de Hardy-Littlewood. Sea 2 (x) la cantidad de n
umeros
primos p menores que x tal que p + 2 tambien es primo. Sea C2 la
constante de los n
umeros primos, definida de la siguiente manera:

C2 =

Y p(p 2)
p3

0,66016...

(p 1)2

La conjetura postula que:

Z
2 (x) 2C2
2

5.7.

dt
(ln t)2

Existencia de n
umeros perfectos impares

Se dice que un n
umero natural k es un n
umero perfecto si la
suma de sus divisores (sin tener en cuenta el propio n
umero) es
igual a s mismo. El 6 es el menor n
umero perfecto, puesto que
51

sus divisores son el 1, 2 y el 3, y 1 + 2 + 3 = 6. Actualmente se

desconoce si existen n
umeros perfectos impares. Sin embargo, si
existieran tendran que cumplir algunas condiciones. Por un lado,
el n
umero perfecto impar debera ser mayor que 10300 , debera tener
8 factores primos o mas, excepto si no es divisible entre 3, en cuyo
caso tendra que tener como mnimo 11.

52

6.

Bibliografa
1. Journal of the Indian Mathematical Society. Consultado el 17 de junio de 2012.
URL: http://www.imsc.res.in/ rao/ramanujan/CamUnivCpapers/Cpaper24/page1.htm

2. Dos demostraciones de la irracionalidad de raz de 2.

Gaussianos. Consultado el 17 de junio de 2012.
URL: http://gaussianos.com/dos-demostraciones-de-la-irracionalidad-de-raiz-de-2/

3. El postulado de Bertrand. Gaussianos. Consultado el 17

de junio de 2012.
URL: http://gaussianos.com/el-postulado-de-bertrand/

4. Por qu
e el caso n=4 es tan importante?. Gaussianos.
Consultado el 17 de junio de 2012.
URL: http://gaussianos.com/por-que-el-caso-n4-es-tan-importante/

5. Mathematical Association of America. Consultado el 17

de junio de 2012.
URL: http://www.maa.org/pubs/Calc articles/ma018.pdf

6. Proofs without words. Math Overflow. Consultado el 17 de

junio de 2012.
URL: http://mathoverflow.net/questions/8846?sort=votespage=1

7. Cassinis Identity. Proof Wiki. Consultado el 17 de junio

de 2012.
URL: http://www.proofwiki.org/wiki/Cassinis Identity

53