这样做
设EF与AD相交于G
很容易证明EG:CD=GF:BD=OG:OD
所以EG:FG=CD:BD
CD:BD=EG:FG=三角AEG面积:三角形AGF=三角形ABD面积:三角形ACD面积=BD:CD
即CD:BD=BD:CD
所以BD=CD