Wiskunde basisschool en onderbouw · Grades 1–9
65Vierkantswortels
Hoe lang is de diagonaal van een vierkant met zijde ? De stelling van Pythagoras antwoordt , een getal met kwadraat — en dat, zo blijkt, geen breuk is. Dit hoofdstuk definieert vierkantswortels, stelt de rekenregels ervoor vast, en leert hoe je uitdrukkingen als vereenvoudigt.
65.1 Definitie en eerste eigenschappen
Definitie 65.1 (Vierkantswortel)
Zij . De vierkantswortel van , geschreven , is het enige niet-negatieve getal met kwadraat :
Negatieve getallen hebben geen vierkantswortel, want elk kwadraat is niet-negatief.
Voorbeeld 65.2
, , , . De eerste vierkantswortels om uit het hoofd te kennen zijn die van de volkomen kwadraten: .
Propositie 65.3 (Vierkantswortel van een kwadraat)
Voor elk reëel getal (positief of niet):
Bewijs. Het getal is niet-negatief en zijn kwadraat is (een getal en zijn tegengestelde hebben hetzelfde kwadraat). Omdat het het enige niet-negatieve getal met kwadraat is, is het . ∎
Voorbeeld 65.4
: de vierkantswortel “vergeet” het teken, hij herstelt het niet. In het bijzonder is verkeerd voor negatieve .
65.2 Producten en quotiënten van vierkantswortels
Stelling 65.5 (Regels voor vermenigvuldigen en delen)
Voor alle en :
Bewijs. Het getal is niet-negatief (een product van niet-negatieve getallen), en zijn kwadraat is
Omdat het niet-negatieve getal met kwadraat uniek is, is het gelijk aan . De regel voor het quotiënt bewijs je op dezelfde manier. ∎
Opmerking 65.6 (Zo’n regel bestaat niet voor sommen!)
is in het algemeen niet :
Methode 65.7 ( vereenvoudigen)
Om de vierkantswortel van een geheel getal te vereenvoudigen:
Voorbeeld 65.8
Vereenvoudig : omdat , is
Vereenvoudig : omdat , is . En een quotiënt: .
Voorbeeld 65.9 (Vierkantswortels optellen)
Sommen van vierkantswortels vereenvoudigen alleen wanneer de wortels gelijksoortig zijn. Bereken , en vereenvoudig eerst elke term:
zodat de som is.
Voorbeeld 65.10 (Uitwerken met vierkantswortels)
De merkwaardige producten van de algebra gelden ook voor vierkantswortels. Werk uit met :
En met het derde product, :
het product van twee irrationale getallen kan een geheel getal zijn.
65.3 De vergelijking
Stelling 65.11 ( oplossen)
- Is , dan heeft de vergelijking precies twee oplossingen: en ;
- is , dan is de enige oplossing;
- is , dan is er geen oplossing.
Bewijs. Herschrijf als wanneer , en ontbind als een verschil van kwadraten:
dus is of (die vallen samen als ). Is , dan is er geen oplossing, want voor elke . ∎
Voorbeeld 65.12
: oplossingen en . : oplossingen en (exacte waarden; ). : geen oplossing. : deel eerst door 3, dan is , met oplossingen .
65.4 Oefeningen
Oefening 65.1 ★
Bereken zonder rekenmachine:
Oplossing
Oplossing van Oefening 65.1.
; ; (want ); ; ; .
Oefening 65.2 ★
Vereenvoudig:
Oplossing
Oplossing van Oefening 65.2.
; ; ; .
Oefening 65.3 ★
Bereken en vereenvoudig:
Oplossing
Oplossing van Oefening 65.3.
.
.
.
.
Oefening 65.4 ★
Los op: ; ; ; .
Oplossing
Oplossing van Oefening 65.4.
: of .
: of .
betekent : geen oplossing.
: , dus of .
Oefening 65.5 ★
Breng samen tot één term: , en daarna .
Oplossing
Oplossing van Oefening 65.5.
.
.
Oefening 65.6 ★★
Werk uit en vereenvoudig:
Oplossing
Oplossing van Oefening 65.6.
.
.
.
Oefening 65.7 ★★
Een vierkant veld heeft oppervlakte m. Hoe lang is zijn zijde? En zijn diagonaal (exacte waarde, daarna afgerond op de meter)?
Oplossing
Oplossing van Oefening 65.7.
Zijde: m. Diagonaal (Pythagoras): m.
Oefening 65.8 ★★
Toon aan dat (vermenigvuldig teller en noemer met ). Schrijf met dezelfde truc en zonder vierkantswortel in de noemer.
Oplossing
Oplossing van Oefening 65.8.
.
. .
Oefening 65.9 ★★
Waar of niet waar? Verantwoord met een bewijs of een tegenvoorbeeld.
- Voor alle : .
- Voor alle : .
- Voor alle : .
- .
Oplossing
Oplossing van Oefening 65.9.
1. Waar: dat is de productregel (Stelling 65.5).
2. Niet waar: , maar .
3. Niet waar voor negatieve : . De juiste uitspraak is .
4. Waar: .
Oefening 65.10 ★★★
Zij . Bereken en leid daaruit een eenvoudiger uitdrukking voor af. Dezelfde vraag voor (mik op een kwadraat van de vorm , en let op het teken).
Oplossing
Oplossing van Oefening 65.10.
. Dus is (een niet-negatief getal, zodat de wortel enkel het kwadraat weghaalt).
Net zo is , en , dus is (niet , want dat is negatief!).
65.5 Opgave: het getal dat geen breuk is
Probleem 65.1
Weekendopgave — het legendarische bewijs dat 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.
- Zit het eerst op de hielen: ga na dat , en daarna dat , door de grenzen te kwadrateren. Nog één cijfer: tussen welke getallen met drie decimalen ligt ?
- Stel nu — om tot een tegenspraak te komen — dat voor een zekere breuk in eenvoudigste vorm (Methode 64.16). Kwadrateer beide leden en toon aan dat . Wat is de pariteit van ?
- De feiten over pariteit uit Probleem 58.1 zeggen: oneven getallen hebben oneven kwadraten. Leid af dat even is, schrijf , vul in — en toon aan dat ook even moet zijn.
- Waar zit de tegenspraak? Besluit, en formuleer de stelling helemaal: is irrationaal — het is geen quotiënt van hele getallen.
- 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.
- Een tweede bewijsstijl, via priemfactorontbindingen (Stelling 64.6): vergelijk in de pariteit van de exponent van in beide leden (Probleem 64.1: kwadraten dragen even exponenten). Besluit dat irrationaal is.
- Voer hetzelfde argument met exponenten uit op voor een willekeurig heel getal : voor welke levert het een tegenspraak, en voor welke mislukt het? Formuleer het volledige resultaat: is irrationaal precies wanneer …
- Bewijs het schildlemma: een rationaal getal verschillend van nul maal een irrationaal getal is irrationaal. (Stel met , rationaal en , en los op naar .) Leid af dat en irrationaal zijn.
- Bewijs dat irrationaal is. En dan de mooie: stel dat rationaal zou zijn, bereken , zonder af, en vind de tegenspraak.
- 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ë zo: neem een schatting ; vervang de schatting door het gemiddelde van en ; herhaal.
- Begin bij de schatting en bereken de volgende twee schattingen als exacte breuken.
- Bereken de derde schatting, opnieuw als een exacte breuk, en haar decimale waarde. Vergelijk met vraag 1: hoeveel decimalen van zijn al juist?
- Het idee achter het recept: een rechthoek met oppervlakte en één zijde heeft als andere zijde . Toon aan dat altijd tussen en ligt (bekijk de twee gevallen en ), zodat het gemiddelde nemen van de twee zijden de rechthoek naar het vierkant toe knijpt.
- In de schattingen , , zit een juweel verborgen: bereken , daarna , en daarna . Deel I bewees dat onmogelijk is — hoe dicht komen de breuken van Heron bij het onmogelijke?
- 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. ; . Met drie decimalen: , dus is .
2. kwadrateren geeft , en dus : het getal is twee keer een heel getal — even.
3. Was oneven, dan zou oneven zijn (Probleem 58.1); omdat even is, is even: . Invullen geeft , dus is even, en volgens hetzelfde feit over pariteit is even.
4. en beide even betekent: beide deelbaar door — maar stond in eenvoudigste vorm en had geen gemeenschappelijke deler. Tegenspraak: de veronderstelde breuk kan niet bestaan. Stelling: is irrationaal.
5. De tegenspraak zit volledig in “in eenvoudigste vorm”: zonder die woorden spreekt “ en beide even” niets tegen. De eenvoudigste vorm aannemen mag, doordat elke breuk zo’n vorm heeft (Methode 64.16: deel de ggd eruit) — was 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 is de exponent van even in het linkerlid, maar oneven in het rechterlid (even uit , plus één). Geen enkel getal heeft twee ontbindingen (Stelling 64.6): tegenspraak, en is irrationaal.
7. In vindt het argument precies dan een priemgetal met tegenstrijdige pariteit van de exponent, wanneer een priemgetal in met een oneven exponent voorkomt. Zijn alle exponenten van even, dan is een volkomen kwadraat (, en is heel). Volledig resultaat: is irrationaal voor elk heel getal dat geen volkomen kwadraat is —
8. Uit met volgt , een quotiënt van rationale getallen, en dus rationaal. Is dus irrationaal, dan kan niet rationaal zijn: en zijn irrationaal (met vermenigvuldigers en ).
9. Was rationaal, dan zou rationaal zijn: tegenspraak. Was rationaal, dan zou dat ook zijn, wat rationaal maakt — maar is irrationaal (vraag 7). Dus is irrationaal.
10. Sommen: en (of en ) zijn elk irrationaal, met de rationale sommen en . Producten: . Irrationaliteit kan in het rekenen verdampen — vandaar de bewijzen geval per geval.
11. Vanuit : het gemiddelde van en is . Daarna het gemiddelde van en : .
12. Tegenover : vijf juiste decimalen na drie stappen — het recept verdubbelt het aantal juiste decimalen ruwweg bij elke ronde.
13. Is (schatting te groot), dan is en : de bijhorende zijde is te klein. Is , dan keren de ongelijkheden om. In beide gevallen ligt tussen en , zodat hun gemiddelde — de volgende schatting — dichterbij ligt dan de slechtste van de twee zijden: de rechthoek met oppervlakte wordt bij elke stap vierkanter.
14. ; ; . Elke schatting van Heron voldoet aan : deel I bewees dat 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 , 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.