Sigui O el circumcentre d'ABC. Els circumcentres d'ABO, BCO i CAO formen un triangle OaObOc que és homotètic al triangle tangencial TaTbTc amb centre d'homotècia O.