已知矩形ABCD的对角线AC,BD相交于O点,OF垂直AC于O,交AB于E,交CE的延长线于F,求:AO平方=OE*OF