蝴蝶定理:在圆O中有弦AB,AB中点为C,弦ED,EG过点C,EF交AB于H,DG交AB于I,则HC=CI。
四边形蝴蝶定理:在四边形AHBI中,AB中点为C,EG,DF过点C,EF交AB于J,DG交AB于K,则CJ=CK。
蝴蝶的进化:CD垂直平分AB,E在CD上,其余同上,则 (JK•BM):(AJ•LM)=(EH•KI):(HL•EI)=KB:LA