Re: [obm-l] TEOREMA FUNDAMENTAL DA ARITM�TICA

[gugu@xxxxxxx]

Vamos l�:

Citando fabbez@zipmail.com.br:

>
> Mostrar que:
>
>
> a) SE r � raiz da equa��o 10^r=2 entao r � irracional.

Se r fosse racional, digamos r=p/q com p e q inteiros positivos (note que r �
positivo), ter�amos 10^(p/q)=2, donde 10^p=2^q, absurdo, pois 10^p � m�ltiplo
de 5, mas 2^q n�o �.

>
> b) Se n pertence aos naturais � livre de quadrado, isto �, n�o existe numero
> primo p tal que p^2 divide n, ent�o a raiz de n � irracional.

Isto � falso se n=1, que � livre de quadrados e tem raiz inteira. Se n>1 �
verdade, e segue do item c) abaixo: se a raiz de n fosse racional, seria
inteira; se k � a raiz de n, n=k^2, e, como n>, temos k>1, donde existe p primo
que divide k, e logo p^2 divide k^2=n, e logo n n�o � livre de quadrados.

>
> c)Se raiz de n � racional, ent�o raiz de n � inteiro.

Imagino que aqui n denote um n�mero natural. Se raiz de n=p/q onde p e q s�o
inteiros positivos tais que mdc(p,q)=1, temos n=p^2/q^2. De mdc(p,q)=1 segue
que mdc(p^2,q^2)=1 (de fato, os fatores primos de p^2 s�o os mesmos fatores
primos de p, e os fatores primos de q^2 s�o os mesmos de q). Assim, como
p^2/q^2=n � inteiro, temos necessariamente q=1 (pois p^2=q^2.n, donde q^2
divide p^2, e logo q^2 divide 1, pois q^2 � primo com p^2). Assim, n=p^2, e a
raiz de n � igual a p, que � inteiro.

   Abra�os,
             Gugu


----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.

=========================================================================
Instru��es para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================