#include <stdio.h>
#include <math.h>
int main(){
  int a,l,x;
  double s,in1,in2;
  
  while(scanf("%d%d%d",&a,&l,&x) != EOF){
    
    in1=4*l*l-a*a;
    in2=x*x+2*x*l;
    
    s=(double)a*sqrt(in1)/4 + (double)l*sqrt(in2)/2;
    
    printf("%.10f\n",s);

  }
  
  return 0;
}