证明：∵∠ADE＝∠B（已知），

∴DE∥　▲　（　   　），

∴∠1＝　▲　（　   　），

又∵∠1＝∠2（已知），

∴　▲　＝　▲　（等量代换），

∴CD∥　▲　（　   　）.

∵FG⊥AB（已知），

∴∠FGB＝90°（垂直的定义），

即∠CDB＝∠FGB＝90°，

∴CD⊥AB（垂直的定义）.

①在平面内，两条直线的位置关系只有两种：相交和垂直；

②在平面内，过一点有且只有一条直线与已知直线垂直；

③在平面内，过一点有且只有一条直线与已知直线平行；

④如果两条直线都与第三条直线平行，那么这两条直线也互相平行；

⑤从直线外一点到这条直线的垂线段，叫做这个点到这条直线的距离.

①两条直线被第三条直线所截，同位角的平分线互相平行；

②直线外一点到这条直线的垂线段，就是这一点到这条直线的距离；

③有限小数是有理数，无限小数是无理数；

④在平面内，过一点有且只有一条直线与已知直线垂直；

⑤在平面内，过一点有且只有一条直线与已知直线平行.