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