连接BD,∵菱形ABCD中,DC=BC,又∵BD=DC,∴BD=DC=BC,即△DBC是等边三角形.∴∠BDC=60°,∴ BC = 60×2π 180 = 2π 3 ,∵∠ADE=∠CDF,∴∠ADC=∠EDF,∵∠ADC=2∠BDC,∴∠EDF=2∠BDC,∴ EF =2 BC =2× 2π 3 = 4π 3 .