过矩形ABCD的对角线AC的中线O作EF垂直AC,G是AE的中点,角AOG等于30度 求证OG等于三分之一DC