已知:三角形ABC中,角ABC=90度,CE平分角ABC,D是BA的中点,DE垂直于AB于D交CE于E,求证:DE=1/