已知,在三角形abc中,角bac=90°,角ABC为45度