Pauta de Correccin o Primer Certamen Fundamentos de Informtica I a

9 de mayo de 2009

1. Por contradiccin. Supongamos o turales a y b con gcd(a, b) = 1: 10 = a b 2 a = 10 b2

10 racional, entonces podemos escribir para nmeros nau

Entonces tenemos que 2 | a2 , ya que 2 | 10. Pero como 2 es primo, debe ser 2 | a, digamos a = 2c. Con esto queda: (2c)2 = 10b2 2c2 = 5b2 De forma similar, 2 | b2 y por tanto 2 | b. Pero de ser as 2 es factor comn de a y b, que , u hab amos supuesto no tienen factores comunes.

Puntajes
Total Por contradiccin o Plantear a2 = 10b2 Obtener contradiccin o 15 5 5 5

Otra alternativa es tomar a2 = 2 5 b2 y considerar sus descomposiciones en primos. Al lado izquierdo 2 aparece con una potencia par, al lado derecho aparece con una potencia impar. Por el teorema fundamental de la aritmtica, esto es imposible. e

Puntajes
Total Descomponer a2 = 10b2 Potencia par e impar de 2 (o 5) Teorema fundamental de la aritmtica e 15 5 5 5

2. Sabemos que 31 es primo. Por el teorema de Fermat, como 31 | 29, sabemos que: 29311 1 Ahora bien: 3965 = 132 30 + 5 29 2 29
3163

(md 31) o

(md 31) o
13230+5 5

(2) (2) 2 1 30
5

(md 31) o

(md 31) o (md 31) o (md 31) o

32

(md 31) o (md 31) o

Puntajes
Total Teorema de Fermat aplicable Clculos mdulo 31 a o Resultado numrico nal e 15 7 5 3

3. Para que sea relacin de equivalencia, debe ser: o Reexiva: a a para todo a Transitiva: Si a b y b c entonces a c Simtrica: Si a b entonces b a e a) No es transitiva. Por ejemplo, gcd(3, 4) = gcd(4, 9) = 1, con lo que 3 4 y 4 9; pero gcd(3, 9) = 3, o sea 3 9. No es relacin de equivalencia. o
2 2 b) Es reexiva, ya que (x1 , y1 ) (x1 , y1 ) corresponde a x2 + y1 = x2 + y1 . 1 1 2 2 Es transitiva, (x1 , y1 ) (x2 , y2 ) y (x2 , y2 ) (x3 , y3 ) se traducen en x2 + y1 = x2 + y2 1 2 2 2 2 2 2 2 2 2 y x2 + y2 = x3 + y3 , que dan x1 + y1 = x3 + y3 , vale decir (x1 , y1 ) (x3 , y3 ) 2 2 2 2 Es simtrica, porque (x1 , y1 ) (x2 , y2 ) es x2 + y1 = x2 + y2 , o sea x2 + y2 = x2 + y1 , e 1 2 2 1 que corresponde a (x2 , y2 ) (x1 , y1 ) Es relacin de equivalencia. o Geomtricamente, (x1 , y1 ) y (x2 , y2 ) son equivalentes si estn sobre la misma circunfee a rencia centrada en el origen.

c) Es reexiva, ya que para todo x R tenemos x x = 0 Q, o sea x x. Es transitiva, ya que si x y y y z corresponden a x y = a Q y y z = b Q. Pero entonces x z = (x y) + (y z) = a + b Q, lo que es decir x z. Es simtrica, ya que x y corresponde a x y = a Q, con lo que y x = a Q, o e sea y x. Es relacin de equivalencia. o

Puntajes
Total Denicin de relacin de equivalencia o o a) Falla transitividad (ejemplo) b) Cada condicin: 1 o c) Cada condicin: 1 o 15 6 3 3 3

4. La demostracin es por induccin. o o Base: Cuando n = 1, se reduce a 1 = 1, que claramente es cierto. Induccin: Supongamos que la aseveracin es cierta para n, vale decir: o o 13 + 23 + . . . + n3 = (1 + 2 + . . . + n)2 y queremos demostrar para el caso siguiente, n + 1. Tenemos: ((1 + 2 + . . . + n) + (n + 1)) = (1 + 2 + . . . + n)2 + 2(1 + 2 + . . . + n)(n + 1) + (n + 1)2 = 13 + 23 + . . . + n3 + n(n + 1)2 + (n + 1)2 = 13 + 23 + . . . + n3 + (n + 1)3 Esto es lo pedido.
2

Puntajes
Total Plantear induccin o Plantear caso base, es verdadero Plantear paso induccin o Demostrar paso induccin o 20 5 3 3 9

5. Para que sea campo, debe cumplir las siguientes condiciones para todos a, b, c C con las operaciones + y (i) a + (b + c) = (a + b) + c (ii) a + b = b + a (iii) Hay un elemento 0 tal que a + 0 = a (iv) Para cada a hay un a tal que a + (a) = 0 (v) a (b c) = (a b) c (vi) a b = b a (vii) Hay un elemento 1 tal que a 1 = a (viii) Para cada a = 0 hay un a1 tal que a (a1 ) = 1 (ix) (a + b) c = (a c) + (b c) Como estamos trabajando con nmeros reales y las operaciones de los mismos, slo hace falta u o demostrar que al operar dos elementos de C nuevamente obtenemos un elemento en C, que 0 y 1 pertenecen a C, y que estn a y a1 . Las dems propiedades vienen gratis. a a En detalle: Claramente: 0=0+0 1=1+0 2 2

y ambos pertenecen.

Para las operaciones, si a = u + v 2 y b = x + y 2, tenemos que: a = u + (v) 2 a + b = (u + x) + (v + y) 2 a b = (ux + 2vy) + (uy + vx) 2 Todo lo que aparece ac son racionales. a Para el inverso multiplicativo, supongamos a = u+v 2 = 0, y buscamos a1 = x+y 2 tal que: a a1 = 1 (ux + 2vy) + (uy + vx) 2 = 1 Esto signica: ux + 2vy = 1 vx + uy = 0 Este ultimo sistema de ecuaciones tiene solucin para (x, y) slo si su determinante o o u2 2v 2 no es cero. Pero que sto sea cero con u, v = 0 signica: e u2 2v 2 = 0 u 2 =2 v Como u y v son racionales, esto es imposible (sabemos que existe para todo a = 0. 5 2 es irracional), y a1

En detalle, resulta: x= u 2v 2 v y= 2 u 2v 2 u2

Es un campo.

Puntajes
Total Condiciones de campo Propiedades heredadas y faltantes Demostrar propiedades -0y1 - Operaciones cerradas - Est a a - Est a1 a 25 9 3 13 2 4 2 5

6.

a) Demostraremos la implicacin en cada direccin por separado. o o Primeramente, suponemos gcd(a, b) = 1, queremos demostrar que gcd(a2 , b2 ) = 1. Usamos el hecho que gcd(x, y) = gcd(y, x) y que si tenemos gcd(x, y) = gcd(x, z) = 1, entonces gcd(x, yz) = 1. Aplicando sto con x = a e y = z = b nos queda gcd(a, b2 ) = 1, e y aplicndola nuevamente ahora con x = b2 e y = z = a obtenemos gcd(a2 , b2 ) = 1. a Otra manera es demostrarlo por contradiccin. Si gcd(a2 , b2 ) > 1, sabemos que hay un o primo que lo divide, llammosle p. Como p | gcd(a2 , b2 ), debe ser p | a2 y p | b2 , pero e entonces p | a y p | b por las propiedades de los primos, y en consecuencia p | 1. Esto es absurdo. Por el otro lado, si gcd(a2 , b2 ) = 1, existen s, t Z tales que: s a2 + t b2 = 1 (sa) a + (tb) b = 1 En esta ultima expresin sa y tb son enteros, lo que nos asegura que gcd(a, b) = 1. o b) Sea d = gcd(a, b). En tal caso: gcd(a/d, b/d) = 1 Entonces, usando las propiedades del mximo comn divisor y el resultado anterior: a u gcd(a2 , b2 ) = gcd(d2 (a/d)2 , d2 (b/d)2 ) = d2 gcd((a/d)2 , (b/d)2 ) = d2 = (gcd(a, b))
2

ya que gcd(a/d, b/d) = 1, y aplicando lo anterior gcd((a/d)2 , (b/d)2 ) = 1. Ntese que esto no puede aplicarse en reversa, por ejemplo gcd(8, 12) = 4 = 22 ), pero o ni 8 ni 12 son cuadrados perfectos. Adems, se puede hacer exactamente lo mismo con otras potencias. a Una manera adicional de demostrar las anteriores es descomponer a y b en sus factores primos, y expresar gcd(a, b) en trminos de stos. En rigor, no hemos demostrado esta relacin, eso e e o s .

Puntajes
Total a) Demostrar y b) 25 15 2 8 5 10

A HvB/L TEX 2