Si M es el punto medio de una cuerda PQ de una cierta circunferencia y AB y CD son también cuerdas de dicha circunferencia pasando por M, entonces este punto M será al mismo tiempo punto medio de RS, siendo R y S las intersecciones de PQ con AD y CB, respectivamente.

<http://www.xente.mundo-r.com/ilarrosa/GeoGebra/Teor_Mariposa.html>