在矩形ABCD中,已知DE垂直AC于点E,∠EDC:∠EDA=1:3,且AE=10,求DE的长度