I en triangel ABC så är mitten av sidan AB markerad med punkten M. Även höjderna AH och BL är utritade. Det visade sig att triangeln MHL blev liksidig. Måste det vara så att även triangeln ABC är liksidig?
Om ja, ge ett bevis för varför den måste vara det. Om nej, visa hur ett motexempel konstrueras.
Diksussion:
Vi ritar en komplett (men ful) bild där höjderna är inkluderade. BL är alltså vinkelrät mot AC, AH är vinkelrät mot BC och AM = MB.
En viktig observation nu är att LM är medianen i den rätvinkliga triangeln ALB. Och enligt en sats så är medianen i en rätvinklig triangel lika med halva hypotenusan (kan visas genom att titta på vinklarna i de små trianglarna).
Således måste alla sträckorna AM, ML, LH, MH och MB vara lika stora!
Vi ser att vi har antydan till en cirkel, vi ritar med medelpunkt M och radien AM.
Vi ser att denna bild (eller vad man ifall försökte rita) är möjlig, eftersom vinklar, som ska vara räta verkligen är räta. Det är de, eftersom de är randvinklar, som står på en diameter.
Så detta ger oss en idé om hur vi ska konstruera en motexempel från scratch.
Lösning:
Så fort vi har en cirkel, så fixar det där med rätvinklarna sig. Det vi måste garantera är att triangeln MHL som vi konstruerar verkligen är liksidig.
Så vi börjar med en sträcka AB och markerar mitten på den, punkten M:
Sedan ska den liksidiga triangeln MHL dyka upp. Rita en cirkel med diameter AB och då medelpunkten M. Vilka två radier vi än ritar ut, kommer de vara lika långa. Så ta ett par radier så att vinkel mellan dem är 60°. Se till så att
Markera de två ny punkterna på cirkeln med L och H. Den likbenta triangeln LMH med vinkel 60° i toppen måste vara en liksidig triangel, precis vad vi ville ha!
Nu återstår det att hitta punkten C. Den hittar vi på skärningen mellan linjerna AL och BH:
Vinklarna ALB och AHB är verkligen räta, eftersom de står på diametern i den nu snygga cirkeln. Således är AH och BL verkligen höjder. Och triangeln ABC är inte liksidig, eftersom i det fallet skulle punkterna L och H ligga spegelsymmetriskt kring mittpunktsnormalen till AB.
Summan av kardemumman: vi har använt massa geometriska kunskaper för att konstruera en halvful triangel med snygg egenskap!
