菱形ABCD的对角线AC、BD交于O,过O作直线EF,分别交AB、CD的延长线E、F,求证:1/AE+1/AF为定值.