学习了等腰三角形后,数学兴趣小组的小聪和小明对它进行了拓展性研究.小聪发现:在一个锐角三角形中,如果有两条边上的高相等,那么这个锐角三角形是等腰三角形.小聪的解决思路是通过证明两条高所在的两个三角形全等,从而得出结论.请根据他的思路完成以下作图与填空:
用直尺和圆规,过点$B$作$AC$的垂线交$AC$于点$E$,交$AB$边上的高$CD$于点$F.(只保留作图痕迹)$
已知:如图,在锐角$\triangle ABC$中,$BE\bot AC$,$CD\bot AB$,且$BE=CD$.求证:$AB=AC$.
证明:$\because BE\bot AC$,$CD\bot AB$,
$\therefore \angle CDB=$①______$=90^{\circ}.$
在$Rt\triangle BCD$与$Rt\triangle CBE$中,
$\left\{\begin{array}{l}{②}\\{CD=BE}\end{array}\right.$
$\therefore Rt\triangle BCD$≌$Rt\triangle CBE\left(HL\right)$,
$\therefore$③______,
$\therefore AB=AC$,即$\triangle ABC$是等腰三角形.
小明再进一步研究发现,任意三角形中均有此结论.请你依照题意完成下面命题:
在一个三角形中,如果有两条边上的高相等,那么④______.