FACULTAD DE CIENCIAS EXACTAS, INGENIERA Y AGRIMENSURA - UNR

CURSO INTRODUCTORIO 2014

MATEMTICA
Prof. responsable: Lic. Mara Beatriz Vital
CAPTULO 2
EJERCICIO 1. Pgina 19
i. La suma de dos nmeros naturales consecutivos no es divisible por dos.
Demostracin
Sea El consecutivo de ser, entonces, . : . : : 1
Luego,
: (: 1) = : : 1 = 2: 1 ( ) _
nmero impar, ya que es un nmero natural :
como es un nmero natural arbirtrario, la suma de cualquier nmero natural y su consecutivo no es :
divisible por dos.
ii. La suma de tres nmeros naturales consecutivos es divisible por tres.
Demostracin
Sea El consecutivo de ser, entonces, y el consecutivo de ste, , es decir, : . : : 1 : 1 1 ( )
: 2.
Luego,
: (: 1) : 2 = : : : 1 2 = 8: : = 8 : 1 ( ) ( ) ( ) ( )
___
nmero divisible por tres, ya que
es un nmero entero : 1
como es un nmero natural arbirtrario, la suma de tres nmeros naturales consecutivos cualquiera :
es divisible por tres.
iii. Si un nmero es par, entonces su cuadrado es par.
Demostracin
Sea un nmero entero par a .
Si es par, entonces, es posible expresar dicho nmero como , para algn nmero entero ; es a 2 : :
decir, . : a = 2 :
Luego,
a = (2 :) = (2 :) (2 :) = 2 (2 : :) = 2 2:
2 2 2
_
( )
nmero par, pues 2:
2
es un nmero entero.
como es un nmero par arbirtrario, el cuadrado de cualquier nmero par es, tambin un nmero a
par.
iv. Si el cuadrado de un nmero es par, entonces el nmero es par.
Demostracin
Sea un nmero entero cuyo cuadrado es par. Debemos demostrar que, en ese caso, tambin tiene que a a
ser par.
Supongamos que no lo fuera. Qu pasara entonces?
Si no fuera par, entonces sera impar, con lo cual resultara posible expresarlo como , para a 2 : 1
algn nmero entero ; es decir, . : : a = 2 : 1
Luego,
a = (2 : 1) = 4: 4: 1 = 4: 4: 1 = 2 2: 2: 1
2 2 2 2 2
( ) ( )
_____________
nmero impar, pues es 2: 2:
2
un nmero entero
Pero esto es imposible, puesto que, por hiptesis, es un nmero par. a
2
a no puede ser impar, con lo cual, si el cuadrado de un nmero entero es par, entonces dicho nmero
es tambin par.
v.
_
2 es un nmero irracional.
Demostracin
Supongamos que
_ _
2 no fuera un nmero irracional. Luego, 2 sera racional y existiran nmeros
, = 0 = con . Supongamos, adems, que es
_
2 y son primos relativos; es decir, que


ya una fraccin irreducible. En ese caso,
_
2 = = 2 = 2 = 2


= = = = = (
2
2 2 2
2
2
es un nmero par
= = : = 2 : es un nmero par (ejercicio 1 iv)
Luego, volviendo a la igualdad y reemplazando en ella por , se tiene que

2
2
= 2 2 :

2
2:
4: 4:
2
2 2 2
2
2 2
= 2 = 2 = 2 = = 2 : = = = = =
( )
2 2 2 2
es un nmero
par es un nmero par (ejercicio 1 iv) =
tanto como son nmeros pares.
Pero esto es imposible, puesto que habamos supuesto que y eran primos relativos.
Esta contradiccin indica que la suposicin que habamos realizado al comienzo no puede ser cierta; es
decir,
_ _
2 no puede ser un nmero racional. Luego, 2 es un nmero irracional.