Định lý con bướm là gì?

Định lý con bướm là một định lý trong hình học Euclid, có thể được phát biểu như sau: Cho dây cung PQ của một đường tròn và trung điểm M của nó. Vẽ hai dây cung AB và CD khác của đường tròn đi qua M. Gọi giao điểm của AD và BC với PQ tương ứng là X và Y. Khi đó M cũng là trung điểm của XY.