几何的对称之美——筝形定理

筝形定理：A 、C是线段BD的垂直平分线上面的两点，AC与BD相交于O，过O点做任意两条直线交四边形ABCD于P、F、Q、E，PF交BD于M，EQ交BD于N，则MO = NO。

证明思路：作E关于AC的对称点E1，作Q关于AC的对称点Q1，则由对称性E1在AB上，Q1在BC上，只要证明E1、M、Q1三点共线即可。证明三点共线，可以考虑∠E1MQ1为平角，亦可以采用梅式定理转换成比例式的计算。同时，设E1F交BD与H，则问题还可以转换成BH、PF、E1Q1三线交于一点，可以采用赛色定理证明。

证：根据证明思路里面的描述添加辅助线，如下图：

原命题转换成：(E1P : PB) * (BQ1 : Q1F) * (FH : HE1) = 1

因为E与E1关于AC对称，所以∠E1OA = ∠EOA = ∠BOF，即BO是∠E1OF的角平分线。

所以FH : HE1 = FO : OE1 = FO : EO。

同理可得，BO是∠POQ1的角平分线，所以∠POB = ∠Q1OB。

由正弦定理：BP : sin∠POB = PO : sin∠PBO，BQ1 : sin∠Q1OB = OQ1 : sin∠OBQ1

所以BP : BQ1 = (PO : OQ1) * (sin∠OBQ1 : sin∠PBO)

所以(E1P : PB) * (BQ1 : Q1F) * (FH : HE1) = (E1P : Q1F) * (BQ1 : PB) * (FH : HE1) = (E1P : Q1F) * (OQ1 : PO) * (sin∠PBO : sin∠OBQ1) * (FO : EO)。

因为BO是∠E1OF和∠POQ1的角平分线，所以∠E1OP = ∠Q1OF

由正弦定理：E1P : sin∠E1OP = PO : sin∠BE1O，Q1F : sin∠Q1OF = OQ1 : sin∠BFO

所以E1P : Q1F = (PO : Q1O) * (sin∠BFO : sin∠BE1O)

所以(E1P : PB) * (BQ1 : Q1F) * (FH : HE1) = (PO : OQ) * (sin∠BFO : sin∠BE1O) * (OQ : PO) * (sin∠PBO: sin∠OBQ1) * (FO :  EO) = 1

呵呵，在最后一步我直接跳过去了，至于为什么正确，读者可以自己想一下。