如果AB EF,角c=90度,则的关系为