在三解形ABC中,角ABC等于45度,AC等于4