You are on page 1of 15

LA DEMOSTRACIN EN MATEMTICAS

En estas notas, a modo de aterrizaje en los estudios del Grado en Matemticas, se pretende que el alumno entre en contacto con el quehacer en Matemticas, que el aroma del oficio matemtico se empiece a sentir dentro del aula. Estas notas no pretenden ser exhaustivas, ni mucho menos. Ni se puede decir que el alumno que las trabaje correctamente adquirir definitivamente con ellas un grado tal de madurez que lo sit e en plenas condiciones ante el reto de seguir las clases de las diferentes asignaturas como el de su posterior asimilaci!n. "ero al menos queremos que el salto cualitativo de unos estudios de secundaria a otros de nivel superior sea lo menos traumtico posible, pretendemos llenar el vac#o $grande a nuestro entender$ que supone el iniciar unos estudios universitarios, los del grado en Matemticas, sin haber estado el alumno demasiado en contacto en el instituto con los mecanismos l!gicos en los que se basan la creaci!n % el desarrollo de las diferentes reas del campo matemtico. &ras unas charlas sobre '!gica Matemtica % sobre el lenguaje de las matemticas, ahora abordamos la cuesti!n de la demostraci!n en Matemticas. (eguiremos el siguiente #ndice de contenidos) *. +ntroducci!n. ,bjetivo de estas notas. -. &ipos de demostraci!n. Ejemplos % ejercicios. .. /omentarios alrededor de la demostraci!n en Matemticas. 0. &extos de demostraciones. 1. 2eferencias bibliogrficas.

1. INTRODUCCIN
(eg n el diccionario de la 'engua Espa3ola de la 2eal 4cademia Espa3ola, demostraci!n 5del lat#n demonstratio, $onis6 es, seg n una de las entradas del t7rmino, 8la prueba de algo, partiendo de verdades universales % evidentes9. En t7rminos matemticos, diremos que una demostraci!n es una serie de pasos l!gicos, donde cada paso se sigue de manera l!gica de los anteriores, encontrndose que el ltimo escal!n es justamente la afirmaci!n que se quiere probar. El siguiente esquema nos aclara de forma intuitiva el procedimiento de trabajo en los diferentes campos de las Matemticas.

Aplicaciones Teoremas, Corolarios

Lemas, Proposiciones,...

Definiciones AXIOMAS
"artiendo de unas definiciones % un cuerpo axiomtico bien definidos, se trata de ir desarrollando un cuerpo te!rico en el que en primer lugar se van deduciendo, mediante pasos l!gicos, una serie de resultados 8menores9 5lemas, proposiciones, :6, que vienen a ser piezas de un puzle que unidas convenientemente dan lugar a resultados de ma%or envergadura % calado. 4unque en principio el cuerpo de doctrina que se desarrolla es meramente te!rico, no son desde3ables $ni debemos perder su perspectiva$ las posibles aplicaciones de los resultados encontrados. (in ir ms lejos, la descomposici!n de los n meros naturales en factores primos es pilar en que se basa el fluir seguro de informaci!n en +nternet. 4 continuaci!n, veremos los diferentes m7todos de demostraci!n que se emplean en los pasos l!gicos que conducen a las afirmaciones que se quieren probar. ;ebe destacarse que la validez de los resultados obtenidos siguen un estricto protocolo o control de calidad) partiendo de verdades %a conocidas debemos encontrar argumentos l!gicos que nos conduzcan a la conclusi!n deseada.

2. MTODOS DE DEMOSTRACIN EN MATEMTICAS


&ratamos en este apartado los siguientes mecanismos l!gicos) M7todo directo. 2educci!n al absurdo. /ontrarrec#proco. <icondicionales 5doble implicaci!n6. Equivalencias m ltiples. M7todo de inducci!n. /ontraejemplos.

Mtodo directo

En los libros de texto se suele leer) 8(i 4, entonces <9 8"ara que se cumpla < es suficiente que se cumpla 49 8< es una condici!n necesaria para que se cumpla 49 (e trata de de demostrar que si se cumple la propiedad 4, entonces se verifica <. Ejemplos: i6 (i a es un n mero real, sabiendo que en el conjunto de los n meros reales se cumple la propiedad distributiva del producto respecto de la suma % que 0 es el elemento neutro de la suma, probar que a0 =0. ii6 (i n es un n mero natural impar, probar que n2 es de la forma 8k+1, para alg n entero k1. iii6 ;emostrar que para cada terna de n meros reales positivos a, b, c se cumple que a/(b+c) + b/(a+c) + c/(a + b) 1. iv6 ;ado un entero positivo n, probar que n3-n es siempre m ltiplo de 3. v6 ;emostrar que las soluciones de la ecuaci!n ax2+bx+c=0, donde a,b,c son n meros reales, vienen dadas a trav7s de la f!rmula (-bb2-4ac)/2.

Reduccin ! "#urdo
"ara probar que una propiedad 4 es verdadera, se supone que 4 es falsa % se llega a una contradicci!n. Evidentemente, empleamos el hecho de que una proposici!n en Matemticas ! es verdadera ! es falsa, pero no ambas cosas a la vez. =a% que decir que este recurso era mu% querido por los matemticos griegos. =a% quienes opinan que es preferible dar, si es posible, demostraciones directas, para de esa forma no confundir al alumno con tantas suposiciones que lleguen a crearle una sensaci!n de falta de control en el razonamiento, al no poder saber en cada momento qu7 es cierto o qu7 es falso. Ejemplos: i6 "robar que 2 es un n mero real irracional. ii6 ;emostrar que ha% infinitos n meros primos 5Euclides6.

Contr rrec$%roco

NO B

NO A

Este mecanismo de demostraci!n se basa en el hecho de que la implicaci!n 4 < es equivalentemente l!gica a N, < N, 4. Este mecanismo es aconsejable cuando no sabemos c!mo trabajar a partir de la hip!tesis 4 %, en cambio, la negaci!n de < proporciona un buen punto de partida. No se debe confundir el contrarrec#proco con el mecanismo de reducci!n al absurdo. Ejemplos) i6 (i n2 es un n mero natural par, entonces n es par. ii6 (ean x, y n meros reales. (i x2+y2=0, entonces x=0 e y=0.

Do"!e i&%!ic cin

El recproco de la implicaci!n 4 > < es < > 4. ,bviamente si se cumple una implicaci!n no tiene por qu7 cumplirse necesariamente la otra. "or ejemplo, si 4 representa a la propiedad de que un n mero natural es m ltiplo de ? % < a la de ser m ltiplo de ., tenemos que 4 > < pero su rec#proco es cierto 5@sabr#a demostrarloA6. /uando se tiene que tanto la implicaci!n 4 > < como su rec#proco < > 4 son ciertas, decimos que

las condiciones 4 % < son equivalentes % empleamos el signo de la doble implicaci!n. En los textos aparece desarrollada esta doble implicaci!n en sentencias del tipo) 8"robar que 4 % < son equivalentes9 8"robar que se cumple 4 si, % s!lo si, se cumple <9 8Bna condici!n necesaria % suficiente para que se d7 4 es que se verifique <9 Ejemplos: i6 ;ados dos n meros reales x,y se cumple que x2+y2=0 si, % s!lo si, x=0 e y=0. ii6 ;ados dos enteros n, m se cumple que nm es par si, % s!lo si, n es par ! m es par. iii6 "ara que un paralelogramo sea un rectngulo es condici!n necesaria % suficiente que sus diagonales tengan la misma longitud. Equivalencias m ltiples) 4 lo largo de la carrera nos encontraremos con enunciados que afirmen que una serie de propiedades son equivalentes. "or ejemplo, en Clgebra 'ineal se demuestra el siguiente resultado. 8;ada una matriz 4 con n filas % n columnas, las siguientes afirmaciones son equivalentes) i6 4 es invertible ii6 4 tiene rango n iii6 'as filas de 4 son vectores linealmente independientes iv6 El sistema homog7neo de ecuaciones lineales con matriz de coeficientes 4 es determinado v6 4 tiene determinante no nulo9 En este caso, estamos diciendo que las condiciones se implican unas a otras, as# que en cuanto sepamos que una de ellas es cierta 5o no se cumple6 entonces del resto podremos decir lo mismo. Existen muchas formas de demostrar el resultado anterior, en el sentido de que podemos escoger distintos itinerarios de implicaciones, eso s#, en las que intervengan todas las condiciones % de modo que dicho itinerario forme un bucle cerrado. "or ejemplo, una posible v#a ser#a i6 > ii6 > iii6 > iv6 > v6 > i6 ,tra posibilidad puede ser i6 v6 junto con ii6 > iii6 > v6 > iv6 > ii6 Etc7tera. Ejemplo: "robar que, dados dos n meros reales no negativos a,b las siguientes afirmaciones son equivalentes) i) a < b ii) a2 < b2 iii6 a < b

Mtodo de induccin
(ea "5n6 una propiedad relacionada con el n mero natural n. (e demuestra que "516 es cierta. (e prueba que si "5k6 es cierta, entonces "5k+16 tambi7n lo es.

En ese caso, la propiedad "5n6 es vlida para cualquier n D N. Ejemplo: "robar por inducci!n que la suma de los n primeros enteros positivos es igual a n(n+1)/2) 1 + 2 + 3 + + n =n(n+1)/2 En este caso, "5n6Ela suma de los n primeros enteros positivos es n(n+1)/2 'a propiedad es cierta para n=1) "516E1E1(2)/2E1 Es conveniente ver que tambi7n es cierta para algunos valores ms "526E1+2=3=2(3)/2 !(3)=1+2+3="=3(4)/2. 'a dificultad del m7todo de inducci!n est en probar el paso general, esto es, demostrar que si suponemos que la propiedad es cierta para k, tambi7n lo es para k+1. (e supone que "5k6Ek(k+1)/2 % queremos probar que la f!rmula sigue siendo vlida tambi7n para k+1, es decir, que "5k+16E(k+1)(k+2)/2. Famos all. "5k+16E1 + 2 + + k + (k+1)E "5k6 + (k+1) E aplicamos la hip!tesis de inducci!n Ek(k+1)/2 +(k+1)=(k+1)#k/2+1$=(k+1)(k+2)/2, como quer#amos probar. Ejercicios: i6 Encontrar una f!rmula para 2+4+"+ +2n, n1, % demostrarla por inducci!n. ii6 "robar por inducci!n que para n%0 la derivada de &n(x)=xn es & n '(x)=nxn-1. ;os observaciones) &ambi7n se puede aplicar el m7todo de inducci!n para probar que una propiedad es cierta a partir de un valor k0, no tenemos por qu7 empezar necesariamente la inducci!n por 1. En segundo lugar, cuando demostramos el paso general adems de suponer que la propiedad "5k6 es cierta en un paso k podemos utilizar que la propiedad es cierta para 1, 2, , k.

Contr e'e&%!o#
4 veces, la validez de una propiedad se refuta dando un ejemplo en el que no se cumple dicha propiedad) habremos probado entonces que,en general, la propiedad en cuesti!n es falsa. 4 dichos ejemplos que echan abajo la validez de la propiedad se les conoce con el nombre de contrajemplos. En muchas ocasiones, cuando nos enfrentamos a resolver un problema % vemos que la propiedad que queremos demostrar no tiene un ataque sencillo, nos podemos plantear la posibilidad de encontrar un contrajemplo.

Ejercicios) i6 @Es cierto que para cada entero positivo n se cumple que &(n)=n2-n+1( es un n mero primoA ii6 @Es cierto que la derivada de una funci!n derivable % peri!dica sigue siendo peri!dicaA @G qu7 podemos decir de la integral de una funci!n peri!dica integrableA iii6 'eibniz prob! que para cualquier entero positivo n se cumple > n3-n es m ltiplo de . > n)- n es m ltiplo de 1 > n(-n es m ltiplo de H 4 la vista de esos resultados, @podemos concluir que, en general, nk -n es divisible por k.

(. COMENTARIOS
A. Sobre cmo abordar el enfren arse a !na demos racin
(e deben entender todas las hip!tesis as# como el resultado al que se quiere llegarI es mu% importante conocer el marco en el que estamos trabajando. Bna vez que entiendas bien de d!nde partes % a d!nde quieres llegar, utiliza cualquiera de los mecanismos que has visto en la secci!n anterior. G no olvides tener en cuenta los conocimientos previos de cada uno de los temas en que te est7s desenvolviendo. "or ejemplo, si te piden demostrar que el l#mite de la suma de dos sucesiones convergentes es igual a la suma de cada uno de los l#mites, est claro que tendrs que conocer la definici!n de l#mite de una sucesi!n % de c!mo se formula matemticamente la convergencia de una sucesi!n. 4 medida que va%a pasando el tiempo te dars cuenta con ma%or rapidez de qu7 tipo de razonamiento debers aplicar, en esto la repetici!n rutinaria en clase % tu esfuerzo en casa te proporcionarn la madurez necesaria para afrontar con 7xito la lectura % comprensi!n de cualquier demostraci!n.

B. "ip esis la en es
Folviendo al tema de tener claras todas las hip!tesis % de especificarlas convenientemente en los enunciados, en el siguiente ejercicio se ve la importancia de este aspecto.

Ejercicio: 'as siguientes afirmaciones son falsas. Explica por qu7 % a3ade las hip!tesis necesarias
para dar validez a las respectivas afirmaciones. 'a ecuaci!n x2-2=0 no tiene soluciones. ;os rectas que no son iguales ni paralelas se cortan en un punto. (i una funci!n &*2>2 verifica &(0)<0 % &(2)%0, entonces su grfica corta el eje de abscisas en el intervalo (0,2).

Ejercicio: En la prensa, regional o nacional, suele aparecer en la pgina de pasatiempos el


siguiente juego, llamado cuadro num7rico. 82ellenar los cuadros en blanco con los n meros apropiados, de modo que resolviendo las operaciones que se especifican se puedan obtener los resultados que se solicitan.9

+ +
X X

=1

+
4
J J

:
=1

+ :
=2 =7

+
=9 =2

@/ree que el enunciado es preciso, desde un punto de vista matemticoA @"or qu7A @/ul es el tipo de soluci!n buscadaA (i son soluciones enteras, @inclu%e el ceroA @Ku7 tiene que decir respecto al orden de las operacionesA @Es nica la soluci!nA

C. #rrores en las demos raciones


/omo se dijo en secciones anteriores, para superar el control de calidad debemos cerciorarnos de que todos los argumentos l!gicos son correctos. No siempre es tarea fcil, como muestran los siguientes ejemplos) ELEM"', *) ;etecte el error en la siguiente demostraci!n, en donde se prueba que 1=2. 8(upongamos que x=yI entonces x2=xyI por tanto, restando a ambos lados y2, tenemos x2-y2=xy-y2I de aqu#, factorizando, se llega a (x+y)(x-y)=y(x-y)I simplificamos en esta ltima igualdad para llegar a que x+y=xI como x=y, se sustitu%e % se obtiene 2y=yI % al simplificar se obtiene MM1=2NN9. ELEM"', -) 8Kueremos resolver la ecuaci!n x3-3x2+4x-"=0. 'a reescribimos as#) x(x2-3x+4)=3+2I igualamos factores) x=3, x22-3x+4=2I es decir x=3, x2 -3x+2=0I al resolver la ecuaci!n de segundo grado se obtiene) x=3, x=1, x=2I por tanto, las soluciones son x=1, x=2, x=39. MM"ero el alumno puede comprobar, mediante sustituci!n en la ecuaci!n de partida, que ninguno de los valores es soluci!nNN ELEM"', .) 8Kueremos resolver la ecuaci!n trigonom7trica ,-n(2x)=1. &enemos en cuenta que ,-n(./2)=1I en ese caso, x=./4I por tanto, la soluci!n general, que debe contemplar cualquier n mero arbitrario de vueltas, ser x=./4+2.k, con k un n mero entero arbitrario.9 MM"ero no todas las soluciones estn contempladas en la expresi!n anteriorNN@"or qu7A

ELEM"', 0) 4 continuaci!n os presentamos la prueba de que la suma de los ngulos de un tringulo es igual a O radianes. (in embargo, no es correcta. @(abr#as indicar en d!nde falla el razonamientoA 8"ara ma%or comodidad, sin que ello suponga p7rdida de generalidad, trabajaremos sobre el siguiente tringulo

' ( & % ) *

'lamamos P a la suma de los ngulos del tringulo. ,bservamos entonces que *Q-Q.E P, as# como 0Q1Q?E P. (umando ambas igualdades, llegamos a *Q-Q.Q0Q1Q?E-PI por otra parte, *Q.Q0Q?EP % -Q1EO, as# que 5*Q.Q0Q?6Q5-Q16E-P > P Q O E -P > despejando, P E O, como quer#amos demostrar9.

D. Con$e !ras
Ga dijimos que la validez de los resultados en Matemticas siguen un estricto protocolo de control de calidad) debe encontrarse un argumento l!gico que, mediante el uso de propiedades %a conocidas, nos conduzcan a la conclusi!n deseada. Este control no lo superan las llamadas conjeturas, proposiciones que se elaboran a partir de la experiencia acumulada % de las observaciones realizadas, pero que no se logran demostrar con argumentos l!gicos. 4 veces, el uso de computadoras da evidencias num7ricas de que la propieda en cuesti!n es vlida para ciertos valores, pero este hecho no es bastante como para concluir categ!ricamente que la propiedad es cierta =asta hace unos pocos a3os, la conjetura ms famosa era la de Rermat, quien a mediados del siglo SF++ afirm! que para nT- una suma de potencias de base entera % exponente n no puede dar lugar a una potencia de las mismas caracter#sticas. ,tras conjeturas que estn todav#a sin resolver % que, seguramente, tendrn que esperar a que se desarrollen las herramientas matemticas apropiadas, son) /onjetura de Goldbach) 8&odo n mero par ma%or que - se puede escribir como la suma de dos n meros primos9 /onjetura de los primos gemelos) 8=a% infinitos primos gemelos, esto es, infinitas parejas de primos que son consecutivos 5saltando, obviamente el par que los separa69. /onjetura de /ollatz) 8;ado un n mero entero positivo n1 , realizamos el siguiente proceso de iteraci!n) si n1 es par, devolvemos n1 /2I si n1 es impar, hacemos 3 n1 +1I % repetimos el proceso de nuevo. "or ejemplo, si n1=", encontramos la sucesi!n U?,.,*V,1,*?,W,0,-,*,0,-,*,-,0,...X. "ues bien, la conjetura de /ollatz afirma que, se empiece por el n mero n1 que se quiera, acabaremos llegando al bucle peri!dico *,-,0,*,-,0, ...9

#. #l in+enio en las demos raciones


El ingenio es importante cuando se quiere hacer una demostraci!n. 4dems, al matemtico le gusta encontrar nuevas demostraciones que sean lo ms sencillas posibles, sin un arsenal mu% sofisticado, aunque no siempre es posible 5recordemos el teorema de Rermat6. &ambi7n el tiempo hace que va%amos aprendiendo nuevas estrategias de resoluci!n. i6 El principio del palomar como parte de ese ingenio. @Ku7 argumento podr#amos elaborar para demostrar que en la regi!n de Murcia ha% al menos dos personas con el mismo n mero de pelos en la cabezaA 5se exclu%en los calvos6. ii6 'as fichas de domin!. @Ku7 argumento podr#amos elaborar para demostrar que si en un tablero de ajedrez quitamos dos esquinas es imposible teselar la figura resultante con .* fichas de dos cuadrados cada unaA iii6 Bn problema de desigualdades) @Ku7 n mero es ma%or, O elevado a - o - elevado a OA iv6 "robar que todas las funciones reales derivables &(x) tales que &'(x)=&(x) son del tipo &(x)=/-x, con / una constante arbitraria.

). TE*TOS DE DEMOSTRACIONES
'os siguientes resultados estn tomados de diferentes libros de texto. En ellos vamos a tratar de reconocer los mecanismos de demostraci!n que se han aplicado e intentaremos diseccionar los ingredientes que forman parte en sus enunciados.

Proposicin: (ea 0 un conjunto % sea Y una le% de composici!n interna 5l.c.i.6. Entonces existe a lo sumo un elemento neutro en 0 respeto de Y . ;emostraci!n) (upongamos que e % e' son dos elementos neutros en 0. Entonces se satisfacen las siguientes igualdades) e Y e' E e' E e' Y e 5por ser e neutro6 e Y e' E e E e' Y e 5por ser e' neutro6 /onsecuentemente, eEe', csqd. Z 2esponda a las siguientes preguntas) *6 @Ku7 conceptos debe conocer a priori para entender perfectamente el enunciadoA -6 @"odr#a dar un ejemplo reconocible de un conjunto % una operaci!n interna dentro de 7lA .6 @Ku7 tipo de prueba se desarrolla en la demostraci!nA 06 (eg n se desarrolla la demostraci!n, @piensa que se da por hecho que siempre existe un elemento neutroA @"odr#a precisar un poco ms la parte inicial de la pruebaA

Teorema: (i 1=(xn) es una sucesi!n convergente de n meros reales % si xn 0 para toda nDN, entonces x*=2im(xn) 0. ;emostraci!n) (up!ngase que la conclusi!n es falsa % que x<0I entonces 3*=-x es positiva. "uesto que 1 converge a x, existe un n mero natural 4 tal que x 5 3 < xn < x + 3 para toda n 4. En particular se tiene x4 < x + 3 = x + (-x)=0 . "ero esto contradice la hip!tesis de que xn 0 para toda nDN. "or lo tanto, esta contradicci!n indica que x 0. Z 2esponda) *6 @Ku7 conceptos debe entender perfectamente si quiere comprender completamente la demostraci!nA -6 @Ku7 mecanismo emplea el autor para demostrar el teoremaA .6 "iense) (i en el enunciado escribimos 8(i 1=(xn) es una sucesi!n convergente de n meros reales % si xn %0 para toda nDN, entonces x*=2im(xn) % 09, @ser verdadera o falsa la afirmaci!nA (i es cierta, demu7strelo, % si es falsa proponga un contraejemplo.

Teorema: (ea 6 un subconjunto de R. Entonces las tres afirmaciones siguientes son equivalentes) a6 6 es compacto. b6 6 es cerrado % acotado. c6 &odo subconjunto infinito de 6 tiene un punto de acumulaci!n en 6. ;emostraci!n) /omo se indic! antes, 5b6 implica 5a6. (i probamos que 5a6 implica 5b6, que 5b6 implica 5c6 % que 5c6 implica 5b6, habremos establecido la equivalencia de las tres afirmaciones. (upongamos que se verifica 5a6. "robaremos primero que 6 est acotado. Elijamos un punto : por lo tanto, 6 est acotado. 4 continuaci!n probaremos que 6 es cerrado. (upongamos que no lo fuese. Existir#a : Esta contradicci!n prueba que 6 es cerrado %, por lo tanto, que 5 6 implica 5 6. (upongamos que se verifica 5b6. En este caso la demostraci!n de 5c6 es inmediata, %a que : (upongamos que se verifica 5c6. "robaremos 5b6. (i 6 no estuviese acotado, : en contradicci!n con el hecho de que : &odo ello prueba que 6 est acotado. "ara terminar la demostraci!n tenemos que probar que 6 es un conjunto cerrado. (ea x un punto de : con lo cual queda demostrado que 5c6 implica 5a6. Z 2esponda) *6 =aga un esquema de la estrategia seguida para demostrar el resultado. -6 @/untas veces se ha empleado el mecanismo de la reducci!n al absurdoA .6 /omplete la parte subra%ada en el texto. 06 (i quiere entender perfectamente el enunciado, @qu7 conceptos deber conocer necesariamenteA 16 En la demostraci!n se usa un resultado previo establecido en el texto con anterioridad. @(abr#a decir cul esA

+. RE,ERENCIAS -I-LIO.R,ICAS
'ibro de Miguel de Guzmn) 8/!mo hablar, demostrar % resolver en Matemticas9, Editorial 4na%a, -VV.. 8M7todo de inducci!n matemtica. 'ecciones populares de Matemticas9, +.(. (omins[i, Editorial Mir, *\W1 5librillo de unas ?V pginas con todo lo que se debe saber acerca del m7todo de inducci!n6. Materiales de la Bniversidad /omplutense de Madrid) http)]]^^^.mat.ucm.es]_angelin]labred]indice.htm Materiales de la "rofesora Marta Macho, de la Bniversidad del "a#s Fasco) http)]]^^^.ehu.es]_mt^mastm];ocencia.html

E/ERCICIOS
*. ;emuestra que si 7 es un entero no divisible por 2 ni divisible por 3, entonces 72-1 es divisible por 12. -. ;ado un n mero natural par n, probar que n(n2+20) es m ltiplo de 48. .. ;ados dos n meros reales no negativos a, b, probar que su media aritm7tica es siempre ma%or o igual a su media geom7trica, esto es, (a+b)/2 ab . 0. /on el fin de trabajar correctamente el uso de implicaciones en las demostraciones, se pide que en las siguientes frases se completen los puntos suspensivos con 8si9, 8s!lo si9 ! 8si % s!lo si9 % se formule la propiedad usando los s#mbolos de implicaci!n correspondiente) Bna suma de n meros enteros es impar s!lo si uno de ellos es impar 5si la suma es impar uno de ellos es impar 6 Bn producto de n meros enteros es par : : : uno de ellos es par. ;os n meros enteros suman -1 : : : uno de ellos es ma%or que *-. Bn n mero entero es par : : : su cuadrado es m ltiplo de 0. Bn n mero natural que acaba en 0 es m ltiplo de 0 : : : la cifra de las decenas es par. Bn n mero natural es m ltiplo de 1 : : : acaba en 1. x-$1xQ?EV : : : xE- ! xE.. x.$?x-Q**x$?EV : : : xE- ! xE.. "ara un n mero real x se tiene) x D `*,-a : : : x- D `*,0a.

1. En la misma l#nea del ejercicio anterior, complete ahora los puntos suspensivos con 8necesario9, 8suficiente9 ! 8necesario % suficiente9. "ara que un producto de n meros enteros sea impar es : : : que uno de ellos sea impar. "ara que una suma de n meros reales xQ% sea positiva es : : : que x e % sean positivos. "ara que un n mero real x est7 en el intervalo `*,1a es : : : que el cuadrado x - est7 en el intervalo `*,-1a. "ara que una matriz cuadrada 4 sea invertible es : : : que su determinante b4b sea no nulo.

?. (i a, b son n meros reales positivos tales que ab 8 (a+b)/2, entonces a8b. H. @(on ciertas las siguientes afirmaciones sobre n meros realesA /onteste razonadamente. (x+y)2=0 si, % s!lo si, x=y=0. (i a es un n mero irracional % b es racional, entonces a+b es necesariamente irracional. (i a % b son n meros irracionales, a9b es necesariamente irracional.

W. (ean 4, <, / conjuntos. "robar la validez de las siguientes propiedades) 4c5< B /6 E 54 c<6 B 54 c /6. 54 d <6 B 5< d 46 E 54 B <6d 54 c <6. 'a imagen f54 c <6 est contenida en f546cf5<6, donde f es una aplicaci!n arbitraria.

\. ;emuestra que x+(1/x)2 para todo n mero real positivo x. *V. "rueba que 3 es un n mero real irracional. **. ;efinimos la parte entera de un n mero real x, y la representamos a trav7s de #x$, como el ma%or de los enteros k tal que k : x. "or ejemplo, #3'24$=3 % #-12'8;($=-13. "rueba que para cualquier pareja x, y de n meros reales se tiene que una condici!n necesaria % suficiente para que se cumpla #x$<#y$ es que exista un entero n de modo que x < n : y. *-. (ean a,b n meros reales con 0<a<b, % sea n un entero positivo. "robar que existe un entero k tal que a < k/n < b si, % s!lo si, #na$+1 < nb. *.. (i escogemos seis n meros entre * % *V, dos de ellos sumarn **. *0. (ea 4 la matriz -x- de coeficientes a **Ea*-Ea--E*, a-*EV. Encontrar una f!rmula para la matriz 4n, donde n es un entero positivo. *1. ;educir una f!rmula para la suma de los cuadrados de los n primeros n meros enteros positivos, % demostrar su validez mediante inducci!n. *?. "ara acabar, reljate un poco con el siguiente sudo[u, pero, eso s#, resu7lvelo de manera l!gica, e interioriza qu7 tipo de razonamiento has efectuado en cada paso. * ? H 0 * 0 . * 1 ? ? \ \ 0 W 1 W W H W H \ . 1 \