已知在RT三角形ABC中,角C等于90度,两个直角边长度分别伟a和b,斜边长为c,若a+c=10,b=5,求ABC的面积