El triangle de Johnson AjBjCj és inscrit en la circumferència ortobaricèntrica.