Tasakylkinen kolmio

**Tasakylkinen kolmio** on sellainen kolmio, jossa kaksi sivua ovat keskenään yhtä pitkät. Englantilainen nimitys  tasakylkiselle kolmiolle on *isosceles triangle*, joka tulee kreikan kielen sanoista *iso* ('sama, yhtäsuuri') ja *skelos* ('sääri, jalka').

## Osien nimitykset
### Kanta
Tasakylkisellä kolmiolla yksi sivu on yleensä erimittainen kuin muut sivut. Tätä kutsutaan kannaksi. Kannan pituus on pisimmillään lähes kaksi kertaa kyljen pituus. Tasakylkisiä kolmioita kohdataan usein sovelluksissa, jossa ihmisen rakennelma on pystytetty symmetrisesti. Nimitys "kanta" lienee käytännöllistä perua. Esimerkiksi niin sanotut A-tikkaiden muoto on tasakylkinen kolmio, jossa kanta on luonnollisella tavalla kolmion alin sivu.

Jos kanta on samanpituinen kuin kylki, on kyseessä tasasivuinen kolmio.

### Kylki
Tasakylkisessä kolmiossa on kaksi yhtäpitkää sivua, joita kutsutaan kyljiksi. Kyljen pituus on lyhimmillään hieman pitempi kuin kannan puolikas, mutta se voi olla kuinka pitkä hyvänsä. Samoin kuin johdettiin nimitys "kanta", voidaan sana "kylki" johtaa käytännön tilanteista, jossa tasakylkinen kolmio on "kannallaan" ja "kyljet" ovat kolmion sivuilla.

### Kantakulma
Kantakulma muodostuu kannan ja toisen kyljen väliin. Tasakylkisessä kolmiossa kantakulmat ovat samansuuruisia. Se on suuruudeltaan aina alle 90°. Jos se on 
* 45°, on kyseessä suorakulmainen tasakylkinen kolmio
* 60°, on kyseessä tasasivuinen kolmio

Tiedosto:Triangle-45-45-90.svg|Suorakulmaisen tasakylkisen kolmion kantakulma on 45°.
Tiedosto:Triangle.Equilateral.svg|Tasasivuisessa kolmiossa on kantakulma 60°.


### Huippu ja huippukulma
Kannan vastaista kärkeä kutsutaan huipuksi. Huippukulma muodostuu huippuun kylkien väliin. Se on suuruudeltaan aina alle 180° ja se voidaan laskea kantakulman avulla \alpha = 180^{\circ}-2\beta. Jos huippukulma on 
* 60°, on kyseessä tasasivuinen kolmio.
* 90°, on kyseessä suorakulmainen tasasivuinen kolmio.
* alle 90°, on se teräväkulmainen tasasivuinen kolmio. 
* yli 90°, on kyseessä tylppäkulmainen tasasivuinen kolmio.

Tiedosto:Ligebenede trekanter.jpg|Huippukulma on aina alle 180° astetta.
Triángulo acutángulo isósceles.svg|Huippu on alle 90°, jolloin kolmio on teräväkulmainen tasasivuinen kolmio.
Triángulo rectángulo isósceles.svg|Huippu, tässä vasen kulma, on 90°, jolloin kolmio on suorakulmainen tasakylkinen kolmio.
Triángulo obtusángulo isósceles.svg|Huippu, tässä vasen kulma, on yli 90°, jolloin kolmio on tylppä tasasivuinen kolmio.


## Yleisiä ominaisuuksia
### Kantakulmat ja huipun kulmanpuolittaja
Tasakylkisessä kolmiossa kantakulmat ovat yhtä suuret. Tämä nähdään seuraavalla päättelyllä, jossa hyödynnetään yleisen kolmion  kulmien summan ominaisuutta: \alpha + \beta + \gamma = 180^\circ . Taitetaan ensin tasakylkinen kolmio kahtia niin, että yhtä pitkät kyljet yhtyvät. Silloin taitekohta muodostaa janan kolmion huipusta sen kannalle. Koska kyljet yhtyvät, jakaa taitos huippukulman kahteen yhtäsuureen kulmaan (\alpha = \alpha'). Kantakulmat yhtyvät myös, koska kanta on suora, ja siksi nekin ovat yhtäsuuret (\beta = \beta') ja näin on molemmissa puoliskoissa kaksi vastinkulmaparia yhtä suuret. Näillä perusteluilla todetaan tasakylkisen kolmion kantakulmat yhtäsuuriksi ja taitoksen synnyttämän janan olevan huipun kulmanpuolittaja.

### Huipun kulmapuolittaja
Huipun kulmanpuolittajalla on muitakin ominaisuuksia. Kummankin kolmion kolmas kulma voidaan laskea ja todeta yhtäsuureksi
:\gamma = 180^\circ - \alpha - \beta = 180^\circ - \alpha' - \beta' = \gamma'.
Koska \gamma ja \gamma' ovat oikokulman vieruskulmia ja yhtäsuuret, ovat ne 90°. Koska taitoksen jana kulkee huipun kautta ja on kohtisuorassa kantaa vasten, todetaan se myös korkeusjanaksi. Se on myös kannan sivunpuolittaja eli mediaani, sillä taitos jakaa tasasivuisen kolmion yhteneviksi kolmioiksi, joilla on myös yhtäpitkät vastinsivut. Silloin myös kannan puoliskot ovat yhtä pitkät. Kohtisuoruuden vuoksi sivunpuolittajaa voi pitää myös keskinormaalina.

## Kaavoja

Merkitään seuraavissa yhtälöissä kolmion osat seuraavasti:
* Kolmion sivut: kanta merkitään a ja kyljet b.
* Kolmion kulmat: huippukulma meritään \alpha ja kantakulmat \beta
* Korkeusjanat: kantaa vastaan h_a ja kylkeä vastaan h_b.
* Kolmion piirin pituuden puolikas on s = \tfrac{1}{2}(a+b+b) = \tfrac{1}{2}(a+2b).
Silloin voidaan esittää tasakylkisen kolmion ominauuksia seuraavasti.
* Kolmion kantaa vastaava korkeus on h = h_a = \sqrt{b^2-\tfrac{1}{4} a^2}.
* Kolmion kylkeä vastaava korkeus on h_b = \frac{2A}{b} = \frac{a\sqrt{b^2-\tfrac{1}{4}a^2}}{b} 
Heronin pinta-alan kaavasta voidaan johtaa korkeusjanoille toiset yhtälöt.
* h_a= \frac{2A}{a} = \frac{2\sqrt{s(s-a)(s-b)^2}}{a}
* h_b = \frac{2A}{b} = \frac{2\sqrt{s(s-a)(s-b)^2}}{b}
* Kolmion pinta-ala on A = \frac{1}{2} a h_a = \frac{1}{2} b h_b = \tfrac{1}{2}a^2 \sqrt{\tfrac{b^2}{a^2}-{1}{4}} = \sqrt{p(p-a)(s-b)^2}.
* Jos huippukulma on \alpha, niin ala on A = \tfrac{1}{2}b^2\sin{\tfrac{1}{2}\alpha}.
### Sisään piirretty ympyrä
Tasakylkisen kolmion sisään piirretyn ympyrän säde on r = \frac{a(\sqrt{a^2+4h^2}-a)}{4h}. Jos kolmio on suorakulmainen tasakylkinen kolmio, on säde r = a(1-\tfrac{1}{2}\sqrt{2}). 

## Tunnettuja teoreemoja
### Merkilliset pisteet

Kylkien korkeusjanat leikkaavat toisensa huipun halkaisijalla pisteessä, joka on kolmion ortokeskus.

Kantakulmien puolittajat kohtaavat kolmion halkaisijalla pisteessä, joka on *kolmion sisään piirretyn ympyrän* keskipiste. Keskipiste on yksi kolmion merkillisistä pisteistä. Keskipiste jakaa halkaisijan suhteessa 2 : 1 siten, että lyhyempi osa jää kolmion kannan puolelle.

Kolmion kylkien keskinormaalit leikkaavat kolmion huipun halkaisijalla pisteessä, joka on kolmion ympäri piirretyn ympyrän keskipiste. Myös tämä piste on kolmion merkillisiä pisteitä.

Kylkien keskijanat leikkaavat kolmion huipun halkaisjalla pisteessä, joka on kolmion painopiste.

Huipun puolittaja jakaa tasakylkisen kolmion kahdeksi yhteneväksi suorakulmaiseksi kolmioksi. Kaikki tasakylkisen kolmion merkilliset pisteet sijaitsevat symmetrisesti kolmion halkaisevalla janalla. Koska neljä edellistä pistettä ovat halkaisijalla, on se samalla osa Eulerin suoraa.

### Steiner ja Lehmus

Jos kolmion kaksi kulmanpuolittajaa ovat yhtäpitkät, on kolmio tasakylkinen kolmio.

## Lähteet
*
* 

### Viitteet