证明:∵∠1+∠2=180°,∠1+∠4=180°,
∴∠2=∠4(同角的补角相等).
∴AB∥ ▲ (内错角相等,两直线平行).
∴∠3=∠ADE( ).
又∵∠3=∠B(已知),
∴ ▲ =∠B(等量代换)﹒
∴DE∥BC( ).
∴∠AED=∠C(两直线平行,同位角相等).
例:已知方程2x-3=1与不等式x+3>0,当x=2时,2x-3=2×2-3=1,x+3=2+3=5>0同时成立,则称“x=2”是方程2x-3=1与不等式x+3>0的“完美解”.