Dwusieczne kąta
Dwusieczną kąta nazywamy półprostą, której początkiem jest wierzchołek kąta i która dzieli dany kąt na dwa równe kąty.
Jeżeli punkt leży na dwusiecznej kąta, to jego odległości od obu ramion kąta są równe.
Dla kątów, których miara jest mniejsza od prawdziwe jest też twierdzenie odwrotne. Jeżeli punkt należący do kąta jest równoodległy od jego ramion, to leży na dwusiecznej tego kąta.
Dwusieczne każdego z kątów w trójkącie przecinają się w jednym punkcie.
Punkt ten jest środkiem okręgu wpisanego w ten trójkąt.
Odcinki łączące środek okręgu wpisanego w trójkąt z wierzchołkami tego trójkąta podzieliły trójkąt na trzy trójkąty , i .
Wysokość każdego z tych trójkątów jest równa promieniowi okręgu wpisanego w trójkąt (jak na rysunku).
Pole trójkąta jest równe sumie pól trójkątów , i
Wyprowadziliśmy w ten sposób wzór na pole trójkąta, w którym występują długości jego boków oraz promień okręgu wpisanego w ten trójkąt.
Pole trójkąta o bokach długości , , oraz promieniu okręgu wpisanego w ten trójkąt wyraża się wzorem
Gdy oznaczymy , wzór przyjmuje postać .