Documentos de Académico
Documentos de Profesional
Documentos de Cultura
CAP.21
INDUCCIONMATEMATICAYCOMBINATORIA
EnesteCapitulosevernalgunosaspectosdelosnmerosnaturalesyproblemas
especficosqueseresuelvenconellos.Seconsideraquesesabequnmerossonlos
naturalesycomoestndefinidaslasoperacioneshabituales,tambinsuspropiedades.Laidea
esprofundizaralgunosaspectosde menosusualesenlaenseanzapreuniversitariayde
muchautilidad.
Iniciaremosconunpequeoresumendealgunosaspectoshistricos,quepretendenquele
sirvanparaentenderqueestudialaMatemticaydequemanerasehacelavalidacindelos
conocimientosmatemticos.
Serepasarnademspropiedadesdelasoperacionesconconjuntosenlaquesebasagran
partedelconocimientomatemtico.
Comentariohistricoyalgoms...
SerecomiendaalosalumnosqueleanMatemticasenelMundoModerno,almenos
elprimerartculo(elPrlogo)dondesuautorMorrisKline,hablasobrelascaractersticasde
ladisciplinaMatemtica1.
LosElementosdeEuclidesesunclsicodelamatemticadeoccidentequehasido
escritoaproximadamenteenel300antesdeCristo.EnestetrabajoEuclidespresentaen
formaordenada,enunacoleccinde13Libros,los"elementos"olaspartesintroductoriasa
laMatemticaqueseestudiabaenAlejandraeneseentonces.Losresultadospresentadosen
losElementos,notodossonobradeEuclides,esunarecopilacinordenadaymetdica.La
mayorcontribucindeEuclideseslaorganizacinaxiomticadelaobrayquecadaresultado
esrigurosamentededucidodeunnmeropequeodesuposicionesydefiniciones.Estetipo
deorganizacinfuemodeloluegoparavariasotrasobrasposteriores.
EnlaactualidadhaydistintaspresentacionesdelafundamentacindelaMatemtica,
ensumayorasebasanenlateoradeconjuntosolateoradelosnmerosnaturales,la
presentacindeEuclidescomenzconpuntosyrectas.ElexpreslasleyesdelaAritmtica
geomtricamente.
EuclidescomienzalosElementosconunalistade23definiciones,seguidade5
postulados(axiomas)quegobiernantodoloquepuedeserconstruidoyquetienen
"existencia"matemtica.LuegodeellosEuclidesdasus5"nocionescomunes"o"verdades
lgicas"quetienenrelacinconlaspropiedadesdelaigualdad.LosprimerosseisLibrosson
1MatemticasenelMundoModerno,SeleccionesdeScientificAmerican,primera
1
edicinde1968eningls;primeraedicinenespaol,EditorialBlume,1974,traduccinde
MigueldeGuzmanOzamiz
HayvarioslibrosdehistoriadelaMatemticasyexplicacionesdequesla
Matemticasdesdedistintospuntosdevistaqueesinteresantequeinvestiguen.Alos
interesadosserecomiendavisitasvirtualesporIternetadistintasbibliotecasylibreras,como
unavisitaalabibliotecadelDepartamentodeMatemticadelaFac.deCs.Exactas.
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.22
relativosalaGeometra(plana),enelfinaldelLibroIseincluyelademostracindelteorema
dePitgoras(570500a.C)ysurecproco.
Cabeaclararque"elteoremadePitgoras"seatribuyeaPitgorasporser
probablementeelmatemticoqueobtuvosuprimerdemostracin,perolarelacinque
planteayaeraconocidaporlosbabilonios.
EnlosLibrosVII,VIIIyIXsedesarrollatodolorelativoalateoradenmeros
enteros(positivos,enesapocanosetrabajabaconnegativos).EnelLibroXseinvestigan
expresionesdeciertacomplicacinconracescuadradastratandodereducirlasaexpresiones
mssimples.LosrestantesLibrossonestudiossobreGeometradelespacio.
.ElprocederdeEuclidessebasaenlapropuestadeAristotles(384322a.C)de
teoraaxiomticadadaenlosSegundosAnalticos,dondeformulaelmtododeductivo.
Estemtodoconsisteenpartirdeproposicionesllamadasaxiomaspostulados,
probarotrasproposicionesllamadasteoremas.Cadaproposicinenlapruebadebeestar
justificadaporunaxioma,unteoremapreviamenteprobadooporunprincipiolgico.Esa
pruebaeslademostracindelteorema.
UnadiferenciasustancialentrelateoradadaporEuclidesensusElementosylas
teorasaxiomticasactualesesqueEuclidesconsiderabaasuspuntosdepartidacomo
verdaderos,nocomoenlaactualidadquelasteorasconsideranlospuntosdepartidacomo
hiptesis,sinatribuirlesunvalordeverdad.ConsiderarlosaxiomasdelaMatemticacomo
verdaderosestambinunaideaqueEuclidestomadeAristteles.
Euclidesnoincluyensutrabajouninformedeldesarrollodelosresultados
matemticosquellevaronsiglosparaquepuedanserpresentadoscomouncuerpo
organizadocomoelquelpresenta.
Eltrabajocreativodelmatemticonoprocedepasoapasoenunrazonamientolgico,
esaserlajustificacinnecesaria.Eltrabajocreativorequieredepensar,conjeturaryhacer
hiptesis,luegodedarunademostracin,cosaquetambinrequieredelaintuicin,
percepcinprofunda,asociacindeideas,suerte,muchotrabajoymuchapaciencia.
Lasmatemticasyaestablecidasfueronobjetodedistintasformulacionesdeductivas.
Ellastuvieronporobjetolograrunapresentacincoherenteytambindecomprobarlospasos
deunademostracin..Atravsdelossiglos(entrelosaos3000antesdeCristohastael
1900despusdeCristo)losmatemticoshanelaboradolosdistintostiposdenmerosylas
operacionesconesosnmerosqueconstituyenelsistemadelosnmeroscomplejos.Encada
momentodeldesarrolloyampliacindeestosnmeroslosmatemticossabanprecisamente
cualeseranestosnmerosylaspropiedadesquecumplan.Enlasltimasdcadasdelsiglo
XIXlosmatemticosdecidieronconstruirundesarrollolgicodelsistemadelosnmeros
complejos.Paraellotratarondeconstruiraxiomasdelosquesepudierandeducirlas
propiedadesdelosnmerosqueellosyaconocan.
EstetipodefundamentacinsepretendiparatodaslasramasdelaMatemtica(sea
elAlgebra,laGeometra,elAnlisis,etc)yconsistiraenaxiomasenunciadosconcompleta
exactitudydemostracionesexplcitasdetodoslosresultados,aundeaquellosquepudieran
pensarseobviosparalaintuicin.Enlugardelaverdadsepedircompatibilidadlgicao
consistencia.
LaaxiomatizacindelaMatemticasellevadelanteyenuncongresointernacional
dematemticosqueserealizenParsen1900,HenriPoincar(unodelosmatemticosms
importantesdesutiempo)proclamque"elrigorhabasidoalcanzado".Enrealidadenese
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.23
intentosehabanusadoaspectosquenotenanlaconsistenciadeseada;surgieronasotras
formulacionesdelafundamentacinquesebasanendistintospuntosdepartidayposiciones
filosficassobre"queslaMatemtica?".
En1931,KurtGdeldemostrloqueseconoceconelnombredeteoremade
incompletituddeGdel,quedemuestraquenoexisteaxiomatizacinconsistenteposiblede
abarcartodaslasverdadesdelaMatemticaclsica,inclusivedelaaritmtica.Este
teoremaafirmaquehayverdadesdelaaritmticaquenosondemostrables.
Antelapreguntaqusonlosnmeros?Muchosmatemticosdarnporrespuestaen
trminosaxiomticos:"unosentesuobjetosquecumplenlossiguientesaxiomas....."
AfinesdelsigloXIXGiusepppePeanoproporcionunadescripcindelosnmeros
naturalesentrminodecincoaxiomas.Enellossepuedeninterpretarlosaspectosfamiliares
delosnmerosnaturales.HayquienesleatribuyenlaformulacinaRichardDedekind
(18311916),peroestosaxiomasseconocenvulgarmentecomo"losaxiomasdePeano"
Unodelosaspectosmsimportantesdeestaformulacineselquintoaxiomaque
convalidaunmtododedemostracinmuyimportanteydegranutilidad,puessuusopermite
demostrarlavalidezdeproposicionesuniversalesrelativasalosnmerosnaturales.
ElmtododeinduccinyusoesanterioraPeano.Parecieraqueelprimereuropeo
quelousfueelvenecianoFrancescoMaurocylus(14911575),estensulibrode
aritmticapublicadoen1575.EsemtodoestpresenteymejoradoenobrasdePierrede
Fermat(16011665)yBlaisePascal(16231662).Elnombredeinduccinmatemticaes
usadoporprimeravezen1838porAugustusDeMorgan(18061871)quehaceuna
descripcindetalladadelproceso.
Primeraparte
AlgunoselementosdelaFundamentacindelaMatemticainformalmente
HastaahoraenelCursohemostrabajadocon conjuntos,realizadooperacionesconellosy
usadoalgunoselementosdelaLgicaSimblicadeunamaneramuynatural.Vamosaseguir
trabajandodeesemodo(ingenuo)perodaremosalgunasdefinicionesqueserntilespara
precisaralgunosconceptosyseguiravanzando.
1.RecordandoDefinicionesBsicas
SiAesunconjuntoyxesunelementodeAloindicamospor x A .
Elconjuntoquenotieneelementoseselconjuntovaco,queloindicaremospor .
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.24
SiAyBsonconjuntos,diremosqueellossonigualessiyslosiAyBtienenlosmismos
elementos.
Estoes,todoelementodeAestambinelementodeByrecprocamente.
Estoloanotaremos:
A=B
HayoportunidadesquenosedalaigualdadperosucedequetodoelementodeAeselemento
deB.Esconvenienteponerlenombreaestehechotanhabitual,piensequeesloqueocurre
conelconjuntodelosnmerosnaturalesyelconjuntodelosnmerosenteros,yparaotros
conjuntosnumricos(culessituacionessepresentan??)
SiocurrequetodoelementodeAeselementodeB,diremosqueAessubconjuntodeBo
queAestincluidoenB.
Paraindicarlousamoslanotacin: A B
ObservarquesiAessubconjuntodeByademsBessubconjuntodeA,entoncesA=B.
AdemssiA=BvalequeAessubconjuntodeByBessubconjuntodeA.
Por lo cual podemos enunciar la siguiente
propiedad: Notacin:
indicalaconjuncin"y"o"e"segnseael
caso.
A = B ( A B B A)
simboliza"siyslosi",estoesqueteniendo
comohiptesisodatoloqueestdeunladode
" "sepuedeobtenerloqueestdelotrolado
yviceversa.
2.1.1Operacionesentreconjuntos
A yB conjuntos,seobtienenapartirdeellos,realizandooperacionesconjuntistas,otrosconjuntos:
Llamamos:
InterseccindeAyBalconjuntodeelementosquepertenecensimultaneamenteaambos
conjuntos;sesimbolizapor:
A B = { x : x A x B} AB
UnindeAyBalconjuntodeelementosquepertenecenaalgunodeesosconjuntos,se
simbolizapor:
A B = { x : x A x B} AB
Notacin:
indicaladisyuncin"o"o"u"segn
seaelcaso.
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.25
Lobsicodellenguajematemtico:
Paraqueunaconjuncin
severifique
,esdecirseconsidereverdadera,debenser
verdaderasociertascadaunadelasproposicionesquelaforman.
Paraqueunadisyuncin
severifique
,esdecirseaverdadera,debeserverdaderaocierta
algunadelasproposicionesquelaforman.
Lasproposicionessonlasexpresionesalascualessepuedeasignarunvalordeverdad.
Admitimosslodosposiblesvaloresdeverdad:verdaderoofalso.
Porejemplo,sonproposiciones:
Elnmero1espositivo.
2 esirracionalypositivo.
5dividea45dividea6435.
0esunnmeroprimo.
Lacifraqueocupaellugar105678902148765467890329876543211387675432134576879090de es3.
Discutaelvalordeverdaddecadaunadeellas.Esdecir,esverdaderaofalsa?
Porotraparte,nosonproposiciones:
Hola,qutal?
Ufa!!
Hurra!!
Aestasexpresionesnoselesasignaunvalordeverdad.
2.1.1.EJERCICIO:
Escriba5expresionesqueseanproposicionesy5expresionesquenolosean.
2.1.2.EJERCICIO:
Discutaelvalordeverdaddelassiguientesproposiciones:
1. Elnmero4esparyelnmero8esimpar.
2. Elnmero5esrazcuadradade25yelnmero5esrazcuadradade25.
3. Elnmero5esrazcuadradade25oelnmero3esrazcuadradade25.
4. Elnmero4esrazcuadradade25oelnmero3esrazcuadradade25.
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.26
5. Elconjuntodelosnmerosnaturalesestcontenidoenelconjuntodelosnmeros
irracionales.
6. El0eselmenornmeroreal.
7. Elcuadradode8es64yelcuadradode4es8.
8. Laparboladadapory=3x2tienendosfocos.
9. Lasasntotasdelahiprboladeecuacin4x23y2=12secortanenunpunto.
10. Lasasntotasdelahiprboladeecuaciny2x2=9sonparalelas.
11. Lasrbitasdelosplanetasdelsistemasolarsoncircunferencias.
Otrotipoimportantedeproposicinqueseobtieneapartirdeotraproposicinesla
negacin.
Sonejemplos:
i) Noesciertoque3seaunnmeropar.
ii) Elcuadradode1noes7.
iii) GimnasianoleganaEstudianteselltimodomingo.
iv) El2alcuadradonoes4.
Porreglasgramaticalesdelidiomacastellanosecoloca"no"delantedelverbooncleodel
predicadodelaoracin.
Laproposicindadaeni)eslanegacinde"3esunnmeropar",i)dicelomismoque:
"No3esunnmeropar".
Notacin:Seacostumbra
asimbolizarlanegacin Enestecasoloanotaramos: 3esunnmeropar.
deunaproposicin Obien: : 3esunnmeropar.
anteponindolealgunode
lossmbolos:, : o . Valecomentariosimilarparalosotrosejemplos.
2.1.3.EJERCICIO:
a) Qurelacinhayentreelvalordeverdaddeunaproposicinyelvalordeverdaddesu
negacin?
b) Culeselvalordeverdaddelasproposicionesdelejemploanterior.
c) NegarlasproposicionesdelEJERCICIO2.1.2
OtraformadeproposicincompuestamuyusualenMatemticaeselcondicional.
Sonejemplos:
1. Si2dividea6entonces6esunnmeropar.
2. Sic>0entoncesc.3>c
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.27
3. Silarectar1esparalelaalarectar2entoncesosoncoincidentesonotienenpuntosen
comn.
4. Si2esladistanciaentrePyQentonces2esladistanciaentreQyP.
5. Si3+4=8entonces5esunnmeroprimo.
6. Si2+3=8entonces3esunnmeropar.
Estasproposicionestienenlaestructura"si...entonces
...
".
Laproposicinqueseubicaentre"si"y"entonces"sedenominaantecedenteylaqueest
despusde"entonces"sellamaconsecuente.
Notacin:Laformade
Porejemplo1.setraduceen simbolizarlases
2dividea6 6esunnmeropar utilizando .
Paraqueuncondicional
severifique
,esdecirsea una
proposicinverdadera,nosedebedarelcasodeantecedenteverdaderoyconsecuente
falso,oseaparatodaotraalternativadevaloresdeverdadelcondicionalesverdadero.
2.1.4.EJERCICIO
i) Culeselvalordeverdaddelasproposicionesdelejemploanterior?
ii) Simbolizarcadaunadeellas.
Msoperacionesentreconjuntos:
LadiferenciaentreAyBeselconjuntodeloselementosquesonelementosdeAynoson
elementosdeB.
Estoloanotaremossimblicamentepor:
A B = { x : x A x B} AB
Notacin: simboliza"nopertenece".
Enladefinicinanterior,
x B significa(x B ) .
Porejemplo,ladiferencia eselconjuntodeenteros
negativos.
2.1.5.EJERCICIO
Hallarlossiguientesconjuntos: A B; A B; A B paralossiguientescasos:
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.28
i ) A = B=
ii ) A = B =
iii ) A = B =
iv ) A =x{ :x es par B} x
= {:x es impar }
v ) A = 2 B= (x{, y
)
:2x 3 y 4 }
vi ) A =({x ,y ) :x+
2
y
2
} (
32 =Bx ,y ) { :x 2
1 }
vii )A = {(x ,y ) :x+
2
y
2
5 =B }
2
{ :x
(x ,y ) 2
y 02 }
Lasproposicionesanterioresafirmaban"cosas"sobreindividuos.Estoessobreel2,el0,la
rectar1,losplanetasdelsistemasolar,sobreobjetosparticulares.
Notodaslasproposicionesqueusamossondeesetipo.
Hayvecesquesenecesitahacerafirmacionessobreelementosdeundeterminadoconjunto
sinespecificarunelementoenparticular,estoespermitiremosqueeseelementovareenel
conjunto(universodelesquema),queseantodosloselementosdelconjuntooseanalgunos
deellos.
Poresointroducimosotroelementoimportantedeestelenguaje:loscuantificadores.
Haysituacionesquedebemosexpresar:"todoslos..."o"existen...",comoporejemploenlas
siguientesafirmaciones:
1. Todoslosnmerosenterossondivisiblespor1
1x1=
2. Existennmerosprimos 1
2x1=
2
Ellastienenunvalordeverdad,cul??. 3x1=
3
Estasproposicionesdecimosquesonuniversalesyexistencialesrespectivamente. .........
....
Analicemosquestnexpresando:
Laprimeraestdiciendoqueparacadaunoocualquieraseaelnmeroenteroestees
divisiblepor1;sehabladeunapropiedadquetienentodoslosnmerosenteros,porellose
2,3, dicequeesuniversal,considerandocomouniversoalconjuntodelosnmerosenteros.Est
5,7, claroquelaeleccindelconjuntoquesetomecomouniversoesimportante.
11,
.........
Lasegundaproposicinmanifiestalaexistenciadenmerosquetienenlapropiedaddeser
....
primos,dicequehayindividuosquesonprimos.
Ademssesabequeellossoninfinitos,cosaquefueprobadaporEuclidesensusElementos.
MuchasafirmacionesdelaMatemticasondeestostipos.Lamayoradelaspropiedadesque
seestudiarnsonas.
Lamaneradesimbolizarlaseslasiguiente:
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.29
1. (x )( x es divisible por 1)
2. (x)( x es numero primo)
Enmuchasoportunidadeselusodelosparntesisqueencierran x y x noseusarn.Los
parntesisindicanelalcancedelcuantificador.Resumiendo:
unaproposicinuniversalesdelaforma:Paratodox,P(x),sesimbolizar:( x)
(P(x))
unaproposicinexistencialesdelaforma:Existex,P(x),sesimbolizar:( x)(P(x))
EJEMPLO
Simbolizar:Losnmerosnaturalessonpositivos
Estaproposicinafirmaqueporelhechodeunnmerosernaturallespositivo.Nohablade
unnmeronaturalenparticularsinodecualquieradeellos,esdeciresalgoreferidoatodos
losnaturales,luegosusimbolizacin:
(x)( x es numero natural entonces x es positivo)
2.1.6.EJERCICIO
Simbolizar:
1. Existennmerospares.
2. Todacircunferenciatieneuncentro.
3. Existennmerosparesyexistennmerospositivos.
4. Loscuadradosdelosnmerosrealessonpositivos.
ElvalordeverdaddeunaproposicinuniversaldelaformaParatodox,P(x)
dependedeluniversoqueestinvolucrandoysicadaunodelosindividuosadeese
universoverifiqueonoloqueseestafirmandoenP(x)cuandoxessustituidopora.
SiP(a)esunaproposicinverdaderacualquieraseaadeluniversoesentonces
( x)(P(x))verdadera.
ElvalordeverdaddeunaproposicinexistencialdelaformaExistex,P(x)depende
deluniversoqueestinvolucrandoysihayalgnindividuoadeeseuniversoque
verifiqueP(x)cuandoxessustituidopora.
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.210
SiP(a)esunaproposicinverdaderaparaalgnindividuoadeluniversoesentonces
( x)(P(x))verdadera.
2.1.7.EJERCICIO
CuleselvalordeverdaddelasproposicionesdadasenelEJERCICIO2.1.6.?
2.1.8.EJERCICO
a)Simbolizarlassiguientesproposiciones:
1. Todoslosnmerosprimossonpositivo.
2. Existennmerosrealesirracionales.
3. Haynmerosrealesracionalesyhaynmerosrealesirracionales.
4. Dadounnmeroreal,lesracionaloirracional.
5. Todoslosnmerosracionalessonenteros.
6. Todoslosnmerosenterossonracionales.
7. Haynmerosracionalesquesonenteros.
8. Todoslosrealesalcuadradosonmayoresque0.
9. Todaslascircunferenciassonconcntricas.
10. Haycircunferenciasderadionegativo.
11. Hayhiprbolasquesonunindedosparbolas.
12. Todosloscometastienerbitaselpticas.
b)Analizarelvalordeverdaddelasproposicionesanteriores.
Lasdemostraciones:
ComosehaexpresadoanteriormentelosresultadosvlidosenMatemticason
aquellosquesepuedendemostrar.Cosaqueengeneralnoessimple.
Podemosagregarquecuandosepresentanlosdistintostemasenunamateriade
Matemticasedanenellalosteoremasmsimportantes,conunencadenamientoqueporlo
generalnoeselhistrico.Ni,porlogeneral,lasdemostracionesqueseexhibensonlas
originales,elavancedelosconocimientoshacequelasdemostracionespuedanmejorarseo
hacerse"mselegantes"conelaportedenuevosresultados.
Lamaneradehacerdemostracionesytambinderecrearlasdependedeloquese
quierademostrarytambindela"forma"delenunciado.
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.211
Sielenunciadoaprobaresdeformaexistencialalcanzarenalgunoscasoscon
exhibirunindividuoconlascaractersticasquediceelenunciadoounamaneradeconstruir
eseelemento.
Sielenunciadoesdeformauniversalhabrqueprobarquecadaunodeloselementos
deluniversocumpleconloafirmado.Sieluniversofueradeunnmerofinitodeindividuos
podramosanalizarquecadaunodeellosverificaloenunciado.Siesinfinito,tomarun
elementoarbitrario(NOunejemplo)deluniversodelquesehabla,yprobarquetienela
propiedadenunciada.
Parapropiedadescuyouniversoeselconjuntodelosnmerosnaturalestenemosotra
maneraqueprontamenteveremos.
LosAxiomasdePeano
En1890,Peanopostullossiguientesaxiomaspara:
Axioma1: 0
Axioma2: x entoncesx'
Axioma3: 0x'paratodox
Axioma4: Six'=y'entoncesx=y.
Siinterpretamos comoelconjuntodelosnmerosnaturalesy
x'como"elsiguientedex"(yestaideax'=x+1,elnaturalqueestdespusdexenla
sucesinnatural),estoscuatroaxiomasnosdicenenestainterpretacinque:
1) el0esunnmeronatural;
2) todonmeronaturaltieneunsiguientequetambinesnatural;
3) el0nosigueaningnnatural,loqueequivaleadecirque0eselprimernmeronatural;
4) silossiguientessonigualesesporquelosnaturalesdelosqueprovenaneranigualeso
equivalentementesilosnaturalessondistintostambinlosonsussiguientes.
Elotroaxioma:
Axioma5: DadoLunsubconjuntodeN,esdecirLN.
SI:
a)0L
yentoncesL=N
b)Cualquieraseax,sixLentoncesx=x+1L
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.212
Esteltimoaxiomaselollamaindistintamente:AxiomaInductivo,odeInduccin,
oPrincipiodeInduccinMatemtica,oPrincipiodeInduccinCompletaoPrincipiode
Recurrencia.
Observacineinterpretacin:
LuegodepresentarlosAxiomas1a4,hemosdestacadoquelosnmerosnaturales
comienzanconel0yquenoterminan,puesdadounnmeronatural,ltieneunsiguienteque
tambinesunnmeronatural.Estoshechosquenosresultantan"naturales"(peroenotro
sentido...)nospermiteninterpretarycomentarelAxioma5.
SeaunsubconjuntoLdenmerosnaturales(unconjuntoqueestincluidoen)tal
quetieneal0comoelemento,esdecir0estenLyqueademscumplequecualquieraseael
nmeronaturalh(paraponerleunnombre...queestotalmentearbitrario,peronounejemplo
particular)queestenL,tambinestsusiguienteh+1.Rescatandolaideaqueestepasolo
puedorepetirtantasvecescomonmerosnaturaleshay(..ufa!!)yhecomenzadodesde0(el
primernmeronatural),estamosobteniendoqueenLestarntodosycadaunodelos
nmerosnaturales.LuegoLes.....claramente(esperemos).
Losconjuntosquetienenlapropiedad(a)yb))quepideparaLelAxioma5,se
llamanconjuntosinductivos.
2.Sucesiones
Ademsde,hayconjuntosparaloscualesesposibleencontrarunaleyde
formacinquetienerelacincon.Sepuedehacerunalistanumeradadesuselementos.
Yesoselementostienenrelacinconelnmerodeordenqueocupanenlalista.
Estaideaestformalizadapor:
UnasucesinesunarelacindeenunconjuntoAconlascondiciones:
quecadaelementodeldominiotengacorrespondienteynico.
SiestarelacinlaindicamosporSsetiene
S: A
ComoeldominioesestndefinidosS(0),S(1),S(2),etc.Seacostumbraaindicarestos
elementospor:
S(0)=a0
S(1)=a1
S(2)=a2
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.213
Engeneralparaunkcualquiera,S(k)=ak
Dadoaksedicequekeselndice,yqueak eselksimotrminodelasucesin.
Selollamatambintrminogeneraldelasucesin.
LasucesinSloquehaceeselegirsegnunadeterminadaley(ladesudefinicin)los
elementosa0,a1,a2,...ak,...delconjuntoA.
Porlogenerallassucesionessloseindicanpora0,a1,a2,...ak,...esdecirporlaimagendela
relacinS.
Otranotacinparaellases{an}n.
2.2.1EJEMPLO:
SeaS: A ,talqueS(n)=n+1.Hallarlosprimeros5trminosdelasucesin.
EstosignificaquesedebehallarS(0)=a0,S(1)=a1,S(2)=a2,....,S(4)=a4
Yellossona0=1,a1=2,a2=3,a3=4,a4=5
2.2.2EJEMPLO:
Hallareltrminogeneraldelasucesincuyos6primerostrminosson:1,3,5,7,9,11.
Estosignificaquesedebeencontrarlaleydeformacindeloselementosan,sabiendoque
a0=1,a1=3,a2=5,a3=7,a4=9,a5=11
Todosloselementosquesepresentansonimpares.
Laexpresinparaunnmeroimpares2.n+1,luegoS(n)=an=2.n+1
Ah!
Escasiinmediatoextenderunasucesin,estoes,conocidoeltrminogeneralirdando
! cadaunodesuselementos,noresultaaselprocesoinversodeencontrareltrminogeneral
apartirdevarioselementosdelasucesin.
Eltrabajoconvarioscasosdalaprcticaparalograrlo...Estofavorece"elgolpedevista"
ylaimaginacintendrqueacompaar.
2.2.3EJERCICIO:
1.Buscarelnmeroperdidoenlassiguientessucesiones:
a)1,6,,16
b) ,2,5,8,11
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.214
c) 1,2,4,8,
2.Acestelcomienzodeunasucesin:1,3,4,....
Cadanuevotrminoseobtienecomolasumadelosdosanteriores.
Porejemplo4=1+3.
Elsiguienteser7.
a) Escribalosprximosseistrminos.
b) Uselamismaregladegeneracinparaescribirloscuatrosiguientestrminosdela
sucesinquecomienzacon2,5,7,...
3.a)Escribalasdossiguienteslneasdelasucesin:
3 4 = 3+ 3 2
4 5 = 4+ 4 2
5 6 = 5+ 5 2
L L =L L
L L =L L
b) Completelosiguiente:
10 11 =
30 31 =
4.Identifiqueelpatrndeformacin(molde,modelooesquema)yescribalasprximastres
lneas:
1+
90= 1
2+91= 11
3+ 9 12= 111
4+ 9 123= 1111
5+9 123=
4 11111
2.2.4EJEMPLO:
Hallareltrminogeneraldelasucesin:
1 1 1 1 1 1
1, , , , , ,
2 4 8 16 32 64
Observarprimeramentequelosnmerossonalternativamentepositivosynegativos.
Unamaneradeobtenerestaalternanciaenlossignosespensarenlassucesivaspotenciasde
1.Pues: (1)0 es 1 , (1)1 = 1, (1)2 = 1,... esas: (1) h es 1 o 1, segnlaparidaddeh.
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.215
1
Prescindiendoporunmomentodelossignos,loselementosdadossonpotenciasde ,pues
2
0 1 2 3
1 1 1 1 1 1 1
1= , = , = , = ,etc.
2 2 2 4 2 8 2
Combinandoambasobservaciones:
0 1 2 3
1 1 1 1 1 1 1
1 = (1) ,0
= (1)1 , = (1)2 , = (1)3 ,
2 2 2 4 2 8 2
4 5 6
1 1 1 1 1 1
= (1) 4 , = (1)5 , = (1)6
16 2 32 2 64 2
presentarseequivalentementepor: an = .
1
2
Estonospermiteafirmarqueenrealidadlocorrectoeshablarde"untrminogeneral"dela
sucesinenlugarde"eltrminogeneral".
Haytambinunapresuncindestacable:entendemosquetodosloselementosquesiguen
guardarnlamismaforma,queefectivamenteloquesetieneesunasucesinquetieneesa
ley.
Observacin:Enunasucesinesirrelevantelaletraqueutilicemosparadesignarala
variable,loqueimportaeslaleyquedebacumplir.Paraindicarestehechoescomndecir
que"lavariableesmuda".
2.2.5EJEMPLO:
Hallarlos5primerostrminosdelassiguientessucesiones:
a ) ah = (1) h +1.3h
b) at = (1)t +1.3t
c) b j = (3) j
Desarrollemoscadaunadelasexpresiones:
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.216
b) at = (1)t +1.3t
Paraobtenerlos5primeroselementosdebevariart de0a4,porlocual
a0 = (1)0+1.30 = 1.1 = 1
a1 = (1)1+1.31 = 1.3 = 3
a2 = (1) 2+1.32 = 1.9 = 9
a3 = (1)3+1.33 = 1.27 = 27
a4 = (1) 4+1.34 = 1.81 = 81
c) b j = (3) j
Paraobtenerlos5primeroselementosdebevariarj de0a4,porlocual
b0 = (3)0 = 1 = 1
b1 = (3)1 = (3) = 3
b2 = (3) 2 = 9
b3 = (3)3 = (27) = 27
b4 = (3) 4 = 81
Quocurre?Cuntostrminosgeneralestieneunasucesin?
2.2.6EJERCICIO
1.Encontrarelsiguientenmeroenlasucesin:
a) 1,5,9,13,... c) 3,6,12,24,...
b) 39,36,33,30,... d) 200,100,50,25,...
2.Hallaralmenosdosformasparaeltrminogeneraldelassiguientessucesionessise
conocenalgunostrminosconsecutivos:
a) 1,1,1,1,1,1,.......
b) 1,3,6,9,12,15,18,.....
c) 1,1,1,1,1,.......
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.217
1 2 3 4
d) 0, , , , ,...
2 3 4 5
e) sen 2 x, sen 4 x, sen 6 x, sen 8 x,L
3.Considerarlossiguientestrminosgeneralesdesucesionesycalcularloscorrespondientes
paraloscasosj=0,6,h,m,m+1,6k
(2) j + 2 j +5
a)bj= b) p j = a j siendoa unrealmayorque0
3 j 1
c)aj:2.j1esunnmeroimpard)bj:3divideaj
4.Debajohaydiagramasquemuestrancasillerosenblancobysombreadossyunatablaque
losrelaciona
s b
1 5
2 6
3 7
4 8
... ...
Culesunafrmuladebentrminosdes?
5.AhorasetieneunasecuenciadeI'esapintitas:
Hagaunatablaparaelnmerobdecuadraditosblancosyelnmerosdecuadraditos
sombreadosdelosdiagramasanteriores.Encuentreunafrmulaparabentrminosdes.
6.Lasiguienteesunasucesindetringulos(t)fabricadosporfsforos(f):
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.218
Hagaalgunosesquemasmssiguiendoesepatrnycontinelatablaquecomienzacomosigue
t f
1 3
2 5
... ...
Ademsencuentreunafrmulaparafentrminosdet.
Volvamosalos
axiomas!!!
Axioma5: DadoLunsubconjuntode,esdecirL.
SI:
a) 0L
yentoncesL=
b)Cualquieraseax,sixLentoncesx=x+1L
Para qu
sirve?
ComovenimosanticipandoelAxioma5sirveparademostrarpropiedadesuniversales
vlidasparatodoslosnmerosnaturales.
Veamoscomo.
3.MtododeInduccin
Dadaunaproposicindeltipo(n)(P(n)),cmosedemuestra,sinesunavariableenN
queesaproposicinesverdadera?
Recordemosquelaproposicin(n)(P(n))esverdaderasiyslosielconjuntode
verdaddeP(n)(estoeslosvaloresa NparaloscualesresultaverdaderaP(a))esel
universodeP(n),esdecirsielconjuntodeverdadcoincideconelconjuntodelosnmeros
naturales.
SillamamosV(P)alconjuntodeverdaddeP(n)entoncesdeberemoscontrolarqueV(P)=N
YesjustamenteeneseanlisisqueusamoselAxiomadeInduccin.
ElconjuntoV(P)esunsubconjuntodeN,luegoresultarqueV(P)=N,silogramosprobarque
V(P)esinductivo.
EsdecirparaV(P)debemosverquecumpla:
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.219
a)0 V(P)
b)Cualquieraseah,sihV(P)entoncesh=h+1V(P)
porqueentoncesporelAxioma5,resultaqueV(P)=N
Sigamospensando...Qusignificaque V(P)cumplaa)yb)?
Estosignifica:
Tenera)0 V(P)setraduceen:
P(0)
esverdadera
.
Tenerb)Paracualquierh,sihV(P)entoncesh=h+1V(P)setraduceen:
Paracualquier
h,
si
P(h)
esverdaderaentonces
P(h+1)
esverdadera
1)Probarque
P(0)
esverdadera
2) SiP(h)
esverdadera
(paraunh
cualquiera
),entoncesprobarque
P(h+1)
esverdadera.
Estosdospasoscumplidosnospermitirnafirmarque( n)P(n)esverdadera.
Mscomentarios:(Elpaso2)delmtododado...)
Enestepasosetomacomohiptesisdetrabajo(llamadamuchasveceshiptesisinductiva)que
P(h)esverdadera
ysedebedemostrarqueP(h+1)
esverdadera.
Lajustificacindeesteprocederesla"forma"delacondicinb)delAxioma5.Tienela
"forma"decondicional.
Recordandoqueuncondicionalsloesfalsoenelcasoqueelantecedenteseaverdaderoyel
consecuentefalso,esporesonecesario,paraprobarlavalidezdeb)(2),comoquiera)asumir
P(h)comoverdadera,queeselcasocrticoydemostrarqueelconsecuente,P(h+1)es
verdadera.
2.3.1.EJEMPLO:
EsverdaderaParatodon,nesproductodenmerosprimos?
Estclaroqueestexpresandolomismoque:
Todonmeronaturalesproductodenmerosprimos.
Lasimbolizacinser:(n)(P(n))
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.220
Considerando: N comoeluniversodelP(n)
P(n):nesproductodenmerosprimos
Elanlisisquedebemoshaceres:EsV(P)=N ?
Estaproposicinesfalsaporqueel0noesproductodeprimos.Esdecirnosecumple1),pues
P(0)esfalsaequivalentemente0V(P)
ObservarqueP(0)es0esproductodenmerosprimos
2.3.2.EJEMPLO:
SeaP(n):2n+1esunnmeroimpar
Analizarelvalordeverdadde(n)(P(n)),conn N Recordemosqueun
nmeroesimparsi
Paratodon,elnmerodelaforma2.n+1esimpar noespar.Adems,
unnmeroesparsi
EluniversodelP(n)
es
N
esdivisiblepor2.
SiV(P)eselconjuntodeverdaddelesquemaP(n),esV(P)=N? Luego,unnmero
Sivemosquesecumple: esimparsi2nolo
1) 0V(P), divide.
y
2)cualquieraseah,hV(P)entoncesh+1V(P)
AV(P)leaplicaremoselaxiomaInductivoyresultarV(P)=N.
0V(P)eslomismoquedecirqueP(0)esverdadera.
QudiceP(0)?
P(0):2.0+1esunnmeroimpar
Como2.0+1es1ycomo2nodividea1,entoncesP(0)esverdadera.
Porlotanto,1)secumple.
2)cualquieraseah,hV(P)entoncesh+1V(P)
Sigamosadelante...
Secumple2)?
Elantecedente:
hV(P)setraducecomoP(h)esverdadera
PorsuparteP(h)es2.h+1esunnmeroimpar
Yaceptamos
P(h)
comohiptesisinductivaqueesequivalenteaaceptarP(h)
comoverdadera
.
Estosignifica,quecualquieraseah,seaceptaque2.h+1noesdivisiblepor2.
Elconsecuente:
h+1V(P)eslomismoquedecirqueP(h+1)esverdadera
siendoP(h+1):2.(h+1)+1esunnmeroimpar
Nuestratareaesprobarque2nodividea2.(h+1)+1.
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.221
2.(h+1)+1=2.h+2+1=2+2.h+1=2+(2.h+1)
2dividea2ycomo2nodividea2.h+1porhiptesisinductiva
luego,2nodividea2.(h+1)+1puessino,suponiendolocontrario:
2.(h+1)+1=2+(2.h+1)=2.qconqentero
porlotanto:2.h+1=2.q2=2.(q1)
Luego2dividea2h+1,encontradelahiptesisinductiva
Porlotantovale2).
EntoncesV(P)=N yestoequivaleaque(n)P(n)esverdadera.
2.3.3EJEMPLO:
Pretendemosquelosiguientesirvaparaesclarecerque"algunosejemplos
no
sonsuficiente
..."
Alolargodelossiglosfuepreocupacindelamayoradelosmatemticosencontraruna
frmulaquegenereatodoslosnmerosprimosoquealmenosgenerealgunos("algunos
cuantos").
EnelsigloXVIIPierreFermatconjeturque 22n + 1 esprimoparatodonnatural.
Sicalculamosestaexpresinparasucesivosvaloresden:
0
22 + 1 = 21 +1 =3
1
22 + 1 = 2 2 +1 =5
2
22 + 1 = 24 +1 =17Compruebequesonprimos(uselacribadeEratostenes)
3
22 + 1 = 28 +1 =257
4
22 + 1 = 65537
Nohabacalculadoras...,asqueensigloXVIInoerafcilhacercuentasbuscandodivisores
Qu
lstima. de 225 + 1 =4294967297.
..
FueenelsigloXVIIIqueEulerencontrque 225 + 1 =4294967297=641.6700417
Otrafrmulaparanmerosprimos: n 2 n + 41 esunnmeroprimoparatodonaturaln??
Calculemosparavariosvaloresnaturales:
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.222
02 0 + 41 = 41
12 1 + 41 = 41
22 2 + 41 = 43
32 3 + 41 = 47
42 4 + 41 = 53
52 5 + 41 = 61
62 6 + 41 = 71
Sigaunosnmerosms.....Yqucontesta?Valeparatodonnatural?
2.3.4.Losdospasosdelainduccin,paraqu?
a) Demostrar(n)(n=0),conn N.
Veamos,valeP(0)?QudiceP(0)?P(0):0=0
ComoelvalordeverdaddeP(0)esverdaderaconcluyoque(n)(n=0),conn N
Claramentequeestonoseraceptado,hemoscumplidounasolaetapadelmtodode
demostracinporinduccin,ademslaetapamssencilla.
b)Demostrar(n)(n=n+1),conn N.
Veamos,supongamosquevaleP(h)paracualquierhyvamosaprobarP(h+1).
Quhemosaceptado?EsverdaderoP(h)siendoP(h):h=h+1
QudiceP(h+1)?P(h+1):h+1=(h+1)+1debemosprobarquevale.
PartamosdelprimermiembrodelaigualdadqueproponeP(h+1)yveamos:
h+1=(h+1)+1lasustitucinesporP(h)
Luego,P(h+1)esvlida,habiendosupuestoP(h),yhescualquiernmeronatural,entonces:
(n)(n=n+1),conn N.
Qumecuenta???
c)Veamosotra"demostracin":
Todoslosnmerosnaturalessonpares.
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.223
SillamamosP(n):nespar
(n)P(n)esloquequeremosprobarcomoverdadero(parannatural)
Supongamosqueslorealizamoselprimerpasodelademostracin:
P(0)valeporqueelceroesunnmeropar.
Estclaroquelohechonoindicaquetodoslosnaturalessonpares,faltaverificarelpaso2).
4.Definicionesporrecurrenciaysmbolosauxiliares
Hayconceptosmuyusualesquesedefinende"apasos".
Pienseenlapotenciadeexponentenaturaldeunnmerorealnonulo,ladefinicinusualesla
siguiente:
a0 = 1
Si a 0, n +1
a = a.a paran 0
n
Sedefineparaunabase
deladefinicin
,enesteejemplosetomael0,yluegoyaconocida
paraunvalor(eln)sedefineparaelsiguiente(n+1).Esasquequedadefinidalapotencia
paratodonatural,puesunavezdefinidapara0,usandoesedatoenelpasosiguienteser
definidapara1,luegopara2,etc.Seguidamentesevernotrasdefinicionesdeestetipo.
Enmuchasoportunidadesesnecesariosumaromultiplicarunnmerofinitodeelementosque
pertenecenaunasucesin.
2.4.1.Sumamos
Supongamos,sumarlosprimeros6nmerosimpares:1,3,5,7,9,11.
Estoes:1+3+5+7+9+11=36
Siahoraqueremossumarlosprimeros16nmerosimpares:1,3,5,7,9,11,13,15,17,19,21,
23,25,27,29,31.
Estoes:1+3+5+7+9+11+13+15+17+19+21+23+25+27+29+31=
Estaescrituraesmuypocoprctica.
Unoapelaa:1+3+5+.......+27+29+31=
Ponealgunoselementosdelasucesinasumar,unospuntossuspensivosparasugerirque"la
cosa"sigueigual(delamismasucesin)yterminaconotros,losltimosdelasucesina
sumar.Estotampocoesmuyprcticoyademsesimpreciso,hayunasugerenciaque"lacosa"
sigueigual,peropodranoserlo.
Paraevitarambigedadesvamosapresentarunsmboloauxiliar,quellamamossumatoria
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.224
queeslaletrasigmamaysculadelalfabetogriego:
Cmoseusaycundo?
Sirveencasoscomoelanteriormentemencionado,lasumadeunnmerofinitodeelementos
deunasucesin.
Definimosrecursivamente:
0 n +1
n
k =0
ak = a0 y
k =0
ak = ak + an +1
k =0
Estonosdaunaherramientaparaexpresarunasumaconprecisin.
a
k =n
Otrasalternativasdelomismo: k estambienequivalenteaescribir k =0 k
a
0 k n
Usmoslaenelejemploanterior:
Untrminogeneraldelasucesinestdadopor
ak = 2k + 1 sisepretendesumarlosimparesde1al11,observarque1= a0 y 11 = a5
5
Luegolopedidoresulta: (2k + 1)
k =0
Sisepretendesumarlosimparesde1al31,observarque1= a0 y 31 = a15
15
Luegoestoresulta: (2k + 1)
k =0
EJEMPLO:
Desarrollarlasumatoria:
EJEMPLO:
Desarrollarlasumatoria:
3
2
j +1
= 20 +1 + 21+1 + 22+1 + 23+1
j =0
2.4.2.EJERCICIO:
1. a)Desarrollar:
0 j 12
a j .(1 b) j +1
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.225
b)Desarrollar: ab
j+
i= 4
i j
2.Usando expresar:
i) 4 + 6 + 8 + L + 22
1 1 1 1 1
ii ) + + + +L +
2 3 4 5 30
iii ) 1 + 3 5 + 7 9 + 11
3.Paralassiguientessumatorias:
(3)i
17 23 3
2k + 1 h
j.( j + 1) m
p !. p 2
i
2 ( p + 1)
i =1 k =0 3k + 1 j =1 p =1
a) Escribalasumatoriadadaconunasumatoriaperoseparandoelltimotrmino.
b) Escribalasumatoriadadaconunasumatoriaperoseparandoelprimertrmino.
c) Escribalasumatoriadadaconunasumatoriasacandolostresltimostrminos.
d) Encadaejemploagreguetrestrminosquerespetenlaformadeltrminogeneraly
ademsluegoescribaeseresultadoconunasolasumatoria.
2.4.3.EJERCICIO:(muyformal,almenosuno...debehacer)
a) Demostrarqueparatodonvale:
n n
ai = a j
i =0 =j 0
b) Demostrarqueparatodonvale:
n +1 n
a
i = ai
i =1 =i 0
+1
2.4.4EJEMPLO:
DemostrarporelmtododeInduccinCompleta:
n.(n + 1 )
0 + 1 + 2 + 3 + .............. + n = , cualquierasean,n numeronatural
2
Vamosautilizarelsmbolodesumatoriaparapracticarconl.
Asloanteriorsepuedeescribir:
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.226
n
n.(n +1)
i =i =0 2
, cualquierasea
n n, numeronatural
Estapruebasermuysimpleyesimportanteretenerlaexpresinparacalcularlasumadelos
n+1primerosnmerosnaturales.
Sepuedenponerejemplosnumricosparaconvencersedelaveracidaddela
proposicin,perocomosequieredemostrarusaremoselPrincipiodeInduccinMatemtica:
1) VersiP(0)esverdadera
PrimeroformulemosloquediceP(0),
0
0.(0 + 1)
P( 0 ) : i =
i =0 2
0
elprimermiembrodelaigualdadpropuestaporP (0)es i = 0
i=0
0.(0 + 1)
elsegundomiembrodelaigauldadpropuestaporP(0)es =0
2
LuegoobservamosqueP(0)esverdadera
2) SupongamosverdaderaaP(h)ydemostremosP(h+1):
QudiceP(h)?
h
h.(h + 1 )
P(h) : i =
i=0 2
AceptamosaP(h)comoverdadera.
DecimosqueP(h)seaceptaverdaderacomohiptesisinductiva.
AhoraanalicemosP(h+1)
(h + 1 ).((h + 1 ) + 1 )
h +1
P(h + 1 ) : i =
i=0 2
Analicemoselprimermiembrodelaigualdadpropuesta:
h +1 h
i = i + (h + 1 )porladefinicionde
i =0 i =0
h
h.(h + 1 )
i + (h + 1 ) =
i =0 2
+ (h + 1 )porlahipotesisinductiva
*Lajustificacindelosltimospasosquedanaconsideracindelalumno.
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.227
Hemoscumplidolosdospasosquepideelmtododeinduccin.
Porlotantohemosdemostradoque:
n
n.(n + 1)
i =
i =0 2
, cualquierasean,n numeronatural
SienunademostracinporInduccinnousalahiptesisinductiva,entoncesestmal
lademostracin.
2.4.5.EJERCICIO
Probarqueparatodon0,valelasiguienteigualdad:
n
1+2+22+.........+2n= 2 =2n+11
n
n,n0
k =0
2.4.6Multiplicamos
Ahoraqueremosmultiplicarunnmerofinitodeelementosdeunasucesin.Porejemplo:
1 1 1 1 1
, , , ,
2 4 8 16 32
Lamaneramsingenuadeexpresarlaoperacines:
1 1 1 1 1
2 4 8 16 32
Unamanerams"econmica"deexpresarlaoperacines:
1 1 1
.....
2 4 32
Peroesbastanteimprecisa.
Paraevitarestassituacionesyenespecialcuandosonmuchoslosfactoressedefineun
smbolo quellamamosproductoria. Eslaletrapi,queenun
contextoadecuado
simbolizaproducto.
Definimosrecursivamente:
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.228
0 n +1
n
ak = a0 y ak =
k=0 k=0
a g a
k 0=
k + 1n
Estonosdaunaherramientaparaexpresarunproductoconprecisin.
Otrasalternativasdelomismo:
0 k n
ak oescribir
n
k =0
ak
EJEMPLO
Expresarelproductodelosprimeros100nmerosnaturalesparesnonulos.
Lasucesindenaturalesparesestdadapor0,2,4,6,.....,2n,....
Losnonulosson2,4,6,.....,quepodemosexpresaruntrminogeneralpor
an=2(n+1).
Estdeacuerdo??
Ahorahagamoselsiguienteanlisis:2eselprimernaturalparnonulo,
adems
2=2.(0+1)=a0
4=2.(1+1)=a1
Elprimerelementodelasucesinsecorrespondecona0
Elsegundoelementodelasucesinsecorrespondecona1
Assiguiendo,elcentsimoelementodelasucesinsecorrespondecona1001
Seguimosdeacuerdo?
Bueno,entonceselproductoloexpresamospor:
99 99
a
k =0
k = 2( k +1)
k =0
2.4.7.EJERCICIO
1.Desarrollarlassiguientesproductorias:
t +2
3
10
1 +i
a) b) i c) i = 0
(i + 1 ) d) i = 0 i + 1
7 7
0t 7 4 i = 0 ( 5 )
2.a)Desarrolle
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.229
4 6 5 4
i ) (5) k +1
k =0
ii ) a j + 2b 2 j 1
j =4
iii ) A j3
j =1
iv ) ah =1
ih
b) Paralasproductoriasanteriores:
i) Expreselamismaproductoriaextrayendoexplcitamenteelltimofactordela
productoria.
ii) Expreselamismaproductoriaextrayendoexplcitamenteelprimerfactordela
productoria.
iii) Agreguetresfactoresquerespetenlamismaleydeformacinpor:"arriba"ypor
"abajo".Escribaelresultadoenunanuevaproductoria.
2.4.8.EJEMPLO
Consideremoslasiguientesucesin:1,1,2,6,24,120,720,....
Podemoscomprobarque:1=1
2=1.2
6=2.3
24=6.4
120=24.5
720=120.6
Salvoelprimer1,quevamosallamara0,yalosrestantesqueserna1,etc.,esoscumplen
laregla:a1=1=a0.1
a2=2=1.2=a1.2
a3=6=2.3=a2.3
a4=24=6.4=a3.4
a5=120=24.5=a4.5
a6=720=120.6=a5.6
Luegoa0=1yparan>0an=an=1.n.
Estasucesineselfactorialden.Hayunanotacinespecialparaellaan=n!
Quetambinsedefineporrecurrenciacomo:
1 sin = 0
n! =
(n 1)! gn sin 1
Observarqueseverificalosiguienteyaqueelproductodenaturalesesconmutativoy
asociativo:
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.230
1! = 1
2! = 2.1! = 2.1
3! = 3.2! = 3.2.1
4! = 4.3! = 4.3.2.1
5! = 5.4! = 5.4.3.2.1
6! = 6.5! = 6.5.4.3.2.1
Esportantoposibleexpresar(verifique)queparan 1:
n
n ! = i
i =1
5.Cuandoalgunosnquedanafuera...
Haypropiedadesquenoseverificanparatodoslosnmerosnaturales,comienzana
verificarseapartirdeunnmeronaturalaydeesenmeroenadelante.
Elenunciado
(n)P(n),na
Setraducecomoparatodonmeronaturalmayoroigualque
a,P(n).
Tambinseescribe:n,nna,P(n)
LavalidezdeestetipodeproposicinsedemuestraporInduccingeneralizada.En
estecasoelmtodosetransformaparaexigirlosiguiente:
Si
1 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 442 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 443
entonces
P(n)esvlidon,nna
Observarquesia=0setieneelmtododeinduccinanteriormentedado.
2.5.1.EJEMPLO:
Observemoslosiguiente:
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.231
1 1
1 =
2 2
1 1 1 2 1
1 1 = =
2 3 2 3 3
Sigamos
1 1 1 1 3 1
1 1 1 = =
2 3 4 3 4 4
1 1 1 1 1 4 1
1 1 1 1 = =
2 3 4 5 4 5 5
Laobservacinnospermitepostularlasiguientereglageneralquedeberemosprobar
porinduccingeneralizada:
Paran 2 :
1 1 1 1
1 1 ... 1 =
2 3 n n
Oequivalentemente(ymejor):
n
1 1
1 i = n
i =2
Unapruebaser:
1) DemostrarP(2)queestablece:
2
1 1
P(2): 1 i = 2
i =2
Desarrollandolaproductoria,queenestecasoesunsolofactor,setiene:
2
1 1
1 i = 1 2
i =2
1 1
yefectivamente1 =
2 2
HabiendocomprobadolaverdaddeP(2),aceptamoscomovlidaP(k)parakarbitrarioy
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.232
k 2y demostremosP (k + 1).
Loqueaceptamoses:
k
1 1
1 i = k
i =2
Loquequeremosdemostrarenestepasoes:
k +1
1 1
1 i = k + 1
i =2
Pordefinicindelaproductoria,setiene
k +1
1 k 1 1
1 = 1 g1
i =2
yporhipotesisinductiva:
i i=2 i k + 1
k
1 1 1 1
1 i g1 k + 1 = k g1 k + 1 yoperandoresulta
i =2
1 1 1 k +1 1 1 k 1
g 1 = g = g =
k k +1 k k +1 k k +1 k +1
simplificandopork ,puesk 0
Porlotantohabiendocumplidolasetapas1)y2)podemosafirmarqueefectivamentevale:
n
1 1
Paran 2 : 1 i = n
i =2
2.5.2.EJERCICIO
Observarlassiguientesexpresiones:
1=1
1+3=4
1+3+5=9
1+3+5+7=16
1+3+5+7+9=25
Losresultadossoncuadrados,veamos:
1=12=(0+1)2
4=22=(1+1)2
9=32=(2+1)2
16=42=(3+1)2
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.233
25=52=(4+1)2
Yadems:
1=2.0+1
3=2.1+1
5=2.2+1
7=2.3+1
9=2.4+1
Conloquepodramosdecir:
1=2.0+1=1=(0+1)2
1+3=(2.0+1)+(2.1+1)=4=(1+1)2
1+3+5=(2.0+1)+(2.1+1)+(2.2+1)=9=32=(2+1)2
1+3+5+7=(2.0+1)+(2.1+1)+(2.2+1)+(2.3+1)=16=42=(3+1)2
1+3+5+7+9=(2.0+1)+(2.1+1)+(2.2+1)+(2.3+1)+(2.4+1)=
=25=52=(4+1)2
Ahorapodemosinducirlasiguientereglageneral:
1+3+5+..........+(2.n+1)=(n+1)2
n
Omejorexpresado: (2.i+1)=(n+1)2
k =0
Valdronoparan0?.
Probarporinduccinlareglapropuesta.Acnoalcanzaconmirar!!
2.5.3.EJEMPLO:
Observaratentamentelademostracinsiguiente:
n,2n>n
SiendoP(n):2n>n
ComoP(0):20>0
Yvaleque
1>0esverdadero,luegoP(0)esvlido
SeaP(t):2t>tquesuponemosverdaderaporhiptesisinductiva.
VeamosquediceyprobemosP(t+1),
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.234
P(t+1):2t+1>t+1
2t+1=2t.2>t.2=t+t;
aquconsideramoslanecesidaddereformareldesarrollodelejercicioporquesit=0,
observarquet+tnoesmayorquet+1
Reformamosentoncescomosigue:
Probemosporinduccingeneralizadaque:
2n>n,n,n1
PorlocualdebemospartirdeprobarlaverdaddeP(1)
P(1):21>1
Como2>1esverdadero,P(1)esverdadero.
Vemoselsiguientepasoqueexigeelmtodo.
P(t):2t>t;t1seaceptacomoverdaderaporhiptesisinductiva.
Tratemosdeprobarparaelsiguiente
P(t+1):2t+1>t+1
2t+1=2t.2>t.2=t+tycomot1entoncest+tt+1,setieneladesigualdaddeseada.
Habiendocumplidolasegundaetapa,hemosprobado:
2n>n,n,n1
PerocomoP(0)tambinvale,entoncessi:(a)P(0)vale,y(b)P(n)valeparatodon1;
entoncesvaleparatodon0,2n>n
2.5.4.EJERCICIO:
Demostraraplicandoinduccincompleta:
n 1 n
a) n,n1, ai = ai 1
i =0 i =1
n
b) n,n1, i. i ! = (n + 1)! 1
i =1
n n
c) n,n1, log b ai = logb ai
i =1 i =1
d) Paratodon,(1+p)n1+n.pparacualquierp>1(fijo)
e) Paran5,2n>n2
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.235
f) n,sen(nx)nsenx
g) Siendolosainmerosrealespara
ai ai cualquieraseaelnaturaln.
i =1 i =1
1 n
h) n,n1, 1 + = n + 1
j =1 n
i) n,cos(n )=(1)n
6.SegundoPrincipiodeInduccinCompleta
ExisteotraformulacinequivalentealPrincipiodeInduccinyadadoquetambin
servirparademostrarpropiedadesuniversalesreferidasalosnmerosnaturalesoquese
refierendesdeunnmeronaturalaenadelante.
LanuevaformulacinseconocecomoSegundoPrincipiodeInduccin:
DadoLunsubconjuntodeC,esdecirLN.
SI:
a) 0L
yentoncesL=N
b)Cualquieraseax, paratodok < x, sikLentoncesxL
Observacin:LadiferenciaconelAxioma5,estenlacondicinb).
Enestenuevoaxiomalaexigenciaesquedelhechoquetodoslosanterioresaxson
elementosdeLpermitainferirquexeselementodeL,entoncesconjuntamentecona)se
obtienequeL= N,yenelprimerPrincipiodeInduccinlacondicinb)ligaunelemento
consusiguiente.
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.236
Elenunciadodelmtododedemostracindelaverdaddeproposiciones(n)P(n)
conuniverso N,quesederivadelSegundoPrincipioes:
1)Probarque
P(0)
esvlido
,
2)Supuestalaverdadde
P(k),
paratodo
k<m
,(con
m
cualquiera
)entonces
probarlaverdaddeP(m)
Estosdospasoscumplidospermitenafirmarque( n)P(n)esverdadera.
TambinhayunmtododedemostracinligadoalSegundoPrincipioparapropiedadesque
severificandesdeunnmeronaturalaenadelante,estoespropiedadescuyoenunciadoesde
laforma:( n)( n n a entonces P(n))oequivalentementedemanerams
informal( n)P(n),conna
SI
1) P(a)esverdaderoY2)paracualquierk ,a k < m ,P (k )verdadero
entoncesP( m)verdadero
1 4 4 4 4 4 4 4 4 4 4 4 4 44 2 4 4 4 4 4 4 4 4 4 4 4 4 4 43
entonces
P(n)esvlidon,nNna
2.6.1.EJEMPLO:
Todonmeronaturalmayorque1esproductofinitodenmerosprimos.
Simblicamentelaproposicintienelaforma:n,nNn>1,P(n)
siendoP(n):nesproductofinitodenmerosprimos
Esdecirquelabasedelainduccines2yaquesepostulasobrelosmayoresque1.
Portantoloquehayquedemostrares:
n,nNn 2,P(n)
VamosaaplicarelmtododerivadodelSegundoPrincipioconbasea=2.
QudiceP(2)?
P(2):2esproductofinitodenmerosprimos
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.237
Como2esunnmeroprimoesobvioqueesproductofinitodeprimos.Si???
Buenohemoscumplidolaetapa1).Sigamos...
Enlaetapa2)vamosaadmitirque
paratodo 2 k < m,P (k )esverdadero,estoesquepara 2 k < m ,
kesproductofinitodenmerosprimosesunaproposicinverdadera.
Conestahiptesis(enrealidadmuchas....)vamosademostrarlaverdaddeP(m)estoes
mesproductofinitodenmerosprimos.
DadomN,m>2,estclaroquemesunnmeroprimoonoloes.
SimesprimoentoncesP(m)esverdadero.Estdeacuerdo?
Simnoesprimoentoncesmadmitedivisoresnotriviales,esdecirqueademsde1,1,my
mhayotrosdivisoresdem.
Porlocualpodemosafirmarqueexistenrysnaturalestalesque:
m=r.scon1<r<my1<s<m(deacuerdo?Piense!!)
ResultaentoncesqueP(r)yP(s)sonproposicionesverdaderasporhiptesis.Estosignifica
quehemosaceptadocomoverdaderas:
resproductofinitodenmerosprimos.
sesproductofinitodenmerosprimos.
Luegotantorcomossonexpresablescomoelproductodeunnmerofinitodeprimos.
Yqupasaconm?
Comomeselproductor.s,tenemosquehayunacantidadfinitadenmerosprimos(losde
rmslosdes)quefactoreanam.
EsdecirhemosdemostradoqueP(m)esverdadera.
Luego,habiendocumplidotambin2),concluimosquen,nNn 2,P(n)osin
simbolismos:
Todonmeronaturalmayorque1esproductofinitodenmerosprimos.
Comentario:Esposibleprobarqueesteresultadoseextiendealosnmerosenteros.Piense
Ud.comolohara.Ademssepuedeprobarqueesafactorizacinesnicasalvoelorden,
demostracinqueescapaalmtodoqueestamosilustrando.Esteeselresultadoquese
conocecomoTeoremaFundamentaldelaAritmtica.
2.6.2.EJERCICIO:
ALGEBRA,CALCULONUMERICOYGEOMETRIAANALITICA
CAP.238
Probarporinduccinquean=3n+5n
Probarqueparatodon,n>0,an<
7
4