在三角形ABC中,角ABC=90度,AD垂直BC于DE,点E在AD上