CE平分角ACB 所以EF=AE AG和EF平行 所以角AGE等于角GEF 又因为角AEC等于角GEF 所以角AGE等于角AEC 所以 AG=AE AG=EF 四边形AEFG为平行四边形 邻边又相等 所以为菱形
