①∠1=∠3;②∠CAD+∠2=180°;③如果∠2=30°,则有AC∥DE;④如果∠2=30°,则有BC∥AD.
解:∵AD⊥BC,EF⊥BC( 已知 ),
∴∠EFB=∠ADB=90°( 垂直的定义 ),
∴EF∥AD( ),
∴∠BEF=( 两直线平行,同位角相等 ).
∵∠BEF=∠ADG( 已知 ),
∴( 等量代换 ).
∴DG∥AB( ).