[200x220]
Теорема о бабочке является классической теоремой планиметрии. Её можно сформулировать следующим образом:

Пусть через точку М, являющуюся серединой хорды PQ некоторой окружности, проведены две произвольные хорды АВ и CD той же окружности. Пусть хорды AD и ВС пересекают хорду PQ в точках X и Y. Тогда М является серединой отрезка XY.