给定直角三角形的两条直角边 a 和 b，计算并输出该三角形的面积。
输入两个数
数据类型说明：
输入可能是整数或浮点数（如 a 和 b，以空格分隔（0 < a, b ≤ 1000），表示两条直角边的长度。
3 4 或 3.8 4）。
输出一个数，表示面积 area 。
数据类型选择
使用 double 存储边长，兼容整数和浮点数输入（如 3.8 4）。
double 类型避免整数除法导致精度丢失（如 3 / 2 = 1 而 3.0 / 2 = 1.5）。
面积公式
直角三角形面积 = (直角边1 × 直角边2) / 2。
边界验证
输入 3 4 → (3×4)/2 = 6（整数）。
输入 3.8 4 → (3.8×4)/2 = 7.6（小数）。
核心公式：
输入处理：用
总结
面积 = (a × b) / 2。
double 兼容所有可能输入。