Udowodnić, że jeżeli punkt
przebiega okrąg wpisany w trójkąt
, to wartość wyrażenia
jest stała (
są odpowiednio długościami boków leżących naprzeciw wierzchołków
).
Środek
okręgu wpisanego w trójkąt
jest punktem przecięcia dwusiecznych
,
,
.

Ponieważ
![]() |
![]() |
![]() |
więc
![]() |
![]() |
![]() |
a zatem
![]() |
Ponieważ
równe jest długości promienia
okręgu wpisanego,
,
,
,
,
,
są długościami danymi, więc wystarczy wykazać, że ostatni składnik w tej sumie jest zerowy, dokładniej, że
![]() |
jest wektorem zerowym
.
Dwusieczna kąta w trójkącie dzieli bok przeciwległy na odcinki proporcjonalne do boków przyległych, więc
![]() |
Wobec tego
,
.
Zastosujemy otrzymane zależności w następującym rachunku.
![]() |
Ponieważ
, więc
. Analogicznie możemy stwierdzić, że
oraz
, wektory
,
,
nie są jednak równoległe, wobec tego
jest wektorem zerowym.
Wynika stąd, że
![]() |
a to oczywiście nie zależy od położenia punktu
na okręgu wpisanym w trójkąt.
Uwaga. Fakt, że
ma następującą interpretację fizyczną. Umieśćmy w punktach
,
,
masy odpowiednio
,
,
. Ponieważ punkt
dzieli bok
w stosunku
, punkt
jest środkiem ciężkości układu dwóch mas
, a więc środek ciężkości układu trzech mas leży na prostej
. Z analogicznych powodów środek ten leży na prostej
oraz na prostej
, znajduje się więc w punkcie
.
Wyrażenie
jest równe momentowi bezwładności naszego układu dla obrotu względem punktu
. Teza zadania wynika teraz ze znanego twierdzenia, że ten moment bezwładności zależy tylko od odległości punktu
od środka ciężkości układu.