因为AD垂直BC,EF垂直BC
所以角3+角1=90度,角C+角CAD=90度,AD//EF =>角CAD=角2
又因为角3=角C
所以角1=角CAD
所以角1=角CAD=角2