You are on page 1of 41

La cncicojcdia dc a- dcmo-tracionc-

1
L-crito jor lmano lcrcz
2
1. Teora de n umeros
1.1. Introducci on
La tcora dc n umcro- c- a rama dc a- matcm atica- quc c-tudia
a- jrojicdadc- dc o- n umcro- y c- una dc a- jrimcra- rama- dc a
matcm atica cn -cr c-tudiada- Lucidc-, Icrmat y Lucr -on auno-
dc o- matcmatico- ma- imjortantc- cn c-ta rama Loy cn da -i-
uc haicndo jrocma- irrc-ucto- como a con,ctura dc Godach,
-c un c cua todo- o- n umcro- jarc- jucdcn cxjrc-ar-c como -uma
dc do- n umcro- jrimo-
1.2. Innitud de los n umeros primos
La innitud dc o- n umcro- jrimo- tuc dcmo-trada jor jrimcra
vcz jor Lucidc- utiizando c reductio ad absurdum, mctodo quc c
mi-mo invcnt o
Sujonamo- quc o- n umcro- jrimo- -on nito- Sca A c con,unto
dc todo- o- n umcro- jrimo- A p
1
, p
2
, p
3
, ..., p
n
Sca S c jroducto
dc todo- o- n umcro- jrimo- m a- uno
3
S p
1
p
2
... p
n
+ 1
S jucdc -cr comjuc-to o jrimo Si c- comjuc-to, dcc dc hacr
un p
i
A ta quc p
i
dividc a S Sin cmaro
p
1
p
2
... p
n
+ 1
p
i

p
1
... p
i1
p
i
... p
n
+ 1
p
i

p
1
... p
i1
p
i+1
... p
n
+
1
p
i
L cua no c- un n umcro cntcro lor o tanto, S ha dc -cr jrimo
Como c-to c- una contradicci on dc -ujuc-to oriina, c con,unto dc
o- n umcro- jrimo- no jucdc -cr nito
1.3. Irracionalidad de

2
lara c-ta dcmo-traci on -c utiizar a c descenso innito, aunquc
cxi-tcn numcro-a- dcmo-tracionc- utiizando otro- mctodo-
Sujonamo- quc

2 c- raciona lor o tanto, -c jucdc c-criir dc


a -iuicntc mancra

2
p
q
4
Londc p y q -on cntcro- jo-itivo- Ahora -c dcmo-trara quc

2 c-
iua a otra tracci on cuyo dcnominador tamicn c- jo-itivo y mcnor
quc q L-to imjicara quc -c jodra cncontrar una -ucc-i on dc n umc-
ro- cntcro- jo-itivo- dccrccicntc innitamcntc, o cua no c- jo-ic
Ojcrando cn a cxjrc-i on antcrior otcncmo- quc
2
p
2
q
2
`utijicando amo- ado- jor q
2
otcncmo-
2q
2
p
2
tiizando c-ta iuadad, tcncmo- quc
p
2
pq 2q
2
pq p(p q) q(2q p)
p
q

2q p
q p
Como
p
q

2
2q p
q p
Ahora -c vcr a quc 0 < p q < q Como
_
p
q
_
2
2
5
1 <
_
p
q
_
2
< ! 1 <
p
q
< 2 q < p < 2q 0 < p q < q
lor tanto, hcmo- cncontrado otro n umcro cntcro jo-itivo mcnor
quc q ta quc c-tc n umcro c- c dcnominador dc una traccion cquiva-
cntc a

2 Si rcjctimo- o antcrior con c-ta nucva tracci on cncon-


traramo- otro cntcro jo-itivo dc c-ta- caractcr-tica-, crcando una
-ucc-i on dc n umcro- cntcro- jo-itivo- dccrccicntc innitamcntc Co-
mo c-to c- imjo-ic, a -ujo-ici on inicia dc quc

2 c- raciona ha
dc -cr ta-a y, jor o tanto,

2 ha dc -cr irracina
1.4. Postulado de Bertrand
L jo-tuado dc Lcrtrand c-taccc quc jara todo n > 1 cxi-tc a
mcno- un jrimo p ta quc n < p < 2n
Figura 1: Joseph Bertrand. Pars, 11 de marzo de 1822 - 5 de abril de 1900
6
Sca x un cntcro jo-itivo mayor quc 1 Lcnimo- (x) como
(x)

px, p primo
o(p)
Con-idcrcmo- ahora o -iuicntc
(x) (x) + (x
1
2
) + (x
1
3
) + (x
1
4
) + ... (1)
o|x|' (x) + (
1
2
x) + (
1
3
x) + ... (2)
Sicndo |x| a jartc cntcra dc x Lc (1) -c ticnc quc
(x) 2(

x) (x) (x
1
2
) + (x
1
3
) ... (3)
Y dc (2) otcncmo-
o|x|' 2 o|
1
2
x|' (x) (x
1
2
) + (x
1
3
) ... (!)
luc-to quc tanto (x) como (x) -on tuncionc- crccicntc-, otc-
ncmo- a jartir dc (3) y (!) a- -iuicntc- dc-iuadadc-
(x) 2(

x) (x) (x) (`)


7
(x) (
1
2
x) o|x|' 2 o|
1
2
x|' (x) (
1
2
x) + (
1
3
x) (o)
lor otro ado, jucdc dcmo-trar-c quc
o((x)) 2 o(
1
2
x +
1
2
) o|x|' 2 o|
1
2
x|'
o((x + 1)) 2 o(
1
2
x +
1
2
) ()
Ahora, ayudandono- dc a ajroximacion dc Stirin, -c un c cua
n' n
n
e
n

2n, otcncmo- dc () quc


o|x|' 2 o|
1
2
x|' <
3
4
x, -i x > 0 (S)
o|x|' 2 o|
1
2
x|' >
2
3
x, -i x > 300 (9)
nicndo ahora a intormaci on jrojorcionada jor (o), (S) y (9) -c
vc quc
(x) (
1
2
x) <
3
4
x, -i x > 0 (10)
(x) (
1
2
x) + (
1
3
x) >
2
3
x, -i x > 300 (11)
Si -c toma a cxjrc-ion (10) y -i -c -u-tituyc x jor
1
2
x,
1
4
x,
1
8
x, . . .
y -c -uman o- rc-utado-, -c oticnc quc
8
(x) <
3
2
x, -i x > 0 (12)
nicndo cn c-tc junto a intormaci on jrojorcionada jor (`) y (12)
-c ca a quc
(x) (
1
2
x) + (
1
3
x)
(x) + 2(

x) (
1
2
x) + (
1
3
x) <
< (x) (
1
2
x) +
1
2
x + 3

x
(13)
lor otra jartc, c- cvidcntc quc
1
6
x 3

x 0, -i x 32!
lor o tanto -c ticnc quc
(2x) (x) > 0, -i x 1o2
L-to dcmo-tra c jo-tuado dc Lcrtrand jara x > 1o2, ya quc
como (x) cra a -uma dc o- oaritmo- dc todo- o- n umcro- jrimo-
mcnorc- quc x, y como (2x) > (x), -c ticnc quc cntrc x y 2x
ticnc quc hacr a un jrimo jara quc (2x) -ca mayor quc (x)
Si a continuacion -c comjruca c jo-tuado dc Lcrtrand jara todo
x < 1o2, -c dcmo-trar a c jo-tuado dc Lcrtrand
9
1.5. Irracionalidad de e
A-umamo- quc e c- raciona lor o tanto, -c jucdc c-criir dc a
torma
e
a
b
Lcnimo- ahora x como
x b'
_
e
b

n=0
1
n'
_
(1)
Como e
a
b

x b'
_
a
b

b

n=0
1
n'
_
a(b 1)'
b

n=0
b'
n'
L jrimcr tcrmino c- cntcro, y cada traccion cn a -uma c- un cntcro
ya quc n b jara cada tcrmino lor o tanto, x c- un cntcro Ahora
-c dcmo-trara quc 0 < x < 1, o cua -ujondra una contradiccion
con o dicho antcriormcntc, o quc -ujondra quc e no c- raciona
10
L n umcro e c-t a dcnido como e

n=0
1
n'
ln-crtando c-to cn (1)
y ojcrando tcncmo- quc
x

n=b+1
b'
n'
lara cada tcrmino dc a -umatoria tcncmo- quc
b'
n'

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

1
(b + 1)
nb
Camiando c ndicc dc a -umatoria a k n b y utiizando a
t ormua jara a -cric comctrica innita, -c ticnc quc
x

n=b+1
b'
n'
<

k=1
1
(b + 1)
k

1
b + 1
_
1
1
1
b+1
_

1
b
l1
Como no hay nin un n umcro natura cntrc c 0 y c 1, hcmo-
cado a una contradicci on, y jor o tanto e ha dc -cr irraciona
11
1.6. El caso n = 4 del ultimo teorema de Fermat
L utimo tcorcma dc Icrmat, tormuado jor licrrc dc Icrmat cn
1o3, c-taccc quc -i n c- un n umcro natura mayor quc 2 cntoncc-
no cxi-tcn n umcro- cntcro- no nuo- a, b y c tac- quc a
n
+ b
n

c
n
Suj ona-c quc cxi-tcn trc- n umcro- x, y y z tac- quc x
4
+
y
4
z
4
L-to -c jucdc rcc-criir como (x
2
)
2
+ (y
2
)
2
(z
2
)
2
lor o
tanto, (x
2
, y
2
, z
2
) ha dc -cr una tcrna jitaorica Como toda tcrna
jita orica ha dc tcncr a torma (2pq, p
2
q
2
, p
2
+q
2
) jodcmo- iuaar
(x, y, z) y (2pq, p
2
q
2
, p
2
+ q
2
) micmro jor micmro
x
2
2pq
y
2
p
2
q
2
z
2
p
2
+ q
2
Londc 0 < q < p y p y q ticncn di-tinta jaridad Lc a -cunda
ccuaci on otcncmo- quc y
2
+q
2
p
2
y, jor o tanto, y, q y p torman
otra tcrna jita orica lor o tanto
q 2ab
y a
2
b
2
p a
2
+ b
2
Londc 0 < b < a y a y b ticncn di-tinta jaridad Su-tituycndo
otcncmo- quc
12
x
2
2pq !ab(a
2
+ b
2
)
lor o quc ab(a
2
+ b
2
) ha dc -cr c cuadrado dc
x
2
Como ab y
(a
2
+ b
2
) -on jrimo- rcativo-, tanto ab como (a
2
+ b
2
) han dc -cr
cuadrado- Sujonamo- quc a X
2
y b Y
2
L-to c- -ucicntc
jara ajicar c dc-ccn-o innito, ya quc -ujo-icion quc -c hizo a
jrincijio c- quc z
4
cra un cuadrado, no una cuarta jotcncia Licho
dc otro modo, -i x c y -on cntcro- jo-itivo- tac- quc x
4
+ y
4
c- un
cuadrado a dcmo-tracion antcrior no- jcrmitc cncontrar otro- do-
cntcro- jo-itivo-, X c Y , tac- quc X
4
+Y
4
c- un cuadrado Adcma-
X
4
+ Y
4
a
2
+ b
2
p < p
2
+ q
2
z
2
< z
4
x
4
+ y
4
lor o quc -c ticnc una -ucc-ion innita dccrccicntc dc n umcro-
cntcro- jo-itivo- Como c-to no c- jo-ic, qucda jroado c utimo
tcorcma dc Icrmat jara c ca-o n !
1.7. Divergencia de la serie arm onica
La -cric arm onica c- a -iuicntc

n=1
1
n
13
lara dcmo-trar -u convcrcncia, ordcnarcmo- a -cric y o comja-
ramo- con a -iuicntc -cric

n=1
1
n
1 +
_
1
2
_
+
_
1
3
+
1
!
_
+
_
1
`
+
1
o
+
1

+
1
S
_
+ ... >
> 1+
_
1
2
_
+
_
1
!
+
1
!
_
+
_
1
S
+
1
S
+
1
S
+
1
S
_
+... 1+
1
2
+
1
2
+
1
2
+...
Como c-ta utima -cric divcrc, cntoncc- qucda dcmo-trado quc
a -cric arm onica tamicn o hacc
1.8. Divergencia de la suma de los inversos de los n umeros primos
lara dcmo-trar a divcrcncia dc a -uma dc o- invcr-o- dc o-
n umcro- jrimo-, con-idcrcmo- jrimcro a -cric armonica y a tormua
dc jroducto dc Lucr

n=1
1
n

p
1
1 p
1
Tomando oaritmo- cn amo- ado- y utiizando a -cric dc Tayor
dc o(1 x) tcncmo- quc
14
o
_

n=1
1
n
_
o
_

p
1
1 p
1
_

p
o
_
1
1 p
1
_

p
o(1 p
1
)

p
_
1
p
+
1
2p
2
+
1
3p
3
+ ...
_

_

p
1
p
_
+

p
1
p
2
_
1
2
+
1
3p
+
1
!p
2
+ ...
_
<
_

p
1
p
_
+

p
1
p
2
_
1 +
1
p
+
1
p
2
+ ...
_

_

p
1
p
_
+
_

p
1
p(p 1)
_

_

p
1
p
_
+ C
Sicndo C una con-tantc mcnor quc 1 luc-to quc a -uma dc o-
rccjroco- dc o- jrimcro- n n umcro- cntcro- jo-itivo- c- a-int otica
a o(n) ( c- dccir, -u ratio -c accrca a 1 cuando n -c accrca a innito
) -c ticnc

n=1
1
n
o(n) -i n
Su-tituycndoo cn a cxjrc-ion dc arria y dc-jrcciando a con--
tantc C cuando n ticndc a innito, concuimo- quc
1
2
+
1
3
+
1
`
+
1

+ ... o o()
15
1.9. Problema de Basilea
L jrocma dc La-ica con-i-tc cn cncontrar a -uma dc o- invcr-
-o- dc o- cuadrado- dc o- n umcro- naturac-, c- dccir, cncontrar c
vaor dc

n=1
1
n
2
Lucr dcmo-tro quc c vaor dc a -uma cra

2
6
lara dcmo-traro,
con-idcrcmo- c dc-arroo dc -in(x) utiizando a -cric dc Tayor
-in(x) x
x
3
3'
+
x
5
`'
...
Lividimo- amo- ado- cntrc x y tcncmo- quc
-in(x)
x
1
x
2
3'
+
x
4
`'
...
La- racc- dc
-in(x)
x
-on nx, dondc n c- un n umcro cntcro A-u-
mamo- quc jodcmo- cxjrc-ar c-ta -cric innita como jroducto dc
tactorc- incac- dado- jor a- racc-, dc a mi-ma torma quc haccmo-
con o- joinomio- nito-
16
-in(x)
x

_
1
x

__
1 +
x

__
1
x
2
__
1 +
x
2
_
...
_
1
x
2

2
__
1
x
2
!
2
_
...
Si cacuamo- a mutijicaci on vcrcmo- quc c coccicntc dc x
2
c-

_
1

2
+
1
!
2
+
1
9
2
+ ...
_

1

n=1
1
n
2
Lc dc-arroo dc a -cric dc Tayor tcncmo- quc c coccicntc dc
x
2
ha dc -cr
1
3!

1
6
Como o- do- coccicntc- han dc -cr iuac-,
tcncmo- quc

1
o

1

n=1
1
n
2
Y, jor o tanto

2
o

n=1
1
n
2
17
1.10. Identidad de Cassini
La idcntidad dc Ca--ini c-taccc quc, -i F
k
c- c k-c-imo n umcro
dc Iionacci, cntoncc- F
n+1
F
n1
F
2
n
(1)
n
Sc dcmo-trara jor
inducci on lara n 1, -c vc quc -c cumjc quc F
2
F
0
F
2
1
(1)
1

Sujonamo- quc a idcntidad c- cicrta jara n k F


k+1
F
k1
F
2
k

(1)
k
Lntoncc-, ha dc -cr cicrta jara n k + 1
I
k+2
F
k
F
2
k+1
(F
k
+ F
k+1
) F
k
F
2
k+1
(1)
F
2
k
+ F
k
F
k+1
F
2
k+1
(2)
F
2
k
+ F
k
F
k+1
F
k+1
(F
k
+ F
k1
) (3)
F
2
k
+ F
k
F
k+1
F
k
F
k+1
F
k+1
F
k1
(!)
F
2
k
F
k+1
F
k1
(`)
(1)
_
F
k+1
F
k1
F
2
k
_
(o)
(1) (1)
k
()
(1)
k+1
(S)
(9)
18
2.

Algebra
2.1. Introducci on
L acra c- a rama dc a- matcm atica- quc c-tudia a- c-tructu-
ra-, a- rcacionc- y a- cantidadc- (cn c ca-o dc acra ccmcnta)
Su oricn -c romonta a o- antiuo- aionio-, quc haan dc-arro-
ado un avanzado -i-tcma aritmctico con c quc tucron cajacc- dc
haccr cacuo- cn una torma acraica tiizaron c-tc -i-tcma jara
cncontrar vaorc- dc-onocido-
2.2. Teorema fundamental del algebra
L tcorcma tundamcnta dc acra c-taccc quc todo joinomio
cn una variac dc rado n1 con coccicntc- rcac- o comjc,o- ticnc
jor o mcno- una raz (rca o comjc,a) lara a dcmo-tracion, con-
-idcrcmo- p un joinomio dc rado n, -icndo p una tunci on cntcra
lara cada m jo-itivo, cxi-tc un n umcro rca y jo-itivo r ta quc
|p(z)| > m, -i |z| > r
Si p no ticnc racc-, cntoncc- a tuncion f
1
p
c- una tuncion
cntcra con a jrojicdad dc quc jara cuaquicr n umcro rca > 0, r
19
jo-itivo ta quc
|f(z)| < , -i |z| > r
lor o tanto, a tuncion f c- acotada Sin cmaro, -c un c tcorc-
ma dc Liouvic -i f c- una tuncion cntcra y acotada, f ha dc -cr una
con-tantc, o cua c- imjo-ic lor o tanto, f no jucdc -cr cntcra
y p ticnc como mnimo una raz Ln con-ccucncia, p jucdc c-criir-c
como c -iuicntc jroducto
p(z) (z z
1
)q(z)
Sicndo z
1
una raz dc p y q un joinomio dc rado n 1 Si
rcjctimo- c-to- ja-o- n 1 vccc-, camo- a a concu-ion quc
p(z) k(z z
1
)(z z
2
) (z z
n
)
Londc z
1
, z
2
, z
3
z
n
-on a- racc- dc p y k c- una con-tantc Lc
c-ta mancra qucda dcmo-trado c tcorcma tundamcnta dc acra
2.3. El binomio de Newton
A continuaci on -c dcmo-trara jor inducci on c inomio dc `cwton,
c cua c-taccc quc
20
(a + b)
n

k=0
_
n
k
_
a
nk
b
k
\cmo- quc jara c ca-o n 1 -c cumjc quc
(a + b)
1

k=0
_
1
k
_
a
1k
b
k
a + b (a + b)
1
Sujonamo- ahora quc c- cicrto jara todo n k
(a + b)
k

i=0
_
k
i
_
a
ki
b
i
Si -c cumjc jara todo k, tamicn ha dc cumjir-c jara k + 1
(a + b)
k+1

k+1

i=0
_
k + 1
i
_
a
k+1i
b
i
Como (a + b)
k+1
(a + b) (a + b)
k
, y -i ajicamo- a hijotc-i-
inicia, otcncmo- quc
21
(a + b)
k+1
(a + b) (a + b)
k

(a + b)
k

i=0
_
k
i
_
a
ki
b
i
a
k

i=0
_
k
i
_
a
ki
b
i
+
+b
k

i=0
_
k
i
_
a
ki
b
i

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

i=0
_
k
i
_
a
ki
b
i+1

_
k
0
_
a
k+1
+
k

i=1
_
k
i
_
a
k+1i
b
i
+
+
k+1

i=1
_
k
i 1
_
a
k(i1)
b
i

_
k
0
_
a
k+1
+
k

i=1
_
k
i
_
a
k+1i
b
i
+
+
k

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

_
k + 1
0
_
a
k+1
+
k

i=1
__
k
i
_
+
_
k
i 1
__
a
k+1i
b
i
+
+
_
k+1
k+1
_
b
k+1

_
k + 1
0
_
a
k+1
+
k

i=1
_
k + 1
i
_
a
k+1i
b
i
+
+
_
k+1
k+1
_
b
k+1

k+1

i=0
_
k + 1
i
_
a
k+1i
b
i
22
3. Analisis
3.1. Introducci on
L an ai-i- cmjcz o a dc-arroar-c a jartir dc -urimicnto dc
c acuo cn c -io X\ll Sin cmaro, auno- matcm atico- rico-
ya hicicron un u-o intorma dc o- conccjto- dc mitc y convcrcncia
3.2. Regla de Barrow
La rca dc Larrow, tamicn conocido como c -cundo tcorcma
tundamcnta dc cacuo, c-taccc quc dada una tunci on f(x) conti-
nua cn c intcrvao |a, b| y -i F(x) c- una tunci on jrimitiva dc f(x),
cntoncc-
_
b
a
f(x)dx F(b) F(a).
lara a dcmo-traci on, con-idcrcmo- quc
F(x)
_
x
a
f(t)dt
L jrimcr tcorcma tundamcnta dc cacuo c-taccc quc
F

(x) f(x) g

(x)x |a, b|
23
lor o tanto,
c R x |a, b|, F(x) g(x) + c
O-crvamo- quc
0 F(a) g(a) + c
Y, jor o tanto, c g(a) Su-tituycndo tcncmo- quc
F(x) g(x) g(a)
Si x b, tcncmo- quc
_
b
a
f(t)dt F(b) g(b) g(a)
Quc c- o quc -c qucra dcmo-trar
3.3. Regla de lHopital
La rca dc LL ojita c-taccc quc -icndo f(x) y g(x) do- tuncio-
nc- dcnida- cn c intcrvao |a, b|, y f(c) g(c) 0, con c (a, b)
24
y g

(x) 0 -i x c, y adcma- f(x) y g(x) -on dcrivac- cn (a, b),


cntoncc-
m
x+c
f(x)
g(x)
m
x+c
f

(x)
g

(x)
lara a dcmo-traci on, a-umamo- quc tanto f(x) como g(x) -on
dcrivac- cn c Como f(c) g(c) 0,
f(x)
g(x)
-c jucdc c-criir dc a
-iuicntc torma
f(x)
g(x)

f(x) f(c)
g(x) g(c)

f(x) f(c)
x c
g(x) g(c)
x c
Como tanto f(x) como g(x) -on dcrivac- cn c, utiizamo- a
dcnici on dc a dcrivada y tcncmo- quc
m
x+c
f(x)
g(x)
m
x+c
f(x) f(c)
x c
g(x) g(c)
x c
m
x+c
f

(x)
g

(x)
25
3.4. Teorema del valor medio
L tcorcma dc vaor mcdio c-taccc quc -i f(x) c- continua cn
|a, b| y dcrivac cn (a, b) cntoncc- cxi-tc un c dcntro dc intcrvao
aicrto (a, b) ta quc
f

(c)
f(b) f(a)
b a
L-to imjica quc a tancntc dc f(x) cn c c- jaraca a a -ccantc
quc ja-a jor o- junto- P(a, f(a)) y R(b, f(b))
lara a dcmo-traci on, dcnamo- a tunci on g(x) como a rccta quc
ja-a jor c junto P y R
g(x) f(a) +
f(b) f(a)
b a
(x a)
Lc-juc-, dcnimo- (x) dc a -iuicntc mancra
(x) f(x) g(x) f(x)
_
f(a) +
f(b) f(a)
b a
(x a)
_
26
Figura 2: Representacion gr aca del Teorema de valor medio
O-crvamo- quc (a) (b) 0 Adcm a-, como f(x) c- continua
cn |a, b| y dcrivac cn (a, b), (x) tamicn ticnc quc -cro lor o
tanto, (x) -ati-tacc a- condicionc- dc tcorcma dc loc, y jor o
tanto, ha dc cxi-tir un c (a, b) ta quc
0

(c) f

(c)
f(b) f(a)
b a
Y, jor o tanto
f

(c)
f(b) f(a)
b a
27
3.5. Teorema del valor medio de Cauchy
L tcorcma dc vaor mcdio dc Cauchy c-taccc quc, -i f(x) y g(x)
-on continua- cn |a, b| y dcrivac- cn (a, b), cntoncc- cxi-tc a un
c (a, b) ta quc
f

(c)
g

(c)

f(b) f(c)
g(b) g(a)
lara a dcmo-traci on, dcnamo- (x) dc a -iuicntc torma
(x) |g(b) g(a)| |f(x) f(a)| |f(b) f(a)| |g(x) g(a)|
Sc ticnc quc (a) (b) 0 lor o tanto, -c un c tcorcma dc
loc, ha dc cxi-tir un c (a, b) ta quc

(c) 0 Lcrivando (x)


-c ticnc quc

(x) |g(b) g(a)| f

(x) |f(b) f(a)| g

(x)
Como (c) 0
0 |g(b) g(a)| f

(c) |f(b) f(a)| g

(c)
Y, dc-jc,ando, otcncmo- quc
28
f

(c)
g

(c)

f(b) f(c)
g(b) g(a)
3.6. Calculo de la integral de Gauss
La intcra dc Gau-- c- a -iuicntc
_
+

e
x
2
dx

lara -u c acuo utiizarcmo- c c acuo intcra dc do- variac-


`cdiantc c tcorcma dc Iuini, a intcra jucdc -cr c-crita como
_
R
2
e
(x
2
+y
2
)
dxdy
_
+

_
+

e
(x
2
+y
2
)
dxdy
__
+

e
x
2
dx
_

__
+

e
y
2
dy
_

__
+

e
x
2
dx
_
2
lor otro ado, ajicando un camio dc coordcnada- a coordcnada-
joarc-
_
R
2
e
(x
2
+y
2
)
dxdy
_
2
0
_
+
0
re
r
2
drd 2
_
+
0
re
r
2
dr
29
lor o tanto, tcncmo- quc
_
+

e
x
2
dx

3.7. F ormula de Euler


La t ormua dc Lucr c-taccc quc e
iz
co- z + i -in z
tiizando a -cric dc Tayor jara a- tuncionc- e
x
, co- x y -in x
tcncmo- quc
e
x

x
0
0'
+
x
1
1'
+
x
2
2'
+
x
3
3'
+ ... (1)
co- x
x
0
0'

x
2
2'
+
x
4
!'
...
-in x
x
1
1'

x
3
3'
+
x
5
`'
...
Tomando (1) y hacicndo x iz tcncmo- quc
e
iz

(iz)
0
0'
+
(iz)
1
1'
+
(iz)
2
2'
+
(iz)
3
3'
+ ...
z
0
0'
+
z
1
1'

z
2
2'

z
3
3'
+
z
4
!'
+
z
5
`'
...
30
_
z
0
0'

z
2
2'
+
z
4
!'
...
_
+ i
_
z
1
1'

z
3
3'
+
z
5
`'
...
_
co- z + i -in z
31
4. Otros
4.1. Los puentes de K onigsberg
Figura 3: Los puentes de Konigsberg (izquierda) y su simplicaci on (derecha)
Ln c ro dc a antiua ciudad dc Ioni-cr, actua Iaininrado,
haa do- i-a-, unida- a a ciudad mcdiantc un tota dc jucntc-
Lo- ciudadano- -c divcrtan tratando dc adivinar -i cra jo-ic cruzar
o- jucntc- -in cruzar do- vccc- c mi-mo jucntc Iuc Lucr quicn
cncontr o a -oucion a jrocma lara co, -imjic o o- jucntc- y
a- i-a- ta y como -c jucdc vcr cn a ura 3 Lucr dcmo-tro quc
no cra jo-ic cruzar todo- o- jucntc- -in cruzar do- vccc- jor c
mi-mo, juc-to quc jara quc c-to -ca jo-ic dcc hacr a o -umo
2 vcrticc- dc rado imjar, c-to c-, dcc hacr a o -umo 2 vcrticc-
dc a quc -aan un n umcro imjar dc ari-ta- L-to c- dcido a quc
jara cada vcrticc ticnc quc hacr una ari-ta quc ca a vcrticc y
otra quc -ac, cxccjto cn c inicio y cn c na, quc jucdcn tcncr un
rado imjar
32
4.2. Demostraci on sin palabras de la f ormula para calcular el area
de un crculo
33
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 ume-
ros naturales
34
5. Problemas no resueltos de las matematicas
5.1. Introducci on
Actuamcntc cxi-tcn mucho- jrocma- quc no han -ido rc-ucto-
a un Auno- tucron jrojuc-to- hacc una- joca- dccada-, jcro otro-
cvan -io- -in rc-ovcr-c Ln c-ta -cccion -c haar a -orc c-to-
jrocma-
5.2. Hipotesis de Riemann
La tunci on zcta dc licmann -c dcnc dc a -iuicntc mancra
(s)

n=1
1
n
s
Londc s C La tunci on zcta dc licmann c-ta c-trcchamcntc
rcacionada con o- n umcro- jrimo-, ta y como o mo-tro Lconhard
Lucr
(s)

n=1
1
n
s

pP
1
1 p
s
35
Lcrnhard licmann con,ctur o cn 1S`9 quc a jartc rca dc o- ccro-
no triviac- dc a tunci on zcta dc licmann c-
1
2
lor o tanto, todo-
o- ccro- no triviac- dc a tunci on zcta dc licmann tcndran quc
cncontrar-c cn a nca crtica s
1
2
+ it, con t R
licmann mcncion o jor jrimcra vcz a hijotc-i- quc cva -u nom-
rc cn -u traa,o ccr dic Anzah dcr lrimzahcn untcr cincr
cccncn Gr o--c(Sorc o- n umcro- jrimo- mcnorc- quc una ma-
nitud dada) La hijotc-i- dc licmann c-t a incuda cn a tamo-a i-ta
dc 23 jrocma- no rc-ucto- dc Licrt Tamicn c- uno dc o- Sictc
lrocma- dc `icnio jrojuc-to- jor c Cay `athcmtic- ln-titutc
cn c a no 2000
5.3. Conjetura de Goldbach
Sc un a con,ctura dc Godach, todo n umcro jar mayor quc 2
jucdc c-criir-c como -uma dc do- n umcro- jrimo- Ln rcaidad,
-cra m a- accrtado amaro a con,ctura tucrtc dc Godach, juc-to
quc tamicn cxi-tc a con,ctura dci dc Godach, -c un c cua
todo n umcro imjar mayor quc jucdc c-criir-c como -uma dc
trc- n umcro- jrimo- imjarc- Chri-tian Godach, c autor dc a
con,ctura, mcnciono jor jrimcra vcz a con,ctura quc hoy cn da
cva -u nomrc cn una carta diriida a Lucr cn 1!2 A iua quc
a hij otc-i- dc licmann, a con,ctura dc Godach c- uno dc o- 23
jrocma- dc Licrt
36
5.4. Conjetura de Collatz
Sca n un cntcro jo-itivo Si n c- jar, cntoncc- dividamo- n cntrc
2 Si, jor otro ado, n c- imjar, mutijiqucmo-o jor 3 y -umcmo-c
1 L-to c- iua a a tuncion f N N
f(n)
_
n
2
, -i n c- jar
3n + 1, -i n c- imjar
Lothar Coatz con,cturo cn 193 quc -i itcramo- un n umcro cntcro
jo-itivo n a na -icmjrc acanzarcmo- c 1 y, jor o tanto, c cico
!, 2, 1 Todava no -c ha dcmo-trado c-tc hccho, jcro -c -ac quc
-i cxi-tc un contrac,cmjo a a con,ctura dc Coatz, dccra dc tcncr
una orita no acotada o una orita jcri odica di-tinta a a orita !,
2, 1
La comjutaci on di-triuida ha ayudado a comjroar a con,ctura
dc Coatz jara n umcro- muy ato- Ln novicmrc dc a no 200`, -c
haa comjroado a con,ctura jara todo n umcro mcnor quc 2
58

Sin cmaro, c-to no jucdc con-idcrar-c como dcmo-traci on dc a


con,ctura, juc-to quc c- imjo-ic comjroar a con,ctura dc Coatz
jara todo cntcro jo-itivo
37
5.5. P contra NP
n jrocma c- dc tijo l -i cxi-tc un aoritmo quc o rc-ucva
cn ticmjo joinomia lor otro ado, un jrocma c- dc tijo `l -i
cxi-tc un aoritmo quc vcriquc una -ouci on cn ticmjo joinomia
L jrocma l contra `l, c cua c- uno dc o- Sictc lrocma- dc
`icnio, con-i-tc cn dcmo-trar quc l`l, c- dccir, quc -i -c jucdc
comjroar a -ouci on dc un jrocma cn ticmjo joinomia, cntoncc-
tamicn -c jucdc rc-ovcr c jrocma cn ticmjo joinomia
Aunquc c jrocma -iuc -in -ouci on, han haido mucho- intcn-
to- a o aro dc o- a no- no dc co- tuc jrotaonizado jor \inay
Lcoaikar, invc-tiador dc a cmjrc-a Ll cn lao Ato \inay Lco-
aikar a-cur o quc haa dcmo-trado quc P NP Sin cmaro, a
dcmo-traci on rc-uto -cr crronca
5.6. Conjetura de los n umeros primos gemelos
Sc dicc quc do- n umcro- jrimo- p
1
y p
2
-on cmco- -i p
2
p
1
2
La con,ctura dc o- n umcro- jrimo- cmco- jo-tua a cxi-tcncia dc
innito- n umcro- jrimo- cmco- L-ta con,ctura -c jucdc cncrai-
zar, ta y como o hizo Ajhon-c dc loinac cn 1S!9 A-, Ajhon-c
dc loinac jo-tu o quc jara todo n umcro natura k, cxi-tcn innito-
jarc- dc n umcro- jrimo- cuya ditcrcncia c- 2k
38
A o aro dc o- a no- -c han rcaizado divcr-o- accrcamicnto- a
a -oucion dc jrocma no dc co- tuc jrotaonizado jor Lrdo-,
quicn dcmo-tr o quc cxi-tc una con-tantc c < 1 ta quc cxi-tcn inni-
to- n umcro- jrimo- p ta quc p
0
p < c n(p), dondc p
0
c- c n umcro
jrimo quc -iuc a p Ln c a no 200` c-tc rc-utado tuc mc,orado -i-
nicativamcntc tra- a dcmo-tracion jor jartc dc Lanic God-ton,
! ano- lintz y Ccm Yidirim dc quc c rc-utado c- v aido jara todo
c > 0 lor otro ado, cn 193 !in-run Chcn jroo quc cxi-tcn in-
nito- n umcro- jrimo- p ta quc p + 2 c-, a o -umo, jroducto dc do-
n umcro- jrimo-
Otra cncraizacion dc a con,ctura dc o- n umcro- jrimo- c- a
con,ctura dc Lardy-Littcwood Sca
2
(x) a cantidad dc n umcro-
jrimo- p mcnorc- quc x ta quc p + 2 tamicn c- jrimo Sca C
2
a
con-tantc dc o- n umcro- jrimo-, dcnida dc a -iuicntc mancra
C
2

p3
p(p 2)
(p 1)
2
0,oo01o...
La con,ctura jo-tua quc

2
(x) 2C
2
_
x
2
dt
(n t)
2
39
5.7. Existencia de n umeros perfectos impares
Sc dicc quc un n umcro natura k c- un n umcro jcrtccto -i a -uma
dc -u- divi-orc- (-in tcncr cn cucnta c jrojio n umcro) c- iua a
- mi-mo L o c- c mcnor n umcro jcrtccto, juc-to quc -u- divi-orc-
-on c 1, 2 y c 3, y 1+2+3 o Actuamcntc -c dc-conocc -i cxi-tcn
n umcro- jcrtccto- imjarc- Sin cmaro, -i cxi-ticran tcndran quc
cumjir auna- condicionc- lor un ado, c n umcro jcrtccto imjar
dccr a -cr mayor quc 10
300
, dccr a tcncr S tactorc- jrimo- o ma-,
cxccjto -i no c- divi-ic cntrc 3, cn cuyo ca-o tcndr a quc tcncr como
mnimo 11
40
6. Bibliografa
1 Journal of the Indian Mathematical Society Con-u-
tado c 1 dc ,unio dc 2012
URL: http://www.imsc.res.in/ rao/ramanujan/CamUnivCpapers/Cpaper24/page1.htm
2 Dos demostraciones de la irracionalidad de raz de
2 Gau--iano- Con-utado c 1 dc ,unio dc 2012
URL: http://gaussianos.com/dos-demostraciones-de-la-irracionalidad-de-raiz-de-2/
3 El postulado de Bertrand Gau--iano- Con-utado c 1
dc ,unio dc 2012
URL: http://gaussianos.com/el-postulado-de-bertrand/
! Por que el caso n=4 es tan importante? Gau--iano-
Con-utado c 1 dc ,unio dc 2012
URL: http://gaussianos.com/por-que-el-caso-n4-es-tan-importante/
` Mathematical Association of America Con-utado c 1
dc ,unio dc 2012
URL: http://www.maa.org/pubs/Calc articles/ma018.pdf
o Proofs without words `ath Ovcrow Con-utado c 1 dc
,unio dc 2012
URL: http://mathoverow.net/questions/8846?sort=votespage=1
Cassinis Identity lroot \iki Con-utado c 1 dc ,unio dc
2012
URL: http://www.proofwiki.org/wiki/Cassinis
I
dentity
41