Você está na página 1de 1

Alumna: Marjorie Canaval Cati

Cdigo: 2012-36387

2.- Demostrar que no hay ningn nmero racional cuyo cuadrado sea 12.

Solucin.

Asumir el contrario, que no es un nmero racional p tal que 2 = 12.

m y n son nmeros enteros con p = m = n y para el cual es 3 no es un factor


comn.

El supuesto, 2 = 122 , por lo 2 es divisible por 3

Por lo tanto, m es divisible por 3 2 es divisible por 9

Esto significa que122 es divisible por 9 y 42 es divisible por 3.

Por lo tanto 2 es divisible por 3n es divisible por 3.

Hemos demostrado que 3 es un factor comn de m y n, una contradiccin.

12.-

SI z1; : : : ; zn son complejos, demuestran que

|1 + . . +| |1|+. . . +||

Solucin: Procedemos por induccin sobre n. Para n = 1 no hay nada que


mostrar y el caso
N = 2 es la desigualdad del tringulo que viene dada por el Teorema 1.33 en la
pgina 14 del texto.
Supongamos que el resultado se cumple para n - 1. Entonces

|1 + . . +| = |1 + (2+. . . +)||1|+|2+. . . +|
|1| +|2|++||

Donde la ltima desigualdad sigue por la hiptesis inductiva aplicada al trmino

|2+. . . +|