解:∵∠1=∠C,(已知)
∴GD∥ ▲ . ( )
∴∠2=∠DAC.( )
∵∠2+∠3=180°,(已知)
∴∠DAC+∠3=180°.(等量代换)
∴AD∥EF.( )
∴∠ADC=∠ ▲ . ( )
∵EF⊥BC,(已知)
∴∠EFC=90°.( )
∴∠ADC=90°.(等量代换)
解:∵(已知),
∴ ▲ ( ).
∵(已知),
∴ ▲ ▲ (平行于同一直线的两直线平行).
∴( ).