斜边长为25cm,一条直角边长为15cm的直角三角形面积是?