填空。
如图,在矩形ABCD中,对角线AC、BD相交于点O,点E、F分别是AO、AD的中点,若AB=6,∠BDA=30°,求EF的长度.
请你补写出下联,使之与上联构成对偶。
上联:学习成就人生路
下联:____。