/*************************************************************************
> File Name: zz.c
> Author: Rundong Qiu
> Mail: rundongqiu@gmail.com
> Created Time: 2018年12月28日 星期五 15时07分46秒
************************************************************************/
#include <stdio.h>
#include <math.h>
float square(float a,float b, float c)
{
float s, S;
s=1.0/2*(a+b+c);
S=sqrt((s)*(s-a)*(s-b)*(s-c));
return S;
}
int main(int argc,char **argv)
{
float a, b, c, S;
scanf ("%f%f%f",&a,&b,&c);
S=square(a,b,c);
printf("%f",S);
return 0;
}