在rt三角形abc中,角acb=90度点df