Teorema de la concurrencia de las mediatrices