Suma miar kątów w trójkącie wynosi :Na czworokątach można opisać okręgi, ponieważ każdy z nich składa się z suma dwóch trójkątów prostokątnych o wspólnej przeciwprostokątnej, więc: – odcinek jest dwusieczną kąta – odcinek jest dwusieczną kąta – odcinek jest dwusieczną kąta Punkt M jest punktem przecięcia dwusiecznych trójkąta , więc jest środkiem okręgu wpisanego w ten trójkąt.
To kończy dowód.