∵CE平分角ACB,∠EAC=∠EFC=90º,∴AE=FE
∵EF垂直BC于F,AD垂直BC于D,∴EF‖AG.
∵∠AGC=∠GAC+1/2∠ACB,∠AEC=∠B+11/2∠ACB
而∠GAC,∠B都是∠ACB的余角,即∠GAC＝∠B
∴∠AGC=∠AEC
∴AE=AG
由可知四边形AEFG是平行四边形
由可知四边形AEFG是菱形