如图，在四边形 $\mathit{ABCD}$中，对角线 $\mathit{AC}$与 $\mathit{BD}$交于点 $O$，已知 $\mathit{OA}=\mathit{OC}$， $\mathit{OB}=\mathit{OD}$，过点 $O$作 $\mathit{EF}\perp \mathit{BD}$，分别交 $\mathit{AB}$、 $\mathit{DC}$于点 $E$， $F$，连接 $\mathit{DE}$， $\mathit{BF}$．

（1）求证：四边形 $\mathit{DEBF}$是菱形：

（2）设 $\mathit{AD}//\mathit{EF}$， $\mathit{AD}+\mathit{AB}=12$， $\mathit{BD}=4\sqrt{3}$，求 $\mathit{AF}$的长．

科目 数学   题型 解答题   难度 较难

知识点： 平行四边形的判定与性质 菱形的判定与性质 全等三角形的判定与性质 勾股定理