证明:∵AD/EF(已知)
∴∠2+∠3=180°,( )
又∠1+∠2=180°,(已知)
∴∠1=∠ ▲ , ( )
∵DG平分∠ADC,
∴∠1=∠4( ),
∴∠ ▲ =∠ ▲ ( ),
∴ ▲ , ( )
∴∠1=∠B.( )
小明的解法: ,
小红的解法:.
请你借鉴小明和小红的解题思路,解决下列问题: