证明:设AD与EF相交于点M因为AD的垂直平分线EF交AB于点E,交AC于点F所以AD垂直EFFG=FAEG=EAMA=MD=1/2AD所以角ADE=角DAE角AMF=角DME=90度因为AD是三角形ABC的角平分线所以角DAF=角DAE=1/2角BAC所以角ADE=角DAF因为角AMF=角DME=90度(已证)所以三角形AMF全等三角形DME (ASA)所以EM=FM=1/2EF所以对角线AD与EF互相垂直平分所以四边形EFGH是菱形