证明
由斜率公式得.由已知AE⊥BD,得AE所在的直线方程是.
E点的坐标(x0,y0)满足
解得.
也就是tan∠CDE=2.
而tan∠ADB=tan(180°-∠CDB)
=-tan∠CDB=-kBD=-(-2)=2,
∴tan∠CDE=tan∠ADB.
又∠CDE和∠ADB都是锐角,
∴∠CDE=∠ADB.