在锐角三角形ABC中,AB=根号2,角BAC=45度