GRADOENINFORMTICA

SOLUCINdelExamendeALGEBRA(MatemticaDiscreta)
22deEnerode2013

EjercicioPrimero(CombinatoriayRecurrencia,3+3puntos).
Qu diferencia existe entre combinaciones de n elementos tomados de
k en k yvariacionesde n elementostomadosde k en k ?Investigarsipara
n > 3 ,secumple Ckn > Vkn 2 ,oalrevs,osidependerde n .
Solucin. Una combinacin de k elementos elegidos de entre n es simplemente un
grupode k objetostomadosdelos n disponibles, sintenerencuentaelordenenque
n!
aparecen.Elnmeroposibledetalescombinacioneses Ckn =
.Unavariacin
(n k )!k !
de k elementos elegidos de entre n es simplemente un grupo de k objetos tomados
delos n disponibles, teniendoencuentaelordenenqueaparecen.Elnmeroposible
n!
detalesvariacioneses Vkn =
.
(n k ) !
Lacontestacinalacuestin Ckn > Vkn 2 ?esqueengeneral,no:Sea k = 0 .Entonces
n!
n!
setieneque C0n =
=1=
= V0n 2 .
(n 0)!0!
(n 0)!

Qu se entiende por resolver una recurrencia? Tras definir qu es una

recurrencialinealculeslatcnicahabitualpararesolverrecurrenciasdeese
tipo?
Paratrabajar:resolver 2an + 2 = 10an +1 12an ,juntoconlascondicionesiniciales

a1 = 3, a2 = a3 .
Solucin. Resolver una recurrencia es hallar la expresin del trmino general de una
sucesin tal que al sustituirla en la recurrencia sta se satisfaga idnticamente. Una
recurrencia se llama lineal si su expresin es una combinacin lineal finita de
elementos de una sucesin. La regla general para resolverlas es suponer que la
sucesin buscada es una progresin geomtrica an = r n , donde la razn hay que
hallarlaapartirdelosdatosdelarecurrencia.Sihubieramsdeunarazn,lasolucin
se escribira como combinacin lineal de las correspondientes progresiones,
obtenindoseloscoeficientesapartirdelascondicionesiniciales.
La cuestin propuesta es claramente lineal. Suponiendo an = r n , de
2an + 2 = 10an +1 12an se pasa a 2r n + 2 = 10r n +1 12r n . Dividiendo todo por 2r n queda la
ecuacin de segundo grado r 2 5r + 6 = 0 , cuyas soluciones son r1 = 3, r2 = 2 . Por
tanto la solucin es de la forma an = 3n + 2n . Para encontrar los coeficientes
usamoslascondicionesiniciales:
a1 = 31 + 21 = 3 + 2 = 1

a2 = 32 + 22 = 9 + 4

a3 = 33 + 23 = 27 + 8
dedondeseobtieneelsiguientesistemadeecuaciones:

3 + 2 = 1

18 + 4 = 0

1
1
quedarlosvaloresdeloscoeficientes.Alfinalqueda an = 3n 2n .
9
2

EjercicioSegundo(AritmticaEnterayModular)(3+3puntos).
ExplicarenquconsisteelAlgoritmodeEuclidesPorquterminasiempre?Si
se invierte el algoritmo se obtiene un teorema: Enunciarlo y comprobar su
validezparaelpardenmeros (68,32) .
Solucin.Dadosdosnmerosenterospositivos a > b ,elAlgoritmodeEuclidesesun
procedimiento,basadoenreiterarladivisinconresto,quecalculasuMCD.Funciona
as:
Dividir: a = bq1 + r1
Si r1 = 0 , el algoritmo termina, siendo b el MCD(a,b). Esto es cierto porque b divide
tanto a comoasmismo,yeselmayorposibledelosnmerosconesapropiedad.
Si r1 0 ,elalgoritmocambia a por b y r1 ocupaellugarde b :
Dividir: b = r1q2 + r2
Si r2 = 0 ,elalgoritmotermina,siendo r1 el MCD (a, b) ,puesestenmeroesdivisorde
b y tambin de a , porque a = bq1 + r1 = r1q2 q1 + r1 = r1 (q2 q1 + 1) y es el mayor con esas
propiedades.
Si r1 0 , el algoritmo cambia divisores y dividendos, de forma que, en general, el
algoritmovienedadoporlafrmula rj = rj +1q j + 2 + rj + 2 ,siendoelltimorestononulo

elMCDbuscado.
AlinvertirelAlgoritmodeEuclidesseobtieneelTeoremadeBzout:ElMCDdedos
nmerosescombinacinlinealdeellos.Enelcasodelpar (a, b) = (68,32) tendremos:
68 = 32 2 + 4

32 = 4 8 + 0
LuegoelMCDes4.Despejandoel4delaprimeraecuacinseobtienelacombinacin
4 = 68 1 + 32 (2) .

A qu se llama divisores de 0 en la aritmtica Z n ? Cmo se cuenta el

nmero de divisores de cero en Z n ? Resolver en Z5 la ecuacin de segundo
grado x 2 + 2 x = 3 Porqunopuederesolverse,enprincipio,en Z 6 ?
Solucin. El conjunto Z n est formado por los nmeros

{0,1, 2,..., n 1} que

representanlosposiblesrestosdedividircualquiernmeropor n .Losdivisoresde0
sonaquelloselementosde Z n queposeendivisorescomunescon n (excluimosel0).
Los divisores de 0 no tienen inverso multiplicativo El nmero de divisores de 0 en
Z n es n (n) ,siendo (n) lafuncindeEuleren n .
Para resolver la ecuacin dada lo ms rpido es escribirla as: x( x + 2) = 3 y construir
unatablaquemuestralasdossoluciones:

Valordex
1
2
3
4
x( x + 2) = 3 ?
s
s
no
no
essolucin?
s
s
no
no
Dado que en Z5 no hay divisores de 0, es posible aplicar tambin la frmula de la
solucinhabitual,perorecordandoquetodaslasoperacioneshanderealizarsesegn
lastablasdesumarymultiplicarde Z5 .
En Z6 noesposibleefectuaralgunasoperaciones,porejemplodividirpor2,pues2
es divisor de 0 y carece de inverso multiplicativo. En la frmula de solucin de las
ecuacionesdesegundogradoapareceunadivisinpor2,luegonopodemosutilizarla.
Sin embargo, se puede seguir usando el mtodo (en realidad es un algoritmo) de la
tabla:

Valordex
1
2
3
4
5
x( x + 2) = 3 ?
s
no
s
no
no
essolucin?
s
no
s
no
no

EjercicioTercero(ConjuntosyLgica)(3+3puntos)
Definirclasedeequivalenciadeunelementodeunconjuntorespectodeuna
relacin de equivalencia R . Sobre el conjunto N N se da la relacin:
( a, b) R (c, d ) a + d = b + c Es de equivalencia? En caso afirmativo, hallar la
clasedel (8,3) .
Solucin.Unarelacindeequivalenciasobreunconjunto A eselconjunto R detodos
losparesdeelementos (a, b) A A talesque:
1.Todoslospares ( a, a ) pertenecenal(sesueleescribir aRa enlugarde (a, a ) R
(simetra).
2.Si aRb ,entoncestambin bRa (reflexividad).
3.Si aRb y bRc ,entonces aRc (transitividad).
Si x A , su clase respecto de la relacin de equivalencia es el conjunto siguiente:
[ x] = { y A yRx} .Evidentemente,elpropioxperteneceasuclase.
En el ejercicio propuesto, la relacin dada s es de equivalencia: Si escribimos
( a, b) R (c, d ) como1+4=2+3sermsfcil.
1. (a, b) R ( a, b) pues a + b = b + a .
2. Si (a, b) R (c, d ) , tambin es (c, d ) R ( a, b) , puesto que 1+4 = 2+3 es ahora
a + d = b + c enamboscasos.
3.Si (a, b) R (c, d ) y (c, d ) R (e, f ) ,entoncestambines (a, b) R (e, f ) .Enefecto:
a+d =b+c

a + d + f = b + (c + f ) = b + ( d + e)

a+ f +d =b+e+d
a+ f =b+e

Laclasede (8,3) eselconjunto [(8,3)] = {( x, y ) ` ` 8 + y = 3 + x} ,osealospuntos

decoordenadasenterasdelarecta y = x 5 quesehallanenleprimercuadrante,esto
es [(8,3)] = {(5, 0), (6,1), (7, 2), (8,3), (9, 4),...}

Traducir a lenguaje lgico el siguiente razonamiento: Quienes toman el sol

sinquitarselasgafasdesolacabanteniendocercosblancosentornoalosojos.
Maruchi no tiene cercos blancos en torno a los ojos, luego no ha tomado el
sol. Una vez escrito en lenguaje simblico, explicar si se trata de un
razonamiento vlido (se admiten explicaciones retricas, esto es, slo con
palabras).
Solucin.Consideremoslospredicadossiguientes:
s(x)=xtomaelsol
g(x)=xnousagafasdesol
c(x)=xtienecercosblancos
Laprimerafrasequedacomosigue: x [ ( s ( x ) g ( x)) c( x) ]
PoniendoM=Maruchi,lasegundafrasees M [c( M ) s ( M )]

Elrazonamientonoesvlido,porqueM,quenotienecercos,puedehabertomado
elsol,perosingafas.

NOTAFINAL
Aunque no dio tiempo a explicarlo en las clases, el mtodo para comprobar si el
razonamientoesvlidoeselsiguiente:
I.Fraseprimera: x [ ( s ( x ) g ( x)) c( x) ]
II.(particularizarparaM) ( s ( M ) g ( M )) c ( M )
Apartirdeahorayanohaypredicados,sloproposiciones.
III.Usamoslaequivalenciaconelcontrarrecproco: c( M ) s ( M ) ( M ))
IV.Frasesegunda: c( M ) s ( M )
V.ComparamosIIIyIV.Nosonidnticas,luegoelrazonamientonoesvlido.

Explicacin:Enlenguajeordinario,lainformacindequedisponemos,procedente
delafraseprimeraycontenidaenIII,es:SiMnotienecercos,entoncesobienno
hatomadoelsolonohausadogafas.Sinembargo,lafrasesegundadice(IV):SiM
no tiene cercos, entonces no ha tomado el sol. Como falta la parte o no us
gafas,elrazonamientoesinvlido.