本步骤利用假设和公式 FD=PBsinBFD=PB\sin BFD=PBsinB、DE=PCsinCDE=PC\sin CDE=PCsinC、DE=EF=FDDE=EF=FDDE=EF=FD,推出所述结论。