写一个c语言程序，输入两直角边边长，输出斜边长和该三角形面积（数值类型使用double型）

在C语言中，你可以创建一个简单的程序来计算直角三角形的斜边长度和面积。首先，我们需要从用户那里获取两个直角边的长度（假设为a和b），然后使用勾股定理计算斜边c，并利用公式1/2 * a * b计算面积。以下是完整的程序：

#include <stdio.h>
#include <math.h> // 引入数学库，用于sqrt函数

int main() {
    double a, b, c, area;

    printf("请输入直角三角形的第一条直角边(a): ");
    scanf("%lf", &a);
    printf("请输入直角三角形的第二条直角边(b): ");
    scanf("%lf", &b);

    // 计算斜边c
    c = sqrt(a * a + b * b); // 使用数学库的sqrt函数计算平方根

    // 计算面积
    area = 0.5 * a * b; 

    printf("斜边长度(c)为: %lf\n", c);
    printf("三角形面积为: %lf\n", area);

    return 0;
}

在这个程序中，我们使用`scanf`函数读取用户的输入，`sqrt`函数来自头文件`<math.h>`，用于计算平方根。运行这个程序后，它会提示用户输入两条直角边，然后显示斜边长度和三角形面积。