Sea X* un punto de la circunferencia ortobaricéntrica, X su isogonal. La polar trilineal tX de X pasa por el inverso de X en la circunferencia circunscrita.