A:发现电磁感应现象、创制内燃机
B:发明电子计算机、完成人类基因组序列图谱
C:发明电灯、制造汽车
D:发现万有引力定律、改良蒸汽机
已知▱ABCD中,AD=2AB,F是BC的中点,作AE⊥CD,垂足E在线段CD上,连结EF、AF,下列结论:①2∠BAF=∠BAD;②EF=AF;③S△ABF≤S△AEF;④∠BFE=3∠CEF.中一定成立的是( )