Teza:

W dowolnym trójkącie , w którym jest dwusieczną kąta zewnętrznego i punkt należy do prostej , prawdziwa jest równość 

Dowód:

Rysunek pomocniczy