在rt三角形abc中角c等于90度,DE垂直AB于点E