做圆PDEC 连PC
有要角PFA等于90度
可以转化为PFAE共圆
既证角BAE和角FPE互补
在圆ABC上有角BAE和角BPC互补
既证角FPE和角BPC相等
既证角CPE等于角BPF
又在圆PDEC上,角CPE等于角EDC等于角BDF
既证角BPF等于角BDF
既证BPDF共圆,既证角PBA和角PDF互补
在圆ABC上有角PBA和角PCA互补
既证角PCA等于角PDF
又角PCA等于90度加角CPE,角PDF等于90度加角BDF
既证角CPE等于角BDF,又角BDF等于角EDC,在圆PDEC上,有CPE等于角EDC
得证