连结DE、DF。在RT三角形ABE中，DE=1/2AB；在RT三角形ABF中，DF=1/2AB（直角三角形斜边上的中线等于斜边的一半。）所以由三边定理可证得三角形DEG全等于三角形DFG。所以DG⊥EF。
