筝形定理: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
呵呵,在最后一步我直接跳过去了,至于为什么正确,读者可以自己想一下。