23、推理填空．如图，已知AB⊥BC，CD⊥BC，∠1=∠2，求证：EB∥FC．
证明：∵AB⊥BC，CD⊥BC     （ 已知 ）
∴∠ABC=∠BCD=90°         （垂直定义 ）
又∵∠1=∠2                （ 已知 ）
∴∠ABC-∠1=∠BCD-∠2      （ 等量减等量，差相等 ）
即∠EBC=∠FCB．
∴EB∥FC                   （内错角相等，两直线平行 ）

22、推理填空：如图AB∥CD，∠1=∠2，∠3=∠4，试说明AD∥BE．
解：∵AB∥CD（已知）
∴∠4=∠1+（）
∵∠3=∠4（已知）
∴∠3=∠1+（）
∵∠1=∠2（已知）
∴∠1+∠CAF=∠2+∠CAF（）
即∠=∠
∴∠3=∠（）
∴AD∥BE（）．

25、完成推理填空：如图，已知∠1=∠2，说明：a∥b．
证明：∵∠1=∠2  （已知）
∠2=∠3  （ ）
∴∠1=∠3  （ ）
∴a∥b     （ ）

18、推理填空，如图，已知∠A=∠F，∠C=∠D，试说明BD∥CE．
解：∵∠A=∠F（），
∴AC∥DF（），
∴∠D=∠1（），
又∵∠C=∠D（），
∴∠1=∠C（），
∴BD∥CE（）．

完成推理填空：如图在△ABC中，已知∠1+∠2=180°，∠3=∠B，试说明∠AED=∠C．
解：∵∠1+∠EFD=180°（邻补角定义），∠1+∠2=180°（已知 ）
∴    （ 同角的补角相等 ）
∴   （内错角相等，两直线平行）
∴∠ADE=∠3
∵∠3=∠B
∴∠ADE=∠B（等量代换）
∴DE∥BC
∴∠AED=∠C．