本步骤利用假设和公式 DEFDEFDEF、∠BPC=360∘−(∠CDE+∠FDB+∠EPF)=90∘\angle BPC=360^\circ-(\angle CDE+\angle FDB+\angle EPF)=90^\circ∠BPC=360∘−(∠CDE+∠FDB+∠EPF)=90∘,推出所述结论。