∠AEO=∠BE0,∠CFO=∠AFO
这个已知有问题,应该是∠AEO=∠BF0,∠CEO=∠AFO
这样的话∠DFB=∠AEB
∠BCD=∠AEB+∠EDF
∠EDF=∠A+∠DFB
这样上面三个式子联立,就有∠EDF=二分之一(∠A+∠BCD)