Inviato: 09 giu 2008, 01:41
Passerò per il solito arcipignolo, ma...

La parte in grassetto, in effetti, è facoltativa: quando hai dimostrato che sia p che q devono essere pari hai già un assurdo (poiché avevamo inizialmente supposto la frazione ridotta ai minimi termini)fede90 ha scritto:Passo 1. Dimostriamo che $ $\sqrt[3]2$ $ è irrazionale. Supponiamo per assurdo che sia razionale, cioè che $ $\sqrt[3]2=\frac{p}{q}$ $ (con q che non divide p, cioè la frazione p/q è ridotta ai minimi termini). Elevando tutto al cubo otteniamo $ $2p^3=q^3$ $ perciò q deve essere pari. Poniamo $ $q=2q'$ $. Sostituendo si ottiene $ $p^3=4q'^3$ $. Da qui otteniamo che p deve essere pari, perciò $ $p=2p' $. Sostituendo si ottiene $ $2p'^3=q'^3$ $, da cui $ $\sqrt[3]2=\frac{p'}{q'}$ $, assurdo perchè avevamo supposto che p/q era ridotta ai minimi termini.
