证明：∵∠1+∠4=180°（邻补角定义）∠1+∠2=180°（已知）∴∠2=∠4（同角的补角相等）∴EF∥AB（内错角相等，两直线平行）∴∠3=∠ADE（两直线平行，内错角相等）又∵∠B=∠3（已知），∴∠ADE=∠B（等量代换），...