证明:S(ABD):S(ACD)=BD:DC,S(BPD):S(CPD)=BD:DC,相减有S(APB):S(APC)=BD:DC=1.同理,有:S(APB):S(BPC)=AF:FC,S(APC):S(BPC)=AE:BE.
所以AE:BE=S(APC):S(BPC)=S(APB):S(BPC)=AF:FC,所以,EF//BC,证毕.
证明:S(ABD):S(ACD)=BD:DC,S(BPD):S(CPD)=BD:DC,相减有S(APB):S(APC)=BD:DC=1.同理,有:S(APB):S(BPC)=AF:FC,S(APC):S(BPC)=AE:BE.
所以AE:BE=S(APC):S(BPC)=S(APB):S(BPC)=AF:FC,所以,EF//BC,证毕.