Ho ricavato la formula generale per ricavare le coordinate cartesiane di un ortocentro. Vorrei solo avere una conferma.
$\{((x-x_B)/(y-y_B)=-((y_C-y_A)/(x_C-x_A))),((x-x_A)/(y-y_A)=-((y_C-y_B)/(x_C-x_B))):}$
Ritengo che l'esplicitare x e y sia un calcolo piuttosto lungo e meno agevole di queste equazioni.