连接DE,可根据AB=2AD得三角形ADE为正三角形;DE=AE=EB;
角DEA是三角形DEB的外角,所以 角EDB=角DBE=30度,则三角形ADB是直角三角形,两个直角边的关系当然就是BD=根号3AD=根号3EF