Driehoeken. Enkele speciale topics. Arne Smeets. Trainingsweekend Februari 2008

Transcriptie

1 Driehoeken Enkele speciale topics Arne Smeets Trainingsweekend Februari 2008 Trilineaire en barycentrische coördinaten Definitie van trilineaire coördinaten Beschouw (in het vlak) een driehoek ABC en een punt P. Zijn x, ỹ en z de afstanden van P tot BC, CA en AB, waar we x > 0 ( x < 0) nemen indien P en A aan dezelfde kant (verschillende kanten) van BC liggen. Dan geldt duidelijk a x+bỹ +c z = 2 [ ABC], waarbij a = BC, b = CA en c = AB, en waarbij we oppervlaktes noteren met vierkante haakjes. Omwille van deze (ongewenste) afhankelijkheid tussen x, ỹ en z is het opportuun om een homogene versie van x, ỹ en z in te voeren. Dat doen we als volgt: we noemen (x, y, z) de homogene driehoekscoördinaten van P ten opzichte van ABC indien x : y : z = x : ỹ : z. Om met homogene driehoekscoördinaten te werken moeten we het vlak wel uitbreiden met een rechte op oneindig, de rechte met vergelijking ax + by + cz = 0. Het is niet moeilijk om na te gaan dat de homogene driehoekscoördinaten een punt dan op een eenduidige wijze bepalen. Collineariteit met trilineaire coördinaten Neem nu twee willekeurige punten P 1 = (x 1, y 1, z 1 ) en P 2 = (x 2, y 2, z 2 ) (ten opzichte van ABC). Met eenvoudig rekenwerk kunnen we aantonen dat P = (x, y, z) collineair is met P 1 en P 2 als en slechts als x y z x 1 y 1 z 1 x 2 y 2 z 2 = 0. Dit geeft ons direct de vergelijking van de rechte door P 1 en P 2. In de duale situatie kunnen we rechten l 1 en l 2 met vergelijkingen α 1 x+β 1 y+γ 1 z = 0 en α 2 x+β 2 y+γ 2 z bekijken. De rechte l met vergelijking αx + βy + γz gaat door het snijpunt van l 1 en l 2 als en slechts als α β γ α 1 β 1 γ 1 α 2 β 2 γ 2 = 0. Op deze manier kunnen we dus concurrentie van drie rechten uitdrukken. 1

2 Definitie van barycentrische coördinaten Gegeven P en ABC zoals in de definitie van trilineaire coördinaten, dan noemen we (X, Y, Z) de homogene barycentrische coördinaten van P als en slechts als voldaan is aan de voorwaarde X : Y : Z = ax : by : cz. Interpreteer barycentrische coördinaten in termen van oppervlakten. In sommige meetkundige situaties zijn trilineaire coördinaten erg handig, in andere situaties rekenen barycentrische coördinaten vlotter. Concurrentie en collineariteit worden hier op dezelfde manier uitgedrukt als in trilineaire coördinaten. Trilineaire en barycentrische coördinaten van enkele speciale punten in driehoeken Bekijk het volgende overzicht: notatie punt trilineair barycentrisch I middelpunt ingeschreven cirkel (1, 1, 1) (a, b, c) G zwaartepunt (barycentrum) (bc, ca, ab) (1, 1, 1) O middelpunt omgeschreven cirkel (cos α, cos β, cos γ) (sin 2α, sin 2β, sin 2γ) H hoogtepunt (sec α, sec β, sec γ) (tan ( α, tan β, tan γ) K punt van Lemoine (a, b, c) a 2, b 2, c 2) Over het punt van Lemoine volgt later meer. Opgaven (1) Leid de resultaten uit de bovenstaande tabel af. (2) Het is bekend dat het hoogtepunt, het middelpunt van de omgeschreven cirkel en het zwaartepunt van een driehoek op een rechte liggen - de rechte van Euler. Verifieer dit met een berekening. (3) Bepaal driehoeks- en barycentrische coördinaten voor enkele andere speciale punten in een driehoek die je nauw aan het hart liggen. Suggesties: de punten van Nagel, Gergonne, Feuerbach,... (4) In sommige formules in de tabel staan goniometrische uitdrukkingen. Hoe herschrijf je die zodat je uitdrukkingen overhoudt waarin enkel de lengtes van de zijden van de driehoek voorkomen? (5) Geef een computationeel bewijs voor de stellingen van Ceva en Menelaos, met de juiste coördinaten. (6) Beschouw in een driehoek de drie rechten die het midden van een zijde verbinden met het midden van de hoogtelijn op die zijde. Bewijs dat deze drie rechten concurrent zijn. Welk (bekend) punt hebben de drie rechten gemeenschappelijk? (Denk na: trilineaire of barycentrische coördinaten?) (7) Zij ABC een driehoek, zij r de straal van de omgeschreven cirkel, zij O het middelpunt van de omgeschreven cirkel en zij H het hoogtepunt. Zijn D, E en F de spiegelbeelden van A, B en C in BC, CA en AB respectievelijk. Bewijs dat D, E en F collineair zijn als en slechts als OH = 2r. (IMO Shortlist, 1998) De synthetische oplossing voor deze opgave is bijzonder moeilijk. Voor iemand met ervaring met driehoeksen barycentrische coördinaten en enkele leuke eigenschappen van driehoeken is deze opgave echter een peuleschil. Je zal hier de coördinaten van D, E en F moeten bepalen en collineariteit van D, E en F moeten vertalen in een determinant die gelijk is aan 0. 2

3 Daaraan heb je nog niet genoeg, je hebt twee identiteiten nodig die absoluut de moeite zijn om te onthouden: OH 2 = 9r 2 ( a 2 + b 2 + c 2) cos 2 α + cos 2 β + cos 2 γ + 2 cos α cos β cos γ = 1 Ik verwacht van jullie dat jullie beide identiteiten kunnen bewijzen (en ook onthouden). Voor de eerste identiteit kan dat heel vlot met vectorrekening: kies de oorsprong in het middelpunt van de omgeschreven cirkel. Kan je dan OH schrijven in functie van OA, OB en OC door de ligging van H op de rechte van Euler te bekijken? Ik gebruik hier boldface om vectoren te noteren. Opfrissing van de rechte van Euler is te verkrijgen op aanvraag, en ik wil hier gerust over uitweiden als dit een gat in jullie meetkundige cultuur blijkt te zijn. De tweede identiteit is eenvoudiger te bewijzen. Ik besef dat dit een heel andere manier is om aan meetkunde te doen dan wat jullie normaal doen, maar ik vind het juist heel belangrijk dat jullie ook eens met deze technieken in aanraking komen. (8) Zij ABC een scherphoekige driehoek. Zijn D en E de punten waar de hoogtelijnen door A en B de overstaande zijden snijden. Zijn P en Q de punten waar de bissectrices van A en B de overstaande zijden snijden. Zijn O en I de middelpunten van de om- en ingeschreven cirkels van de driehoek. Toon aan dat D, E en I collineair zijn als en slechts als P, Q en O collineair zijn. (IMO Shortlist, 1997) Isogonale conjugatie Definitie Zij ABC een driehoek en zij P een willekeurig punt. Door de rechten AP, BP en CP te spiegelen om de bissectrices van de hoeken A, B en C krijgen we drie (meestal nieuwe) rechten. We kunnen op twee manieren inzien dat deze drie rechten concurrent zijn: met de goniometrische variant van de stelling van Ceva, maar ook met driehoekscoördinaten. We werken de tweede methode uit als kleine oefening. Het punt van concurrentie noemen we Q, en we noemen Q het isogonaal geconjugeerde punt van P. Als P op een van de zijden van de driehoek ligt krijgen we een ontaarde situatie: wat is dan het isogonaal geconjugeerde punt van P? Cruciale betrekkingen in alles wat volgt zijn de volgende: als P = (x, y, z), dan is Q = ( x 1, y 1, z 1) = (yz, zx, xy), als P = (X, Y, Z), dan is Q = ( a 2 X 1, b 2 Y 1, c 2 Z 1) = (a 2 Y Z, b 2 ZX, c 2 XY ). We gebruiken (as usual) lower case voor trilineaire coördinaten, upper case voor barycentrische. Algemene eigenschappen van isogonaal geconjugeerde punten We formuleren eerst de stelling van Steiner. Zij ABC een driehoek. Zijn D en E punten op BC zodanig dat AD en AE elkaars spiegelbeeld zijn ten opzichte van de bissectrice van A. Dan geldt dat BD DC BE EC = AB2 CA 2. Deze gelijkheid kan bewezen worden door de sinusregel een honderdtal keer toe te passen. De link met isogonale conjugatie is, vermoed ik, duidelijk genoeg. 3

4 Interessant om even over na te denken is de volgende vraag. Zij P een punt en zijn U, V en W de snijpunten van AP, BP en CP met BC, CA en AB. Hoe krijg je de trilineaire (of barycentrische) coördinaten van U, V en W vanuit de coördinaten van P? Omgekeerd, hoe verkrijg je de coördinaten van P uit die van U, V en W? Het resultaat is krachtig in combinatie met de stelling van Steiner. De constructie van de voetpuntsdriehoek van een punt ten opzichte van een gegeven driehoek is - hoop ik - bekend: indien nodig weid ik hier even over uit. Beschouw ABC en isogonaal geconjugeerde punten P en P ten opzichte van ABC. Zijn DEF en D E F de voetpuntsdriehoeken van P en P ten opzichte van ABC, waarbij D BC, E CA en F AB, en analoog voor D E F. Dan geldt dat DEF en D E F dezelfde omgeschreven cirkel hebben: gelijkvormige driehoeken geven AE AE = AF AF, BF BF = BD BD, CE CE = CD CD. Bijgevolg zijn EE F F, F F DD en EE DD koordenvierhoeken. Zijn γ A, γ B en γ C de omgeschreven cirkels van deze vierhoeken. Bekijk bijvoorbeeld γ A en γ B. Als deze cirkels verschillend zouden zijn, dan zou de verzameling van punten die gelijke machten hebben ten opzichte van γ A en γ B een rechte zijn. We hebben echter drie niet-collineaire punten met gelijke machten ten opzichte van γ A en γ B, namelijk A, B en C. Bijgevolg moeten γ A en γ B wel samenvallen, en daarmee is ons resultaat bewezen. Het punt van Lemoine Het isogonaal geconjugeerde punt van het zwaartepunt van een driehoek noemen we het Lemoine-punt van de driehoek. De coördinaten van dit punt werden eerder gegeven: verifieer! Het punt van Lemoine heeft prachtige eigenschappen. De rechten die de hoekpunten van een driehoek verbinden met het punt van Lemoine noemen we de symmedianen van de driehoek. Verklaar de naamgeving! Symmedianen en het punt van Lemoine zijn erg nuttig: we bespreken hier enkel hun belangrijkste eigenschappen. In welke verhouding verdelen de symmedianen de zijden van een driehoek? Het punt van Lemoine is het zwaartepunt van zijn eigen voetpuntsdriehoek. Bekijk ABC en zij S het snijpunt van de raaklijnen in B en C aan de omgeschreven cirkel. Dan is AS een symmediaan in ABC. Dit geeft een eenvoudige constructie voor het punt van Lemoine. Inderdaad, zijn C A en C B de projecties van S op AC en BC. Dan hebben we dat SAC A = B en SBC B = A. Omdat AS = BC is SC A : SC B = sin A : sin B = a : b. Waarom volgt onze bewering over de rechte AS dan eigenlijk direct uit deze gelijkheid? Het Lemoine-punt van een gegeven driehoek is het punt waarvoor de som van de kwadraten van de afstanden tot de zijden van de driehoek een minimale waarde aanneemt. Verrassend! Opgaven Noteer de afstanden van P tot de zijden van ABC met x, ỹ en z zoals op de eerste pagina. Dan hebben we dat ( a 2 + b 2 + c 2) ( x 2 + ỹ 2 + z 2) 4 [ ABC] 2. We vinden zo een ondergrens voor x 2 + ỹ 2 + z 2, en deze wordt enkel bereikt als x : ỹ : z = a : b : c. Dit geeft het punt van Lemoine! (1) Het middelpunt van de omgeschreven cirkel en het hoogtepunt van een driehoek zijn isogonaal geconjugeerde punten. Dit kan je heel elementair bewijzen, maar kan je ook afleiden uit de tabel (cfr. pagina 2). 4

5 (2) Zij ABC een scherphoekige driehoek en zijn D, E en F de voetpunten van de hoogtelijnen op BC, CA en AB. Zij t A de rechte door A, loodrecht op EF, en definieer t B en t C op analoge wijze. Bewijs dat t A, t B en t C concurrent zijn: wat is het punt van concurrentie? (3) Zij ABC een driehoek met AC = 2 AB. Zij γ de omgeschreven cirkel en zij P het snijpunt van de raaklijnen aan γ in A en C. Bewijs: BP snijdt de middelloodlijn van BC op γ. (4) Zijn A, B en C vaste punten op een rechte (in die volgorde). Zij γ een cirkel door A en C zodat AC geen diameter is van γ. Zij P het snijpunt van de raaklijnen aan γ in A en C. Zij Q het snijpunt van γ met het lijnstuk P B. Bewijs dat de bissectrice van AQC door een vast punt gaat, dat onafhankelijk is van de precieze ligging van de cirkel γ. (IMO Shortlist, 2003) (5) Zij ABC een scherphoekige driehoek en zijn P en Q isogonaal geconjugeerde punten binnen ABC. Zijn D, E en F zoals gewoonlijk de orthogonale projecties van P op BC, CA en AB. Bewijs dat DEF = 90 als en slechts als Q het hoogtepunt is van BDF. Als er nog tijd over is dan zal ik met plezier wat dieper ingaan op de rechte van Euler en de negenpuntscirkel. Aan de hand van de resultaten kunnen we dan de volgende uitspraak aantonen: Zij A 1 A 2 A 3 een driehoek die niet gelijkzijdig is. Zijn O en I de middelpunten van de om- en ingeschreven cirkels. Zijn T 1, T 2 en T 3 de punten waar de ingeschreven cirkel van A 1 A 2 A 3 raakt aan A 2 A 3, A 3 A 1 en A 1 A 2. Dan ligt het hoogtepunt van T 1 T 2 T 3 op de rechte OI. Dit zou een mooi besluit zijn van de sessie. 5