题目

我国首创以铝—空气—海水电池作为能源的新型海水标志灯，它以海水为电解质溶液，靠空气中的氧气使铝不断氧化而产生电流。只要把灯放入海水中数分钟，就会发出耀眼的白光。则该电源负极材料为_______________，正极材料为_______________，正极反应式为：______________________，负极反应式为：_________________________。如图，四边形ABCD是⊙O的内接矩形，AB=2，BC=4，E是BC的中点，AE的延长线交⊙O于点F，则EF的长是    ．