Per adesso svolgo a)
I triangoli OAB e OBC presentano
1) OA = OC perché raggi
2) OB in comune
3) AB = BC per ipotesi.
Sono allora congruenti per il III Criterio e in particolare
ABO^ = OBC^ perché angoli omologhi opposti a OA e OC
Nel triangolo isoscele ABC allora BH é bisettrice dell'angolo
al vertice per cui é pure altezza --- da cui segue che OB é
perpendicolare ad AC.
Nota : la parte b) la pubblico più tardi, scritta a mano.
Aggiornamento