METODOS DE DEMOSTRACIN.

Realiza la siguiente demostracin. 43 es irracional y la sugerencia es

Si 3|n4 entonces 3|n.
Demostracin [Mtodo Indirecto ]
1. Q
2. =
q

...negacin de la tesis

(p,q) perteneciente a los enteros,

de cero, m.c.d (p,q)=1

...denicin de nmero racional en 1

3. 3 =

elevando a la 4 en 2

4. 3 =

propiedad de la potenciacin en 3

5. 3(

)=

...Despejando

en 4

6. 3 |

...Denficin de divisibilidad en 5

7. 3 | p

...Por la sugerencia en 6

8. p = 3k, k Z

...definicin de divisibilidad en 7

9. 3(

)= (3

...Sustitucin de 8 en 5

10. 3

= 81

...propiedad de la potenciacin en 9

11.

= 27

12.

= 3(9

...despejando
)

en 10

...distributiva en 11

13. 3|

...Denicin de divisibilidad en 12

14. 3|q

...por la sugerencia en 13

15. 3|p 3|q

... conjuncin entre 7 y 14

16. m.c d (p,q) 3

...Propiedad del m.c.m en 15

17. no pertenece a los racionales.

...Mtodo indirecto en 1

 Por lo tanto pertenece a los irracionales.

Realiza la siguiente demostracin: si m|n y n|p entonces m|p .

Demostracin [Mtodo directo]
1. m|n

hiptesis

2. n|p

hiptesis

3. n=

a los enteros

definicin de divisibilidad en 1

4. p=

a los enteros

definicin de divisibilidad en 2

5. p=

sustitucin de 3 en 4

6. p=

asociativa en 5

7. p=
8. m|p

donde =

, a los enteros.

clausurativa en 6
definicion de divisibilidad en 7