已知在如图rt三角形abc中,角c是直角,点def分别是