如图，在Rt△ABC中，∠B=90°，BC=4，AC=5，点D在边BC上.若以AD，CD为边，AC为对角线，作▱ADCE，则对角线DE的长的最小值为.