如图，在矩形ABCD中，对角线AC、BD相交于点O，点E、F分别是AO、AD的中点，若AB=6，∠BDA=30°，求EF的长度．

如图，正方形ABCD中，点E、F分别在BC、CD上，△AEF是等边三角形，连接AC交EF于G，下列结论：

①BE=DF，②∠DAF=15°，③AC垂直平分EF，④BE+DF=EF，⑤S_△CEF=2S_△ABE ．

其中正确结论有（   ）个．

问题情境：如图①，在△ABD与△CAE中，BD=AE ， ∠DBA=∠EAC ， AB=AC ， 易证：△ABD≌△CAE ． （不需要证明）

特例探究：如图②，在等边△ABC中，点D、E分别在边BC、AB上，且BD=AE ， AD与CE交于点F ． 求证：△ABD≌△CAE ．

归纳证明：如图③，在等边△ABC中，点D、E分别在边CB、BA的延长线上，且BD=AE ． △ABD与△CAE是否全等？如果全等，请证明；如果不全等，请说明理由．

拓展应用：如图④，在等腰三角形中，AB=AC ， 点O是AB边的垂直平分线与AC的交点，点D、E分别在OB、BA的延长线上．若BD=AE ， ∠BAC=50°，∠AEC=32°，求∠BAD的度数．