Mi sono trovato davanti una questione carina risolvendo un vecchio problema di trigonometria. Come sempre l'approccio sintetico è più appagante e garantisce sempre maggior chiarezza. Bando alle ciance, ecco il testo.

Sul cateto \(AC\) del triangolo \(ABC\) rettangolo in \(C\) costruire, esternamente ad \(ABC\), un triangolo equilatero \(ACD\). Detto \(O\) il punto medio di \(AB\) provare che la congiungente \(OD\) è perpendicolare ad \(AC\).

Ah la matematica, che passione.