请完成下面的推理过程,并填空(理由或数学式):
∵∠1=∠2( )
∠1=∠AGH( )
∴∠2=∠AGH( )
∴AD∥BC( )
∴∠ADE=∠C( )
∵∠A=∠C( )
∴∠ADE=∠A
∴AB∥CD( )
如图①,已知: , 为、之间一点,连接 , , 得到 .
求证: .
小亮帮助小明给出了该问的证明.
证明:过点作 , 则有 .
∵ ,
∴ ,
,
.
请你参考小亮的思考问题的方法,解决问题:
直线 , 直线和直线、分别交于、两点,点、分别在直线、上