Als uitgangspunt van onze redeneringen nemen we de
congruentiegevallen in de vorige paragraaf. Als we van
twee driehoeken weten dat ze gelijke zijden hebben, dan
kunnen we met behulp van ZZZ concluderen dat ze
congruent zijn en dus hebben de driehoeken ook gelijke
hoeken. Op een dergelijke manier maken we gebruik van
de congruentiekenmerken om te redeneren in de meetkunde.
Het eerste bewijs doen we als voorbeeld.
We gebruiken de volgende notaties:
voor driehoek,
voor congruentie,
voor loodrecht
voor evenwijdig
Stelling
Een gelijkbenige driehoek heeft gelijke basishoeken.
Eerst tekenen we een plaatje waarin we de hoekpunten
namen geven.
Noem het midden van de basis : M en teken in het
plaatje lijnstuk .
Gegeven
,
Te bewijzen
.
Bewijs
, gegeven
, gegeven
, volgt uit 1, 2, 3 ; ZZZ
volgt uit 4
Misschien vind je het overdreven dat hierboven alles zo netjes is opgeschreven. Dat doen we om twee redenen.
Het is verstandig je rekenschap te geven wat je uitgangspunten zijn (het gegeven) en wat je daaruit wilt afleiden (hetgeen je wilt bewijzen).
Je moet in je bewijs elke stap verantwoorden: of met een gegeven, of het is triviaal (bijvoorbeeld stap 3 in het voorgaande bewijs), of met een eerder bewezen stelling of congruentiekenmerk.
Andere argumenten die je ter beschikking staan, heb je
in paragraaf 1 ontmoet: F-hoeken, Z-hoeken, de hoekensom
van een driehoek, de stelling van de buitenhoek en
de stelling van Pythagoras.
Bewijs de volgende stellingen.
Als in een driehoek de zwaartelijn en de hoogtelijn uit een hoek hetzelfde zijn, dan is de driehoek gelijkbenig.
Als in een driehoek twee hoogtelijnen even lang zijn, dan is de driehoek gelijkbenig.
Bewijs de volgende stelling.
Als en elkaars spiegelbeeld zijn in de lijn en
punt
ligt op , dan zijn
en
even lang en maken en
gelijke hoeken met .
Bewijs de volgende stelling.
Als in een driehoek een zwaartelijn uit een hoek half zo
lang is als de overstaande zijde van die hoek, dan is die
hoek recht.
Definitie
Een parallellogram is een vierhoek met evenwijdige
overstaande zijden.
Bewijs de volgende stellingen over een parallellogram.
In een parallellogram zijn de overstaande hoeken gelijk.
In een parallellogram zijn de overstaande zijden gelijk.
In een parallellogram delen de diagonalen elkaar middendoor.
Bewijs de volgende stellingen.
Als in een vierhoek de overstaande hoeken gelijk zijn, is het een parallellogram.
Als in een vierhoek de overstaande zijden gelijk zijn, is het een parallellogram.
Als in een vierhoek de diagonalen elkaar midden door delen, is het een parallellogram.
Definitie
Een rechthoek is een vierhoek met vier gelijke (dus rechte)
hoeken.
Een ruit is een vierhoek met vier gelijke zijden.
Over ruiten en rechthoeken kun je ook een heleboel stellingen formuleren. In opgave 38 en 39 staan er enkele. Als je de bewijzen eenvoudig vindt, hoef je die niet te geven.
Bewijs de volgende stellingen over rechthoeken.
Een rechthoek is een parallellogram.
In een rechthoek zijn de diagonalen even lang.
Als in een parallellogram de diagonalen even lang zijn, is het parallellogram een rechthoek.
Bewijs de volgende stellingen over ruiten.
Een ruit is een parallellogram.
In een ruit staan de diagonalen loodrecht op elkaar.
Als in een parallellogram de diagonalen loodrecht op elkaar staan, is het parallellogram een ruit.
De Elementen
Rond 300 voor Chr. leefde de Griekse wiskundige
Euclides in Alexandrië; hij was daar leraar aan het
Museon, het wetenschappelijke centrum. Verder is er
niets met zekerheid over de persoon Euclides te zeggen.
In dertien boeken, de Elementen, zette hij de wiskundige
kennis van die tijd uiteen. Vanuit enkele voor iedereen
acceptabele uitgangspunten leidde hij een heel bouwwerk
van stellingen af. Hij gaat daarbij uiterst zorgvuldig
te werk. Elke stap was onweerlegbaar. Hij bewijst flauwe
stellingen zoals de driehoeksongelijkheid; iets wat voor
iedereen duidelijk is. Maar ook veel moeilijkere stellingen;
daarvan zullen we nog voorbeelden zien.
Tot de jaren vijftig heeft zijn werk het wiskunde-onderwijs
beheerst. Na de Bijbel is dit het meest bestudeerde boek.
Na de uitvinding van de boekdrukkunst zijn er meer dan
duizend drukken van de Elementen verschenen.
Voor meer informatie, zie bijvoorbeeld de
site
van Dick Klingens.
Twee cirkels snijden elkaar.
Bewijs dat de verbindingslijn van de snijpunten loodrecht staat op de verbindingslijn van de middelpunten.
Twee raaklijnen aan een cirkel snijden elkaar in het punt . De raakpunten zijn en .
.
Bewijs dat de bissectrices van de hoeken van een parallellogram
een rechthoek insluiten.
[Als er tenminste sprake is van een rechthoek. Het is ook
mogelijk dat de diagonalen een lijnstuk of zelfs een punt
insluiten.]
Gegeven is driehoek . Lijn is evenwijdig aan .
Bewijs dat geldt:
Als door het midden van gaat, dan gaat k ook door
het midden van .
Ga na dat hieruit volgt:
De lijn door de middens van en is evenwijdig aan
AB.
Deze lijn heet daarom wel een middenparallel van driehoek
.
Ga na dat uit het bewijs van opgave 43a onmiddellijk volgt:
een middenparallel van een driehoek is half zo lang als
de zijde waaraan hij evenwijdig is.
Gegeven is driehoek . Punt ligt op zó, dat en punt ligt op , zó dat .
Bewijs dat evenwijdig is aan .
Bewijs dat .
Je kunt zo verder redeneren voor andere gelijke verhoudingen
en .
Dat is een heel gedoe.
Euclides doet dat zorgvuldig en heeft daarmee het volgende bewezen.
Gegeven is driehoek . ligt op en ligt op , zo dat . Dan is evenwijdig aan .
Dit resultaat ken je al uit de onderbouw. Als volgt.
Als ,
dan zijn de driehoeken
en
gelijkvormig, dus dan
,
dus zijn
en
evenwijdig (F-hoeken).
Met behulp van de middenparallel (opgave 43 en
opgave 44)
kunnen we bewijzen dat de zwaartelijnen van een driehoek
door één punt gaan. Maar dat is bepaald niet eenvoudig.
Je moet daarvoor een geschikte hulplijn trekken.
is een willekeurige vierhoek. De middens van de zijden noemen we achtereenvolgens , , en .
Bewijs dat vierhoek een parallellogram is.
Van driehoek
zijn
en zwaartelijnen.
Het snijpunt
van en
noemen we .
Trek de lijn door , evenwijdig aan ;
zijn snijpunt met
het verlengde van
noemen we .
Bewijs dat .
Bewijs dat |.
Uit a en b volgt dat . Kennelijk snijdt zwaartelijn de zwaartelijn in een punt op van C. Op dezelfde manier snijdt zwaartelijn de zwaartelijn in een punt op van .
Ga na dat hieruit volgt dat de drie zwaartelijnen door één punt gaan.
We hebben en passant nog een extra resultaat.
In deze opgave bewijzen we dat alle driehoeken gelijkbenig zijn.
Waar zit de fout in de volgende redenering?
In driehoek trekken we de bissectrice uit hoek en
de middelloodlijn van .
is het snijpunt van deze twee
lijnen.
Gegeven
is middelloodlijn van .
is bissectrice van hoek .
Te bewijzen
Bewijs
|
op de middelloodlijn van |
|
op de bissectrice van hoek |
|
|
|
ZZH, uit 1, 2 en 3 |
|
uit 4 |
Je trapte natuurlijk niet in het bedrog bij opgave 48. Laten we zorgvuldiger te werk gaan. Nu wel een echt bewijs dat alle driehoeken gelijkbenig zijn.
Waar zit de fout?
Dezelfde situatie als in opgave 48. Trek de loodlijnen
en op
en
.
Gegeven
is middelloodlijn
van .
is bissectrice van hoek .
Te bewijzen
Bewijs
|
ligt op de middelloodlijn van |
|
op de bissectrice van hoek |
|
beide zijn |
|
ZZR, uit 1, 2 en 3 |
|
uit 4 |
|
uit 1, gelijkbenige driehoek |
|
uit 5 en 6 |
|
uit 7, gelijke basishoeken |