El triángulo de Johnson AjBjCj está inscrito en la circunferencia ortobaricéntrica.