#include <bits/stdc++.h>
using namespace std;
int main() {
  while (!cin.eof()) {
    long a, l, x;
    cin >> a >> l >> x;
    double h_1 = sqrt(l * l - a * a / 4.0);
    double h_2 = sqrt((x + l) * (x + l) / 4.0 - l * l / 4.0);
    printf("%.6f\n", a * h_1 / 2 + l * h_2);
  }
  return 0;
}
