Umkreismittelpunkt des Dreiecks

Satz

Die Mittelsenkrechten eines Dreiecks schneiden sich in einem Punkt, dem Umkreismittelpunkt des Dreiecks. Dieser Umkreis geht durch alle Ecken des Dreiecks.
Please enable Java for an interactive construction (with Cinderella).