Professional Documents
Culture Documents
15
16
'(#
15
# ).
Restamos ( a los trminos de la desigualdad queda entonces: *# supongamos que e,iste un nmero racional
15
+(#1
15
15
*#c.
15
quedar:
15
#-.
15 15
tam-in mltiplo de
que se contradice con la suposicin anterior ya que la desigualdad indica que e,iste un entero menor que -.
15
" si se reogani%a
15
+-.('c"
queda entonces la desigualdad de la siguiente manera: *#c. 15 #-. 15 por tanto se demuestra que no e,iste un nmero racional cuyo cuadrado /
a 0 sea 15 2 b
racionales. R: demostracin por reduccin al a-surdo a0 supongamos que ,1y fuera racional entonces tendremos: ,1y' r y'r+, como r y , entonces y' r2, es racional" con lo cual llegamos a un a-surdo pues ya y era irracional luego entonces ,1y es irracional. -0 supongamos que ,y es raciona
R: $e demuestra por induccin: para n'1('14 6ntonces se de-e demostrar que se cumple para n11: 1( 1 4( 1 ((1 51 n( ' /1 1 4 1 ( 1 51n04 7eremos que se cumpla para n11 1( 1 4( 1 ((1 51 n( 1 /n110(' /1 1 4 1 ( 1 51n041/n110(' /1 1 4 1 ( 1 51n041/n110/n1104'/1 1 4 1 ( 1 51n041n/n11041/n1104 $e demuestra aparte que: n/n1104'4/1141(1...1n0/n110 n/n110'4/ 1 1 4 1 ( 1 51n0 n/n11024' 1 1 4 1 ( 1 51n 8o cual es cierto pues es la frmula de la suma de los n primeros elementos de una sucesin aritmtica 6ntonces tenemos: 1( 1 4( 1 (( 1 51 n(1/n110('/1 1 4 1 ( 1 51n0414/ 1 1 4 1 ( 1 51n0/n1101/n1104' '9 /1 1 4 1 ( 1 51n01/n110:4 llegamos a la frmula del cuadrado perfecto y se demuestra que la frmula es ;lida para n11 y queda demostrada la induccin
xy
x+y #y 2
y
+ +
x x
y y x xy
04
* # ,1y+4 * # ,1y+4 4
xy
# ,1y
x+ y 2
xy
x+ y y+ y # 2 2 x+ y #y 2
Integrando todo lo anterior ,#
xy
x+y #y 2
5. $ea" ,
nmero real. R: 8a desigualdad triangular es la -ase para la respuesta y dice lo siguiente: si ," y R" entonces se cumple x + y > x 1 y con la demostracin siguiente: + x > , > x + y > , > y sumando am-as tenemos + x + y > ,1y > x 1 y +/ x 1 y 0> ,1y > x 1 y y por propiedades de los ;alores a-solutos eso significa x + y > x 1 y los nmeros que se dieron no ;erifican la desigualdad triangular luego entonces alguno no es nmero real" como tenemos el supuesto de que , es real entonces y no pertenece a los nmeros reales