输入直角三角形的两条直角边(a和b,a>0,b>0)的长度，输出直角三角形的面积（保留1位小数）。 输入样例： 3 4 输出样例： 6.0

根据勾股定理可知，直角三角形的面积为底边和高的乘积的一半，而底边和高分别为直角边中较小的一条和较大的一条，因此可以按照以下代码实现：

#include <stdio.h>

int main() {
    double a, b;
    scanf("%lf %lf", &a, &b);
    double s = a * b / 2;
    printf("%.1lf", s);
    return 0;
}

输入直角三角形的两条直角边的长度，将其分别存储在变量a和b中，计算直角三角形的面积s，并输出结果，保留1位小数。