一直角三角形的斜边长为8,求其面积的最大值