Sean G el baricentro de ABC, Oa el circuncentro de BCG. Definimos análogamente Ob y Oc. El triángulo OaObOc es homotético al triángulo pedal del simediano K.