在RT三角形ABC中,角ABC等于90度,点D是AB中点,过点D作DE垂直