已知三角形abc中角bac=90度,ab=ac=4