三角形AEF中,角EAF=45度,AG垂直于EF于G,现将