Professional Documents
Culture Documents
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
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 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) (
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
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)
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
(x)
Como (c) 0
0 |g(b) g(a)| f
(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
_
+
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
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
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