如图17 在三角形abc中,角c=90度,ab的垂直平分线de交ac于d