直角三角形判断

设直角三角形两条直角边长度为a和b，斜边长度为c，则a，b，c满足a^2+b^2=c^2，
输入三个整数a，b，c，判断对应的三角形是不是直角三角形，不是则输出“no”，是则输出其面积的2倍。

输入说明
数据由同一行的三个整数a，b，c构成，整数之间以空格分隔

输出说明
如果输入的三个整数可以构成一个直角三角形，则输出一个整数表示该三角形面积的2倍；否则输出“no”

输入样例
样例1输入
1 1 2
样例2输入
3 4 5

输出样例
样例1输出
no
样例2输出
12
 

#include <stdio.h>
int main() {
    int a, b, c;
    scanf("%d %d %d", &a, &b, &c);
    if ((a * a + b * b) == (c * c))
        printf("%d", a * b);
    else
        printf("no");
    return 0;
}