在矩形ABCD中,E、F为AB的两个三等分点,AC、DF交于点G,EG⊥DF建立适当坐标系,证明:AB=3AD.