设$\odot(AOE),\odot(COF)$交于$O,P$.
设$\odot(AOE),\odot(COF),\odot(BOP),\odot(DOP)$的标准方程为$e=0,f=0,b=0,d=0$,因为它们共轴,所以存在$λ$使得$b=λe+(1-λ)f$,代入点$C$得$CO·CB=λCA·CE+(1-λ)0$,即$λ={CO·CB\over CA·CE}$.
同理,存在$μ$使得$d=μe+(1-μ)f$,代入点$A$得$AO·AD=μ0+(1-μ)AC·AF$,即$μ=1-{AO·AD\over AC·AF}$.
只需证明$λ=μ$即可推出$b=d$.
下面就是导比例. |