在直角三角形abc中角bac等于90度ab=ac