很自然想到，$a^2+b^2=c^2$ 就是直角三角形，但是需要注意：$a,b$ 作为直角边，一定不大于 $c$，所以需要提前处理，使得 $a,b≤c$.

#include<stdio.h>
int main(){
	int a,b,c,t;
	scanf("%d %d %d",&a,&b,&c);
    // 1. 保证 a,b<=c;
    if(a>c) t=a, a=c, c=t;
    if(b>c) t=b, b=c, c=t;
    // 2. a^2 + b^2 = c^2
    if(a*a+b*b == c*c){
        printf("%.1lf\n", a*b/2.0);
    }else puts("No");
    return 0;
}