完成推理过程:
BE平分∠ABD(已知),
∴∠ABD=2∠α( ).
∵DE平分∠BDC(已知),
∴∠BDC=2∠β( )
∴∠ABD+∠BDC=2∠α+2∠β=2(∠α+∠β)( )
∵∠α+∠β=90°(已知),
∴∠ABD+∠BDC=180°( ).
∴AB∥CD( ).
小明的思路是:过作 , 通过平行线性质来求 .