證法1：設(shè)DB交EP于J，F(xiàn)B交AC于K，AC交BD于O則EJ／JP＝AO／OC，F(xiàn)K／PK＝DO／OB，故EJ／JP＝FK／PK，JK∥EF又因?yàn)镚B∥FP，所以FK＝GJ，顯然角EGJ≌角HFK。證法2：如圖二的原書證法