Bewys deur oneindige afkoms: Verskil tussen weergawes
Content deleted Content added
Sb008 (besprekings | bydraes) No edit summary |
Sb008 (besprekings | bydraes) No edit summary |
||
Lyn 23:
Veronderstel dat √2 rasioneel was. Dan kan dit geskryf word as
: <math>\sqrt{2} = \frac{p}{q}</math>
Vir twee natuurlike getalle, {{math|''p''}} en {{math|''q''}}. Dan sal kwadrate gee
: <math>2 = \frac{p^2}{q^2}, </math>
: <math>2q^2 = p^2, </math>
.So 2 moet p2 verdeel. Omdat 2 'n priemgetal is, moet dit ook p, deur Euclid se lemma, verdeel. So p = 2r, vir 'n paar heelgetalle r
Maar dan
: <math>2q^2 = (2r)^2 = 4r^2, </math>
: <math>q^2 = 2r^2, </math>
Wat toon dat 2 ook q moet verdeel. Dus q = 2s vir sommige heelgetalle s.
Dit gee
: <math>\frac{p}{q}=\frac{2r}{2s}=\frac{r}{s}</math>.
Dus, as √2 as 'n rasionale getal geskryf kan word, kan dit altyd as 'n natuurlike getal met kleiner dele geskryf word, wat self met kleiner dele, ad infinitum, geskryf kan word. Maar dit is onmoontlik in die stel natuurlike getalle. Aangesien √2 'n reële getal is, wat rasioneel of irrasioneel kan wees, is die enigste opsie wat oorbly, √2 om irrasioneel te wees.
Line 42 ⟶ 43:
=== Irrasionaliteit van √k as dit nie 'n heelgetal is nie ===
Vir positiewe heelgetal k, veronderstel dat √k nie 'n heelgetal is nie, maar is rasioneel en kan uitgedruk word as m / n vir natuurlike getalle m en n, en laat q die grootste getal wees wat nie groter is as √k nie. dan
: <math>\begin{align}
\sqrt k &=\frac mn\\
[8pt] &=\frac{m(\sqrt k-q)}{n(\sqrt k-q)}\\
[8pt] &=\frac{m\sqrt k-mq}{n\sqrt k-nq}\\
[8pt] &=\frac{(n \sqrt k)\sqrt k-mq}{n (\frac{m}{n}) -nq}\\
[8pt] &=\frac{nk-mq}{m-nq}
\end{align}</math>
Die teller en noemer word elk vermenigvuldig met die uitdrukking (√k – q) – wat positief is maar minder as 1 – en dan onafhanklik vereenvoudig. So twee gevolglike produkte, sê m 'en n', is hulself heelgetalle, wat minder as m en n onderskeidelik is. Daarom maak nie saak watter natuurlike getalle m en n gebruik word om uit te druk nie. Daar bestaan kleiner natuurlike getalle m en 'n wat dieselfde verhouding het. Maar oneindige afkoms op die natuurlike getalle is onmoontlik, dus dis die oorspronklike aanname dat √k uitgedruk kan word as 'n verhouding van natuurlike getalle.
<ref>{{Citation|title=What Pythagoras could have done|last=Sagher|first=Yoram|date=February 1988|journal=[[American Mathematical Monthly]]|volume=95|page=117|doi=10.2307/2323064|DOI=10.2307/2323064}}</ref>
=== Nie-oplosbaarheid van
Die nie-oplosbaarheid van <math>r
Gestel daar bestaan so 'n Pythagoreaanse driehoek. Dan kan dit afgekap word om 'n primitiewe (dws sonder gemeenskaplike faktore) te gee. Pythagorese driehoek met dieselfde eienskap. Primitiewe Pythagorese driehoeke se kante kan geskryf word as <math>x
* <nowiki>
* <nowiki>
*
In een van hierdie gevalle het een Pythagoreaanse driehoek met twee sye wat elk 'n vierkant of twee keer 'n vierkant het, tot 'n kleiner een gelei, wat op sy beurt tot 'n kleiner een sou lei. Aangesien so 'n ry nie oneindig kan voortgaan nie, moet die oorspronklike veronderstelling dat so 'n driehoek bestaan, verkeerd wees.
Dit impliseer dat die vergelykings
: <math>r^2 + s^4 = t^4,</math>
: <math>r^4 + s^2 =t^4,</math>
: <math>r^4 + s^4 =t^2</math>
Kan nie nie-triviale oplossings hê nie, aangesien nie-triviale oplossings Pythagorea-driehoeke met twee kante sal gee.
|