如图,AC是矩形ABCD的对角线,EF平分AC于点O,且分别交AD、BC于点E、F.