Kvadratroten av et ikke-kvadrattall er irrasjonal
Lagt inn: 04/09-2013 12:47
Bevis for at kvadratroten av et ikke-kvadrattall er irrasjonal.
Tar i bruk aritmetikkens fundamentalteorem.
Anta for motsigelse at $\sqrt{a}=\frac{m}{n}$ der $m,n \in \mathbb{N}$ og brøken er forkortet så mye som mulig. Vi kan skrive $a \cdot n_1^2 n_2^2 \cdots n_i^2 = m_1^2 m_2^2 \cdots m_j^2$ hvor vi har skrevet m og n som produkt av primtall. $n \neq 1$ siden $m = \sqrt{a}$ da ville vært et heltall som betyr at a er kvadrattall. Siden m'ene og n'ene ikke har noen felles faktorer, har m'ene a som faktor, slik at vi kan skrive $n_1^2 n_2^2 \cdots n_i^2 = p_1 p_2 \cdots p_k$ hvor p'ene er primtall som kommer fra m. Men dette strider mot det faktum at brøken $\frac{m}{n}$ er forkortet så mye som mulig, siden vi vist at m og n under antagelsen har felles faktorer. Antagelsen er dermed feil, og setningen er bevist.
Hva tror dere?
Tar i bruk aritmetikkens fundamentalteorem.
Anta for motsigelse at $\sqrt{a}=\frac{m}{n}$ der $m,n \in \mathbb{N}$ og brøken er forkortet så mye som mulig. Vi kan skrive $a \cdot n_1^2 n_2^2 \cdots n_i^2 = m_1^2 m_2^2 \cdots m_j^2$ hvor vi har skrevet m og n som produkt av primtall. $n \neq 1$ siden $m = \sqrt{a}$ da ville vært et heltall som betyr at a er kvadrattall. Siden m'ene og n'ene ikke har noen felles faktorer, har m'ene a som faktor, slik at vi kan skrive $n_1^2 n_2^2 \cdots n_i^2 = p_1 p_2 \cdots p_k$ hvor p'ene er primtall som kommer fra m. Men dette strider mot det faktum at brøken $\frac{m}{n}$ er forkortet så mye som mulig, siden vi vist at m og n under antagelsen har felles faktorer. Antagelsen er dermed feil, og setningen er bevist.
Hva tror dere?