Combining this with formula_36, we have:formula_37.
Ker pa je notranja simetrala kota, pravokotna na svojo zunanjo simetralo, iz tega sledi, da je središče včrtane krožnice skupaj s tremi središči očrtanega kroga tvorijo ortocentrični sistem.