• 1. (2019八下·右玉期末) 如图，在正方形ABCD中，E、F分别是边AB、BC的中点，连接AF、DE相交于点G，求证：AF⊥DE．