Mathematics · Boek 1 · Grades 1–9

Wiskunde basisschool en onderbouw

Wiskunde basisschool en onderbouw · Grades 1–9

65Vierkantswortels

Hoe lang is de diagonaal van een vierkant met zijde 11? De stelling van Pythagoras antwoordt 2\sqrt 2, een getal met kwadraat 22 — en dat, zo blijkt, geen breuk is. Dit hoofdstuk definieert vierkantswortels, stelt de rekenregels ervoor vast, en leert hoe je uitdrukkingen als 75\sqrt{75} vereenvoudigt.

65.1 Definitie en eerste eigenschappen

Definitie 65.1 (Vierkantswortel)

Zij a0a \geq 0. De vierkantswortel van aa, geschreven a\sqrt a, is het enige niet-negatieve getal met kwadraat aa:

a0en(a)2=a.\sqrt a \geq 0 \qquad\text{en}\qquad \left(\sqrt a\right)^2 = a .

Negatieve getallen hebben geen vierkantswortel, want elk kwadraat is niet-negatief.

Voorbeeld 65.2

49=7\sqrt{49} = 7, 0=0\sqrt 0 = 0, 1=1\sqrt 1 = 1, 2.25=1.5\sqrt{2.25} = 1.5. De eerste vierkantswortels om uit het hoofd te kennen zijn die van de volkomen kwadraten: 1,4,9,16,25,36,49,64,81,100,121,1441, 4, 9, 16, 25, 36, 49, 64, 81, 100, 121, 144.

De diagonaal van een eenheidsvierkant heeft lengte √12 + 12 = √2 1.414, volgens de stelling van Pythagoras ( haalt die weer op). Dit getal is irrationaal: zijn decimalen repeteren nooit.
De diagonaal van een eenheidsvierkant heeft lengte 12+12=21.414\sqrt{1^2 + 1^2} = \sqrt2 \approx 1.414, volgens de stelling van Pythagoras (Hoofdstuk 69 haalt die weer op). Dit getal is irrationaal: zijn decimalen repeteren nooit.

Propositie 65.3 (Vierkantswortel van een kwadraat)

Voor elk reëel getal xx (positief of niet):

x2=x={xals x0,xals x<0.\sqrt{x^2} = \abs{x} = \begin{cases} x & \text{als } x \geq 0,\\ -x & \text{als } x < 0 . \end{cases}

Bewijs. Het getal x\abs{x} is niet-negatief en zijn kwadraat is x2x^2 (een getal en zijn tegengestelde hebben hetzelfde kwadraat). Omdat het het enige niet-negatieve getal met kwadraat x2x^2 is, is het x2\sqrt{x^2}.

Voorbeeld 65.4

(5)2=25=5=5\sqrt{(-5)^2} = \sqrt{25} = 5 = \abs{-5}: de vierkantswortel “vergeet” het teken, hij herstelt het niet. In het bijzonder is x2=x\sqrt{x^2} = x verkeerd voor negatieve xx.

65.2 Producten en quotiënten van vierkantswortels

Stelling 65.5 (Regels voor vermenigvuldigen en delen)

Voor alle a0a \geq 0 en b0b \geq 0:

ab=a×b,en voor b>0:ab=ab.\sqrt{a b} = \sqrt a \times \sqrt b, \qquad\text{en voor } b > 0:\quad \sqrt{\frac ab} = \frac{\sqrt a}{\sqrt b} .

Bewijs. Het getal a×b\sqrt a \times \sqrt b is niet-negatief (een product van niet-negatieve getallen), en zijn kwadraat is

(a×b)2=(a)2×(b)2=ab.\left(\sqrt a \times \sqrt b\right)^2 = \left(\sqrt a\right)^2 \times \left(\sqrt b\right)^2 = a b .

Omdat het niet-negatieve getal met kwadraat abab uniek is, is het gelijk aan ab\sqrt{ab}. De regel voor het quotiënt bewijs je op dezelfde manier.

Opmerking 65.6 (Zo’n regel bestaat niet voor sommen!)

a+b\sqrt{a + b} is in het algemeen niet a+b\sqrt a + \sqrt b:

9+16=25=5,maar9+16=3+4=7.\sqrt{9 + 16} = \sqrt{25} = 5, \qquad\text{maar}\qquad \sqrt 9 + \sqrt{16} = 3 + 4 = 7 .

Methode 65.7 (n\sqrt n vereenvoudigen)

Om de vierkantswortel van een geheel getal te vereenvoudigen:

  1. zoek het grootste volkomen kwadraat dat nn deelt (ontbind nn als dat nodig is);
  2. splits met de productregel en haal het kwadraat eruit: k2m=km\sqrt{k^2 m} = k\sqrt m;
  3. ga na dat geen volkomen kwadraat meer deelt wat onder de wortel is overgebleven.

Voorbeeld 65.8

Vereenvoudig 75\sqrt{75}: omdat 75=25×375 = 25 \times 3, is

75=25×3=25×3=53.\sqrt{75} = \sqrt{25 \times 3} = \sqrt{25} \times \sqrt 3 = 5\sqrt3 .

Vereenvoudig 72\sqrt{72}: omdat 72=36×272 = 36 \times 2, is 72=62\sqrt{72} = 6\sqrt2. En een quotiënt: 4916=4916=74\sqrt{\dfrac{49}{16}} = \dfrac{\sqrt{49}}{\sqrt{16}} = \dfrac74.

Voorbeeld 65.9 (Vierkantswortels optellen)

Sommen van vierkantswortels vereenvoudigen alleen wanneer de wortels gelijksoortig zijn. Bereken 12+2748\sqrt{12} + \sqrt{27} - \sqrt{48}, en vereenvoudig eerst elke term:

12=4×3=23,27=9×3=33,48=16×3=43,\begin{align*} \sqrt{12} &= \sqrt{4 \times 3} = 2\sqrt3, \\ \sqrt{27} &= \sqrt{9 \times 3} = 3\sqrt3, \\ \sqrt{48} &= \sqrt{16 \times 3} = 4\sqrt3, \end{align*}

zodat de som 23+3343=(2+34)3=32\sqrt3 + 3\sqrt3 - 4\sqrt3 = (2 + 3 - 4)\sqrt3 = \sqrt3 is.

Voorbeeld 65.10 (Uitwerken met vierkantswortels)

De merkwaardige producten van de algebra gelden ook voor vierkantswortels. Werk (5+2)2\left(\sqrt5 + 2\right)^2 uit met (a+b)2=a2+2ab+b2(a+b)^2 = a^2 + 2ab + b^2:

(5+2)2=5+2×25+4=9+45.\left(\sqrt5 + 2\right)^2 = 5 + 2 \times 2\sqrt5 + 4 = 9 + 4\sqrt5 .

En met het derde product, (a+b)(ab)=a2b2(a+b)(a-b) = a^2 - b^2:

(7+3)(73)=73=4:\left(\sqrt7 + \sqrt3\right)\left(\sqrt7 - \sqrt3\right) = 7 - 3 = 4 :

het product van twee irrationale getallen kan een geheel getal zijn.

65.3 De vergelijking x2=ax^2 = a

Stelling 65.11 (x2=ax^2 = a oplossen)

  1. Is a>0a > 0, dan heeft de vergelijking x2=ax^2 = a precies twee oplossingen: a\sqrt a en a-\sqrt a;
  2. is a=0a = 0, dan is 00 de enige oplossing;
  3. is a<0a < 0, dan is er geen oplossing.

Bewijs. Herschrijf x2=ax^2 = a als x2(a)2=0x^2 - \left(\sqrt a\right)^2 = 0 wanneer a0a \geq 0, en ontbind als een verschil van kwadraten:

(xa)(x+a)=0,\left(x - \sqrt a\right)\left(x + \sqrt a\right) = 0 ,

dus is x=ax = \sqrt a of x=ax = -\sqrt a (die vallen samen als a=0a = 0). Is a<0a < 0, dan is er geen oplossing, want x20>ax^2 \geq 0 > a voor elke xx.

x2 = 3 oplossen op de parabool y = x2: de horizontale lijn y = 3 snijdt haar in de twee abscissen ±√3.
x2=3x^2 = 3 oplossen op de parabool y=x2y = x^2: de horizontale lijn y=3y = 3 snijdt haar in de twee abscissen ±3\pm\sqrt3.

Voorbeeld 65.12

x2=16x^2 = 16: oplossingen 44 en 4-4. x2=5x^2 = 5: oplossingen 5\sqrt5 en 5-\sqrt5 (exacte waarden; 52.236\sqrt5 \approx 2.236). x2=9x^2 = -9: geen oplossing. 3x2=213x^2 = 21: deel eerst door 3, dan is x2=7x^2 = 7, met oplossingen ±7\pm\sqrt7.

65.4 Oefeningen

Oefening 65.1

Bereken zonder rekenmachine:

64,100,0.09,125,(13)2,(4)2.\sqrt{64}, \qquad \sqrt{100}, \qquad \sqrt{0.09}, \qquad \sqrt{\tfrac{1}{25}}, \qquad \left(\sqrt{13}\right)^2, \qquad \sqrt{(-4)^2} .
Oplossing

Oplossing van Oefening 65.1.

64=8\sqrt{64} = 8; 100=10\sqrt{100} = 10; 0.09=0.3\sqrt{0.09} = 0.3 (want 0.32=0.090.3^2 = 0.09); 125=15\sqrt{\frac{1}{25}} = \frac15; (13)2=13\left(\sqrt{13}\right)^2 = 13; (4)2=16=4=4\sqrt{(-4)^2} = \sqrt{16} = 4 = \abs{-4}.

Oefening 65.2

Vereenvoudig:

50,45,98,300.\sqrt{50}, \qquad \sqrt{45}, \qquad \sqrt{98}, \qquad \sqrt{300} .
Oplossing

Oplossing van Oefening 65.2.

50=25×2=52\sqrt{50} = \sqrt{25 \times 2} = 5\sqrt2; 45=9×5=35\sqrt{45} = \sqrt{9 \times 5} = 3\sqrt5; 98=49×2=72\sqrt{98} = \sqrt{49 \times 2} = 7\sqrt2; 300=100×3=103\sqrt{300} = \sqrt{100 \times 3} = 10\sqrt3.

Oefening 65.3

Bereken en vereenvoudig:

2×18,753,5×20,850.\sqrt2 \times \sqrt{18}, \qquad \frac{\sqrt{75}}{\sqrt3}, \qquad \sqrt5 \times \sqrt{20}, \qquad \frac{\sqrt{8}}{\sqrt{50}} .
Oplossing

Oplossing van Oefening 65.3.

2×18=36=6\sqrt2 \times \sqrt{18} = \sqrt{36} = 6.

753=753=25=5\dfrac{\sqrt{75}}{\sqrt3} = \sqrt{\dfrac{75}{3}} = \sqrt{25} = 5.

5×20=100=10\sqrt5 \times \sqrt{20} = \sqrt{100} = 10.

850=850=425=25\dfrac{\sqrt8}{\sqrt{50}} = \sqrt{\dfrac{8}{50}} = \sqrt{\dfrac{4}{25}} = \dfrac25.

Oefening 65.4

Los op: x2=36x^2 = 36; x2=11x^2 = 11; x2+4=0x^2 + 4 = 0; 2x2=502x^2 = 50.

Oplossing

Oplossing van Oefening 65.4.

x2=36x^2 = 36: x=6x = 6 of x=6x = -6.

x2=11x^2 = 11: x=11x = \sqrt{11} of x=11x = -\sqrt{11}.

x2+4=0x^2 + 4 = 0 betekent x2=4<0x^2 = -4 < 0: geen oplossing.

2x2=502x^2 = 50: x2=25x^2 = 25, dus x=5x = 5 of x=5x = -5.

Oefening 65.5

Breng samen tot één term: 20+45\sqrt{20} + \sqrt{45}, en daarna 3818+23\sqrt8 - \sqrt{18} + \sqrt2.

Oplossing

Oplossing van Oefening 65.5.

20+45=25+35=55\sqrt{20} + \sqrt{45} = 2\sqrt5 + 3\sqrt5 = 5\sqrt5.

3818+2=3×2232+2=(63+1)2=423\sqrt8 - \sqrt{18} + \sqrt2 = 3 \times 2\sqrt2 - 3\sqrt2 + \sqrt2 = (6 - 3 + 1)\sqrt2 = 4\sqrt2.

Oefening 65.6 ★★

Werk uit en vereenvoudig:

(3+1)2,(253)2,(6+2)(62).\left(\sqrt3 + 1\right)^2, \qquad \left(2\sqrt5 - 3\right)^2, \qquad \left(\sqrt6 + \sqrt2\right)\left(\sqrt6 - \sqrt2\right).
Oplossing

Oplossing van Oefening 65.6.

(3+1)2=3+23+1=4+23\left(\sqrt3 + 1\right)^2 = 3 + 2\sqrt3 + 1 = 4 + 2\sqrt3.

(253)2=4×52×3×25+9=29125\left(2\sqrt5 - 3\right)^2 = 4 \times 5 - 2 \times 3 \times 2\sqrt5 + 9 = 29 - 12\sqrt5.

(6+2)(62)=62=4\left(\sqrt6 + \sqrt2\right)\left(\sqrt6 - \sqrt2\right) = 6 - 2 = 4.

Oefening 65.7 ★★

Een vierkant veld heeft oppervlakte 64006400 m2^2. Hoe lang is zijn zijde? En zijn diagonaal (exacte waarde, daarna afgerond op de meter)?

Oplossing

Oplossing van Oefening 65.7.

Zijde: 6400=80\sqrt{6400} = 80 m. Diagonaal (Pythagoras): 802+802=802113\sqrt{80^2 + 80^2} = 80\sqrt2 \approx 113 m.

Oefening 65.8 ★★

Toon aan dat 12=22\dfrac{1}{\sqrt2} = \dfrac{\sqrt2}{2} (vermenigvuldig teller en noemer met 2\sqrt2). Schrijf met dezelfde truc 63\dfrac{6}{\sqrt3} en 105\dfrac{10}{\sqrt5} zonder vierkantswortel in de noemer.

Oplossing

Oplossing van Oefening 65.8.

12=1×22×2=22\dfrac{1}{\sqrt2} = \dfrac{1 \times \sqrt2}{\sqrt2 \times \sqrt2} = \dfrac{\sqrt2}{2}.

63=633=23\dfrac{6}{\sqrt3} = \dfrac{6\sqrt3}{3} = 2\sqrt3. 105=1055=25\dfrac{10}{\sqrt5} = \dfrac{10\sqrt5}{5} = 2\sqrt5.

Oefening 65.9 ★★

Waar of niet waar? Verantwoord met een bewijs of een tegenvoorbeeld.

  1. Voor alle a,b0a, b \geq 0: ab=ab\sqrt{ab} = \sqrt a \sqrt b.
  2. Voor alle a,b0a, b \geq 0: a+b=a+b\sqrt{a+b} = \sqrt a + \sqrt b.
  3. Voor alle xx: x2=x\sqrt{x^2} = x.
  4. (32)2=18\left(3\sqrt2\right)^2 = 18.
Oplossing

Oplossing van Oefening 65.9.

1. Waar: dat is de productregel (Stelling 65.5).

2. Niet waar: 9+16=5\sqrt{9 + 16} = 5, maar 9+16=7\sqrt9 + \sqrt{16} = 7.

3. Niet waar voor negatieve xx: (4)2=44\sqrt{(-4)^2} = 4 \neq -4. De juiste uitspraak is x2=x\sqrt{x^2} = \abs{x}.

4. Waar: (32)2=9×2=18\left(3\sqrt2\right)^2 = 9 \times 2 = 18.

Oefening 65.10 ★★★

Zij x=7+43x = \sqrt{7 + 4\sqrt3}. Bereken (2+3)2\left(2 + \sqrt3\right)^2 en leid daaruit een eenvoudiger uitdrukking voor xx af. Dezelfde vraag voor 945\sqrt{9 - 4\sqrt5} (mik op een kwadraat van de vorm (52)2\left(\sqrt5 - 2\right)^2, en let op het teken).

Oplossing

Oplossing van Oefening 65.10.

(2+3)2=4+43+3=7+43\left(2 + \sqrt3\right)^2 = 4 + 4\sqrt3 + 3 = 7 + 4\sqrt3. Dus is x=7+43=(2+3)2=2+3x = \sqrt{7 + 4\sqrt3} = \sqrt{\left(2+\sqrt3\right)^2} = 2 + \sqrt3 (een niet-negatief getal, zodat de wortel enkel het kwadraat weghaalt).

Net zo is (52)2=545+4=945\left(\sqrt5 - 2\right)^2 = 5 - 4\sqrt5 + 4 = 9 - 4\sqrt5, en 52>0\sqrt5 - 2 > 0, dus is 945=52\sqrt{9 - 4\sqrt5} = \sqrt5 - 2 (niet 252 - \sqrt5, want dat is negatief!).

65.5 Opgave: het getal dat geen breuk is

Probleem 65.1

Weekendopgave — het legendarische bewijs dat 2\sqrt2 irrationaal is, zijn vele neefjes, en het griezelig goede recept van Heron om het te benaderen

De diagonaal van een eenheidsvierkant is een volkomen echte lengte — je hebt ze in Voorbeeld 58.9 getekend — en toch meet, zoals de pythagoreërs zo’n vijfentwintig eeuwen geleden tot hun ontzetting ontdekten, geen enkele breuk haar. De legende beweert dat de ontdekking met verdrinking werd bestraft. Deze opgave loodst je door het onsterfelijke bewijs (vier vragen en het is voor het leven van jou), vermenigvuldigt de slachtoffers, en eindigt met het recept waarmee ingenieurs tweeduizend jaar lang het onhandelbare getal handelbaar maakten.

Deel I — Het bewijs.

  1. Zit het eerst op de hielen: ga na dat 1.4<2<1.51.4 < \sqrt2 < 1.5, en daarna dat 1.41<2<1.421.41 < \sqrt2 < 1.42, door de grenzen te kwadrateren. Nog één cijfer: tussen welke getallen met drie decimalen ligt 2\sqrt2?
  2. Stel nu — om tot een tegenspraak te komen — dat 2=ab\sqrt2 = \frac ab voor een zekere breuk in eenvoudigste vorm (Methode 64.16). Kwadrateer beide leden en toon aan dat a2=2b2a^2 = 2 b^2. Wat is de pariteit van a2a^2?
  3. De feiten over pariteit uit Probleem 58.1 zeggen: oneven getallen hebben oneven kwadraten. Leid af dat aa even is, schrijf a=2ka = 2k, vul in — en toon aan dat ook bb even moet zijn.
  4. Waar zit de tegenspraak? Besluit, en formuleer de stelling helemaal: 2\sqrt2 is irrationaal — het is geen quotiënt van hele getallen.
  5. Het bewijs leunde één keer, onopvallend, op de woorden “in eenvoudigste vorm”. Wijs de precieze stap aan die zonder die woorden zou instorten, en leg uit waarom je die eenvoudigste vorm van meet af aan mocht aannemen.

Deel II — De slachtoffers vermenigvuldigen zich.

  1. Een tweede bewijsstijl, via priemfactorontbindingen (Stelling 64.6): vergelijk in a2=3b2a^2 = 3b^2 de pariteit van de exponent van 33 in beide leden (Probleem 64.1: kwadraten dragen even exponenten). Besluit dat 3\sqrt3 irrationaal is.
  2. Voer hetzelfde argument met exponenten uit op a2=nb2a^2 = n b^2 voor een willekeurig heel getal nn: voor welke nn levert het een tegenspraak, en voor welke mislukt het? Formuleer het volledige resultaat: n\sqrt n is irrationaal precies wanneer …
  3. Bewijs het schildlemma: een rationaal getal verschillend van nul maal een irrationaal getal is irrationaal. (Stel rx=qr x = q met rr, qq rationaal en r0r \neq 0, en los op naar xx.) Leid af dat 222\sqrt2 en 22\frac{\sqrt2}{2} irrationaal zijn.
  4. Bewijs dat 1+21 + \sqrt2 irrationaal is. En dan de mooie: stel dat s=2+3s = \sqrt2 + \sqrt3 rationaal zou zijn, bereken s2s^2, zonder 6\sqrt6 af, en vind de tegenspraak.
  5. Tem het enthousiasme: geef twee irrationale getallen waarvan de som rationaal is, en twee waarvan het product rationaal is. (Irrationaliteit blijft niet bewaard onder rekenkundige bewerkingen — elk geval vraagt zijn eigen bewijs.)

Deel III — Het recept van Heron. Tweeduizend jaar vóór de rekenmachines benaderde Heron van Alexandrië 2\sqrt2 zo: neem een schatting xx; vervang de schatting door het gemiddelde van xx en 2x\frac2x; herhaal.

  1. Begin bij de schatting x=1x = 1 en bereken de volgende twee schattingen als exacte breuken.
  2. Bereken de derde schatting, opnieuw als een exacte breuk, en haar decimale waarde. Vergelijk met vraag 1: hoeveel decimalen van 2\sqrt2 zijn al juist?
  3. Het idee achter het recept: een rechthoek met oppervlakte 22 en één zijde xx heeft als andere zijde 2x\frac2x. Toon aan dat 2\sqrt2 altijd tussen xx en 2x\frac2x ligt (bekijk de twee gevallen x2>2x^2 > 2 en x2<2x^2 < 2), zodat het gemiddelde nemen van de twee zijden de rechthoek naar het vierkant toe knijpt.
  4. In de schattingen 32\frac32, 1712\frac{17}{12}, 577408\frac{577}{408} zit een juweel verborgen: bereken 322×223^2 - 2 \times 2^2, daarna 1722×12217^2 - 2 \times 12^2, en daarna 57722×4082577^2 - 2 \times 408^2. Deel I bewees dat a22b2=0a^2 - 2b^2 = 0 onmogelijk is — hoe dicht komen de breuken van Heron bij het onmogelijke?
  5. Slot, in twee zinnen: de diagonaal van het eenheidsvierkant bestaat op papier, geen enkele breuk meet haar, en haar decimale schrijfwijze kan nooit repeteren (Probleem 63.1). Welk soort “nieuwe getallen” moet de getallenlijn dus bevatten — en waar in deze reeks wordt hun volledige verhaal verteld?
Oplossing

Oplossing van Probleem 65.1.

1. 1.42=1.96<2<2.25=1.521.4^2 = 1.96 < 2 < 2.25 = 1.5^2; 1.412=1.9881<2<2.0164=1.4221.41^2 = 1.9881 < 2 < 2.0164 = 1.42^2. Met drie decimalen: 1.4142=1.999396<2<2.002225=1.41521.414^2 = 1.999396 < 2 < 2.002225 = 1.415^2, dus is 1.414<2<1.4151.414 < \sqrt2 < 1.415.

2. 2=ab\sqrt2 = \frac ab kwadrateren geeft 2=a2b22 = \frac{a^2}{b^2}, en dus a2=2b2a^2 = 2b^2: het getal a2a^2 is twee keer een heel getal — even.

3. Was aa oneven, dan zou a2a^2 oneven zijn (Probleem 58.1); omdat a2a^2 even is, is aa even: a=2ka = 2k. Invullen geeft 4k2=2b24k^2 = 2b^2, dus is b2=2k2b^2 = 2k^2 even, en volgens hetzelfde feit over pariteit is bb even.

4. aa en bb beide even betekent: beide deelbaar door 22 — maar ab\frac ab stond in eenvoudigste vorm en had geen gemeenschappelijke deler. Tegenspraak: de veronderstelde breuk kan niet bestaan. Stelling: 2\sqrt2 is irrationaal.

5. De tegenspraak zit volledig in “in eenvoudigste vorm”: zonder die woorden spreekt “aa en bb beide even” niets tegen. De eenvoudigste vorm aannemen mag, doordat elke breuk zo’n vorm heeft (Methode 64.16: deel de ggd eruit) — was 2\sqrt2 hoe dan ook een breuk, dan zou het een breuk in eenvoudigste vorm zijn, en die is onmogelijk.

6. In priemfactorontbindingen dragen kwadraten even exponenten (Probleem 64.1). In a2=3b2a^2 = 3b^2 is de exponent van 33 even in het linkerlid, maar oneven in het rechterlid (even uit b2b^2, plus één). Geen enkel getal heeft twee ontbindingen (Stelling 64.6): tegenspraak, en 3\sqrt3 is irrationaal.

7. In a2=nb2a^2 = n b^2 vindt het argument precies dan een priemgetal met tegenstrijdige pariteit van de exponent, wanneer een priemgetal in nn met een oneven exponent voorkomt. Zijn alle exponenten van nn even, dan is nn een volkomen kwadraat (n=m2n = m^2, en n=m\sqrt n = m is heel). Volledig resultaat: n\sqrt n is irrationaal voor elk heel getal nn dat geen volkomen kwadraat is — 2,3,5,6,7,8,10,\sqrt2, \sqrt3, \sqrt5, \sqrt6, \sqrt7, \sqrt8, \sqrt{10}, \dots

8. Uit rx=qr x = q met r0r \neq 0 volgt x=qrx = \frac qr, een quotiënt van rationale getallen, en dus rationaal. Is xx dus irrationaal, dan kan rxr x niet rationaal zijn: 222\sqrt2 en 22\frac{\sqrt2}{2} zijn irrationaal (met vermenigvuldigers 22 en 12\frac12).

9. Was 1+2=q1 + \sqrt2 = q rationaal, dan zou 2=q1\sqrt2 = q - 1 rationaal zijn: tegenspraak. Was s=2+3s = \sqrt2 + \sqrt3 rationaal, dan zou s2=2+26+3=5+26s^2 = 2 + 2\sqrt6 + 3 = 5 + 2\sqrt6 dat ook zijn, wat 6=s252\sqrt6 = \frac{s^2 - 5}{2} rationaal maakt — maar 6\sqrt6 is irrationaal (vraag 7). Dus is 2+3\sqrt2 + \sqrt3 irrationaal.

10. Sommen: 2\sqrt2 en 2-\sqrt2 (of 2\sqrt2 en 121 - \sqrt2) zijn elk irrationaal, met de rationale sommen 00 en 11. Producten: 2×2=2\sqrt2 \times \sqrt2 = 2. Irrationaliteit kan in het rekenen verdampen — vandaar de bewijzen geval per geval.

11. Vanuit x=1x = 1: het gemiddelde van 11 en 21=2\frac21 = 2 is x1=32x_1 = \frac32. Daarna het gemiddelde van 32\frac32 en 23/2=43\frac{2}{3/2} = \frac43: x2=12(32+43)=12176=17121.4167x_2 = \frac12\left(\frac32 + \frac43\right) = \frac12 \cdot \frac{17}{6} = \frac{17}{12} \approx 1.4167.

12. x3=12(1712+2417)=12289+288204=577408=1.4142156x_3 = \frac12\left(\frac{17}{12} + \frac{24}{17}\right) = \frac12 \cdot \frac{289 + 288}{204} = \frac{577}{408} = 1.4142156\ldots Tegenover 2=1.4142135\sqrt2 = 1.4142135\ldots: vijf juiste decimalen na drie stappen — het recept verdubbelt het aantal juiste decimalen ruwweg bij elke ronde.

13. Is x2>2x^2 > 2 (schatting te groot), dan is x>2x > \sqrt2 en 2x<22=2\frac2x < \frac{2}{\sqrt2} = \sqrt2: de bijhorende zijde is te klein. Is x2<2x^2 < 2, dan keren de ongelijkheden om. In beide gevallen ligt 2\sqrt2 tussen xx en 2x\frac2x, zodat hun gemiddelde — de volgende schatting — dichterbij ligt dan de slechtste van de twee zijden: de rechthoek met oppervlakte 22 wordt bij elke stap vierkanter.

14. 98=19 - 8 = 1; 289288=1289 - 288 = 1; 332929332928=1332\,929 - 332\,928 = 1. Elke schatting ab\frac ab van Heron voldoet aan a22b2=1a^2 - 2b^2 = 1: deel I bewees dat 00 treffen onmogelijk is, en deze breuken missen het onmogelijke met precies één eenheid — dichterbij kunnen hele getallen nooit komen.

15. De getallenlijn moet getallen bevatten die verder gaan dan de breuken — lengten als 2\sqrt2, waarvan de decimale schrijfwijze eindeloos doorloopt zonder te repeteren: de reële getallen. Hun eerlijke opbouw is een verhaal voor het bovenbouwvolume en, in volle strengheid, voor de universitaire volumes.

Begrippen gedefinieerd in dit hoofdstuk

Bekijk alle 395 begrippen in de begrippenlijst