在RT三角形abc中,角acb=90度,ab=4,ad是角bac的角平分线