已知，如图1，AB⊥BD，CD⊥BD，垂足分别为B、D，AD和BC交于点E，EF⊥BD，垂足为F，我们可以证明 + =

解：（1）成立，证明如下由AB∥EF∥CD得 ， 两式相加，得 =1∴EF?CD+EF?AB=AB?CD两边同除以AB?CD?EF得 ；（2） 证明如下：作AG⊥BD于G，EH⊥BD于H，CK⊥BD交BD延长线于k，由平行线性质得： ∴ ∴ 。